三次元球面

数学における三次元球面（さんじげんきゅうめん、; 3-球面）、三次元超球面（さんじげんちょうきゅうめん）あるいはグローム () は、通常の球面の高次元版である超球面の特別の場合である。四次元ユークリッド空間内の三次元球面は、固定された一点を「中心」として等距離にある点全体の成す点集合として定義することができる。通常の球面（つまり、二次元球面）が三次元の立体である球体の境界を成すのと同様、三次元球面は四次元の立体である四次元球体の境界となる三次元の幾何学的対象である。三次元球面は、三次元多様体の一つの例を与える。
定義.
四次元の直交座標系を用いるならば、中心 および半径 を持つ三次元球面とは、四次元の実座標空間 において formula_1 を満たす点 全体の成す集合に等しい。原点を中心とする半径 の三次元球面を三次元単位球面 ("unit 3-sphere") と呼び、ふつう で表す。式で書けば: formula_2
実四次元座標空間 を複素二次元座標空間 や一次元の四元数座標空間 と見なすことはしばしば有用である。それぞれの場合に三次元球面は formula_3 あるいは formula_4 と書くことができる。
最後の、三次元球面を「」の四元数全体として表す記法では、三次元球面は四元数体における（単位四元数）全体の成す集合として同定されている。平面極座標において単位円が重要であるのとまったく同じに、四元数の乗法の構造を入れた四次元空間内の極表示において三次元球面は重要な役割を果たす。
三次元球面をこのように見る立場は、Georges Lemaîtreによる楕円型空間の研究の基礎である。
性質.
初等的性質.
半径 の三次元球面の三次元（超）表面積は formula_5 で与えられ、同球面の囲む四次元（超）体積は formula_6 で与えられる。
三次元球面が三次元超平面との交わりを持てば、その交わりは二次元球面である（ただし、超平面が超球面に接するときには一点になる）。三次元球面が与えられた一つの超平面を通り抜ける様子は、それらの交わりが一点から始まって次第に大きくなり、極大に達するのは超平面がちょうど三次元球面の「赤道」を切り取る位置に来るときで、その後ふたたび交わりである二次元球面は次第に小さくなり一点となったところで三次元球面は超平面を離れる、というふうに観察できる。
位相的性質.
三次元球面はコンパクトで連結かつ単連結な境界のない三次元多様体である。これが意味するところは、広い意味で言えば、三次元球面上のどのようなループ（循環路）も、三次元球面の面上を離れることなく連続的に一点に縮めることができるということである。かのポワンカレ予想（2003年にグレゴリー・ペレルマンが証明した）は、上記の性質を満たす三次元多様体は（同相の違いを除いて）三次元球面だけであることを述べるものである。
三次元球面は三次元ユークリッド空間 の一点コンパクト化に同相である。一般に、三次元球面に同相な任意の位相空間を三次元位相球面 ("topological 3-sphere") と呼ぶ。
三次元球面のホモロジー群は、 次および 次が無限巡回群 でそれ以外はすべて である:
これとまったく同じホモロジー群を持つ任意の位相空間を三次元。アンリ・ポアンカレは初め、任意の三次元ホモロジー球面は に同相であろうと予想したが、自身の手でこんにちと呼ばれる反例を構成して、予想は否定的に解決された。今ではホモロジー球面は無限個存在することが知られている。例えば、三次元球面上にある任意の結び目についての傾き のはホモロジー球面を与えるが、これらは典型的には三次元球面に同相でない。
同様にホモトピー群は および であり、それより高次（以下の表で ）の場合は全て有限アーベル群となるが、その現れ方は単純に記述できるようなパターンにはなっていない。より詳細はを見よ。
幾何学的性質.
三次元球面は自然に滑らかな多様体（実は への閉）になる。 上のユークリッド距離から三次元球面上の距離が導かれ、三次元球面はリーマン多様体となる。任意の二次元球面がそうであったように、任意の三次元球面も一定の正の断面曲率を持ち、その値は半径を とすれば に等しい。
三次元球面の興味深い幾何学的性質には、それが（四元数の乗法によって与えられる）自然なリー群構造を持つという事実に由来するものがたくさんある（後述）。ほかの次元の球面で同様の構造を持つものは、零次元および一次元（円周群）に限られる。
二次元球面の場合と異なり、三次元球面上では至る所消えないベクトル場（接束の切断）を持つ。さらには、至る所消えないベクトル場の線型独立な三つ組さえ存在する（そのようなものとして、三次元球面のリー環の基底となるような左不変ベクトル場の任意の組をとることができる）。このことから、三次元球面はであることが分かる。したがって三次元球面の接束は自明である。一般次元の球面における線型独立なベクトル場の数に関する一般の議論はの項を参照せよ。
三次元球面への円周群 の興味深い群作用が存在して、 にはと呼ばれるの構造が入る。 を の部分集合と見る観点ならば、この作用は formula_7 で与えられる。この作用のは二次元球面 に同相である。 は に同相でないから、ホップ束は自明でない。
位相球面としての構成法.
三次元球面の構成法はよく知られたものがいくつか存在する。ここではふたつの三次元球体の張り合わせによる方法と三次元ユークリッド空間の一点コンパクト化としての構成法に関して述べる。
貼り合わせ.
。三次元球体の境界は通常の二次元球面であるから、この構成は二つの二次元球面を同一視するということである。（位相的には大きさは関係ないから）同じ大きさの三次元球体を思い浮かべよう、そしてそれらの境界となる二次元球面を併せるように重ね合わせれば、二次元球面上のたがいに対応する点の全体は恒等的に一致させられる。二次元球面を二次元円板の（境界となる円周での）張り合わせで作る場合のアナロジーで、この貼り合わせる二次元球面を「赤道球面」(equatorial sphere) と呼ぶ。
上記の重ね合わせでは、三次元球体の「内部」は貼り合わせてはいけないことに注意しなければならない。四次元で考えるための一つの方策として、三次元球体の各点の三次元座標にそのうえの連続な実数値函数の値を第四の座標として付け加える—たとえば球体の各点での「温度」を考えればよい—という方法が挙げられる。いま、貼り合わせる赤道球面での「温度」が零度であるものとし、一方の三次元球体は「高温」、他方は「低温」の球体と思う。高温のほうを「上半球面」、低温のほうを「下半球面」とする三次元球面が得られており、各三次元球体の中心で最高温度/最低温度をとるものとすれば、それら中心がそれぞれ三次元球面の北極/南極になる。
この構成は、（一つ次元を落とした対応物としての）二次元球面の構成を考えると見通しが立つかもしれない。すなわち、二枚の円板（二次元球体）を境界となる円周（一次元球面）で張り合わせることを考える。二つの円板は直径を同じにしておき、二つの円板を重ね合わせて、境界上の点を貼り合わせる。ここで第三の座標として同様に温度を考えてもよいが、いまは空間座標がもう一つあるから、第三の方向へ膨らませれば、それぞれの円板を北半球と南半球とし貼り合わせた円周が赤道となる二次元球面の姿を見るのは容易であろう。
一点コンパクト化.
二次元球面から一点を取り除いたものはユークリッド平面に同相であることを思い出そう。同様にして、。このことを確かめる極めて有効な方法は立体射影によるものである。先に二次元球面の場合について確認しよう。通常の意味での立体射影は、単位二次元球面を三次元空間内の -平面の原点に南極 が載るように置く。北極 を除く二次元球面上の任意の点 を、 と を結ぶ直線 と -平面との交点へ写すものであった。三次元球面に関する立体射影も、同様の仕方で北極を除く三次元球面上の各点を -空間上の点へ写す。（立体射影はであるから、球面は球面または平面に写されることに注意。）
指数写像を用いて一点コンパクト化を考えることもできる。ふたたび、二次元球面をユークリッド平面に置いた例で考えれば、平面上の原点を始点とする測地線は球面上の南極を始点とする同じ長さの測地線に写される。このとき、半径 の円上の点はすべて北極に写るが、開単位円板はユークリッド平面に同相であったから、これもやはり一点コンパクト化であったことがわかる。三次元球面に対する指数写像も同様に構成される。この議論は、三次元球面が単位四元数の成すリー群であるという事実を用いてもできる。
座標系.
三次元球面 に対して四次元ユークリッド空間の四つの直交座標成分は冗長である（球面上では条件として が成り立っているから）。三次元多様体として は三成分の座標系でパラメタ付けられなければならない（これはちょうど、通常の二次元球面が経度と緯度の二つの座標成分でパラメタ取られるというのと対応している）。 の非自明な位相のおかげで、球面全体をカバーする単一の座標系をとることが可能である。二次元球面の場合と同様、そのような座標系は少なくとも二つの座標チャートを用いなければならない。いくつか代表的な座標系のとり方を以下に挙げる。
超球面座標系.
二次元球面 上の通常の球面座標系に対応するものとして、 上の超球面座標系の一種を入れることは想定しやすい。この場合、とり方は一つではないけれども、三つのパラメタ を用いて のように取ればよい。 を任意の値で固定するとき、二つのパラメタ は半径 の二次元球面を描くことに注意せよ（ただし、 が または のときは退化して一点を表す）。
この座標系に関して、三次元球面上の球面距離 (round metric) は formula_8 で与えられ、また体積要素（あるいは体積形式）は formula_9 と与えられる。
これらの座標は四元数を用いる洗練された記述の仕方がある。任意の単位四元数 が適当な単位虚四元数 () を用いて、 として formula_10 と表せることを想起せよ（オイラーの公式の四元数版）。いま単位虚四元数は三次元空間 内の二次元単位球面上に載っているから、上記の はいつでも formula_11 の形（通常の球面座標系を用いた表示）に書くことができて、これを用いて を formula_12 と書き下せば、ここに () は先の変換式 を満たすものであると識れる。
単位四元数 で空間回転を記述するとき（cf. )、上記の表示は の周りに の角度で回ることを述べるものと見ることができる。
ホップ座標系.
半径 が のとき、別の超球面座標系 が、 の への埋め込みを用いて以下のように与えられる。複素座標 をいま formula_13 の形に取る。これはまた の点として formula_14 と書くこともできる。ここに は から の範囲を動き、また および は と の間の任意の値をとることができる。これらの座標系は、三次元球面を formula_15 として記述するのに有用である。
 を と の間の任意の値で止めて考えるとき、座標 は二次元トーラスをパラメタ付ける。 および の各々を一定とすることで描かれる円形の軌跡は、トーラス上の直交格子を描く（図を参照）。退化する場合（ が または のとき）これらの座標は円周を描く。
