Homogen mosaik

En enhetlig plattsättning är en vertextransitiv plattsättning på ett plan med regelbundna polygonala ytor.

En enhetlig plattsättning kan finnas både på det euklidiska planet och på det hyperboliska planet . Enhetliga plattsättningar är relaterade till ändliga enhetliga polyedrar , som kan ses som enhetliga tesseller av sfären .

De flesta enhetliga plattsättningar kan erhållas genom Wythoffs symmetrikonstruktion , med början från en enda genereringspunkt inuti grundområdet . Plansymmetrigruppen har en polygonal fundamental region och kan representeras av ordningen av speglar i en sekvens av hörn.

En triangulär fundamental domän har spegelordningar ( p q r ), och en rektangulär triangulär domän har spegelordningar ( p q 2), där p , q , r är heltal större än ett. En triangel kan vara en sfärisk triangel , en euklidisk triangel eller en triangel i det hyperboliska planet, vilket beror på värdena p , q och r .

Det finns flera symboliska scheman för att namnge de resulterande figurerna, som börjar med den modifierade Schläfli-symbolen för grundområdet i form av en rätvinklig triangel ( p q 2) → { p , q }. Coxeter-Dynkin-diagrammet är en graf med märkta p , q , r - kanter. Om r = 2 är grafen linjär, eftersom noder av ordning 2 inte bildar några reflektioner. Wythoff-tecknet använder 3 heltal med en separat vertikal streck (|) mellan dem. Om genereringspunkten inte är på en spegel, placeras symbolen för vertexet mittemot spegeln före den vertikala stapeln.

Slutligen kan plattsättningar beskrivas i termer av deras vertexkonfiguration , dvs. sekvenser av polygoner runt varje vertex.

Alla enhetliga plattsättningar kan byggas med olika operationer som tillämpas på vanliga plattsättningar . Namnen på dessa operationer gavs av den amerikanske matematikern Norman Johnson , dessa är trunkering ( trunkering , avskärning av hörn), korrigering ( fullständig trunkering , avskärning av hörn tills de ursprungliga kanterna försvinner helt) och cantellation ( avfasning , skärkanter). Omnitruncation ( trunkation ) är en operation som kombinerar trunkering och avfasning. Snubbning (avklippning av näsor) är en operation med alternerande trunkering av helt trunkerade former. (Se Wythoff byggoperatörer för en detaljerad förklaring av verksamheten.)

Coxeter-grupper

Coxeter-grupper i planet definierar Wythoff-konstruktionen och kan representeras av Coxeter-Dynkin-diagram :

För grupper med heltalsordning:

Euklidiskt plan
Orbifold symmetri Coxeter grupp
Coxeter diagram
Anteckningar
Kompakt
*333 (3 3 3) [3 [3] ] CDel node.pngCDelsplit1.pngCDel-branch.png 3 spegelformar, 1 snubb
*442 (4 4 2) [4,4] CDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.png 5 spegelformer, 1 snubb
*632 (6 3 2) [6,3] CDel node.pngCDel 6.pngCDel node.pngCDel 3.pngCDel node.png 7 spegelformer, 1 snubb
*2222 (∞2∞2) × [∞,2,∞] CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png 3 spegelformar, 1 snubb
Icke-kompakt ( trottoarkant )
*∞∞ (∞) [∞] CDel node.pngCDel infin.pngCDel node.png
*22∞ (2 2∞) × [∞,2] CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel node.png 2 spegelformar, 1 snubb
hyperboliskt plan
Orbifold symmetri Coxeter grupp
Coxeter diagram
Anteckningar
Kompakt
*pq2 (pq 2) [p,q] CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node.png 2(p+q) < pq
*pqr (pqr) [(p,q,r)] CDel 3.pngCDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel r.png pq+pr+qr < pqr
Paracompact
*∞p2 (s ∞ 2) [p,∞] CDel node.pngCDel p.pngCDel node.pngCDel infin.pngCDel node.png p>=3
*∞pq (pq∞) [(p,q,∞)] CDel 3.pngCDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel infin.png p,q>=3, p+q>6
*∞∞s (p∞∞) [(p,∞,∞)] CDel 3.pngCDel node.pngCDel p.pngCDel node.pngCDel infin.pngCDel node.pngCDel infin.png p>=3
*∞∞∞ (∞∞∞) [(∞,∞,∞)] CDel 3.pngCDel node.pngCDel infin.pngCDel node.pngCDel infin.pngCDel node.pngCDel infin.png

