超球面

数学において、n}} 次元球面は普通の球面の //n// 次元空間への一般化である。任意の自然数 //n// に対して、半径 //r// の //n// 次元球面は中心点から距離 //r// にある  次元ユークリッド空間における点の集合として定義される。ここで半径 //r// は任意の正の実数でよい。したがって、原点を中心とする //n// 次元球面は

によって定義される。これは  次元ユークリッド空間内に存在する //n// 次元多様体である。

特に：

零次元球面は二点、すなわち直線内の線分の零次元の対象である端点の対、
一次元球面は円、すなわち平面内の円板の一次元の対象である円周、
二次元球面は三次元空間における球体の二次元の対象である表面である。

次元 //n// > 2 の球面は超球面 超平面の球面版として余次元 1  という意味で「超」球面  と呼ぶ場合があるので注意。本項で言う意味の「超球面」はそれ自身が一つの多様体であり、全体空間となるべきほかの空間に埋め込まれることは必ずしも必要でない。}} と呼ばれることがあり、3 次元球面は glome と呼ばれることがある。原点に中心のある半径 1 の //n// 次元球面は n}}-次元単位球面または単位 //n// 次元球面  と呼ばれ、//S////n// と表記される。単位 //n// 次元球面はしばしば //the// //n//-sphere と呼ばれる。

//n// 次元球面は  次元球体の表面あるいは境界であり、//n// 次元多様体である。//n//   ≥   2 に対して、//n// 次元球面は正の定曲率の単連結 //n// 次元多様体である。//n// 次元球面にはいくつかの他の位相的記述がある。例えば、2 つの //n// 次元ユークリッド空間を貼り合わせることによって、n}}-次元超立方体の境界を一点と同一視することによって、あるいは  次元球面の懸垂を作ることによって構成できる。

1. 解説
-----

任意の自然数 //n// に対して、半径 //r// の //n// 次元球面は  次元ユークリッド空間のある固定された点 c から距離 //r// にある点全体の集合として定義される。ここで //r// は任意の正の実数でよく、c は  次元空間の任意の点でよい。特に：

零次元球面は点のペア {//c// − //r//, //c// + //r//} であり、線分の境界である。
一次元球面は中心が c にある半径 //r// の円であり、円板の境界である。
二次元球面は三次元ユークリッド空間内の通常の二次元球面であり、通常の球体の境界である。
三次元球面は四次元ユークリッド空間内の球面である。

1.1.  次元空間におけるユークリッド座標
---------------------------------

n}}-次元球面 Sexp を定義する }}-次元空間内の点 (//x//msub 全体の成す集合は、方程式

によって表される、ただし //c// =}} (//c//msub は中心であり r}} は半径である。

上の //n// 次元球面は  次元ユークリッド空間に存在し、//n// 次元多様体の例である。半径 //r// の //n// 次元球面の体積形式 ω は

によって与えられる、ただし ∗}} はホッジスター作用素である； //r// =}} 1}} の場合のこの公式の証明と議論は Flanders を見よ。結果として、

1.2. //n// 次元球体
---------------

//n// 次元球面によって囲まれる有界領域は  次元球体  と呼ばれる。 次元球は //n// 次元球面を含めば閉集合であり、含まなければ開集合である。

具体例：

一次元球体は通常は線分と呼ばれる。零次元球面を成す二点を結ぶ線分という意味で零次元球面の内部と理解することができる。
二次元球体は通常は円板と呼ばれ、円周の囲む領域になっている。
三次元球体は単に球体と言えば普通はこれのことで、通常の球面の内部である。
四次元球体は三次元球面の内部である、etc.

1.3. 位相的記述
----------

位相幾何学的には、//n// 次元球面は //n// 次元ユークリッド空間の1点コンパクト化として構成できる。手短に言えば、//n// 次元球面は として記述でき、これは //n// 次元ユークリッド空間プラス全ての方向における無限大を表す一点である。特に、一点が //n// 次元球面から除かれると、 に同相になる。これは立体射影の原理である。

