四維超正方體

在几何学中，四維超正方体或正八胞體，是一種四維的超正方體（）是立方體的四維類比，有8個立方體胞。四維超正方体之於立方體，就如立方體之於正方形。它是四維歐式空間中6個四維凸正多胞體之一。

超正方体是一个有无穷多个成员的凸正多胞形家族的四维成员，这个家族被称为“超方形”（或称立方形、正测形），这个家族的成员与施莱夫利符号{4,3,3,……,3,3}，它们都具有类似正方形和立方体的性质，如二胞角都为90°等。

“超正方體”和“超立方體”（Hypercube）這個名稱在一般的場合中特指四維的這個超正方體，不過在數學上，“超正方體”這個詞可以指n維（n>3）的任意一個超方形，因此把它和n維的其他超方形放在一起討論時，要加“四維”以示區別。

幾何性質 

在四維歐幾里得空間的標準四維方體是點(±1, ±1, ±1, ±1)的凸包。它包含了點：

四維方體由八個超平面(xi = ±1)包圍。兩兩非平行超平面相交，共形成四維方體的24個正方形面。每條棱有3個立方體和3個正方形相交。在每一頂點有4個立方體、6個正方形和4條棱相交。四維方體共有8個立方體、24個正方形、32條棱和16個頂點。边长为a的四维超正方体超体积是a4，表体积是8a3。

若一个四维超立方体的棱长为1，则其外接超球半径为1，外中交超球（经过超立方体各棱中点的三维超球）半径为，内中交超球（经过超立方体各面中心的三维超球）半径为，内切超球半径为。事实上，对于任意一个棱长为a的n维超方形，其自身中心到任意一个k维元素的中心的距离为。

四維方體的每一頂點與4條棱相鄰，所以四維方體的頂點圖是正四面體。所以四維方體的施萊夫利符號是{4,3,3}，前面兩個數字{4,3}代表其維面為立方體、後面兩個數字{3,3}代表其頂點圖為正四面體。其對偶多胞體是正十六胞體，施萊夫利符號是{3,3,4}。對偶多胞體維面與頂點圖交換，正十六胞體的維面變為正四面體、頂點圖變為立方體。

对称群构造 
作为一个超方形，超立方体可被识别为不同对称群的多胞体：首先，它是四维的超方形——一个凸正多胞体——四维超立方体，对应施莱夫利符号{4,3,3}，为，对应考克斯特BC4平面（即超方形—正轴形对应的），具有（又叫正十六胞体对称性），阶为384。同时，它也可被看作是立方体的四维棱柱，对应施莱夫利符号{4,3}×{}，，这个对称群的阶只有96。并且，它还是四维以上高维才有的两个二维以上多胞形的欧拉乘积——四維柱體柱的一个，即4-4柱體柱，是两个正方形的乘积，对应施莱夫利符号{4}×{4}，为，群阶64。它还是正四棱柱棱柱{4}×{}×{}，，群阶32。它还是线段棱柱棱柱棱柱{}×{}×{}×{}，，群阶16。

投影

二维投影 

超正方体的构造方法可以通过以下方式来想象：
零维：因為任何一點放大都是一條直線，所以任何一點都是屬於一維空間，而不屬於零維空間。
一维：两个点A和B可以被连接起来，我们就得到一个新的线段AB。
从一维到二维：两个平行的线段AB和CD可以被连接起来，我们就得到了一个正方形，以顶点为标记记作正方形ABCD。
从二维到三维：两个平行的正方形ABCD和EFGH可以被连接起来，我们就得到了一个立方体，以顶点标记为立方体ABCDEFGH。
从三维到四维：两个平行的立方体ABCDEFGH和IJKLMNOP可以被连接起来，我们于是就得到了一个超正方体，以顶点标记为超正方体ABCDEFGHIJKLMNOP。
四維方體的结构不易想象，但可以投射至3維或2維空間。在我们将其投影到二维空间中后，把頂點位置調整，可以了解更多。如此獲得的圖像，不再反映四維方體空間構造，而是反映頂點間的聯繫。以下給出一些例子。

第一幅圖顯示四維方體本質上從結合2個立方體，連結對應頂點得來。第二幅圖反映出四維方體每條邊等長，也可以看出立方體如何互相連結。第三幅圖按著每一頂點由最底一頂點出發沿着棱走的長度排列。如果我们是要将超正方体用作在并行计算中连接不同处理器网络拓扑基础，则这些图像会非常有用。在超正方体中任意两个顶点之间之间至多有4中不同的路程，并且这里有许多路径是等同的。
超正方体还是一个二分图，就像正方形和立方体一样。

三维投影

可视化

透视投影

二维线架投影

相關槪念
多胞形（Polytope）
超正方體（Hypercube）
四維多胞體（Polychoron）
四維凸正多胞體（Convex regular polychoron）

維度（Dimension）
四維空間（Four-dimensional space）
胞 (幾何)（Cell）
五維超正方體（Penteract）

外部連結 
 

 Der 8-Zeller (8-cell) Marco Möller's Regular polytopes in R4 (German)
 WikiChoron: Tesseract
 HyperSolids is an open source program for the Apple Macintosh (Mac OS X and higher) which generates the five regular solids of three-dimensional space and the six regular hypersolids of four-dimensional space.
 Hypercube 98 A Windows program that displays animated hypercubes, by Rudy Rucker
 ken perlin's home page A way to visualize hypercubes, by Ken Perlin
 Some Notes on the Fourth Dimension includes very good animated tutorials on several different aspects of the tesseract, by Davide P. Cervone
 Tesseract animation with hidden volume elimination
 A Study of Dimensions by Bill Price
 Regular convex four-dimensional polytopes by David Fontaine

参考资料 

代数拓扑
四維幾何
多胞体