Enhetliga plattsättningar i det euklidiska planet

Det finns symmetrigrupper på det euklidiska planet, som erhålls från de fundamentala trianglarna (4 4 2), (6 3 2) och (3 3 3). Var och en av dem representeras av en uppsättning raka linjer (speglar) som delar planet i grundläggande trianglar.

Dessa symmetrigrupper skapar 3 vanliga plattsättningar och 7 semi-regelbundna plattor. Antalet halvregelbundna plattsättningar upprepas för olika symmetrikonstruktioner.

Den prismatiska symmetrigruppen, representerad av symbolen (2 2 2 2), ges av två uppsättningar parallella speglar, som i allmänhet kan ha ett rektangulärt grundområde. Gruppen bildar inga nya plattsättningar.

Vidare har den prismatiska symmetrigruppen som representeras av symbolen (∞ 2 2) en oändlig fundamental domän. Gruppen ger två enhetliga plattsättningar, ett oändligt vinklat prisma och ett oändligt vinklat antiprisma .

Genom att kombinera ändytorna på dessa två prismatiska plattsättningar får vi en icke-Withoff homogen plattsättning i planet. Det kallas isokurnosny triangulär parkett och består av på varandra följande lager av kvadrater och trianglar.

Rättvinklad fundamental triangel ( p q 2)

( s q 2) Fond.
trianglar
Förälder Trunkerad Helt stympad Bicut Helt bicut
(dubbel)
fasad Trunkerad plattnosig
Wythoff symbol q | p2 _ 2 q | sid 2 | p q 2p | _ q p | q2 _ p q | 2 p q 2 | | p q 2
Schläfli symbol t { p , q } t { p , q } r{p,q} 2t{p,q}=t{q,p} 2r{p,q}={q,p} rr{p,q} tr{p,q} sr{p,q}
Coxeter diagram CDel nod 1.pngCDel p.pngCDel node.pngCDel q.pngCDel node.png CDel nod 1.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel node.png CDel node.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel node.png CDel node.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel nod 1.png CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel nod 1.png CDel nod 1.pngCDel p.pngCDel node.pngCDel q.pngCDel nod 1.png CDel nod 1.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel nod 1.png CDel nod h.pngCDel p.pngCDel nod h.pngCDel q.pngCDel nod h.png
Vertex figur p q q.2p.2p (pq) 2 s.2q.2q qp _ s.4.q.4 4,2p.2q 3.3.s.3.q
Fyrkantig mosaik
(4 4 2)

{4,4}

4.8.8

4.4.4.4

4.8.8

{4,4}

4.4.4.4

4.8.8

3.3.4.3.4
Sexkantig
mosaik (6 3 2)

{6,3}

3.12.12

3.6.3.6

6.6.6

{3,6}

3.4.6.4

4.6.12

3.3.3.3.6

Allmänna grundtrianglar (pqr)

Wythoff-symbol
(pqr)
Fond.
trianglar
q | pr rq | sid r | pq rp | q p | qr pq | r pqr | | pqr
Coxeter diagram CDel 3.pngCDel nod 1.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel r.png CDel 3.pngCDel nod 1.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel node.pngCDel r.png CDel 3.pngCDel node.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel node.pngCDel r.png CDel 3.pngCDel node.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel nod 1.pngCDel r.png CDel 3.pngCDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel nod 1.pngCDel r.png CDel 3.pngCDel nod 1.pngCDel p.pngCDel node.pngCDel q.pngCDel nod 1.pngCDel r.png CDel 3.pngCDel nod 1.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel nod 1.pngCDel r.png CDel 3.pngCDel nod h.pngCDel p.pngCDel nod h.pngCDel q.pngCDel nod h.pngCDel r.png
Vertex-konfiguration (pq) r r.2p.q.2p (pr) q q.2r.p.2r (qr) sid q.2r.p.2r r.2q.p.2q 3.r.3.q.3.p
Triangulär
(3 3 3)

(3.3) 3

3.6.3.6

(3.3) 3

3.6.3.6

(3.3) 3

3.6.3.6

6.6.6

3.3.3.3.3.3

Icke-enkla fundamentala domäner

Den enda möjliga fundamentala domänen i det euklidiska rummet som inte är en simplex är rektangeln (∞ 2 ∞ 2) med Coxeter-diagrammet CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png. Endast fyrkantiga parketter tillverkas från detta område .

Homogena plattsättningar på det hyperboliska planet

