この項目では、一般次元多様体 について説明しています。
直交射影 としての 2 次元球面ワイヤフレーム
立体射影 が球面の表面を平面に射影できるのと全く同じように、3 次元球面の表面も 3 次元空間に射影できる。このイメージは 3 次元空間に射影された 3 つの座標方向を示している: parallels(赤)、meridians (青)、hypermeridians(緑)。ステレオグラフ射影の等角 性によって、曲線は 4 次元においてそうであるように互いに直交に(黄色の点で)交わる。曲線のすべては円である: <0,0,0,1> と交わる曲線は無限大の半径を持つ(=直線)。
数学 において、n 次元球面 (n -じげんきゅうめん、英 : n -sphere , n 球面)は普通の球面 の n 次元空間 への一般化である。任意の自然数 n に対して、半径 r の n 次元球面は中心点から距離 r にある (n + 1) 次元ユークリッド空間 における点の集合として定義される。ここで半径 r は任意の正の 実数 でよい。したがって、原点を中心とする n 次元球面は
S
n
=
{
x
∈
R
n
+
1
:
‖
x
‖
=
r
}
{\displaystyle S^{n}=\{x\in \mathbb {R} ^{n+1}:\|x\|=r\}}
によって定義される。これは (n + 1) 次元ユークリッド空間内に存在する n 次元多様体 である。
特に:
零次元球面は二点、すなわち直線 内の(一次元の対象である)線分 の零次元の対象である端点の対、
一次元球面は円 、すなわち平面 内の(二次元の対象である)円板 の一次元の対象である円周、
二次元球面は三次元空間 における(三次元の対象である)球体 の二次元の対象である表面
である。
次元 n > 2 の球面は超球面 (hypersphere)[注釈 1] と呼ばれることがあり、3 次元球面 は glome と呼ばれることがある。原点に中心のある半径 1 の n 次元球面は n -次元単位球面 または単位 n 次元球面 (unit n -sphere) と呼ばれ、S n と表記される。単位 n 次元球面はしばしば the n -sphere と呼ばれる。
n 次元球面は (n + 1) 次元球体 の表面あるいは境界であり、n 次元多様体 である。n ≥ 2 に対して、n 次元球面は正の定曲率 (英語版 ) の単連結 n 次元多様体である。n 次元球面にはいくつかの他の位相的記述がある。例えば、2 つの n 次元ユークリッド空間 を貼り合わせることによって、n -次元超立方体 の境界を一点と同一視することによって、あるいは (n − 1) 次元球面の懸垂 を(帰納的に)作ることによって構成できる。
任意の(0を含む)自然数 n に対して、半径 r の n 次元球面は (n + 1) 次元ユークリッド空間 のある固定された点 c から距離 r にある点全体の集合として定義される。ここで r は任意の正の 実数 でよく、c は (n + 1) 次元空間の任意の点でよい。特に:
零次元球面は点のペア {c − r , c + r } であり、線分(一次元球体)の境界である。
一次元球面 は中心が c にある半径 r の円 であり、円板(二次元球体)の境界である。
二次元球面 は三次元ユークリッド空間内の通常の二次元球面 であり、通常の球体(三次元球体)の境界である。
三次元球面 は四次元ユークリッド空間内の球面である。
(n + 1) 次元空間におけるユークリッド座標[ 編集 ]
n -次元球面 Sn を定義する (n + 1) -次元空間内の点 (x 1 , x 2 , …, x n +1 ) 全体の成す集合は、方程式
r
2
=
∑
i
=
1
n
+
1
(
x
i
−
c
i
)
2
{\displaystyle r^{2}=\sum _{i=1}^{n+1}(x_{i}-c_{i})^{2}}
によって表される、ただし c = (c 1 , c 2 , …, c n +1 ) は中心であり r は半径である。
上の n 次元球面は (n + 1) 次元ユークリッド空間に存在し、n 次元多様体 の例である。半径 r の n 次元球面の体積形式 ω は
ω
=
1
r
∑
j
=
1
n
+
1
(
−
1
)
j
−
1
x
j
d
x
1
∧
⋯
∧
d
x
j
−
1
∧
d
x
j
+
1
∧
⋯
∧
d
x
n
+
1
=
∗
d
r
{\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) を見よ。結果として、
d
r
∧
ω
=
d
x
1
∧
⋯
∧
d
x
n
+
1
.
{\displaystyle dr\wedge \omega =dx_{1}\wedge \cdots \wedge dx_{n+1}.}
n 次元球面によって囲まれる有界領域は (n + 1) 次元球体 (n -ball) と呼ばれる。(n + 1) 次元球は n 次元球面を含めば閉集合 であり、含まなければ開集合 である。
具体例:
一次元球体 は通常は線分 と呼ばれる。零次元球面を成す二点を結ぶ線分という意味で零次元球面の内部と理解することができる。
二次元球体 は通常は円板 と呼ばれ、円周 (一次元球面)の囲む領域になっている。
三次元球体 は単に球体 と言えば普通はこれのことで、通常の球面 (二次元球面)の内部である。
四次元球体 は三次元球面 の内部である、etc.
位相幾何学 的には、n 次元球面は n 次元ユークリッド空間の1点コンパクト化 として構成できる。手短に言えば、n 次元球面は
S
n
=
R
n
∪
{
∞
}
{\displaystyle \mathbb {S} ^{n}=\mathbb {R} ^{n}\cup \{\infty \}}
として記述でき、これは n 次元ユークリッド空間プラス全ての方向における無限大を表す一点である。特に、一点が n 次元球面から除かれ��と、
R
n
{\displaystyle \mathbb {R} ^{n}}
に同相 になる。これは立体射影 の原理である[1] 。
低次元の場合の例
次元
値
図形
説明
零次元
V
0
=
1
{\displaystyle V_{0}=1}
単位球体: 原点
零次元ハウスドルフ測度 (英語版 ) は集合内の点の数
S
0
=
2
{\displaystyle S_{0}=2}
単位球面: 二点 {−1, 1}
一次元
V
1
=
2
{\displaystyle V_{1}=2}
単位球体: 閉区間 [−1, 1]
[−1, 1] の長さ(一次元測度)
S
1
=
2
π
{\displaystyle S_{1}=2\pi }
単位球面: 単位円
単位円の円周の長さ
二次元
V
2
=
π
{\displaystyle V_{2}=\pi }
単位球面: 単位円板
単位円板の面積(二次元測度)
S
2
=
4
π
{\displaystyle S_{2}=4\pi }
単位球面
三次元空間内の二次元単位球面の表面積
三次元
V
3
=
4
π
3
{\displaystyle V_{3}={\frac {4\pi }{3}}}
単位球体
二次元球面の囲む体積(三次元測度)
……
一般に、n -次元ユークリッド空間内の n -次元球体および (n + 1) -次元ユークリッド空間内の n -次元球面の n -次元体積は、いずれも半径 R の n -乗に比例する。そこで、半径 R の n -次元球の体積を V n (R ) = V n R n , n -次元球面の体積を S n (R ) = S n R n と書いて、これら比例定数の成す数列 Vn , Sn の性質を記述する。
半径 R の (n + 1) -次元球体の境界となる n -次元球面の「表面積」(正確には n -次元体積)は同球体の (n + 1) -次元体積との間に、微分方程式
S
n
R
n
=
d
V
n
+
1
R
n
+
1
d
R
=
(
n
+
1
)
V
n
+
1
R
n
{\displaystyle S_{n}R^{n}={\frac {dV_{n+1}R^{n+1}}{dR}}={(n+1)V_{n+1}R^{n}}}
によって表される関係を持つ。あるいは同じことだが、単位 (n + 1) -次元球体を無数の同心 n -次元「球殻」の合併として表すことにより
V
n
+
1
=
∫
0
1
S
n
r
n
d
r
=
S
n
n
+
1
{\displaystyle V_{n+1}=\int _{0}^{1}S_{n}r^{n}\,dr={\frac {S_{n}}{n+1}}}
を得る。
(n + 2) -次元単位球面を、各部分が何れも円(一次元球面)と n -次元球面との直積として得られる (n + 1) -次元のトーラスとなっているような和集合として表すこともできる。r = cos(θ) かつ r 2 + R 2 = 1 , 従って R = sin(θ) かつ dR = cos(θ) d θ と置くと、
S
n
+
2
=
∫
0
π
/
2
(
S
1
r
)
(
S
n
R
n
)
d
θ
=
∫
0
π
/
2
S
1
S
n
R
n
cos
θ
d
θ
=
∫
0
1
S
1
S
n
R
n
d
R
=
S
1
∫
0
1
S
n
R
n
d
R
=
2
π
V
n
+
1
{\displaystyle {\begin{aligned}S_{n+2}&=\int _{0}^{\pi /2}(S_{1}r)(S_{n}R^{n})\,d\theta =\int _{0}^{\pi /2}S_{1}S_{n}R^{n}\cos \theta \,d\theta \\&=\int _{0}^{1}S_{1}S_{n}R^{n}\,dR=S_{1}\int _{0}^{1}S_{n}R^{n}\,dR\\&=2\pi V_{n+1}\end{aligned}}}
を得る。ここで S 1 = 2π V 0 だから、任意の n ≥ 0 に対し等式
S n +1 = 2π V n が成り立つ。
以上の漸化式をまとめると
V
0
=
1
,
V
n
+
1
=
S
n
/
(
n
+
1
)
,
{\displaystyle V_{0}=1,\,V_{n+1}=S_{n}/(n+1),}
S
0
=
2
,
S
n
+
1
=
2
π
V
n
{\displaystyle S_{0}=2,\,S_{n+1}=2\pi V_{n}}
ということになる。
上記の二つの漸化式から V n +2 = 2π V n ⁄(n +2) であり、k に関して帰納的に
V
2
k
=
π
k
k
!
,
V
2
k
+
1
=
2
(
2
π
)
k
(
2
k
+
1
)
!
!
=
2
k
!
(
4
π
)
k
(
2
k
+
1
)
!
{\displaystyle V_{2k}={\frac {\pi ^{k}}{k!}},\,V_{2k+1}={\frac {2(2\pi )^{k}}{(2k+1)!!}}={\frac {2k!(4\pi )^{k}}{(2k+1)!}}}
を示すことは容易である。ただし !! は二重階乗 を表す。これは奇数 2k + 1 に対して (2k + 1)!! = 1⋅3⋅5⋅…⋅(2k − 1)(2k + 1) と定義されている。
一般に、n -次元単位球体の(n -次元ユークリッド空間内での)体積は
V
n
=
π
n
/
2
Γ
(
n
2
+
1
)
{\displaystyle V_{n}={\frac {\pi ^{n/2}}{\Gamma ({\frac {n}{2}}+1)}}}
によって与えられる、ただし Γ はガンマ関数 であり、Γ(1/2) = √ π , Γ(1) = 1 , Γ(x + 1) = x Γ(x ) を満たす。
Vn に Rn を掛け、R について微分して R = 1 とおくと、閉じた形
S
n
−
1
=
2
π
n
/
2
Γ
(
n
2
)
{\displaystyle S_{n-1}={\frac {2\pi ^{n/2}}{\Gamma ({\frac {n}{2}})}}}
を得る。
(n はユークリッド空間の次元であり、体積がここにリストされている球体の内在的次元でもあるが、表面積がここにリストされている球面の内在的次元よりも 1 大きいことに注意。)曲がった赤の矢印は異なる n に対する公式の間の関係を示す。各矢印の指す先の式はその矢印の始点の式に矢印の頭の因子を掛けたものに等しい。もし下の矢印の向きを逆にすれば、それらの矢印の頭は 2π /(n − 2) を掛けることを示すことになる。別の言い方をすれば、n + 2 次元空間内の球面の表面積 S n + 1 はちょうど、2π R を、n 次元空間内の球面によって囲まれる体積 Vn に掛けたものである。
漸化式は結合して図にかかれているように表面積に対して「逆向きの」漸化関係を与えることができる:
S
n
−
1
=
n
2
π
S
n
−
1
+
2
{\displaystyle S_{n-1}={\frac {n}{2\pi }}S_{n-1+2}}
すると添え字を n から n − 2 にシフトすることで漸化式
V
n
=
2
π
n
V
n
−
2
{\displaystyle V_{n}={\frac {2\pi }{n}}V_{n-2}}
S
n
−
1
=
2
π
n
−
2
S
n
−
1
−
2
{\displaystyle S_{n-1}={\frac {2\pi }{n-2}}S_{n-1-2}}
を得る、ただし S0 = 2, V1 = 2, S1 = 2π , V2 = π .
V
n
{\displaystyle V_{n}}
に対する漸化関係も 2 次元極座標 での積分 を経由して証明できる:
V
n
=
∫
0
1
∫
0
2
π
V
n
−
2
(
1
−
r
2
)
n
−
2
r
d
θ
d
r
=
∫
0
1
∫
0
2
π
V
n
−
2
(
1
−
r
2
)
n
/
2
−
1
r
d
θ
d
r
=
2
π
V
n
−
2
∫
0
1
(
1
−
r
2
)
n
/
2
−
1
r
d
r
=
2
π
V
n
−
2
[
−
1
n
(
1
−
r
2
)
n
/
2
]
r
=
0
r
=
1
=
2
π
V
n
−
2
1
n
=
2
π
n
V
n
−
2
.
{\displaystyle {\begin{aligned}V_{n}&=\int _{0}^{1}\int _{0}^{2\pi }V_{n-2}({\sqrt {1-r^{2}}})^{n-2}\,r\,d\theta \,dr\\[6pt]&=\int _{0}^{1}\int _{0}^{2\pi }V_{n-2}(1-r^{2})^{n/2-1}\,r\,d\theta \,dr\\[6pt]&=2\pi V_{n-2}\int _{0}^{1}(1-r^{2})^{n/2-1}\,r\,dr\\[6pt]&=2\pi V_{n-2}\left[-{\frac {1}{n}}(1-r^{2})^{n/2}\right]_{r=0}^{r=1}\\[6pt]&=2\pi V_{n-2}{\frac {1}{n}}={\frac {2\pi }{n}}V_{n-2}.\end{aligned}}}
3 次元ユークリッド空間に対して定義される球面座標系 に類する座標系を n 次元ユークリッド空間において定義できる。座標は動径 座標 r と n − 1 個の偏角 座標
ϕ
1
,
ϕ
2
,
…
,
ϕ
n
−
1
{\displaystyle \phi _{1},\phi _{2},\dots ,\phi _{n-1}\,}
からなる、ただし
ϕ
n
−
1
{\displaystyle \phi _{n-1}\,}
は
[
0
,
2
π
)
{\displaystyle [0,2\pi )\,}
ラジアン (あるいは [0, 360) 度)の範囲を動き、他の角度は
[
0
,
π
]
{\displaystyle [0,\pi ]\,}
ラジアン(あるいは [0, 180] 度)の範囲を動く。
x
i
{\displaystyle \ x_{i}}
が直交座標 であれば、
x
1
,
…
,
x
n
{\displaystyle x_{1},\ldots ,x_{n}}
を
r
,
ϕ
1
,
…
,
ϕ
n
−
1
{\displaystyle r,\phi _{1},\ldots ,\phi _{n-1}}
から次によって計算できる:
x
1
=
r
cos
(
ϕ
1
)
x
2
=
r
sin
(
ϕ
1
)
cos
(
ϕ
2
)
x
3
=
r
sin
(
ϕ
1
)
sin
(
ϕ
2
)
cos
(
ϕ
3
)
⋮
x
n
−
1
=
r
sin
(
ϕ
1
)
⋯
sin
(
ϕ
n
−
2
)
cos
(
ϕ
n
−
1
)
x
n
=
r
sin
(
ϕ
1
)
⋯
sin
(
ϕ
n
−
2
)
sin
(
ϕ
n
−
1
)
.
{\displaystyle {\begin{aligned}x_{1}&=r\cos(\phi _{1})\\x_{2}&=r\sin(\phi _{1})\cos(\phi _{2})\\x_{3}&=r\sin(\phi _{1})\sin(\phi _{2})\cos(\phi _{3})\\&\vdots \\x_{n-1}&=r\sin(\phi _{1})\cdots \sin(\phi _{n-2})\cos(\phi _{n-1})\\x_{n}&=r\sin(\phi _{1})\cdots \sin(\phi _{n-2})\sin(\phi _{n-1})\,.\end{aligned}}}
下で述べる特別な場合を除いて逆変換は一意である:
r
=
x
n
2
+
x
n
−
1
2
+
⋯
+
x
2
2
+
x
1
2
ϕ
1
=
arccot
x
1
x
n
2
+
x
n
−
1
2
+
⋯
+
x
2
2
=
arccos
x
1
x
n
2
+
x
n
−
1
2
+
⋯
+
x
1
2
ϕ
2
=
arccot
x
2
x
n
2
+
x
n
−
1
2
+
⋯
+
x
3
2
=
arccos
x
2
x
n
2
+
x
n
−
1
2
+
⋯
+
x
2
2
⋮
ϕ
n
−
2
=
arccot
x
n
−
2
x
n
2
+
x
n
−
1
2
=
arccos
x
n
−
2
x
n
2
+
x
n
−
1
2
+
x
n
−
2
2
ϕ
n
−
1
=
2
arccot
x
n
−
1
+
x
n
2
+
x
n
−
1
2
x
n
=
{
arccos
x
n
−
1
x
n
2
+
x
n
−
1
2
x
n
≥
0
2
π
−
arccos
x
n
−
1
x
n
2
+
x
n
−
1
2
x
n
<
0
.
{\displaystyle {\begin{aligned}r&={\sqrt {{x_{n}}^{2}+{x_{n-1}}^{2}+\cdots +{x_{2}}^{2}+{x_{1}}^{2}}}\\\phi _{1}&=\operatorname {arccot} {\frac {x_{1}}{\sqrt {{x_{n}}^{2}+{x_{n-1}}^{2}+\cdots +{x_{2}}^{2}}}}=\arccos {\frac {x_{1}}{\sqrt {{x_{n}}^{2}+{x_{n-1}}^{2}+\cdots +{x_{1}}^{2}}}}\\\phi _{2}&=\operatorname {arccot} {\frac {x_{2}}{\sqrt {{x_{n}}^{2}+{x_{n-1}}^{2}+\cdots +{x_{3}}^{2}}}}=\arccos {\frac {x_{2}}{\sqrt {{x_{n}}^{2}+{x_{n-1}}^{2}+\cdots +{x_{2}}^{2}}}}\\&\vdots \\\phi _{n-2}&=\operatorname {arccot} {\frac {x_{n-2}}{\sqrt {{x_{n}}^{2}+{x_{n-1}}^{2}}}}=\arccos {\frac {x_{n-2}}{\sqrt {{x_{n}}^{2}+{x_{n-1}}^{2}+{x_{n-2}}^{2}}}}\\\phi _{n-1}&=2\operatorname {arccot} {\frac {x_{n-1}+{\sqrt {x_{n}^{2}+x_{n-1}^{2}}}}{x_{n}}}={\begin{cases}\arccos {\frac {x_{n-1}}{\sqrt {{x_{n}}^{2}+{x_{n-1}}^{2}}}}&x_{n}\geq 0\\2\pi -\arccos {\frac {x_{n-1}}{\sqrt {{x_{n}}^{2}+{x_{n-1}}^{2}}}}&x_{n}<0\end{cases}}\,.\end{aligned}}}
ただし、ある k に対して
x
k
≠
0
{\displaystyle x_{k}\neq 0}
であるが
x
k
+
1
,
…
,
x
n
{\displaystyle x_{k+1},\ldots ,x_{n}}
がすべて 0 であれば、
x
k
>
0
{\displaystyle x_{k}>0}
のとき
ϕ
k
=
0
{\displaystyle \phi _{k}=0}
であり、
x
k
<
0
{\displaystyle x_{k}<0}
のとき
ϕ
k
=
π
{\displaystyle \phi _{k}=\pi }
ラジアン(180度)である。
逆変換が一意でない特別な場合がある;
x
k
,
x
k
+
1
,
…
,
x
n
{\displaystyle x_{k},x_{k+1},\ldots ,x_{n}}
がすべて 0 であるときにはいつでも、任意の k に対して
ϕ
k
{\displaystyle \phi _{k}}
は ambiguous になる; この場合
ϕ
k
{\displaystyle \phi _{k}}
は 0 と選ぶことができる。
ラジアンで角度を表すとき、n 次元ユークリッド空間における体積要素 は変換
d
n
V
=
|
det
∂
(
x
i
)
∂
(
r
,
ϕ
j
)
|
d
r
d
ϕ
1
d
ϕ
2
⋯
d
ϕ
n
−
1
=
r
n
−
1
sin
n
−
2
(
ϕ
1
)
sin
n
−
3
(
ϕ
2
)
⋯
sin
(
ϕ
n
−
2
)
d
r
d
ϕ
1
d
ϕ
2
⋯
d
ϕ
n
−
1
{\displaystyle {\begin{aligned}d^{n}V&=\left|\det {\frac {\partial (x_{i})}{\partial (r,\phi _{j})}}\right|dr\,d\phi _{1}\,d\phi _{2}\cdots d\phi _{n-1}\\[6pt]&=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}\end{aligned}}}
のヤコビアン から見つかるだろう、そして n 次元球の体積の上記の等式は
V
n
=
∫
ϕ
n
−
1
=
0
2
π
∫
ϕ
n
−
2
=
0
π
⋯
∫
ϕ
1
=
0
π
∫
r
=
0
R
d
n
V
{\displaystyle V_{n}=\int _{\phi _{n-1}=0}^{2\pi }\int _{\phi _{n-2}=0}^{\pi }\cdots \int _{\phi _{1}=0}^{\pi }\int _{r=0}^{R}d^{n}V\,}
を積分することによって再び得ることができる。(n − 1) 次元球面の体積要素は、2 次元球面の面積要素 を一般化するが、
d
S
n
−
1
V
=
sin
n
−
2
(
ϕ
1
)
sin
n
−
3
(
ϕ
2
)
⋯
sin
(
ϕ
n
−
2
)
d
ϕ
1
d
ϕ
2
⋯
d
ϕ
n
−
1
{\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}\cdots d\phi _{n-1}}
によって与えられる。角度座標上の直交基底の自然な選択は j = 1, 2, ..., n − 2 に対してゲーゲンバウアー多項式
∫
0
π
sin
n
−
j
−
1
(
ϕ
j
)
C
s
(
(
n
−
j
−
1
)
/
2
)
(
cos
ϕ
j
)
C
s
′
(
(
n
−
j
−
1
)
/
2
)
(
cos
ϕ
j
)
d
ϕ
j
=
π
2
3
−
n
+
j
Γ
(
s
+
n
−
j
−
1
)
s
!
(
2
s
+
n
−
j
−
1
)
Γ
2
(
(
n
−
j
−
1
)
/
2
)
δ
s
,
s
′
{\displaystyle {\begin{aligned}&{}\quad \int _{0}^{\pi }\sin ^{n-j-1}(\phi _{j})C_{s}^{((n-j-1)/2)}(\cos \phi _{j})C_{s'}^{((n-j-1)/2)}(\cos \phi _{j})\,d\phi _{j}\\[6pt]&={\frac {\pi 2^{3-n+j}\Gamma (s+n-j-1)}{s!(2s+n-j-1)\Gamma ^{2}((n-j-1)/2)}}\delta _{s,s'}\end{aligned}}}
の積であり、角度 j = n − 1 に対して球面調和関数 と一致して e isφ j である。
3次元 に埋め込まれた 2 次元球面が 2 次元平面の上へと立体射影 によって写像できるのと全く同じように、n 次元球面は n 次元超曲面の上へと立体射影の n 次元バージョンによって写像することができる。例えば、半径 1 の 2 次元球面上の点
[
x
,
y
,
z
]
{\displaystyle \ [x,y,z]}
は xy 平面上の点
[
x
1
−
z
,
y
1
−
z
]
{\displaystyle \left[{\frac {x}{1-z}},{\frac {y}{1-z}}\right]}
に写る。言い換えると、
[
x
,
y
,
z
]
↦
[
x
1
−
z
,
y
1
−
z
]
.
{\displaystyle \ [x,y,z]\mapsto \left[{\frac {x}{1-z}},{\frac {y}{1-z}}\right].}
同様に、半径 1 の n 次元球面
S
n
−
1
{\displaystyle \mathbf {S} ^{n-1}}
のステレオグラフ射影は
x
n
{\displaystyle \ x_{n}}
軸に垂直な
n
−
1
{\displaystyle n-1}
次元超平面
R
n
−
1
{\displaystyle \mathbf {R} ^{n-1}}
に次のように写る
[
x
1
,
x
2
,
…
,
x
n
]
↦
[
x
1
1
−
x
n
,
x
2
1
−
x
n
,
…
,
x
n
−
1
1
−
x
n
]
.
{\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].}
(n − 1) 次元球面から一様に無作為に[ 編集 ]
一様に分布した ランダム点を (n − 1) 次元球面(すなわち n 次元球の表面)上に生成するために、Marsaglia (1972) は以下のアルゴリズムを与える。
正規分布 に従う n 次元ベクトル
x
=
(
x
1
,
x
2
,
…
,
x
n
)
{\displaystyle \mathbf {x} =(x_{1},x_{2},\ldots ,x_{n})}
を生成する(実は分散 の選択は任意であるが N(0, 1) を使うので十分である)。
今この点の「半径」
r
=
x
1
2
+
x
2
2
+
⋯
+
x
n
2
{\displaystyle r={\sqrt {x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}}}}
を計算する。
ベクトル
1
r
x
{\displaystyle {\frac {1}{r}}\mathbf {x} }
は単位 n 次元球の表面上一様に分布している。
例えば、n = 2 のとき正規分布 exp(−x 1 2 ) は別の軸 exp(−x 2 2 ) 上拡大されたとき掛けた後 exp(−x 1 2 −x 2 2 ) あるいは exp(−r 2 ) の形を取り、したがって原点からの距離のみに依存する。
超球面上ランダム分布を生成する別の方法は超球の外にある点を除く単位超球を含む超立方体上の一様分布 を作って残りの内点を原点から表面の上に外へ射影することである。これは一様分布を与えるが、外点を除く必要がある。超球の超立方体に対する相対的な体積は非常に急速に次元とともに減少するから、この手続はかなり小さい数の次元に対してのみ高い確率で成功する。
ウェンデルの定理 (英語版 ) は生成される全ての点が超球面の同じ半分にある確率を与える。
n 次元球の表面から一様に無作為に選ばれた点とともに、n 次元球内の一様に無作為に点を得るためには半径のみが必要である。u が区間 [0, 1] から一様に無作為に生成された数であり x が一様に無作為に n 次元球の表面から選ばれた点であれば、u1/n x は全単位 n 次元球上一様に分布している。
0 次元球面
ある R > 0 に対して離散位相 を持った点の対 {±R } 。不連結な唯一の球面。自然なリー群 構造を持ち、O(1) に同型。平行化可能。自己交叉を許して滑らかかつ連続的に1次元空間内で裏返しができる[2] 。
1 次元球面
円 とも呼ばれる。非自明な基本群 を持つ。可換リー群構造 U(1) , 円周群 。実射影直線 R P1 に位相同型。平行化可能。SO(2) = U(1).
2 次元球面
球面 とも呼ばれる。複素構造; リーマン球面 参照。リーマン球面 C P1 に等しい。SO(3)/SO(2). 自己交叉を許して滑らかかつ連続的に3次元空間内で裏返しができる[2] (スメールのパラドックス (英語版 ) )。
3 次元球面
平行化可能、2 次元球面上 (英語版 ) 主 U(1) 束、リー群構造 Sp(1) (英語版 ) , また、
Sp
(
1
)
≅
SO
(
4
)
/
SO
(
3
)
≅
SU
(
2
)
≅
Spin
(
3
)
{\displaystyle \operatorname {Sp} (1)\cong \operatorname {SO} (4)/\operatorname {SO} (3)\cong \operatorname {SU} (2)\cong \operatorname {Spin} (3)}
.
4 次元球面
四元射影直線 (英語版 ) H P1 に等しい。SO(5)/SO(4).
5 次元球面
C P2 上主 U(1) 束。SO(6)/SO(5) = SU(3)/SU(2).
6 次元球面
純単位八元数 の集合から来る概複素構造。SO(7)/SO(6) = G 2 /SU(3). 自己交叉を許して滑らかかつ連続的に7次元空間内で裏返しができる[2] 。
7 次元球面
単位八元数 の集合として位相的擬群 構造。S 4 上主 Sp(1) 束。平行化可能。SO(8)/SO(7) = SU(4)/SU(3) = Sp(2)/Sp(1) = Spin(7)/G 2 = Spin(6)/SU(3). 7 次元球面は特に面白いなぜなら最初の異種球面 (英語版 ) が発見されたのはこの次元においてだったから。
8 次元球面
八元射影直線 O P1 に等しい。
23 次元球面
最も高密度な球充填 は 24 次元空間において可能であり、これはリーチ格子 (英語版 ) の一意的なクオリティーに関係している。
^ 超平面 の球面版として余次元 1 (全体空間より次元が 1 低い) という意味で「超」球面 (hyper sphere) と呼ぶ場合があるので注意。本項で言う意味の「超球面」はそれ自身が一つの多様体であり、全体空間となるべきほかの空間に埋め込まれることは必ずしも必要でない。