三次元球面

数学における三次元球面（さんじげんきゅうめん、; 3-球面）、三次元超球面（さんじげんちょうきゅうめん）あるいはグローム () は、通常の球面の高次元版である超球面の特別の場合である。四次元ユークリッド空間内の三次元球面は、固定された一点を「中心」として等距離にある点全体の成す点集合として定義することができる。通常の球面（つまり、二次元球面）が三次元の立体である球体の境界を成すのと同様、三次元球面は四次元の立体である四次元球体の境界となる三次元の幾何学的対象である。三次元球面は、三次元多様体の一つの例を与える。

定義四次元の直交座標系を用いるならば、中心および半径を持つ三次元球面とは、四次元の実座標空間においてを満たす点全体の成す集合に等しい。原点を中心とする半径の三次元球面を三次元単位球面 (unit 3-sphere) と呼び、ふつうで表す。式で書けば:

実四次元座標空間を複素二次元座標空間や一次元の四元数座標空間と見なすことはしばしば有用である。それぞれの場合に三次元球面はあるいはと書くことができる。

最後の、三次元球面を「」の四元数全体として表す記法では、三次元球面は四元数体における（単位四元数）全体の成す集合として同定されている。平面極座標において単位円が重要であるのとまったく同じに、四元数の乗法の構造を入れた四次元空間内の極表示において三次元球面は重要な役割を果たす。

三次元球面をこのように見る立場は、Georges Lemaîtreによる楕円型空間の研究の基礎であるGeorges Lemaître (1948) "Quaternions et espace elliptique", Acta Pontifical Academy of Sciences 12:57–78。

性質初等的性質半径の三次元球面の三次元（超）表面積はで与えられ、同球面の囲む四次元（超）体積はで与えられる。

三次元球面が三次元超平面との交わりを持てば、その交わりは二次元球面である（ただし、超平面が超球面に接するときには一点になる）。三次元球面が与えられた一つの超平面を通り抜ける様子は、それらの交わりが一点から始まって次第に大きくなり、極大に達するのは超平面がちょうど三次元球面の「赤道」を切り取る位置に来るときで、その後ふたたび交わりである二次元球面は次第に小さくなり一点となったところで三次元球面は超平面を離れる、というふうに観察できる。

位相的性質三次元球面はコンパクトで連結かつ単連結な境界のない三次元多様体である。これが意味するところは、広い意味で言えば、三次元球面上のどのようなループ（循環路）も、三次元球面の面上を離れることなく連続的に一点に縮めることができるということである。かのポワンカレ予想（2003年にグレゴリー・ペレルマンが証明した）は、上記の性質を満たす三次元多様体は（同相の違いを除いて）三次元球面だけであることを述べるものである。

三次元球面は三次元ユークリッド空間の一点コンパクト化に同相である。一般に、三次元球面に同相な任意の位相空間を三次元位相球面 (topological 3-sphere) と呼ぶ。

三次元球面のホモロジー群は、次および次が無限巡回群でそれ以外はすべてである: のホモロジー群 , . これとまったく同じホモロジー群を持つ任意の位相空間を三次元。アンリ・ポアンカレは初め、任意の三次元ホモロジー球面はに同相であろうと予想したが、自身の手でこんにちと呼ばれる反例を構成して、予想は否定的に解決された。今ではホモロジー球面は無限個存在することが知られている。例えば、三次元球面上にある任意の結び目についての傾きのはホモロジー球面を与えるが、これらは典型的には三次元球面に同相でない。

同様にホモトピー群はおよびであり、それより高次（以下の表で）の場合は全て有限アーベル群となるが、その現れ方は単純に記述できるようなパターンにはなっていない。より詳細はを参照。 + のホモトピー群 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 0 0 0

幾何学的性質三次元球面は自然に滑らかな多様体（実はへの閉）になる。上のユークリッド距離から三次元球面上の距離が導かれ、三次元球面はリーマン多様体となる。任意の二次元球面がそうであったように、任意の三次元球面も一定の正の断面曲率を持ち、その値は半径をとすればに等しい。

三次元球面の興味深い幾何学的性質には、それが（四元数の乗法によって与えられる）自然なリー群構造を持つという事実に由来するものがたくさんある（後述）。ほかの次元の球面で同様の構造を持つものは、零次元および一次元（円周群）に限られる。

