热门问题
时间线
聊天
视角
正圖形列表
維基媒體列表條目 来自维基百科，自由的百科全书
Remove ads
此頁面列出了所有的歐幾里得空間、雙曲空間和球形空間的正圖形或正多胞形。施萊夫利符號可以描述每一個正圖形或正多胞形，他被廣泛使用如下面的每一個緊湊的參考名稱。
正圖形或正多胞形可由其維度分類，也可以分成凸、非凸（星形、扭歪、複合或凹）和無窮等形式。非凸形式（或凹形式）使用與凸形式相同的頂點，但面（或邊）有相交。無限的形式則是在一較低維的歐幾里得空間中密鋪（鑲嵌或堆砌）。
無限的形式可以擴展到密鋪雙曲空間。雙曲空間是和正常的空間有相同的規模，但平行線在一定的距離內會分岔得越來越遠。這使得頂點值可以存在負角度的缺陷，例如製作一個由個正三角形組成的頂點，它們可以被平放。它不能在普通平面上完成的，但可以在一個雙曲平面上構造。
Remove ads
概觀
請注意，平面密鋪和雙曲密鋪的維數比預期多一維。這是因為它們是有限多胞形在不同維度的類比：凸正n胞形可以看作(n−1)維球面空間的鑲嵌。因此，歐幾里德平面的三個正鑲嵌圖（正三角形鑲嵌、正方形鑲嵌和正六邊形鑲嵌）列在第三維度而不是第二維下。
Remove ads
零維或以下的正圖形
在維數為零的空間能存在的多胞形只有點[3]，無法有其他幾何或拓樸組合，而维數比零更低則是在抽象理論中的虛無多胞形（英語：Null polytope）代表一種空集合，在抽象理論中被看作是一種負一維的多胞形[4]，但其是一種抽象多胞形。然而，在數學上，零維空間是按以下的不等價定義之一，維數為零的拓撲空間：按覆蓋維數的概念，一個拓撲空間是零維空間，若空間的任何開覆蓋，都有一個加細，使得空間內每一點，都在這個加細的恰好一個開集內；或者按小歸納維數的概念，一個拓撲空間是零維空間，若空間有一個由閉開集組成的基。這兩個概念對可分可度量化空間為等價[5][6]。而負一維空間僅是在抽象理論表示一個比零維多胞形更低維度的一個元詞。
依據正圖形的定義，一個多胞形必須要具備嚴格的標記可遞特性，對於該幾何體內所有同維度的元素（如:點、線、面）都完全具有相同的性質，並且每一個元素皆為一個正圖形，而零維多胞形的元素僅有{F−1, F0}、負一維多胞形的元素僅有{F−1}，幾何上所有零維多胞形都是正多胞形，一般地，n維正圖形被定義為有正維面[（n − 1）-表面]和正頂點圖，這兩個條件已經能充分地保證所有面、所有頂點都是相似的，但這一定義並不適用於抽象多胞形，而負一維的多胞形的僅有一種抽象多胞形。
另外，正零邊形也可以視為零維或以下的正圖形，或看做是虛無多胞形（英語：Null polytope）。
Remove ads
一維正圖形
|
考克斯特記號終結點代表一個鏡射面，周圍有環的節點表示其不位於一個平面。 ditel, { },  是點 p和其鏡射像 p'並且中間被夾出一段線段
|
在維數為一的一維空間裡存在的多胞形是由兩個端點包圍住的一個封閉一維空間，即線段。在定義上，這個一維多胞形（或稱1-多胞形）在施萊夫利符號中以： { } 表示[8][9]，而在考克斯特記號中則以一個有環的節點：表示[7]。諾曼·約翰遜將之稱為ditel，並在施萊夫利符號中以{ }表示[10]。依據正圖形的定義，一個多胞形必須要具備嚴格的標記可遞特性，對於該幾何體內所有同維度的元素（如:點、線、面）都完全具有相同的性質，並且每一個元素皆為一個正圖形，而一維多胞形的旗包含{F−1, F0, F1}、其元素僅有{F−1, A, B, AB}，其中，A、B為線段兩端點，由於幾何上所有零維多胞形都是正多胞形，因此所有的線段都會符合標記可遞特以及所有同維度的元素（如:點、線、面）都完全具有相同的性質，並且每一個元素皆為一個正圖形，因此在幾何上所有的一維多胞形都是正多胞形。
雖然線段做為一個多胞形是微不足道的，但它似乎是多邊形和其他更高維度圖形形成邊緣所需的一個元素[11]。在一維以及以下（包括一維、零維、負一維）空間中的多胞形都是正多胞形，包含了一維的線段、零維的點和負一維的抽象虛無多胞形都是組成多邊形和其他更高維度圖形的重要元素之一，比如一維的線段組成多邊形的邊、零維的點組成多邊形的頂點以及代表集合子集中空集合的抽象虛無多胞形都是多邊形的組成元素（子集），依據正圖形定義，若這些低為度不存在正圖形，則也不會有正多邊形和其他更高維度的正圖形。
在柱體的定義裡，線段（一維）可以被看做是點（零維）的柱體，在施萊夫利符號中以{ }×{p}表示，而在考克斯特記號中則以笛卡兒積的形式
表示一個線段和多邊形[12]。
二維正多邊形
- 邊數較大的正多邊形
.svg)
Remove ads
 {11/2} |
 {11/3} |
 {11/4} |
 {11/5} |
 {12/5} |
 {13/2} |
 {13/3} |
 {13/4} |
 {13/5} |
 {13/6} | |
 {14/3} |
 {14/5} |
 {15/2} |
 {15/4} |
 {15/7} |
 {16/3} |
 {16/5} |
 {16/7} | |||
 {17/2} |
 {17/3} |
 {17/4} |
 {17/5} |
 {17/6} |
 {17/7} |
 {17/8} |
 {18/5} |
 {18/7} | ||
 {19/2} |
 {19/3} |
 {19/4} |
 {19/5} |
 {19/6} |
 {19/7} |
 {19/8} |
 {19/9} |
 {20/3} |
 {20/7} |
 {20/9} |
