超方形

在几何学中，超方形（英語：Hypercube），又称立方形、正测形（Measure Polytope）是指正方形和立方体的n维类比（对于正方形，n=2，对于立方体，n=3）。它是一类封閉的、紧致的、凸的图形，它们的1维骨架是由一群在其所在空间对准每个维度整齐排列的等长的线段组成的，其中相对的线段互相平行，而相交于一点的线段则互相正交。在n维空间中单位超方形（棱长为1）的对角线长等于 n {\displaystyle {\sqrt {n}}} . 一个n维的超方形又被叫做n-超方形。“正测形”（Measure Polytope）也是一个常用的名字，尤其是在H.S.M.考克斯特的文章中（这个词最先是由Elte，1912发明的），但它现在已被“超方形”和“立方形”代替了。（而然在日本，由“Measure Polytope”翻译过来的“正测形”仍在使用） 超方形是一种特殊的超矩形（英语：Hyperrectangle）（也被叫做正交形）。 一个单位超方形是棱长为1个单位长度的超方形。通常，一个角（或叫顶点）是2n个在Rn中的各坐标值等于0或1的点的超方形被特指为在这个坐标系下的基本单位超方形。 0 – 点是零维唯一的超方形。 1 – 如果让这个点移动一个单位长度，它会扫出一个线段，这就是一维的单位超方形。 2 – 如果让这个线段沿着垂直于它自己的方向移动一个单位长度，它就会扫出一个二维的正方形。 3 – 如果让这个正方形沿着垂直于它所在平面的方向移动一个单位长度，它就会创造出一个三维的立方体。 4 – 如果让这个立方体沿着垂直于它所在空间的第四方向移动一个单位长度，它就会产生出一个四维的单位超方形（一个单位四维超正方体）。 这个过程可以被推进到任意维度。这个扫出体积的过程可以被数学形式化为闵可夫斯基和：d维超方形是d个互相垂直的单位长度线段的闵可夫斯基和，因此超方形是环带多面体的一个很好的例子。 超方体的1阶骨架是一个超方形图（英语：hypercube graph）。 n维的单位超方形是所有由直角坐标系 ( ± 1 2 , ± 1 2 , ⋯ , ± 1 2 ) {\displaystyle \left(\pm {\frac {1}{2}},\pm {\frac {1}{2}},\cdots ,\pm {\frac {1}{2}}\right)} 的所有符号排列所对应的点组成的凸包。它的棱长为1，而它的n维超体积是1。 一个n维超方形有时也被表示为直角坐标 ( ± 1 , ± 1 , ⋯ , ± 1 ) {\displaystyle (\pm 1,\pm 1,\cdots ,\pm 1)} 的所有符号排列所对应的点组成的凸包。这顶点坐标写法因为简便而经常被使用。它的棱长是2，而n维超体积是2n。 超方形家族是少有的几个在任何维度都出现的正多胞形家族之一。 超方形家族是三个正多胞形家族之一，被考克斯特标记为γn。另外两个是超方形对偶正轴形家族，标记为βn，以及正单纯形家族，标记为αn。例外，还有第四个不由凸正多胞形而是正无穷胞形，即超空间密铺组成的家族超方形堆砌家族，标记为δn，它们是超方形的超空间密铺。 另外一个与超方形相关的由一系列半正多胞形（英语：Uniform polytope）组成的半正家族是半超方形家族，它们可由交错地删除对应维度超方形的顶点并在切口上添加新的正单纯形面来构造，标记为hγn。 任何一个n-超方体（n>0）都是由低维的超方形元素组成的：它的(n-1)维表面（“维面”）是(n-1)维的超方形，它的(n-2)维边缘（“维脊”）是(n-2)维的超方形，它的(n-3)维元素（“维顶”）是(n-3)维的超方形…… n维的超方形有2n个维面（一维线段有两个端点；二维正方形有4条边或叫棱；三维立方体有6个面；四维超正方体有8个胞……）和 2 n {\displaystyle 2^{n}} 个顶点（例如，立方体有 2 3 {\displaystyle 2^{3}} 个顶点）。 一个简单的计算n-超方体"n-2"-面个数的公式是： 2 n 2 − 2 n {\displaystyle 2n^{2}-2n} n-超方形表面上m维超方形（0≤m≤n）的个数是： E m , n = 2 n − m ( n m ) {\displaystyle E_{m,n}=2^{n-m}{\begin{smallmatrix}{n \choose m}\end{smallmatrix}}} ,     这里 ( n m ) = n ! m ! ( n − m ) ! {\displaystyle {\begin{smallmatrix}{n \choose m}\end{smallmatrix}}={\tfrac {n!}{m!\,(n-m)!}}} 并且n!代表着n的阶乘。 例如，四维超正方体（n=4）包含了8个立方体（3-超方体）、24个正方形（2-超方体）、32个线段（1-超方体）和16个点（0-超方体）。 这个特性能够用组合学来证明。 2 n {\displaystyle 2^{n}} 个顶点中的每一个都决定了n-超方体的一个 m {\displaystyle m} 维表面。我们有 ( n m ) {\displaystyle {\begin{smallmatrix}{n \choose m}\end{smallmatrix}}} 种方法来选择哪些线段（“边”）决定了这表面所在的空间。但是因为每个表面都有 2 m {\displaystyle 2^{m}} 个顶点，所以每个表面都被算了 2 m {\displaystyle 2^{m}} 次，因此我们需要将结果再除以这个数。由此我们得到了上述性质。 这个结果也能被递推关系式产生出来。 E m , n = 2 E m , n − 1 + E m − 1 , n − 1 {\displaystyle E_{m,n}=2E_{m,n-1}+E_{m-1,n-1}\!} ,     并且 E 0 , 0 = 1 {\displaystyle E_{0,0}=1\!} ,     并且未定义的元素 = 0. 例如，将二维空间中的正方形向三维空间延伸，在4个顶点处延伸出4条棱，最后加上第二个正方形来形成一个立方体，我们能算出总共有 E 1 , 3 {\displaystyle E_{1,3}\!} = 12 条棱。 一个n维超正方体能通过一个扭曲正交投影（英语：Petrie_polygon#The_hypercube_and_orthoplex_families）投影到2n边形中，这里展示出了从线段到十五维超正方体的15个超方形。 n-超方体的棱的图像等距同构于(n-1)-单纯形的表面框架（英语：Convex polytope#The_face_lattice）的哈斯图。这种特殊关系可以通过以适当的角度看n-超方体使得相对的两个顶点处在图像的两个顶点，对应于(n-1)-单纯形自己和空集元素。每一个与最上方的顶点相连的顶点唯一的映射到(n-1)-单纯形的维面，再与之相连的顶点映射到单纯形的维脊，如此等等，并且与最下方的顶点相连的顶点映射到单纯形的棱。 这个特殊关系可以被用来高效地产生(n-1)-单纯形的表面框架，毕竟可用于计算所有多胞形表面框架的一般方法在计算上比较困难。 超正八面体对称群（英语：Hyperoctahedral group），超方形的对称性 超球面 单纯形 超立方体互联网络，网络工程学 Elte, E. L. The Semiregular Polytopes of the Hyperspaces. Groningen: University of Groningen. 1912.  Chapter IV, five dimensional semiregular polytope [1] （页面存档备份，存于互联网档案馆） Bowen, J. P. Hypercubes. Practical Computing. April 1982, 5 (4): 97–99. （原始内容存档于2008-06-30）.  Coxeter, H. S. M. 《正多胞形》 3rd. Dover. 1973: 123. ISBN 0-486-61480-8.  p. 296, Table I (iii): Regular Polytopes, three regular polytopes in n dimensions (n ≥ 5) Hill, Frederick J.; Gerald R. Peterson. Introduction to Switching Theory and Logical Design: Second Edition. NY: John Wiley & Sons. 1974. ISBN 0-471-39882-9.  Cf Chapter 7.1 "Cubical Representation of Boolean Functions" wherein the notion of "hypercube" is introduced as a means of demonstrating a distance-1 code (Gray code) as the vertices of a hypercube, and then the hypercube with its vertices so labelled is squashed into two dimensions to form either a Veitch diagram or Karnaugh map. 埃里克·韦斯坦因. Hypercube. MathWorld.  埃里克·韦斯坦因. Hypercube graphs. MathWorld.  Olshevsky, George, Measure polytope at Glossary for Hyperspace. www.4d-screen.de （页面存档备份，存于互联网档案馆） (Rotation of 4D – 7D-Cube) Rotating a Hypercube （页面存档备份，存于互联网档案馆） by Enrique Zeleny, Wolfram Demonstrations Project. Stereoscopic Animated Hypercube （页面存档备份，存于互联网档案馆） Rudy Rucker and Farideh Dormishian's Hypercube Downloads