2. 体積と表面積
---------

一般に、n}}-次元ユークリッド空間内の n}}-次元球体および }}-次元ユークリッド空間内の n}}-次元球面の n}}-次元体積は、いずれも半径 R}} の n}}-乗に比例する。そこで、半径 R}} の n}}-次元球の体積を //V//msub, n}}-次元球面の体積を //S//msub と書いて、これら比例定数の成す数列 Vsub, Ssub の性質を記述する。

2.1. 漸化式
--------

半径 R}} の }}-次元球体の境界となる n}}-次元球面の「表面積」は同球体の }}-次元体積との間に、微分方程式

によって表される関係を持つ。あるいは同じことだが、単位 }}-次元球体を無数の同心 n}}-次元「球殻」の合併として表すことにより

を得る。

}}-次元単位球面を、各部分が何れも円と n}}-次元球面との直積として得られる }}-次元のトーラスとなっているような和集合として表すこともできる。1= //r// = cos}} かつ 1= //r//exp, 従って 1= //R// = sin}} かつ 1= //dR// = cos   //d//θ}} と置くと、

を得る。ここで //S//msub だから、任意の //n// ≥ 0}} に対し等式//S//sub が成り立つ。

以上の漸化式をまとめると

ということになる。

2.2. 閉じた形
---------

上記の二つの漸化式から //V//msub であり、k}} に関して帰納的に

を示すことは容易である。ただし !!}} は二重階乗を表す。これは奇数 2//k// + 1}} に対して 1=!! = 1⋅3⋅5⋅…⋅}} と定義されている。

一般に、n}}-次元単位球体の体積は

によって与えられる、ただし Γ}} はガンマ関数であり、Γ =}} sqrt, Γ =}} 1}}, Γ =}} //x//Γ}} を満たす。

Vmsub に Rexp を掛け、R}} について微分して //R// =}} 1}} とおくと、閉じた形

を得る。

2.3. 他の関係
---------

漸化式は結合して図にかかれているように表面積に対して「逆向きの」漸化関係を与えることができる：

すると添え字を //n// から //n// − 2 にシフトすることで漸化式

を得る、ただし S0 = 2, V1 = 2, S1 = 2, V2 = .

に対する漸化関係も 2 次元極座標での積分を経由して証明できる：

3. 球座標系
-------

3 次元ユークリッド空間に対して定義される球面座標系に類する座標系を //n// 次元ユークリッド空間において定義できる。座標は動径座標 r}} と //n//   −   1 個の偏角座標 からなる、ただし は ラジアンの範囲を動き、他の角度は ラジアンの範囲を動く。 が直交座標であれば、 を から次によって計算できる：

下で述べる特別な場合を除いて逆変換は一意である：

ただし、ある //k// に対して であるが がすべて 0 であれば、 のとき であり、 のとき ラジアンである。

逆変換が一意でない特別な場合がある； がすべて 0 であるときにはいつでも、任意の //k// に対して は ambiguous になる； この場合 は 0 と選ぶことができる。

3.1. 球面体積要素
-----------

ラジアンで角度を表すとき、//n// 次元ユークリッド空間における体積要素は変換

のヤコビアンから見つかるだろう、そして //n// 次元球の体積の上記の等式は

を積分することによって再び得ることができる。 次元球面の体積要素は、2 次元球面の面積要素を一般化するが、

によって与えられる。角度座標上の直交基底の自然な選択は //j//   =   1,   2,   ...,   //n//   −   2 に対してゲーゲンバウアー多項式

の積であり、角度 //j//   =   //n//   −   1 に対して球面調和関数と一致して //e//   //isφ////j// である。

4. 立体射影
-------

3次元に埋め込まれた 2 次元球面が 2 次元平面の上へと立体射影によって写像できるのと全く同じように、//n// 次元球面は //n// 次元超曲面の上へと立体射影の //n// 次元バージョンによって写像することができる。例えば、半径 1 の 2 次元球面上の点 は //xy// 平面上の点 に写る。言い換えると、

