球面
出典: フリー百科事典『ウィキペディア（Wikipedia）』
球面（きゅうめん）とは球体の表面の意である。数学における球面 (sphere) は、距離の定められた空間の定点からの距離が一定であるような点の軌跡として定義される、非常に高い対称性を示す図形である。球面の囲む有界領域を球体あるいは単に球 (ball) と呼ぶ。一般には三次元ユークリッド空間 E3 内のもの、つまり二次元球面を指す場合が多い。
目次 |
[編集] 定義
距離空間 (X, d) において、一点 c を固定するとき、c から一定距離 r > 0 を隔てる点全体の成す集合
を、c を中心（ちゅうしん、center）とする半径（はんけい、radius）r の球面と呼ぶ。r → 0 の極限で一点集合 {c} となるので、r = 0 の場合を退化した球面として扱う場合もある。
[編集] ユークリッド球面
xyz-直交座標系を持つ三次元ユークリッド空間において、定点 (x0, y0, z0) からの距離が r の点 (x, y, z) は式
- (x − x0)2 + (y − y0)2 + (z − z0)2 = r2
を満たす。このような点すべての集合が球面である。r = 1 の場合は特に単位球面という。その面積は S = 4πr2 である。半径に依らず、原点中心の球面が持つ幾何学的な特性は微分方程式
によって表すことができる。特に、各点 (x, y, z) においてその接ベクトル (dx, dy, dz) は球面と直交する。
球面と平面が交わるとき、共通部分は円となる。このうち交差する平面が球の中心を通る場合にできる円の半径は最も大きくなり、特に大円（だいえん）と呼ばれる。
地球を近似的に球と見れば、赤道や経線などが大円の例である。対して、赤道以外の緯線は大円ではない。
一般に自然数 n に対して、実 n + 1 次元ユークリッド空間における点集合
- Sn = ∂Bn+1 = {(x1, ..., xn, xn+1) ∈ Rn+1 | x12 + … + xn2 + xn+12 = r2}
として原点を中心とする n-次元球面 が定義される。省略して n-球面ということもある。ここでいう次元 n は多様体としての次元である。上で説明した3次元空間の単位球面は 2-球面 S2 にあたる。2-球面の場合と同様 r = 1 の場合を単位球面と呼ぶ。また、n ≥ 3 の場合を特に超球面 (hypersphere) と呼んで通常の 2-球面と区別することがある。
たとえば、円周は 1 次元の球面 S1 であり、1-次元単位球面は単位円である。また、原点を中心とする半径 r の 0 次元球面とは、原点に関する対遮点の対 {−r, r} である。
また実数全体 R を例えば複素数全体 C に置き換えても同様の定義ができ、その場合には単位球面を Sn (C) などと表すこともある。
一方、たとえ空間が R2 であってもユークリッド距離でなく 1-ノルムから来る距離 d1(x, y) = |x1 - y1| + |x2 - y2| (x = (x1, x2), y = (y1, y2)) を持ち出せば、これによって定義される単位球面（単位円）は
- 4 点 (1, 0), (0, 1), (−1, 0), (0, −1) を頂点とする四辺形 {(x, y) ∈ R2 | |x| + |y| = 1}
であるというように、一風変わったものが球面と呼ばれることになる。
[編集] 球面のトポロジー
位相幾何学では、必ずしも距離を持たない位相空間 X がユークリッド幾何学的な球面と同相であるとき、X を球面と呼ぶ。この意味での球面は境界の無い向きがついたコンパクト位相多様体の一例である。この場合必ずしも微分構造を区別しないが、微分構造を区別するとき、ユークリッド球面に同相であるが異なる微分構造を持つ位相空間を異種球面（エキゾチック球面）と呼ぶ。また、ホモトピーやホモロジーでは球面と区別の付かない位相空間をそれぞれホモトピー球面やホモロジー球面などと呼ぶ。これらの位相空間の間に成り立つ重要な関係を記述するものの一つにポアンカレ予想が知られている。
例えば、0 次元球面は相異なる二点、1 次元球面は円周である。
実数直線 R に一点｛∞｝を付け加えた空間は、位相幾何学的には円周である。
- これは次のようにするとよくわかる。R を x 軸とする xy- 平面を考え、そこに原点と点 (0, 1) を結ぶ線分を直径とする円を描く。さらに、点 (0, 1) を通る直線族 y = mx + 1 (m ≠ 0) を考えると、個々の直線は点 (0, 1) を除く円周上の各点と x 軸とにそれぞれただ一点のみで交わるので、円と x 軸上の点とを一対一に対応させることができる。そこで点 (0, 1) に対応する仮想的な無限遠点｛∞｝を付け加えた集合(に自然な位相を入れた位相空間)と円周とは同相になる。
同様に、n 次元ユークリッド空間Rn に唯一つの無限遠点 {∞} を付け加えた(つまり一点コンパクト化した)位相空間はSnと同相である。
射影直線 RP(1) は S1 と同相である。ただし、これを次元に関して一般化させることはできず、例えば射影平面 RP(2) は S2 と同相でない。