Det finns oändligt många enhetliga plattsättningar av konvexa regelbundna polygoner i det hyperboliska planet , var och en baserad på en annan spegelsymmetrigrupp (pqr).

Exemplen som visas här ges i Poincare diskprojektion .

Coxeter-Dynkin-diagram ges i linjär form, även om de egentligen är trianglar där ändsegmentet r är kopplat till den första noden.

Dessutom finns det på det hyperboliska planet fyrkantiga fundamentala områden med start från (2 2 2 3) som kan bilda nya former. Det finns också fundamentala områden med hörn i oändligheten, såsom (∞ 2 3).

Rättvinklade grundläggande trianglar ( p q 2)

(pq 2) Fond.
trianglar
Förälder stympad Helt stympad Bicut Helt bicut
(dubbel)
fasad Trunkerad plattnosig
Wythoff symbol q | p2 2 q | sid 2 | pq 2p | q p | q2 pq | 2 pq 2 | | pq 2
Schläfli symbol t{p,q} t{p,q} r{p,q} 2t{p,q}=t{q,p} 2r{p,q}={q,p} rr{p,q} tr{p,q} sr{p,q}
Coxeter-Dynkin diagram CDel nod 1.pngCDel p.pngCDel node.pngCDel q.pngCDel node.png CDel nod 1.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel node.png CDel node.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel node.png CDel node.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel nod 1.png CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel nod 1.png CDel nod 1.pngCDel p.pngCDel node.pngCDel q.pngCDel nod 1.png CDel nod 1.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel nod 1.png CDel nod h.pngCDel p.pngCDel nod h.pngCDel q.pngCDel nod h.png
Vertex figur p q (q.2p.2p) (pqpq) (sid. 2q.2q) qp _ (sid. 4.q.4) (4.2p.2q) (3.3.s. 3.q)
(Hyperboliskt plan)
(5 4 2)

V4.8.10

{5,4}

4.10.10

4.5.4.5

5.8.8

{4,5}

4.4.5.4

4.8.10

3.3.4.3.5
(Hyperboliskt plan)
(5 5 2)

V4.10.10

{5,5}

5.10.10

5.5.5.5

5.10.10

{5,5}

5.4.5.4

4.10.10

3.3.5.3.5
(Hyperboliskt plan)
(7 3 2)

V4.6.14

{7,3}

3.14.14

3.7.3.7

7.6.6

{3,7

3.4.7.4

4.6.14

3.3.3.3.7
(Hyperboliskt plan)
(8 3 2)

V4.6.16

{8,3} ]

3.16.16

3.8.3.8

8.6.6