二次元球面の場合と異なり、三次元球面上では至る所消えないベクトル場（接束の切断）を持つ。さらには、至る所消えないベクトル場の線型独立な三つ組さえ存在する（そのようなものとして、三次元球面のリー環の基底となるような左不変ベクトル場の任意の組をとることができる）。このことから、三次元球面はであることが分かる。したがって三次元球面の接束は自明である。一般次元の球面における線型独立なベクトル場の数に関する一般の議論はの項を参照。

三次元球面への円周群の興味深い群作用が存在して、にはと呼ばれるの構造が入る。をの部分集合と見る観点ならば、この作用はで与えられる。この作用のは二次元球面に同相である。はに同相でないから、ホップ束は自明でない。

位相球面としての構成法三次元球面の構成法はよく知られたものがいくつか存在する。ここではふたつの三次元球体の張り合わせによる方法と三次元ユークリッド空間の一点コンパクト化としての構成法に関して述べる。

貼り合わせ。三次元球体の境界は通常の二次元球面であるから、この構成は二つの二次元球面を同一視するということである。（位相的には大きさは関係ないから）同じ大きさの三次元球体を思い浮かべよう、そしてそれらの境界となる二次元球面を併せるように重ね合わせれば、二次元球面上のたがいに対応する点の全体は恒等的に一致させられる。二次元球面を二次元円板の（境界となる円周での）張り合わせで作る場合のアナロジーで、この貼り合わせる二次元球面を「赤道球面」(equatorial sphere) と呼ぶ。

上記の重ね合わせでは、三次元球体の「内部」は貼り合わせてはいけないことに注意しなければならない。四次元で考えるための一つの方策として、三次元球体の各点の三次元座標にそのうえの連続な実数値函数の値を第四の座標として付け加える—たとえば球体の各点での「温度」を考えればよい—という方法が挙げられる。いま、貼り合わせる赤道球面での「温度」が零度であるものとし、一方の三次元球体は「高温」、他方は「低温」の球体と思う。高温のほうを「上半球面」、低温のほうを「下半球面」とする三次元球面が得られており、各三次元球体の中心で最高温度/最低温度をとるものとすれば、それら中心がそれぞれ三次元球面の北極/南極になる。

この構成は、（一つ次元を落とした対応物としての）二次元球面の構成を考えると見通しが立つかもしれない。すなわち、二枚の円板（二次元球体）を境界となる円周（一次元球面）で張り合わせることを考える。二つの円板は直径を同じにしておき、二つの円板を重ね合わせて、境界上の点を貼り合わせる。ここで第三の座標として同様に温度を考えてもよいが、いまは空間座標がもう一つあるから、第三の方向へ膨らませれば、それぞれの円板を北半球と南半球とし貼り合わせた円周が赤道となる二次元球面の姿を見るのは容易であろう。

一点コンパクト化

二次元球面から一点を取り除いたものはユークリッド平面に同相であることを思い出そう。同様にして、。このことを確かめる極めて有効な方法は立体射影によるものである。先に二次元球面の場合について確認しよう。通常の意味での立体射影は、単位二次元球面を三次元空間内の -平面の原点に南極が載るように置く。北極を除く二次元球面上の任意の点を、とを結ぶ直線と -平面との交点へ写すものであった。三次元球面に関する立体射影も、同様の仕方で北極を除く三次元球面上の各点を -空間上の点へ写す。（立体射影はであるから、球面は球面または平面に写されることに注意。）

指数写像を用いて一点コンパクト化を考えることもできる。ふたたび、二次元球面をユークリッド平面に置いた例で考えれば、平面上の原点を始点とする測地線は球面上の南極を始点とする同じ長さの測地線に写される。このとき、半径の円上の点はすべて北極に写るが、開単位円板はユークリッド平面に同相であったから、これもやはり一点コンパクト化であったことがわかる。三次元球面に対する指数写像も同様に構成される。この議論は、三次元球面が単位四元数の成すリー群であるという事実を用いてもできる。

座標系三次元球面に対して四次元ユークリッド空間の四つの直交座標成分は冗長である（球面上では条件としてが成り立っているから）。三次元多様体としては三成分の座標系でパラメタ付けられなければならない（これはちょうど、通常の二次元球面が経度と緯度の二つの座標成分でパラメタ取られるというのと対応している）。の非自明な位相のおかげで、球面全体をカバーする単一の座標系をとることが可能である。二次元球面の場合と同様、そのような座標系は少なくとも二つの座標チャートを用いなければならない。いくつか代表的な座標系のとり方を以下に挙げる。

超球面座標系二次元球面上の通常の球面座標系に対応するものとして、上の超球面座標系の一種を入れることは想定しやすい。この場合、とり方は一つではないけれども、三つのパラメタを用いてのように取ればよい。を任意の値で固定するとき、二つのパラメタは半径の二次元球面を描くことに注意せよ（ただし、がまたはのときは退化して一点を表す）。