Remove ads
三維正圖形
Remove ads
在球面幾何學中，多面形 {2,n} 和多邊形二面體 {n,2} 以及一面體 {1,1} 也可以被視為是一種正多面體（正球面鑲嵌）。
他們包括：
Remove ads
考克斯特在他的論文《三維和四維空間的正扭歪多面體極其類似物》[24]中列出了較多的一系列扭歪多面體，其中有四種是正圖形。
四維正圖形
在四維空間中存在6種凸正圖形。
四維的扭歪多胞體是一些位於五維或以上的扭歪圖形。
五維正圖形
 五維正六胞體 |
 五維超正方體 |
 五維正三十二胞體 |
六維正圖形
 六維正七胞體 |
 六維超立方體 |
 六維正六十四胞體 |
七維正圖形
 七維正八胞體 |
 七維超立方體 |
 七維正一百二十八胞體 |
七維以上正圖形
從五維開始，凸正多胞體都只有三種[25]。
更多信息 
, 
...
, 
...
 八維單體 |
 八維超立方體 |
 八維正軸體 |
 九維單體 |
 九維超立方體 |
 九維正軸體 |
 十維單體 |
 十維超立方體 |
 十維正軸體 |
 十一維單體 |
 十一維超立方體 |
 十一維正軸體 |
 十二維單體 |
 十二正軸體 |
從五維開始就都不存在任何非凸多胞形。
正無窮多胞形
對應的歐幾里得密鋪只有一種，密鋪於一維歐幾里得空間，即直線，即正無限邊形。其施萊夫利符號以{∞}表示、考克斯特符号以
表示。
該鑲嵌是由一維正圖形「線段」（即二維二邊形）完成一維歐幾里得空間的密鋪。
...
...
對應的雙曲密鋪只有一種，即由一維正圖形「線段」完成一維羅氏空間（即二維雙曲線）的密鋪，類似於無限邊形，稱為超無限邊形，但又因為它是發散的，因此又稱為偽多邊形。在施萊夫利符號以{iπ/λ}表示、考克斯特符号以
表示。
三維空間中只有一種正堆砌體，即立方體堆砌{4, 3, 4}：[7]
 超立方體堆砌 |
 正十六胞體堆砌 |
 正二十四胞體堆砌 |
五維空間的正堆砌僅有五維超立方體堆砌{4,3,3,3,4}[26]
六維或以上的維度皆不存在緊空間與仿緊空間的雙曲堆砌。不過，任何的{p,q,r,s,...}形式（其中p,q,r,s,...是大於二的自然數或無限大）以上並不包括n維空間的非緊鑲嵌。
複合正圖形
.svg) 2{2} |
.svg){kind=small} 3{2} |
.svg) 4{2} |
.svg){kind=small} 5{2} |
.svg) 6{2} |
.svg){kind=small} 7{2} |
.svg) 8{2} |
.svg){kind=small} 9{2} |
.svg) 10{2} |
.svg) 11{2} |
.svg) 12{2} |
.svg) 13{2} |
.svg) 14{2} |
.svg) 15{2} | |
.svg){kind=small} 2{3} |
.svg) 3{3} |
.svg) 4{3} |
.svg) 5{3} |
.svg){kind=small} 6{3} |
.svg) 7{3} |
.svg) 8{3} |
.svg) 9{3} |
.svg) 10{3} |
.svg) 2{4} |
.svg) 3{4} |
.svg) 4{4} |
.svg) 5{4} |
.svg) 6{4} |
.svg) 7{4} |
.svg){kind=small} 2{5} |
.svg) 3{5} |
.svg) 4{5} |
.svg) 5{5} |
.svg) 6{5} |
.svg){kind=small} 2{5/2} |
.svg) 3{5/2} |
.svg) 4{5/2} |
.svg) 5{5/2} |
.svg) 6{5/2} |
.svg) 2{6} |
.svg){kind=small} 3{6} |
.svg) 4{6} |
.svg) 5{6} | |
.svg){kind=small} 2{7} |
.svg) 3{7} |
.svg) 4{7} |
.svg){kind=small} 2{7/2} |
.svg) 3{7/2} |
.svg) 4{7/2} |
.svg){kind=small} 2{7/3} |
.svg) 3{7/3} |
.svg) 4{7/3} |
.svg) 2{8} |
.svg) 3{8} |
.svg) 2{8/3} |
.svg) 3{8/3} | ||
.svg){kind=small} 2{9} |
.svg) 3{9} |
.svg){kind=small} 2{9/2} |
.svg) 3{9/2} |
.svg){kind=small} 2{9/4} |
.svg) 3{9/4} |
.svg) 2{10} |
.svg) 3{10} |
.svg) 2{10/3} |
.svg) 3{10/3} | |||||
.svg) 2{11} |
.svg) 2{11/2} |
.svg) 2{11/3} |
.svg) 2{11/4} |
.svg) 2{11/5} |
.svg) 2{12} |
.svg) 2{12/5} |
.svg) 2{13} |
.svg) 2{13/2} |
.svg) 2{13/3} |
.svg) 2{13/4} |
.svg) 2{13/5} |
.svg) 2{13/6} | ||
.svg) 2{14} |
.svg) 2{14/3} |
.svg) 2{14/5} |
.svg) 2{15} |
.svg) 2{15/2} |
.svg) 2{15/4} |
.svg) 2{15/7} |
抽象正圖形
參見
註釋
參考文獻
外部連結
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads