超球面

数学において、次元球面（-じげんきゅうめん、, n 球面）は普通の球面の n 次元空間への一般化である。任意の自然数 n に対して、半径 r の n 次元球面は中心点から距離 r にある (n + 1) 次元ユークリッド空間における点の集合として定義される。ここで半径 r は任意の正の実数でよい。したがって、原点を中心とする n 次元球面は

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

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

次元 n > 2 の球面は超球面 (hypersphere) と呼ばれることがあり、3 次元球面は glome と呼ばれることがある。原点に中心のある半径 1 の n 次元球面は -次元単位球面または単位 n 次元球面 (unit n-sphere) と呼ばれ、Sn と表記される。単位 n 次元球面はしばしば the n-sphere と呼ばれる。

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

解説任意の（0を含む）自然数 n に対して、半径 r の n 次元球面は (n + 1) 次元ユークリッド空間のある固定された点 c から距離 r にある点全体の集合として定義される。ここで r は任意の正の実数でよく、c は (n + 1) 次元空間の任意の点でよい。特に：零次元球面は点のペア {c − r, c + r} であり、線分（一次元球体）の境界である。一次元球面は中心が c にある半径 r の円であり、円板（二次元球体）の境界である。二次元球面は三次元ユークリッド空間内の通常の二次元球面であり、通常の球体（三次元球体）の境界である。三次元球面は四次元ユークリッド空間内の球面である。

(n + 1) 次元空間におけるユークリッド座標

-次元球面を定義する -次元空間内の点全体の成す集合は、方程式

によって表される、ただしは中心でありは半径である。

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

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

n 次元球体

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

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

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

体積と表面積

定義 : 半径の -次元球体の -次元体積 : 半径の -次元球面の -次元体積

漸化式閉じた式

ただしはガンマ関数である。+ 低次元の場合の例次元値図形説明零次元単位球体: 原点零次元は集合内の点の数単位球面: 二点一次元単位球体: 閉区間の長さ（一次元測度）単位球面: 単位円単位円の円周の長さ二次元単位球面: 単位円板単位円板の面積（二次元測度）単位球面三次元空間内の二次元単位球面の表面積三次元単位球体二次元球面の囲む体積（三次元測度） …… 一般に、-次元ユークリッド空間内の -次元球体および -次元ユークリッド空間内の -次元球面の -次元体積は、いずれも半径の -乗に比例する。そこで、半径の -次元球の体積を , -次元球面の体積をと書いて、これら比例定数の成す数列 , の性質を記述する。

漸化式半径の -次元球体の境界となる -次元球面の「表面積」（正確には -次元体積）は同球体の -次元体積との間に、微分方程式

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

を得る。

-次元単位球面を、各部分が何れも円（一次元球面）と -次元球面との直積として得られる -次元のトーラスとなっているような和集合として表すこともできる。かつ , 従ってかつと置くと、

を得る。ここでだから、任意のに対し等式が成り立つ。

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

ということになる。

閉じた形上記の二つの漸化式からであり、に関して帰納的に

を示すことは容易である。ただしは二重階乗を表す。これは奇数に対してと定義されている。

一般に、-次元単位球体の（-次元ユークリッド空間内での）体積は

によって与えられる、ただしはガンマ関数であり、, , を満たす。

にを掛け、について微分してとおくと、閉じた形

を得る。

他の関係

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

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

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

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

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

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

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

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

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

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

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

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

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

立体射影

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

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

ランダムな点を生成する (n − 1) 次元球面から一様に無作為に一様に分布したランダム点を (n − 1) 次元球面（すなわち n 次元球の表面）上に生成するために、は以下のアルゴリズムを与える。

正規分布に従う n 次元ベクトルを生成する（実は分散の選択は任意であるが N(0, 1) を使うので十分である）。

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

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

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

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

は生成される全ての点が超球面の同じ半分にある確率を与える。

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

具体的な球面 0 次元球面ある R > 0 に対して離散位相を持った点の対 {±R} 。不連結な唯一の球面。自然なリー群構造を持ち、O(1) に同型。平行化可能。自己交叉を許して滑らかかつ連続的に1次元空間内で裏返しができるhttp://math.stackexchange.com/questions/479383/turning-higher-spheres-inside-out/479417#479417。 1 次元球面円とも呼ばれる。非自明な基本群を持つ。可換リー群構造 U(1), 円周群。実射影直線 RP1 に位相同型。平行化可能。SO(2) = U(1). 2 次元球面球面とも呼ばれる。複素構造；リーマン球面参照。リーマン球面 CP1 に等しい。SO(3)/SO(2). 自己交叉を許して滑らかかつ連続的に3次元空間内で裏返しができる（）。 3 次元球面平行化可能、2 次元球面主 U(1) 束、リー群構造 , また、 . 4 次元球面 HP1 に等しい。SO(5)/SO(4). 5 次元球面 CP2 上主 U(1) 束。SO(6)/SO(5) = SU(3)/SU(2). 6 次元球面純単位八元数の集合から来る概複素構造。SO(7)/SO(6) = G2/SU(3). 自己交叉を許して滑らかかつ連続的に7次元空間内で裏返しができる。 7 次元球面単位八元数の集合として位相的構造。S4 上主 Sp(1) 束。平行化可能。SO(8)/SO(7) = SU(4)/SU(3) = Sp(2)/Sp(1) = Spin(7)/G2 = Spin(6)/SU(3). 7 次元球面は特に面白いなぜなら最初のが発見されたのはこの次元においてだったから。 8 次元球面八元射影直線 OP1 に等しい。 23 次元球面最も高密度な球充填は 24 次元空間において可能であり、これはの一意的なクオリティーに関係している。

Źródło i licencja