超方形

在几何学中，**超方形**（），又称**立方形**、**正测形**（）是指正方形和立方体的 n 维类比（对于正方形，n=2，对于立方体，n=3）。它是一类封閉的、紧致的、凸的图形，它们的1维是由一群在其所在空间对准每个维度整齐排列的等长的线段组成的，其中相对的线段互相平行，而相交于一点的线段则互相正交。在n维空间中单位超方形（棱长为1）的对角线长等于\sqrt{n}.

一个 n 维的超方形又被叫做**n-超方形**。“正测形”（Measure Polytope）也是一个常用的名字，尤其是在H.S.M.考克斯特的文章中（这个词最先是由Elte，1912发明的），但它现在已被“超方形”和“立方形”代替了。（而然在日本，由“Measure Polytope”翻译过来的“正测形”仍在使用）

超方形是一种特殊的（也被叫做**正交形**）。

一个**单位超方形**是棱长为1个单位长度的超方形。通常，一个角（或叫**顶点**）是 2^n 个在 R^n 中的各坐标值等于0或1的点的超方形被特指为在这个坐标系下的**基本单位超方形**。

## 构造

:**0** – 点是零维唯一的超方形。
:**1** – 如果让这个点移动一个单位长度，它会扫出一个线段，这就是一维的单位超方形。
:**2** – 如果让这个线段沿着垂直于它自己的方向移动一个单位长度，它就会扫出一个二维的正方形。
:**3** – 如果让这个正方形沿着垂直于它所在平面的方向移动一个单位长度，它就会创造出一个三维的立方体。
:**4** – 如果让这个立方体沿着垂直于它所在空间的第四方向移动一个单位长度，它就会产生出一个四维的单位超方形（一个单位四维超正方体）。

这个过程可以被推进到任意维度。这个扫出体积的过程可以被数学形式化为闵可夫斯基和：*d*维超方形是*d*个互相垂直的单位长度线段的闵可夫斯基和，因此超方形是环带多面体的一个很好的例子。

超方体的1阶是一个。

## 顶点坐标

*<math>n</math>* 维的单位超方形是所有由直角坐标系\left(\pm \frac{1}{2}, \pm \frac{1}{2}, \cdots, \pm \frac{1}{2}\right)的所有符号排列所对应的点组成的凸包。它的棱长为1，而它的*n*维超体积是1。

一个 n 维超方形有时也被表示为直角坐标(\pm 1, \pm 1, \cdots, \pm 1)的所有符号排列所对应的点组成的凸包。这顶点坐标写法因为简便而经常被使用。它的棱长是2，而 n 维超体积是 2^n。

## 与其它多胞形家族的关系

超方形家族是少有的几个在任何维度都出现的正多胞形家族之一。

**超方形**家族是三个正多胞形家族之一，被考克斯特标记为\gamma_n。另外两个是超方形对偶**[[正轴形]]**家族，标记为 \beta_n，以及**正[[单纯形]]**家族，标记为 \alpha_n。例外，还有第四个不由凸正多胞形而是正无穷胞形，即超空间密铺组成的家族超方形堆砌家族，标记为 \delta_n，它们是超方形的超空间密铺。

另外一个与超方形相关的由一系列组成的半正家族是**[[半超方形]]**家族，它们可由交错地删除对应维度超方形的顶点并在切口上添加新的正单纯形面来构造，标记为*hγ<sub>n</sub>*。

## 元素

任何一个n-超方体（n>0）都是由低维的超方形元素组成的：它的(n-1)维表面（“维面”）是(n-1)维的超方形，它的(n-2)维边缘（“维脊”）是(n-2)维的超方形，它的(n-3)维元素（“维顶”）是(n-3)维的超方形......
n维的超方形有 2n 个维面（一维线段有两个端点；二维正方形有4条边或叫棱；三维立方体有6个面；四维超正方体有8个胞......）和2^{n}个顶点（例如，立方体有2^{3}个顶点）。

一个简单的计算*<math>n</math>*-超方体*"*n-2*"*-面个数的公式是：2n^{2}-2n

*<math>n</math>*-超方形表面上 m
 维超方形（0\leq m\leq n）的个数是：

: E_{m,n} = 2^{n-m}{n \choose m}
 , &nbsp;&nbsp;&nbsp; 这里 {n \choose m}
=\frac{n!}{m!\,(n-m)!} 并且 n! 代表着 *<math>n</math>* 的阶乘。

例如，四维超正方体（ n=4
 ）包含了8个立方体（3-超方体）、24个正方形（2-超方体）、32个线段（1-超方体）和16个点（0-超方体）。

这个特性能够用组合学来证明。2^n个顶点中的每一个都决定了*n*-超方体的一个
m维表面。我们有 {n \choose m}
种方法来选择哪些线段（“边”）决定了这表面所在的空间。但是因为每个表面都有2^m个顶点，所以每个表面都被算了2^m次，因此我们需要将结果再除以这个数。由此我们得到了上述性质。

这个结果也能被递推关系式产生出来。

:E_{m,n} = 2E_{m,n-1} + E_{m-1,n-1} \!, &nbsp; &nbsp; 并且 E_{0,0} = 1 \!, &nbsp; &nbsp; 并且未定义的元素 = 0.

例如，将二维空间中的正方形向三维空间延伸，在4个顶点处延伸出4条棱，最后加上第二个正方形来形成一个立方体，我们能算出总共有 E_{1,3} \! = 12 条棱。

### 图像
一个**n维超正方体**能通过一个投影到*2n*边形中，这里展示出了从线段到十五维超正方体的15个超方形的正交投影。

## 与''n''-单纯形的关系

 n
 -超方体的棱的图像等距同构于 (n-1)
 -单纯形的的哈斯图。这种特殊关系可以通过以适当的角度看*<math> n
 </math>*-超方体使得相对的两个顶点处在图像的两个顶点，对应于 (n-1)
 -单纯形自己和空集元素。每一个与最上方的顶点相连的顶点唯一的映射到 (n-1)
 -单纯形的维面，再与之相连的顶点映射到单纯形的维脊，如此等等，并且与最下方的顶点相连的顶点映射到单纯形的棱。

这个特殊关系可以被用来高效地产生 (n-1)
 -单纯形的表面框架，毕竟可用于计算所有多胞形表面框架的一般方法在计算上比较困难。

## 另见
* ，超方形的对称性
* 超球面
* 单纯形
* 超立方体互联网络，网络工程学

## 注释

## 参考
* 
*  p.&nbsp;296, Table I (iii): Regular Polytopes, three regular polytopes in *n* dimensions (*n*&nbsp;≥&nbsp;5)
*  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.

## 外部链接
* 
* 
* 
* www.4d-screen.de  (Rotation of 4D – 7D-Cube)
* *[http://demonstrations.wolfram.com/RotatingAHypercube/  Rotating a Hypercube] * by Enrique Zeleny, Wolfram Demonstrations Project.
* Stereoscopic Animated Hypercube 
* Rudy Rucker and Farideh Dormishian's Hypercube Downloads