この座標系のもとで三次元球面上の球面距離は formula_16 で、また体積要素は formula_17 で、それぞれ与えられる。
での間を埋める円周たち (interlocking circles) を得るには、上記の方程式を単純に formula_18 と置きかえればよい。
この場合 , がどの円かを特定し、 が各円に沿った位置を特定する。 または の何れかについてぐるりと一周 ( から まで) すれば、トーラスの両の軸となる全円が描かれる。
立体座標系.
もう一つ便利な座標系が、 の極点からそれに対応する赤道超平面となる への立体射影から得られる。例えば、点 からの射影により、 上の各点 は formula_19 なる形に書くことができる。ただし、 は のベクトルで である。上記の二つ目の等号は、 を単位四元数と同一視し、また を純虚四元数 と同一視してのものである（四元数の乗法は一般に非可換だが、上記の式における分母分子は可換であることに注意）。この射影の逆写像は 上の点 を formula_20 へ写す。
点 からの射影も同様に考えることができて、この場合は点 が の別のベクトル を用いて formula_21 の形に与えられる。逆写像は を formula_22 に写す。
-座標は を各点で定義され、-座標は を除く各点で定義されることに注意せよ。これらにより 上の二つの座標チャート（この二つを合わせると の全域がカバーできる）からなるアトラスが定まる。これら二つのチャートが重なる部分における局所座標の間の座標変換は formula_23 およびこの式の と の役割を入れ替えたもので与えられることに注意。
群構造.
単位四元数全体の成す集合と見なすとき、 は重要な構造として、四元数の乗法構造を持つことにる。単位四元数の全体は乗法のもとで閉じている（積閉集合である）から、 自身に群の構造が入ることになる。さらに言えば、四元数の乗法は連続、さらに滑らかであるから、 は位相群、さらに実リー群となる: は三次元のコンパクトリー群である。リー群としての はしばしば 斜交群 やユニタリ群 などと書かれる。
このようにリー群の構造を入れることのできる超球面は、単位円 —単位複素数全体の成す集合と見て—および —単位四元数の全体として—のみであることがわかる。同様の議論により、たとえば を単位八元数全体の成す集合と見てリー群とすることができそうにも思われるが、これは八元数の乗法が結合性を持たないために正しい主張とはならない。八元数構造から に入る重要な性質としてはがあり、平行化可能な超球面は , , に限られる。
四元数の行列表現を用いれば、 も行列表現することができるが、そのような表現の一つにパウリ行列を用いた表現 formula_24 がある。この写像は、四元数体 から 行列環 への単射な多元環準同型を与える。この行列表現では四元数 の絶対値 が の表現行列の行列式の平方根に等しいという性質がある。したがってこの行列表現から、単位四元数全体の成す集合は の表現行列全体として得ることができるが、それはちょうど特殊ユニタリ群 であるから、リー群としての は に同型となることがわかる。ホップ座標系 を用いるならば、 の任意の元を formula_25 の形に書くことができる。同じ結果は、 の各元の行列表現をパウリ行列の線型結合として表す方法でも得られる。任意の元 は formula_26 の形に書けることがわかるが、 の行列式が という条件は、この式の係数列 が三次元球面上にあるという制約を含意する。