単位球面

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索
様々な単位球面

単位球面: unit sphere)とは、中心点からの距離が1の点の集合である。なお、ここでの距離とは一般的な距離の概念である。一方、単位(英: unit ball)は、中心点からの距離が1と等しいかそれ未満の点の集合である(「閉 (closed) 単位球」の場合)。通常、特に断らない限り、対象とする空間の原点を中心点とする。したがって英語で何の前置きもなく "the" をつけて書かれている場合は、原点を中心点とする単位球面や単位球を指す。

単位球面は、単純に半径が1の球面である。任意の球面は平行移動と拡大・縮小によって単位球面に変換でき、この点が重要である。したがって、球面の研究は一般に単位球面を研究することに還元できる。

ユークリッド空間での単位球[編集]

n次元のユークリッド空間では、単位球面を (x_1, \ldots, x_n) という点の集合としたとき、次の式が成り立つ。

 x_1^2 + x_2^2 + \cdots + x_n ^2 = 1

そして、閉単位球の全ての点の集合については、次の不等式が成り立つ。

 x_1^2 + x_2^2 + \cdots + x_n ^2 \le 1

一般的な面積と体積の式[編集]

最初に、単位球面の古典的な式が半径1でx軸、y軸、z軸で違いがない楕円面の式となることは重要である。

f(x,y,z) =  x^2 + y^2 + z^2 = 1

n次元ユークリッド空間の単位球の体積と単位球面の面積は、解析学の様々な重要な方程式に出てくる。n次元の単位球面の表面積 Anガンマ関数を使って以下のように表現できる。

A_n = \frac{2 \pi ^ {n/2}}{\Gamma(n/2)}

同様に、n次元の単位球の体積 Vn は次のように表現できる。

V_n = \frac{\pi ^ {n/2}}{\Gamma(1+n/2)}

さらに、次の関係が成り立つ。

A_n = n V_n\,

いくつかの n に対応した表面積と体積は次のようになる。

n A_n (表面積) V_n (体積)
0 0.000 1.000
1 2.000 2.000
2 2 \pi \approx 6.283 \pi \approx 3.142
3 4 \pi \approx 12.57 4 \pi/3 \approx 4.189
4 2 \pi^2 \approx 19.74 \pi^2/2 \approx 4.935
5 8 \pi^2/3\approx 26.32 8 \pi^2/15\approx 5.264
6 \pi^3\approx 31.01 \pi^3/6\approx 5.168
7 16 \pi^3/15\approx 33.07 16 \pi^3/105\approx 4.725
8 \pi^4/3\approx 32.47 \pi^4/24\approx 4.059
9 32 \pi^4/105\approx 29.69 32 \pi^4/945\approx 3.299
10 \pi^5/12\approx 25.50 \pi^5/120\approx 2.550

細かいことを言えば、A_0 の値は n を正方向から0に漸近させたときの極限として求めている。

再帰[編集]

An の値は次のように再帰的に表せる。

A_0 = 0
A_1 = 2
A_2 = 2\pi
A_n = \frac{2 \pi}{n-2} A_{n-2} for n > 2

Vn の値は次のように再帰的に表せる。

V_0 = 1
V_1 = 2
V_n = \frac{2 \pi}{n} V_{n-2}\text{ for }n > 1

フラクタル次元[編集]

An および Vn の式は n > 0 の任意の実数について計算でき、非負整数以外の n についての球面の面積や球の体積が必要になる場合もある。

x次元の球面の面積を x の連続関数として図示したグラフ
x次元の球の体積を x の連続関数として図示したグラフ

他の半径[編集]

n次元の球面の表面積は、半径が r なら An rn−1 となり、同様に n 次元の球の体積は、半径が r なら Vn rn となる。例えば、半径 r の3次元の球面の表面積は A = 4πr 2、半径 r の3次元の球の体積は V = 4πr 3 / 3 となる。

ノルム線型空間における単位球[編集]

ノルム線型空間 Vノルム\|\cdot\| のとき、「開単位球 (open unit ball)」は次のように表される。

 \{ x\in V: \|x\|<1 \}

これは下記の (V,||·||) における「閉単位球 (closed unit ball)」の「内部 (interior)」である。

 \{ x\in V: \|x\|\le 1\}

後者は前者の直和であり、その共通する境界が (V,||·||) における単位球面である。

 \{ x\in V: \|x\| = 1 \}

単位球の形状は、どういうノルムを選択するかで大きく異なる。角のある形状になる場合もあり、例えば Rn にてノルム l を採用すると [−1,1]n のようになる。丸い球形は、ユークリッド距離で有限次元の場合に一般的なヒルベルト空間ノルムを採用した場合と理解できる。その境界がいわゆる単位球面となる。

一般化[編集]

距離空間[編集]

これまでの定義は、選択した原点についての距離空間で直接的に一般化できる。しかし位相幾何学的な概念(内部、閉包、境界)をそのまま適用する必要はない。一部の距離空間では、単位球面が空の場合もある。

二次形式[編集]

線型空間 V に実数の二次形式 F:V → R があるとき、{ x ∈ V : F(x) = 1 } を V単位球面と呼ぶことがある。2次元の例として分解型複素数二元数がある。F が負の値をとるとき、{x ∈ V: F(x) = − 1} をcounter-sphereと呼ぶ。

関連項目[編集]

外部リンク[編集]