この座標系に関して、三次元球面上の球面距離 (round metric) はで与えられ、また体積要素（あるいは体積形式）はと与えられる。

これらの座標は四元数を用いる洗練された記述の仕方がある。任意の単位四元数が適当な単位虚四元数 () を用いて、としてと表せることを想起する必要がある（オイラーの公式の四元数版）。いま単位虚四元数は三次元空間内の二次元単位球面上に載っているから、上記のはいつでもの形（通常の球面座標系を用いた表示）に書くことができて、これを用いてをと書き下せば、ここに () は先の変換式を満たすものであると識れる。

単位四元数で空間回転を記述するとき（cf. )、上記の表示はの周りにの角度で回ることを述べるものと見ることができる。

ホップ座標系

半径がのとき、別の超球面座標系が、のへの埋め込みを用いて以下のように与えられる。複素座標をいまの形に取る。これはまたの点としてと書くこともできる。ここにはからの範囲を動き、またおよびはとの間の任意の値をとることができる。これらの座標系は、三次元球面をとして記述するのに有用である。

をとの間の任意の値で止めて考えるとき、座標は二次元トーラスをパラメタ付ける。およびの各々を一定とすることで描かれる円形の軌跡は、トーラス上の直交格子を描く（図を参照）。退化する場合（がまたはのとき）これらの座標は円周を描く。

この座標系のもとで三次元球面上の球面距離はで、また体積要素はで、それぞれ与えられる。

での間を埋める円周たち (interlocking circles) を得るには、上記の方程式を単純にと置きかえればよい。

この場合 , がどの円かを特定し、が各円に沿った位置を特定する。またはの何れかについてぐるりと一周 ( からまで) すれば、トーラスの両の軸となる全円が描かれる。

立体座標系もう一つ便利な座標系が、の極点からそれに対応する赤道超平面となるへの立体射影から得られる。例えば、点からの射影により、上の各点はなる形に書くことができる。ただし、はのベクトルでである。上記の二つ目の等号は、を単位四元数と同一視し、またを純虚四元数と同一視してのものである（四元数の乗法は一般に非可換だが、上記の式における分母分子は可換であることに注意）。この射影の逆写像は上の点をへ写す。

点からの射影も同様に考えることができて、この場合は点がの別のベクトルを用いての形に与えられる。逆写像はをに写す。

-座標はを各点で定義され、-座標はを除く各点で定義されることに注意せよ。これらにより上の二つの座標チャート（この二つを合わせるとの全域がカバーできる）からなるアトラスが定まる。これら二つのチャートが重なる部分における局所座標の間の座標変換はおよびこの式のとの役割を入れ替えたもので与えられることに注意。

群構造単位四元数全体の成す集合と見なすとき、は重要な構造として、四元数の乗法構造を持つことにる。単位四元数の全体は乗法のもとで閉じている（積閉集合である）から、自身に群の構造が入ることになる。さらに言えば、四元数の乗法は連続、さらに滑らかであるから、は位相群、さらに実リー群となる: は三次元のコンパクトリー群である。リー群としてのはしばしば斜交群やユニタリ群などと書かれる。

このようにリー群の構造を入れることのできる超球面は、単位円 —単位複素数全体の成す集合と見て—および —単位四元数の全体として—のみであることがわかる。同様の議論により、たとえばを単位八元数全体の成す集合と見てリー群とすることができそうにも思われるが、これは八元数の乗法が結合性を持たないために正しい主張とはならない。八元数構造からに入る重要な性質としてはがあり、平行化可能な超球面は , , に限られる。

四元数の行列表現を用いれば、も行列表現することができるが、そのような表現の一つにパウリ行列を用いた表現がある。この写像は、四元数体から行列環への単射な多元環準同型を与える。この行列表現では四元数の絶対値がの表現行列の行列式の平方根に等しいという性質がある。したがってこの行列表現から、単位四元数全体の成す集合はの表現行列全体として得ることができるが、それはちょうど特殊ユニタリ群であるから、リー群としてのはに同型となることがわかる。ホップ座標系を用いるならば、の任意の元をの形に書くことができる。同じ結果は、の各元の行列表現をパウリ行列の線型結合として表す方法でも得られる。任意の元はの形に書けることがわかるが、の行列式がという条件は、この式の係数列が三次元球面上にあるという制約を含意する。

三次元球面

Źródło i licencja