同様に、半径 1 の //n// 次元球面 のステレオグラフ射影は 軸に垂直な 次元超平面 に次のように写る

5. ランダムな点を生成する
--------------

5.1.  次元球面から一様に無作為に
----------------------------------

一様に分布したランダム点を  次元球面上に生成するために、Marsaglia は以下のアルゴリズムを与える。

正規分布に従う //n// 次元ベクトル を生成する。

今この点の「半径」 を計算する。

ベクトル は単位 //n// 次元球の表面上一様に分布している。

5.1.1. 例
--------

例えば、//n// = 2 のとき正規分布 exp は別の軸 exp 上拡大されたとき掛けた後 exp あるいは exp の形を取り、したがって原点からの距離のみに依存する。

5.1.2. 別の方法
-----------

超球面上ランダム分布を生成する別の方法は超球の外にある点を除く単位超球を含む超立方体上の一様分布を作って残りの内点を原点から表面の上に外へ射影することである。これは一様分布を与えるが、外点を除く必要がある。超球の超立方体に対する相対的な体積は非常に急速に次元とともに減少するから、この手続はかなり小さい数の次元に対してのみ高い確率で成功する。

ウェンデルの定理は生成される全ての点が超球面の同じ半分にある確率を与える。

5.2. //n// 次元球から一様に無作為に
-----------------------

//n// 次元球の表面から一様に無作為に選ばれた点とともに、//n// 次元球内の一様に無作為に点を得るためには半径のみが必要である。//u// が区間 [0,   1] から一様に無作為に生成された数であり x が一様に無作為に //n// 次元球の表面から選ばれた点であれば、u1/nx は全単位 //n// 次元球上一様に分布している。

6. 具体的な球面
---------

0 次元球面 : ある //R// > 0 に対して離散位相を持った点の対 {±//R//} 。不連結な唯一の球面。自然なリー群構造を持ち、O に同型。平行化可能。自己交叉を許して滑らかかつ連続的に1次元空間内で裏返しができる。 1 次元球面 : 円とも呼ばれる。非自明な基本群を持つ。可換リー群構造 U, 円周群。実射影直線 RP1 に位相同型。平行化可能。SO = U. 2 次元球面 : 球面とも呼ばれる。複素構造； リーマン球面参照。リーマン球面 CP1 に等しい。SO/SO. 自己交叉を許して滑らかかつ連続的に3次元空間内で裏返しができる。 3 次元球面 : 平行化可能、2 次元球面ホップファイブレーション主 U 束、リー群構造 Sp, また、. 4 次元球面 : 四元射影直線 HP1 に等しい。SO/SO. 5 次元球面 : CP2 上主 U 束。SO/SO = SU/SU. 6 次元球面 : 純単位八元数の集合から来る概複素構造。SO/SO = //G//2/SU. 自己交叉を許して滑らかかつ連続的に7次元空間内で裏返しができる。 7 次元球面 : 単位八元数の集合として位相的擬群構造。//S//4 上主 Sp 束。平行化可能。SO/SO = SU/SU = Sp/Sp = Spin///G//2 = Spin/SU. 7 次元球面は特に面白いなぜなら最初の異種球面が発見されたのはこの次元においてだったから。 8 次元球面 : 八元射影直線 OP1 に等しい。 23 次元球面 : 最も高密度な球充填は 24 次元空間において可能であり、これはリーチ格子の一意的なクオリティーに関係している。

7. 関連項目
-------

超立方体
反転幾何学
ループ 
多様体
メビウス変換
直交群
球冠
超球の体積

8. 脚注
-----

8.1. 注釈
-------

8.2. 出典
-------

9. 参考文献
-------

last1=Flanders .
last1=Moura 
last1=Weeks 

10. 外部リンク
---------

[1]
urlname=sphere /