n維球面

n維球面是普通的球面在任意維度的推廣。它是(n + 1)維空間內的n維流形。特別地，0維球面就是直線上的兩個點，1維球面是平面上的圓，2維球面是三維空間內的普通球面。高於2維的球面有時稱為超球面。中心位於原點且半徑為單位長度的n維球面稱為單位n維球面，記為Sⁿ。用符號來表示，就是：

${\displaystyle S^{n}=\left\{x\in \mathbb {R} ^{n+1}:\|x\|=1\right\}.}$

2維球面的正交投影

3維球面的平行線（紅色）、 子午線（藍色）以及超子午線（綠色）的立體投影法。 因為立體投影法的共形特性，這些曲線彼此在交點上彼此正交（圖中黃色點），如同在四維空間中一樣。所有曲線都是圓；交會在<0,0,0,1>的曲線具有無限大的半徑（亦即直線）。

n維球面是(n + 1)維球體的表面或邊界，是n維流形的一種。對於n ≥ 2，n維球面是單連通的n維流形，其曲率為正的常數。

描述

對於任何自然數n，半徑為r的n維球面定義為(n + 1)維歐幾里得空間中到某個定點的距離等於常數r的所有點的集合，其中r可以是任何正的實數。它是(n + 1)維空間內的n維流形。特別地：

• 0維球面是直線上的兩個點{p − r, p + r}；
• 1維球面是平面上的圓；
• 2維球面是三維空間內的普通球面；
• 3維球面是四維空間內的球面。

(n + 1)維空間中的歐幾里得坐標

(n + 1)維空間中的點(x₁, x₂, ..., x_n+1)定義了一個n維球面（Sⁿ(r)），由以下方程表示：

${\displaystyle r^{2}=\sum _{i=1}^{n+1}(x_{i}-C_{i})^{2}.\,}$

其中C是中心點，r是半徑。

以上的n維球面在(n + 1)維空間中存在，是n維流形的一個例子。半徑為${\displaystyle r}$的n維球面的體積形式ω由下式給出：

${\displaystyle \omega ={1 \over r}\sum _{j=1}^{n+1}(-1)^{j-1}x_{j}\,dx_{1}\wedge \cdots \wedge dx_{j-1}\wedge dx_{j+1}\wedge \cdots \wedge dx_{n+1}=*dr}$

其中*是霍奇星算子（關於討論和這個公式在r = 1的情形下的證明，請參見Flanders (1989，§6.1)）。因此，

${\displaystyle dr\wedge \omega =dx_{1}\wedge \cdots \wedge dx_{n+1}.}$

n維球體

由n維球面所包圍的體積，稱為(n + 1)維球體。如果把球體的表面包括在內，則(n + 1)維球體是封閉的，否則是開放的。

特別地：

• 1維球體，是一個線段，是0維球面的內部。
• 2維球體，是一個圓盤，是圓（1維球面）的內部。
• 3維球體，是一個普通的球體，是球面（2維球面）的內部。
• 4維球體，是3維球面的內部。

n維球體的體積

${\displaystyle (n-1)}$維球面所包圍的體積（${\displaystyle n}$維球體的體積）由以下公式給出：

${\displaystyle V_{n}={\pi ^{\frac {n}{2}}R^{n} \over \Gamma ({\frac {n}{2}}+1)}={C_{n}R^{n}}}$,

其中${\displaystyle \Gamma }$是伽瑪函數。對於偶數${\displaystyle n}$，${\displaystyle \Gamma \left({\frac {n}{2}}+1\right)=\left({\frac {n}{2}}\right)!}$；對於奇數${\displaystyle n}$，${\displaystyle \Gamma \left({\frac {n}{2}}+1\right)={\sqrt {\pi }}{\frac {n!!}{2^{(n+1)/2}}}}$，其中${\displaystyle n!!}$表示雙階乘。

由此可以推出，對於給定的${\displaystyle n}$，常數${\displaystyle C_{n}}$的值為：

${\displaystyle C_{n}={\frac {\pi ^{k}}{k!}}}$（對於偶數n=2k），

${\displaystyle C_{n}=C_{2k+1}={\frac {2^{2k+1}k!\,\pi ^{k}}{(2k+1)!}}}$（對於奇數n=2k+1）。

這個(n-1)維球面的表面積是：

