Stretching är en operation på en polyeder (i vilken dimension som helst, inte bara i tredimensionellt utrymme), där fasetter separeras och flyttas radiellt i riktning från mitten, nya fasetter bildas på de separerade elementen (spetsar, kanter, etc.) .). Samma operationer kan förstås som operationer som håller aspekterna på plats men minskar dem i storlek.
En polytop förstås som en flerdimensionell polyeder, och vidare i artikeln används dessa begrepp som synonymer (ordet "flerdimensionell" kan utelämnas om det antas av betydelse) [1] .
Att sträcka ut en vanlig flerdimensionell polytop ger en enhetlig polytop , men operationen kan appliceras på vilken konvex polytop som helst , vilket demonstreras för polytoper i artikeln " Conways notation for polytopes ". I fallet med 3D-polytoper har den sträckta polytopen alla ytor på den ursprungliga polytopen, alla ytor på den dubbla polytopen och ytterligare fyrkantiga ytor i stället för de ursprungliga kanterna.
Enligt Coxeter definierades denna term för högdimensionella fasta ämnen av Alicia Buhl Stott [2] för att skapa nya högdimensionella polyedrar. Mer exakt, att skapa enhetliga flerdimensionella polyedrar från vanliga flerdimensionella polyedrar .
Sträckningsoperationen är symmetrisk för vanliga polytoper och deras dubbla polyedrar. Den resulterande kroppen innehåller fasetter av både en vanlig polyeder och dess dubbla polyeder, såväl som ytterligare prismatiska fasetter som fyller utrymmet mellan element med lägre dimension.
Stretch har i viss mån olika betydelse för olika dimensioner . I Wythoffs konstruktion genereras sträckan av reflektion från den första och sista spegeln. I högre dimensioner kan stretch skrivas med ett (under)skript, så e 2 är samma som t 0,2 i vilken dimension som helst.
Obs : Namnen på operationer på polyedrar i den ryskspråkiga litteraturen har inte lagt sig, så de engelska namnen med översättning anges nedan .
Efter dimensioner:
Den allmänna operationen att sträcka en vanlig n-dimensionell polyeder är t 0,n-1 {p,q,r,...}. Nya vanliga fasetter läggs till i stället för varje vertex, och nya prismatiska polytoper läggs till för varje delad kant, (2D) yta, etc.
Grunden | avkortning | fullständig trunkering | Djup trunkering | Dualitet _ |
stretching | Trunkering | Alternation | ||
---|---|---|---|---|---|---|---|---|---|
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
t 0 {p, q} {p, q} |
t 01 {p,q} t{p, q} |
t 1 {p, q} r{p, q} |
t 12 {p,q} 2t{p, q} |
t 2 {p, q} 2r{p, q} |
t 02 {p,q} rr{p, q} |
t 012 {p,q} tr{p, q} |
ht 0 {p,q} h{q, p} |
ht 12 {p,q} s{q, p} |
ht 012 {p,q} sr{p, q} |