Petri sokszög

A stabil verziót 2022. július 16-án nézték meg . Ellenőrizetlen változtatások vannak a sablonokban vagy a . Az ikozaéder vizualizációi

perspektíva

Letapogatás

ortogonális

petri

Schlegel diagram

Vertex figura

A Petri-sokszög egy dimenziós szabályos politóphoz  olyan térpoligon [1] , amelyben bármely egymást követő él (de nem ) ugyanahhoz a -dimenziós laphoz tartozik. Különösen,

Minden szabályos poliéderhez van egy merőleges vetület a síkra, amelyben a Petri-sokszög szabályos sokszöggé válik , amely a vetület összes többi részét tartalmazza. Ebben az esetben a sík, amelyre a vetítés készül , a sokszög szimmetriacsoportjának Coxeter-síkja , az oldalak száma pedig a Coxeter- csoport Coxeter-száma . Ezek a sokszögek és vetített gráfok hasznosak a nagydimenziós szabályos poliéderek szimmetriastruktúráinak bemutatására.

Történelem

John Flinders Petrie (1907-1972) Flinders Petrie egyiptológus egyetlen fia volt [3] . 1907-ben született, és már iskolásként is figyelemre méltó matematikai képességeket mutatott. Teljes koncentrációval meg tudta válaszolni a négydimenziós tárgyakkal kapcsolatos nehéz kérdéseket, megjelenítve azokat .

Elsőként hívta fel a figyelmet a szabályos poliéderek felületén keletkező szabályos térbeli sokszögek fontosságára. Coxeter 1937-ben elmagyarázta, hogyan kezdték Petrie-vel kiterjeszteni a szabályos sokszögek klasszikus fogalmát:

Egy napon, 1926-ban, J. F. Petrie nagy izgalommal mesélte, hogy felfedezett két új szabályos poliédert, végtelen, de hamis csúcsok nélkül. Ahogy a szkepticizmusom kezdett alábbhagyni, leírta nekem őket – az egyik négyzetekből állt, mindegyik csúcson hat, a másik pedig hatszögekből, csúcsonként négyből [4] .

1938-ban Petrie, Coxeter, Patrick Duvall és H. T. Flaser kiadta The Fifty-Nine Icosahedra ( Fifty-nine icosahedra ) [5] című művét . Felismerve a Petrie által használt térbeli poliéderek fontosságát, Coxeter barátjáról nevezte el őket, amikor megírta a Regular Polytopes ( Reguláris poliéderek ) című könyvet.

1972-ben, néhány hónappal nyugdíjba vonulása után Petrie meghalt, miközben megpróbált átszaladni egy autópályán Surrey - i otthona közelében .

Petrie sokszögekről alkotott elképzelését később kiterjesztették a félig szabályos poliéderekre is .

Szabályos háromdimenziós poliéder Petrie-sokszögei

A Schläfli szimbólummal rendelkező szabályos poliéder Petrie -sokszögének oldalai hol vannak

.

A Petri-sokszögek kettős szabályos poliéderek , és hasonló vetületekkel rendelkeznek.

Petri-sokszögek szabályos poliéderekhez (piros sokszögek)
tetraéder kocka oktaéder dodekaéder ikozaéder
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png CDel csomópont 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png CDel csomópont 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.png CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
középpontjában a bordák csúcsközpontú éle középre éle középre csúcsközpontú
4 oldal 6 oldal 6 oldal 10 oldal 10 oldal
A Petrie-sokszögek ezeknek az ortogonális vetületeknek a külső határai. Az "elülső" bordák kék, a hátsó bordák pedig szürkével láthatók.

A csúcspontok koncentrikus gyűrűit kívülről befelé számoljuk a következő jelöléssel: , nullára végződve, ha nincsenek központi csúcsok.

A végtelen szabályos térbeli sokszögek ( apeirogonok ) 90, 120 és 60 fokos szögű szabályos tesszellációk Petrie-sokszögeiként is definiálhatók (négyzet, hatszög és háromszöglapok esetén).

A végtelen szabályos térbeli sokszögek Petrie-sokszögekként is léteznek olyan szabályos hiperbolikus csempékhez, mint például a 7. rendű háromszög alakú csempék {3,7}:

Szabályos poliéderek Petri-sokszögei négydimenziós térben (4-poliéder)