${\displaystyle S_{n-1}={\frac {dV_{n}}{dR}}={\frac {nV_{n}}{R}}={2\pi ^{\frac {n}{2}}R^{n-1} \over \Gamma ({\frac {n}{2}})}={nC_{n}R^{n-1}}}$

n維球面的表面積和體積之間有以下的關係：

${\displaystyle V_{n}/S_{n-1}=R/n\,}$

${\displaystyle S_{n+1}/V_{n}=2\pi R\,}$

從此可以推導出遞歸關係：

${\displaystyle V_{n}={\frac {2\pi R^{2}}{n}}V_{n-2}\,}$

這些公式也可以直接從n維球坐標系中的積分推出(Stewart 2006，第881頁)。

例子

對於較小的${\displaystyle n}$，半徑為${\displaystyle R}$的${\displaystyle n}$維球體體積${\displaystyle V_{n}}$為如下：

${\displaystyle V_{0}\,}$	=	${\displaystyle 1\,}$
${\displaystyle V_{1}\,}$	=	${\displaystyle 2\,R}$	${\displaystyle \approx }$	${\displaystyle 2.00000\,R}$
${\displaystyle V_{2}\,}$	=	${\displaystyle \pi \,R^{2}}$	${\displaystyle \approx }$	${\displaystyle 3.14159\,R^{2}}$
${\displaystyle V_{3}\,}$	=	${\displaystyle {\frac {4\pi }{3}}\,R^{3}}$	${\displaystyle \approx }$	${\displaystyle 4.18879\,R^{3}}$
${\displaystyle V_{4}\,}$	=	${\displaystyle {\frac {\pi ^{2}}{2}}\,R^{4}}$	${\displaystyle \approx }$	${\displaystyle 4.93480\,R^{4}}$
${\displaystyle V_{5}\,}$	=	${\displaystyle {\frac {8\pi ^{2}}{15}}\,R^{5}}$	${\displaystyle \approx }$	${\displaystyle 5.26379\,R^{5}}$
${\displaystyle V_{6}\,}$	=	${\displaystyle {\frac {\pi ^{3}}{6}}\,R^{6}}$	${\displaystyle \approx }$	${\displaystyle 5.16771\,R^{6}}$
${\displaystyle V_{7}\,}$	=	${\displaystyle {\frac {16\pi ^{3}}{105}}\,R^{7}}$	${\displaystyle \approx }$	${\displaystyle 4.72477\,R^{7}}$
${\displaystyle V_{8}\,}$	=	${\displaystyle {\frac {\pi ^{4}}{24}}\,R^{8}}$	${\displaystyle \approx }$	${\displaystyle 4.05871\,R^{8}}$

但當 ${\displaystyle n}$ 趨於無窮大時，${\displaystyle {\frac {V_{n}}{R^{n}}}}$ 趨於0。

如果維度n不限於整數，那麼n維球面的體積就是n的連續函數，它的極大值位於n = 5.2569464...，體積為5.277768...。當n = 0或n = 12.76405...時，體積為1。

單位n維球面的外切超正方體的邊長為2，因此體積為2ⁿ；當維度增加時，n維球面的體積與外切於它的超正方體的體積之比單調減少。

超球坐標系

我們可以定義n維空間內的坐標系統，與3維空間內的球坐標系類似，由徑向坐標${\displaystyle \ r}$和${\displaystyle \ n-1}$個角度坐標${\displaystyle \ \phi _{1},\phi _{2},...,\phi _{n-1}}$組成。如果${\displaystyle \ x_{i}}$是笛卡兒坐標系，那麼我們可以定義：

${\displaystyle x_{1}=r\cos(\phi _{1})\,}$

${\displaystyle x_{2}=r\sin(\phi _{1})\cos(\phi _{2})\,}$

${\displaystyle x_{3}=r\sin(\phi _{1})\sin(\phi _{2})\cos(\phi _{3})\,}$

${\displaystyle \cdots \,}$

${\displaystyle x_{n-1}=r\sin(\phi _{1})\cdots \sin(\phi _{n-2})\cos(\phi _{n-1})\,}$

${\displaystyle x_{n}~~\,=r\sin(\phi _{1})\cdots \sin(\phi _{n-2})\sin(\phi _{n-1})\,}$

從中可以推出逆轉換的公式：

${\displaystyle \tan(\phi _{n-1})={\frac {x_{n}}{x_{n-1}}}}$

