超方形

在幾何學中，**超方形**（英語：Hypercube），又稱**立方形**、**正測形**（Measure Polytope）是指正方形和立方體的 _n_ 維類比（對於正方形，_n_=2，對於立方體，_n_=3）。它是一類封閉的、緊緻的、凸的圖形，它們的 1 維骨架是由一群在其所在空間對準每個維度整齊排列的等長的線段組成的，其中相對的線段互相平行，而相交於一點的線段則互相正交。在 n 維空間中單位超方形（棱長為 1）的對角線長等於 ${\sqrt {n}}$ .

一個 _n_ 維的超方形又被叫做 **n - 超方形**。「正測形」（Measure Polytope）也是一個常用的名字，尤其是在 H.S.M. 考克斯特的文章中（這個詞最先是由 Elte，1912 發明的），但它現在已被「超方形」和「立方形」代替了。（而然在日本，由「Measure Polytope」翻譯過來的「正測形」仍在使用）

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

一個**單位超方形**是棱長為 1 個單位長度的超方形。通常，一個角（或叫**頂點**）是 2n 個在 _Rn_ 中的各坐標值等於 0 或 1 的點的超方形被特指為在這個坐標系下的**基本單位超方形**。

## 構造

　
: **0** – 點是零維唯一的超方形。

　
: **1** – 如果讓這個點移動一個單位長度，它會掃出一個線段，這就是一維的單位超方形。

　
: **2** – 如果讓這個線段沿著垂直於它自己的方向移動一個單位長度，它就會掃出一個二維的正方形。

　
: **3** – 如果讓這個正方形沿著垂直於它所在平面的方向移動一個單位長度，它就會創造出一個三維的立方體。

　
: **4** – 如果讓這個立方體沿著垂直於它所在空間的第四方向移動一個單位長度，它就會產生出一個四維的單位超方形（一個單位四維超正方體）。

這個過程可以被推進到任意維度。這個掃出體積的過程可以被數學形式化為閔可夫斯基和：_d_ 維超方形是 _d_ 個互相垂直的單位長度線段的閔可夫斯基和，因此超方形是環帶多面體的一個很好的例子。

超方體的 1 階骨架是一個超方形圖。

## 頂點坐標

_n_ 維的單位超方形是所有由直角坐標系 $\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_ 維超體積是 2n。

## 與其它多胞形家族的關係

超方形家族是少有的幾個在任何維度都出現的正多胞形家族之一。

**超方形**家族是三個正多胞形家族之一，被考克斯特標記為 _γn_。另外兩個是超方形對偶**正軸形**家族，標記為 _βn_，以及**正單體**家族，標記為 _αn_。例外，還有第四個不由凸正多胞形而是正無窮胞形，即超空間密鋪組成的家族超方形堆砌家族，標記為 _δn_，它們是超方形的超空間密鋪。

另外一個與超方形相關的由一系列半正多胞形組成的半正家族是**半超方形**家族，它們可由交錯地刪除對應維度超方形的頂點並在切口上添加新的正單體面來構造，標記為 _hγn_。

## 元素

任何一個 n - 超方體（n>0）都是由低維的超方形元素組成的：它的 (n-1) 維表面（「維面」）是 (n-1) 維的超方形，它的 (n-2) 維邊際（「維脊」）是 (n-2) 維的超方形，它的 (n-3) 維元素（「維頂」）是 (n-3) 維的超方形……
n 維的超方形有 2n 個維面（一維線段有兩個端點；二維正方形有 4 條邊或叫棱；三維立方體有 6 個面；四維超正方體有 8 個胞……）和 $2^{n}$ 個頂點（例如，立方體有 $2^{3}$ 個頂點）。

一個簡單的計算 _n_- 超方體 _"n-2"_- 面個數的公式是： $2n^{2}-2n$

_n_- 超方形表面上 _m_ 維超方形（0≤m≤n）的個數是：

　
: $E_{m,n}=2^{n-m}{\begin{smallmatrix}{n \choose m}\end{smallmatrix}}$ ,     這裡 ${\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}$ 個頂點中的每一個都決定了 _n_- 超方體的一個 $m$ 維表面。我們有 ${\begin{smallmatrix}{n \choose m}\end{smallmatrix}}$ 種方法來選擇哪些線段（「邊」）決定了這表面所在的空間。但是因為每個表面都有 $2^{m}$ 個頂點，所以每個表面都被算了 $2^{m}$ 次，因此我們需要將結果再除以這個數。由此我們得到了上述性質。

這個結果也能被遞迴關係式產生出來。

　
: $E_{m,n}=2E_{m,n-1}+E_{m-1,n-1}\!$ ,     並且 $E_{0,0}=1\!$ ,     並且未定義的元素 = 0.

例如，將二維空間中的正方形向三維空間延伸，在 4 個頂點處延伸出 4 條棱，最後加上第二個正方形來形成一個立方體，我們能算出總共有 $E_{1,3}\!$ = 12 條棱。

### 圖像

一個 **n 維超正方體**能通過一個扭曲正交投影投影到 _2n_ 邊形中，這裡展示出了從線段到十五維超正方體的 15 個超方形。

## 與 _n_- 單體的關係

_n_- 超方體的棱的圖像等距同構於 (_n_-1)- 單體的表面框架的哈斯圖。這種特殊關係可以通過以適當的角度看 _n_- 超方體使得相對的兩個頂點處在圖像的兩個頂點，對應於 (_n_-1)- 單體自己和空集元素。每一個與最上方的頂點相連的頂點唯一的映射到 (_n_-1)- 單體的維面，再與之相連的頂點映射到單體的維脊，如此等等，並且與最下方的頂點相連的頂點映射到單體的棱。

這個特殊關係可以被用來高效地產生 (_n-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