{3,8

3.4.8.4

4.6.16

3.3.3.3.8

Grundtrianglar (pqr) av allmän form

Wythoff-symbol
(pqr)
Fundam.
trianglar
q | pr rq | sid r | pq rp | q p | qr pq | r pqr | | pqr
Coxeter-Dynkin diagram CDel nod 1.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel r.png CDel nod 1.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel node.pngCDel r.png CDel node.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel node.pngCDel r.png CDel node.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel nod 1.pngCDel r.png CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel nod 1.pngCDel r.png CDel nod 1.pngCDel p.pngCDel node.pngCDel q.pngCDel nod 1.pngCDel r.png CDel nod 1.pngCDel p.pngCDel nod 1.pngCDel q.pngCDel nod 1.pngCDel r.png CDel nod h.pngCDel p.pngCDel nod h.pngCDel q.pngCDel nod h.pngCDel r.png
Vertex figur (pr) q (r.2p.q.2p) (pq) r (q.2r.p. 2r) (qr) sid (r.2q.p. 2q) (2p.2q.2r) (3.r.3.q.3.p)
Hyperbolisk
(4 3 3)

V6.6.8

(3.4) 3

3.8.3.8

(3.4) 3

3.6.4.6

(3.3) 4

3.6.4.6

6.6.8

3.3.3.3.3.4
Hyperbolisk
(4 4 3)

V6.8.8

(3.4) 4

3.8.4.8

(4.4) 3

3.6.4.6

(3.4) 4

4.6.4.6

6.8.8

3.3.3.4.3.4
Hyperbolisk
(4 4 4)

V8.8.8

(4.4) 4

4.8.4.8

(4.4) 4

4.8.4.8

(4.4) 4

4.8.4.8

8.8.8

3.4.3.4.3.4

Utökad lista över enhetliga plattsättningar

Det finns flera sätt att utöka listan över homogena mosaiker:

  1. Vertexformer kan ha degenererade ansikten och lindas runt en vertex mer än en gång.
  2. Du kan aktivera plattsättning med stjärnpolygoner .
  3. Apeirogoner , {∞}, kan användas som plattsättningsytor .
  4. Begränsningen att ytorna på en plattsättning vidrör kant-till-kant kan släppas, vilket resulterar i ytterligare plattsättningar som pythagoras plattsättning .

Symmetrigrupptrianglar med degenererade ansikten inkluderar:

(4/3 4/3 2) (6 3/2 2) (6/5 3 2) (6 6/5 3) (6 6 3/2)

Symmetrigrupptrianglar med oändligheter inkluderar:

(4 4/3 ∞) (3/2 3 ∞) (6 6/5 ∞) (3 3/2 ∞)

Branko Grünbaum i 1987 års bok Tilings and patterns (Mosaics and patterns) i avsnitt 12.3 listar 25 enhetliga plattsättningar, inklusive 11 konvexa och 14 till, som han kallar ihåliga plattsättningar . Bland de senare ingår de två första utsträckta plattsättningarna som nämnts ovan, plattsättningar med stellerade polygonytor och vertexfigurer.

Harold Coxeter et al., i 1954 års tidning 'Uniform polyhedra' i Tabell 8 Uniform plattsättning listar de tre första förlängningarna och listar 38 enhetliga plattsättningar.

Slutligen, om vi räknar plattsättningar med 2 oändligheter, kan vi räkna totalt 39 enhetliga plattsättningar.

7 nya plattsättningar med {∞} ytor med vertexformer och Wythoff-symboler :

  1. ∞.∞ (två halvplansytor, oändlig dihedron )
  2. 4.4.∞ — ∞ 2 | 2 ( prisma med oändlig vinkel )
  3. 3.3.3.∞ - | 2 2 ∞ ( antiprisma med oändlig vinkel )
  4. 4.∞.4/3.∞ - 4/3 4 | ∞ (växelvis fyrkantig parkett)
  5. 3.∞.3.∞.3.∞ - 3/2 | 3 ∞ (alternativ trekantig parkett)
  6. 6.∞.6/5.∞ - 6/5 6 | ∞ (växelvis trihexagonal plattsättning, endast med hexagoner)
  7. ∞.3.∞.3/2 - 3/2 3 | ∞ (växelvis trihexagonal plattsättning, endast med trianglar)

Den återstående listan innehåller 21 plattsättningar med 7 {∞} ytor (oändliga goner). Om plattsättningarna ritas som grafer återstår endast 14 unika plattsättningar, och den första är identisk med plattsättning 3.4.6.4 .

21 mosaiker grupperade efter vanliga grafer med indikering av vertexfiguren och Wythoff-symbolen:

Sorts Vertex-
konfiguration
Wythoff symbol
ett 3/2.12.6.12 3/2 6 | 6
4.12.4/3.12/11 2 6 (3/2 3) |
2 8/3.4.8/3.∞ 4∞ | 4/3
8/3.8.8/5.8/7 4/3 4 (2∞) |
8.4/3.8.∞ 4/3∞ | fyra
3 12/5.6.12/5.∞ 6∞ | 6/5
12/5.12.12/7.12/11 6/5 6 (3∞) |
12.6/5.12.∞ 6/5∞ | 6
fyra 12/5.3.12/5.6/5 3 6 | 6/5
12/5.4.12/7.4/3 2 6/5 (3/2 3) |
4.3/2.4.6/5 3/2 6 | 2
5 8.8/3.∞ 4/3 4∞ |
6 12.12/5.∞ 6/5 6 ∞ |
7 8,4/3,8/5 2 4/3 4 |
åtta 6.4/3.12/7 2 3 6/5 |
9 12.6/5.12/7 3 6/5 6 |
tio 4,8/5,8/5 2 4 | 4/3
elva 12/5.12/5.3/2 2 3 | 6/5
12 4.4.3/2.3/2.3/2 newiethoff
13 4.3/2.4.3/2.3/2 | 2 4/3 4/3 (platt näsa)
fjorton 3.4.3.4/3.3.∞ | 4/3 4 ∞ (snubb)

Självdubbla plattsättningar

Mosaik kan vara självdubbel . En fyrkantig parkett med Schläfli-symbolen {4,4} är ​​självdubbel. Bilden visar två fyrkantiga parketter (röd och svart) dubbla mot varandra.

Se även

Anteckningar

Litteratur

Länkar