${\displaystyle \tan(\phi _{n-2})={\frac {\sqrt {{x_{n}}^{2}+{x_{n-1}}^{2}}}{x_{n-2}}}}$

${\displaystyle \cdots \,}$

${\displaystyle \tan(\phi _{1})={\frac {\sqrt {{x_{n}}^{2}+{x_{n-1}}^{2}+\cdots +{x_{2}}^{2}}}{x_{1}}}}$

注意最後一個角${\displaystyle \phi _{n-1}}$的值域為${\displaystyle 2\pi }$，而其它角的值域為${\displaystyle \pi }$。這個值域覆蓋了整個球面。

n維空間內的體積元素可以從轉換的雅可比行列式得出：

${\displaystyle d_{\mathbb {R} ^{n}}V=\left|\det {\frac {\partial (x_{i})}{\partial (r,\phi _{j})}}\right|dr\,d\phi _{1}\,d\phi _{2}\ldots d\phi _{n-1}}$

${\displaystyle =r^{n-1}\sin ^{n-2}(\phi _{1})\sin ^{n-3}(\phi _{2})\cdots \sin(\phi _{n-2})\,dr\,d\phi _{1}\,d\phi _{2}\cdots d\phi _{n-1}}$

以上n維球體的體積方程可以通過積分來重新得出：

${\displaystyle V_{n}=\int _{r=0}^{R}\int _{\phi _{1}=0}^{\pi }\cdots \int _{\phi _{n-2}=0}^{\pi }\int _{\phi _{n-1}=0}^{2\pi }d_{\mathbb {R} ^{n}}V.\,}$

(n-1)–維球面的體積元素是2維球面的面積元素的推廣，由以下公式給出：

${\displaystyle d_{S^{n-1}}V=\sin ^{n-2}(\phi _{1})\sin ^{n-3}(\phi _{2})\cdots \sin(\phi _{n-2})\,d\phi _{1}\,d\phi _{2}\ldots d\phi _{n-1}}$

球極平面投影

就像三維空間中的二維球面可以通過球極平面投影映射到二維平面上一樣，一個n維球面也可以通過球極平面投影的n維形式映射到n維超平面。例如，半徑為1的二維球面上的點${\displaystyle \ [x,y,z]}$映射到${\displaystyle \ xy}$平面上的點${\displaystyle \ [x,y,z]\mapsto \left[{\frac {x}{1-z}},{\frac {y}{1-z}}\right]}$。也就是說：

${\displaystyle \ [x,y,z]\mapsto \left[{\frac {x}{1-z}},{\frac {y}{1-z}}\right].}$

類似地，半徑為1的n維球面${\displaystyle \mathbf {S} ^{n-1}}$的球極平面投影映射到垂直於${\displaystyle \ x_{n}}$軸的n-1維超平面${\displaystyle \mathbf {R} ^{n-1}}$：

${\displaystyle [x_{1},x_{2},\ldots ,x_{n}]\mapsto \left[{\frac {x_{1}}{1-x_{n}}},{\frac {x_{2}}{1-x_{n}}},\ldots ,{\frac {x_{n-1}}{1-x_{n}}}\right].}$

參見

• 共形幾何
• 同調球面
• 球的同倫群
• 同倫球
• 雙曲群
• 超正方體
• 反演幾何
• 正交群
• 莫比烏斯轉換

參考文獻

• Flanders, Harley, Differential forms with applications to the physical sciences, New York: Dover Publications, 1989, ISBN 978-0-486-66169-8.
• Moura, Eduarda; Henderson, David G., Experiencing geometry: on plane and sphere, Prentice Hall, 1996 [2008-09-13], ISBN 978-0-13-373770-7, （原始內容存檔於2008-07-04）（第20章：3-spheres and hyperbolic 3-spaces）
• Weeks, Jeffrey R., The Shape of Space: how to visualize surfaces and three-dimensional manifolds, Marcel Dekker, 1985, ISBN 978-0-8247-7437-0（第14章：The Hypersphere）
• Marsaglia, G. "Choosing a Point from the Surface of a Sphere." Ann. Math. Stat. 43, 645-646, 1972.
• Stewart, James, Calculus: Concepts and Contexts 3rd, Thomson/Brooks/Cole, 2006.

外部連結

• 埃里克·韋斯坦因. 超球面. MathWorld.
• 科學空間：求n維球的體積（頁面存檔備份，存於互聯網檔案館）