Lehetőség van szabályos poliéderek Petri-sokszögeinek meghatározására is a { p , q , r } négydimenziós térben .


{3,3,3}
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
ötcellás
5 oldal
V :(5,0)

{3,3,4}
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
hatszögletű cella
8 oldala
V :(8,0)

{4,3,3}
CDel csomópont 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
tesseract
8 oldal
V :(8,8,0)

{3,4,3}
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
Huszonnégy
cella 12 oldala
V :(12,6,6,0)

{5,3,3}
CDel csomópont 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
120
cella 30 oldal
V :(( 30,60 ) 3,60 3,30,60,0 )

{3,3,5}
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png

Hatszáz cella 30 oldala
V:(30,30,30,30,0 )

Szabályos és egyenletes poliéderek 4-es és nagyobb méretű sokszögeinek vetületei

A Petrie-sokszög vetületek a leghasznosabbak a 4-es és nagyobb dimenziójú poliéderek megjelenítéséhez. A táblázat három szabályos politópcsalád (egyszerűségek, hiperkockák, ortoplexek) és kivételes egyszerű Lie-csoportok Petri-poligonjait mutatja be , amelyek 4 - től 8 - ig terjedő dimenziókhoz félig szabályos és homogén politópokat alkotnak.

A poliéderek irreducibilis családjainak táblázata
Család
n
    n -simplex          n- hiperkocka        n -ortoplex       n- félkocka     1 k2 2k1 [ hu k21 [ hu ötszögű poliéder
Csoport A n Kr.e. n
I 2 (p) D n
E 6 E 7 E 8 F4_ _ G2_ _
H n
2
CDel csomópont 1.pngCDel 3.pngCDel node.png

Háromszög


CDel csomópont 1.pngCDel 4.pngCDel node.png

Négyzet


CDel csomópont 1.pngCDel p.pngCDel node.png
p-gon
(példa: p=7 )

CDel csomópont 1.pngCDel 6.pngCDel node.png
Hatszög

CDel csomópont 1.pngCDel 5.pngCDel node.png
Pentagon
3
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
Tetraéder

CDel csomópont 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
Kocka

CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
Oktaéder

CDel nodea 1.pngCDel3a.pngCDel-branch.png
Tetraéder
 
CDel csomópont 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.png
Dodekaéder

CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
ikozaéder
négy
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
Ötcellás

CDel csomópont 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png

tesserakt


CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
Tizenhat
cellás

CDel nodea 1.pngCDel3a.pngCDel-branch.pngCDel3a.pngCDel nodea.png

Semitesseract


CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
Huszonnégy
cella

CDel csomópont 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
120 cella

CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
Hatszáz sejt
5
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
Hexateron

CDel csomópont 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
Penteract

CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
5-ortoplex

CDel nodea 1.pngCDel3a.pngCDel-branch.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png
5-félhiperkocka
   
6
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
6 szimplex

CDel csomópont 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
6 kockás

CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
6-ortoplex

CDel nodea 1.pngCDel3a.pngCDel-branch.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png
6 félkocka

CDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel ág 01lr.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png
1 22_

CDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel-branch.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea 1.png
221 [ hu
 
7
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
7 szimplex

CDel csomópont 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
7-kocka

CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
7-ortoplex

CDel nodea 1.pngCDel3a.pngCDel-branch.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png
7 félkocka

CDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel ág 01lr.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png
1 32_

CDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel-branch.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea 1.png
231 [ hu

CDel nodea 1.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel-branch.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png
3 21
 
8
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
8 szimplex

CDel csomópont 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
8 kockás

CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
8-ortoplex

CDel nodea 1.pngCDel3a.pngCDel-branch.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png
8-kocka

CDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel ág 01lr.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png
1 42_

CDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel-branch.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea 1.png
241 [ hu

CDel nodea 1.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel-branch.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png
4 21_
 
9
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
8 szimplex

CDel csomópont 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
9-kocka

CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
9-ortoplex

CDel nodea 1.pngCDel3a.pngCDel-branch.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png
9 félkocka
 
10
CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
10 szimplex

CDel csomópont 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
10 kockás

CDel csomópont 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
10-ortoplex

CDel nodea 1.pngCDel3a.pngCDel-branch.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png
10 félkocka
 


Dual Petri

A kettős Petri-sokszögek tárgyalásához bevezetjük a séma fogalmát [7] Informálisan a P séma  sokszögek családja (amelyek végtelen szögűek is lehetnek) úgy, hogy

Egy P séma Γ ( P ) automorfizmus-csoporttal rendelkezik, és P -t szabályosnak mondjuk , ha Γ ( P ) tranzitív a P jelzők F ( P ) halmazán . Ha egy P szabályos sémának p -szöglapjai és q-szögű csúcsalakjai vannak, akkor azt mondjuk, hogy (Schläfli) típusú {p, q}. Bármely szabályos politóp vagy végtelen tóp természetes módon szabályos mintát generál.


A szabályos politóp Petri duálisa ( Petrial [8] ) egy szabályos séma, amelynek csúcsai és élei megfelelnek az eredeti politóp csúcsainak és éleinek, lapjai pedig a Petri-sokszögek halmaza. Ezt a sémát π operátorként (felsõ indexként) jelöljük egy szabályos politóp felett. Minden él két laphoz tartozik (Petri-sokszögek) [9] [10] [11] [12] .

A {3,3} π tetraéder petrialjának 4 csúcsa, 6 éle és 3 négyzetlapja van (térnégyzetek formájában, vagyis a négyzet csúcsai nem egy síkban fekszenek). A χ = 1 Euler -karakterisztikával a petrial topológiailag azonos a {4,3}/2 félkockával .

A petrial kockának , {4,3} π , 8 csúcsa, 12 éle és 4 térbeli hatszöge van, az ábrán piros, zöld, kék és narancssárga színnel. Euler-karakterisztikája 0, és a toroidális hatszögletű burkolólap négy hatszögletű lapjaként fogható fel {6,3} (2,0) .

Az oktaéder petrialjának , {3,4} π , 6 csúcsa, 12 éle és 4 térbeli hatszöglapja van. A petrial -2 Euler-karakterisztikával rendelkezik, és egy 4. rendű hiperbolikus hatszögletű burkolatra van leképezve , {6,4} 3 .

A dodekaéder petrialjának , {5,3} π , 20 csúcsa, 30 éle és 6 lapja van, térbeli dodekaéderek formájában. Euler-karakterisztikája −4, és a hiperbolikus csempézéshez kapcsolódik {10,3} 5 .

Az ikozaéder petrialjának , {3,6} π , 12 csúcsa, 30 éle és 6 lapja van, térbeli dodekaéderek formájában. Euler-karakterisztikája −12, és a hiperbolikus csempézéshez kapcsolódik {10,5} 3 .

Helyes petrials
A tetraéder Petriuma
{3,3} π = {4,3} 3 = {4,3}/2
Petrial kocka
{4,3} π = {6,3} 3 = {6,3} (2,0)
Az oktaéder Petriálja
{3,4} π = {6,4} 3
A dodekaéder Petriuma
{5,3} π = {10,3} 5 .
Az ikozaéder Petriálja
{3,5} π = {10,5} 3 .
3 tér négyzet 4 térhatszög 6 térbeli tízszög

{4,3} 3 = {4,3}/2

{6,3} 3 = {6,3} (2,0)

Jegyzetek

  1. Az angol szakirodalomban - ferde sokszög, szó szerint - ferde sokszög . Az orosz irodalomban a térbeli sokszög kifejezés gyökeret vert , a ferde poliéder kifejezés pedig a ferde poliéder ( ferde poliéder ) kifejezésnek felel meg .
  2. Coxeter, 1995 , p. 161. cikk, 13. cikk.
  3. ↑ Gyakori a Petri név írásmódja is.
  4. Coxeter, 1937 , p. 33-62.
  5. Coxeter, 1938 , p. 1–26.
  6. Coxeter, 1973 , p. 32.
  7. McMullen, Schulte, 2002 , p. 17.
  8. Petri e du al
  9. McMullen, Schulte, 2002 , p. 192-200.
  10. Szójegyzék . Letöltve: 2016. február 13. Az eredetiből archiválva : 2021. május 7..
  11. Archivált másolat . Letöltve: 2016. február 13. Az eredetiből archiválva : 2016. március 4..
  12. Szabályos térképek Coxeter-Petrie komplexumai

Irodalom

Linkek