Uchburchak guruhi - Triangle group - Wikipedia

Yilda matematika, a uchburchak guruhi a guruh geometrik ravishda ketma-ketliklar bilan amalga oshirilishi mumkin aks ettirishlar a tomonlari bo'ylab uchburchak. Uchburchak oddiy bo'lishi mumkin Evklid uchburchak, a sharda uchburchak yoki a giperbolik uchburchak. Har bir uchburchak guruhi simmetriya guruhi a plitka ning Evklid samolyoti, soha yoki giperbolik tekislik tomonidan uyg'un deb nomlangan uchburchaklar Mobius uchburchagi, har biri a asosiy domen harakat uchun.

Ta'rif

Ruxsat bering l, m, n bo'lishi butun sonlar katta yoki teng 2. A uchburchak guruhi Δ (l,m,n) - bu Evklid tekisligi, ikki o'lchovli sfera, haqiqiy proektsion tekislik yoki giperbolik tekislik harakatlari guruhi. aks ettirishlar a tomonlarida uchburchak burchaklar bilan π /l, π /m va π /n (o'lchangan radianlar ). Ikki qo'shni tomondan aks ettirish mahsuloti a aylanish bu tomonlar orasidagi burchakning ikki baravariga teng bo'lgan burchak bilan, 2π /l, 2π /m va 2π /n. Shuning uchun, agar ishlab chiqaruvchi aks ettirishlar etiketlangan bo'lsa a, b, v va ular orasidagi burchaklarni tsiklik tartibda yuqoridagi kabi, keyin quyidagi aloqalar mavjud:

Bu boshqa barcha munosabatlar o'rtasidagi teorema a, b, c bu munosabatlarning oqibatlari va Δ (l, m, n) a alohida guruh mos keladigan makon harakatlari. Shunday qilib uchburchak guruhi a aks ettirish guruhi tan olgan a guruh taqdimoti

Ushbu taqdimot bilan mavhum guruh a Kokseter guruhi uchta generator bilan.

Tasnifi

Har qanday natural son berilgan lmn > 1 mumtoz ikki o'lchovli geometriyadan (evklid, sferik yoki giperbolik) aniq biri burchaklari (π / l, π / m, les / n) bo'lgan uchburchakni qabul qiladi va bo'shliq uchburchakning aksi bilan plitka bilan qoplangan. Uchburchakning burchaklari yig'indisi geometriya turini Gauss-Bonnet teoremasi: agar bu burchak yig'indisi to'liq π bo'lsa, bu Evklid, u π dan oshsa sharsimon va agar u π dan kichik bo'lsa, giperbolik. Bundan tashqari, berilgan burchaklarga ega bo'lgan har qanday ikkita uchburchak mos keladi. Har bir uchburchak guruhi har ikkala qo'shni plitka qarama-qarshi rangga ega bo'lishi uchun an'anaviy ravishda ikkita rangga bo'yalgan plitkani aniqlaydi.

Raqamlar bo'yicha lmn > 1 quyidagi imkoniyatlar mavjud.

Evklid ishi

Uchburchak guruhi cheksizdir simmetriya guruhi aniq tessellation Evklid tekisligining burchaklari iling (yoki 180 °) gacha bo'lgan uchburchaklar bilan (yoki plitka bilan). O'zgarishlarga qadar uch (lmn) uchliklardan biridir (2,3,6), (2,4,4), (3,3,3). Tegishli uchburchak guruhlari misollari devor qog'ozi guruhlari.

(2,3,6)(2,4,4)(3,3,3)
Tiling Dual Semiregular V4-6-12 Bisected Hexagonal.svg1-forma 2 dual.svgTiling Regular 3-6 Triangular.svg
olti burchakli plitkatetrakis kvadrat plitkalariuchburchak plitka
Tepaliklarni etiketlaydigan va aks ettirishning qanday ishlashini ko'rsatadigan batafsil diagrammalar:
Fon rasmi guruh diagrammasi p6m.svgFon rasmi guruh diagrammasi p4m square.svgFon rasmi guruh diagrammasi p3m1.svg

Sferik holat

Uchburchak guruhi sharsimon uchburchaklar bilan birlik sharni plitkalashning chekli simmetriya guruhi yoki Mobius uchburchagi, uning burchaklari π dan katta sonni qo'shadi. O'zgarishlarga qadar uch (l,m,n) (2,3,3), (2,3,4), (2,3,5) yoki (2,2,n), n > 1. Sferik uchburchak guruhlarini ning simmetriya guruhlari bilan aniqlash mumkin muntazam polyhedra uch o'lchovli Evklid fazosida: Δ (2,3,3) ga to'g'ri keladi tetraedr, Δ (2,3,4) ikkalasiga kub va oktaedr (bir xil simmetriya guruhiga ega), ikkalasiga ham (2,3,5) dodekaedr va ikosaedr. Groups guruhlari (2,2,n), n > 1 dan dihedral simmetriya oilasining simmetriya guruhlari sifatida talqin qilinishi mumkin dihedra, bu ikkitadan hosil bo'lgan degeneratsiyalangan qattiq moddalardir muntazam n-gons birlashtirilgan yoki ikkilangan hosohedra, qo'shilish orqali hosil bo'lgan n digons birgalikda ikkita tepada.

The sferik plitka shakllantirish orqali oddiy ko'pburchakka to'g'ri keladi baritsentrik bo'linma hosil bo'lgan nuqta va chiziqlarni sun'iy sharga proektsiyalash. Tetraedrda to'rtta yuz bor va ularning har bir tomoni teng qirrali uchburchak bo'lib, u markazda kesib o'tuvchi medianlar tomonidan 6 ta kichik bo'laklarga bo'linadi. Olingan tesselation 4 × 6 = 24 sferik uchburchaklarga ega (u sferikdir disdyakis kubi ).

Ushbu guruhlar cheklangan bo'lib, ular sharning ixchamligiga mos keladi - bu sohadagi disklarning maydonlari dastlab radiusi bo'yicha o'sib boradi, ammo oxir-oqibat butun sohani qamrab oladi.

Uchburchak plitkalar quyida tasvirlangan:

(2,2,2)(2,2,3)(2,2,4)(2,2,5)(2,2,6)(2,2, n)
Sferik kvadrat bipyramid2.svgSferik olti burchakli bipyramid2.pngSferik sakkiz qirrali bipyramid2.pngSharsimon dekagonal bipyramid2.pngSferik o'n ikki burchakli bipyramid2.png
(2,3,3)(2,3,4)(2,3,5)
Tetraedral aks ettirish domains.pngOctahedral reflection domains.pngIcosahedral reflection domains.png

Oktaedr va ikosaedrga to'g'ri keladigan sferik qatlamlar va juftli dihedral sferik plitalar n bor markaziy nosimmetrik. Shuning uchun ularning har biri haqiqiy proektsion tekislikning plitkasini, an elliptik plitka. Uning simmetriya guruhi sharsimon uchburchak guruhining kelib chiqishi orqali aks ettirish (-Men), bu tartibning markaziy elementi bo'lgan 2. Proyektiv tekislik ning modeli bo'lgani uchun elliptik geometriya, bunday guruhlar deyiladi elliptik uchburchak guruhlari.[1]

Giperbolik holat

Uchburchak guruhi a ning cheksiz simmetriya guruhidir giperbolik tekislikning plitkalari giperbolik uchburchaklar bilan, ularning burchaklari π dan kam songa qo'shiladi. Yuqorida sanab o'tilmagan barcha uchliklar giperbolik tekislikning egilishini aks ettiradi. Masalan, uchlik (2,3,7) tenglamani hosil qiladi (2,3,7) uchburchak guruhi. Bunday guruhlar cheksiz ko'p; ba'zi bir kichik qiymatlar bilan bog'liq plitkalar:

Giperbolik tekislik

Poincaré disk modeli asosiy domen uchburchaklarining
To'g'ri uchburchaklarga misol (2 p q)
H2checkers 237.png
(2 3 7)
H2checkers 238.png
(2 3 8)
Giperbolik domenlar 932 black.png
(2 3 9)
H2checkers 23i.png
(2 3 ∞)
H2checkers 245.png
(2 4 5)
H2checkers 246.png
(2 4 6)
H2checkers 247.png
(2 4 7)
H2checkers 248.png
(2 4 8)
H2checkers 24i.png
(2 4 ∞)
H2checkers 255.png
(2 5 5)
H2checkers 256.png
(2 5 6)
H2checkers 257.png
(2 5 7)
H2checkers 266.png
(2 6 6)
H2checkers 2ii.png
(2 ∞ ∞)
Umumiy uchburchaklarga misol (p q r)
H2checkers 334.png
(3 3 4)
H2checkers 335.png
(3 3 5)
H2checkers 336.png
(3 3 6)
H2checkers 337.png
(3 3 7)
H2checkers 33i.png
(3 3 ∞)
H2checkers 344.png
(3 4 4)
H2checkers 366.png
(3 6 6)
H2checkers 3ii.png
(3 ∞ ∞)
H2checkers 666.png
(6 6 6)
Cheksiz tartibli uchburchak tiling.svg
(∞ ∞ ∞)

Giperbolik uchburchak guruhlari bunga misoldir evklid bo'lmagan kristallografik guruh va nazariyasida umumlashtirildi Gromov giperbolik guruhlar.

Fon Deyk guruhlari

Belgilash D.(l,m,n) kichik guruh ning indeks 2 dyuym Δ (l, m, n) generatorlarda juft uzunlikdagi so'zlar tomonidan hosil qilingan. Bunday kichik guruhlar ba'zan "oddiy" uchburchak guruhlari deb ataladi[2] yoki fon Dyck guruhlari, keyin Uolter fon Deyk. Sferik, evklid va giperbolik uchburchaklar uchun bular guruhning elementlariga mos keladi. yo'nalish uchburchakning - aylanishlar guruhi. Proektsion (elliptik) uchburchaklar uchun ularni bunday talqin qilish mumkin emas, chunki proyektiv tekislik yo'naltirilmaydi, shuning uchun "yo'nalishni saqlovchi" tushunchasi yo'q. Biroq, aks ettirishlar mahalliy yo'nalishni orqaga qaytarish (va har bir manifold mahalliy yo'naltirilgan, chunki mahalliy evklid): ular chiziqni o'rnatadilar va chiziqning har bir nuqtasida chiziq bo'ylab aks ettiriladi.[3]

Guruh D.(l,m,n) quyidagi taqdimot bilan belgilanadi:

Yuqoridagi generatorlar nuqtai nazaridan bular x = ab, y = ca, yx = cb. Geometrik ravishda uchta element x, y, xy 2π / ga aylanishga mos keladil, 2π /m va 2π /n uchburchakning uchta tepasi haqida.

Yozib oling D.(l,m,n) ≅ D.(m,l,n) ≅ D.(n,m,l), shuning uchun D.(l,m,n) ning tartibidan mustaqil l,m,n.

Giperbolik fon Dyk guruhi a Fuksiya guruhi, giperbolik tekislikning yo'nalishni saqlovchi izometriyalaridan tashkil topgan diskret guruh.

Bir-birining ustiga yotadigan plitkalar

Uchburchak guruhlari plitkalarni uchburchaklar bilan saqlaydi, ya'ni a asosiy domen harakat uchun (aks ettirish chiziqlari bilan aniqlangan uchburchak), a deb nomlangan Mobius uchburchagi, va uchlik bilan berilgan butun sonlar, (l,m,n), - butun sonlar (2 ga to'g'ri keladil,2m,2n) uchburchakda tepada birlashuvchi. Bunga mos keladigan uchburchaklar tomonidan plitkalar mavjud Shvarts uchburchagi bilan oqilona raqamlar (l/a,m/b,n/v), bu erda maxrajlar joylashgan koprime raqamlarga. Bu burchak ostida uchrashadigan qirralarga to'g'ri keladi aπ /l (resp.), bu 2 ga aylanishiga to'g'ri keladiaπ /l (resp.), bu buyurtma mavjud l va shu bilan mavhum guruh elementi bilan bir xil, ammo aks ettirish bilan ajralib turadi.

Masalan, Shvarts uchburchagi (2 3 3) a hosil qiladi zichlik Uchburchak (2 3/2 3) sharning 3 karo zichligini keltirib chiqarar ekan, shu bilan bir xil mavhum guruhga ega. Plitkalarning bir-birining ustiga chiqadigan bu simmetriyalari uchburchak guruhlari hisoblanmaydi.

Tarix

Uchburchak guruhlari hech bo'lmaganda ikosahedral guruh (aylanma) (2,3,5) uchburchak guruhi sifatida Uilyam Rovan Xemilton 1856 yilda, o'zining qog'ozida ikosian hisobi.[4]

Ilovalar

Tashqi video
video belgisi Shikastlangan modulli plitka[5] - (2,3, ∞) → (2,3,7) xaritasini bir-biriga bog'lab qo'yilgan plitalarni morfizatsiya qilish orqali ingl.

Uchburchak guruhlari paydo bo'ladi arifmetik geometriya. The modulli guruh ikki element tomonidan hosil qilingan, S va T, munosabatlarga bo'ysunadi S² = (ST) Ph = 1 (bog'liqlik yo'q T), aylanma uchburchak guruhi (2,3, ∞) va barcha uchburchak guruhlariga xaritalar (2,3,n) munosabatni qo'shish orqali Tn = 1. Umuman olganda, Hecke guruhi Hq ikki element tomonidan hosil qilingan, S va T, munosabatlarga bo'ysunadi S2 = (ST)q = 1 (hech qanday aloqasi yo'q T), aylanma uchburchak guruhi (2,q, ∞) va barcha uchburchak guruhlariga xaritalar (2,q,n) munosabatni qo'shish orqali Tn = 1 modulli guruh Hekke guruhidir H3. Yilda Grothendieck nazariyasi dessins d'enfants, a Belyi funktsiyasi a tessellatsiyasini keltirib chiqaradi Riemann yuzasi uchburchak guruhining aks ettirish sohalari bo'yicha.

Hammasi 26 sporadik guruhlar uchburchak guruhlarining kvotentsiyalari,[6] shulardan 12 tasi Hurvits guruhlari ((2,3,7) guruhning takliflari).

Shuningdek qarang

Adabiyotlar

  1. ^ (Magnus 1974 yil )
  2. ^ (Gross & Tucker 2001 yil )
  3. ^ (Magnus 1974 yil, p. 65)
  4. ^ Ser Uilyam Rouan Xemilton (1856), "Birlik ildizlarining yangi tizimini hurmat qilish to'g'risida memorandum" (PDF), Falsafiy jurnal, 12: 446
  5. ^ Riman sirtlarining platonik qatlamlari: Modulli guruh, Jerar Westendorp
  6. ^ (Uilson 2001 yil, 2-jadval, p. 7)

Tashqi havolalar

  • Robert Douson Ba'zi sferik plitkalar (sanasi belgilanmagan, 2004 yilga qadar) (Ko'pgina uchburchak guruhli plitalar bo'lmagan bir qator qiziqarli sferalarni namoyish etadi.)
  • Elizabeth r Chen uchburchak guruhlari (2010) ish stoli fon rasmlari

Ushbu maqola Uchburchak guruhlari materiallarini o'z ichiga oladi PlanetMath, ostida litsenziyalangan Creative Commons Attribution / Share-Alike litsenziyasi.