球体

In Euclidean space, A ball is the inside of a sphere

数学における球体︵きゅうたい、英: ball︶は球面の内側の空間全体を言う。それが境界点の全体である球面を全く含むとき閉球体︵へいきゅうたい、英: closed ball︶、全く含まないとき開球体︵かいきゅうたい、英: open ball︶と呼ばれる。

これらの概念は三次元ユークリッド空間のみならず、より低次または高次の空間、あるいはより一般の距離空間において定義することができる。n-次元の球体は n-次元︵超︶球体︵あるいは短く n-球体︶と呼ばれ、その境界は(n−1)-次元︵超︶球面︵あるいは短く (n−1)-球面︶と呼ばれる。例えばユークリッド平面における球体は円板のことであり、それを囲む境界は円周である。また、三次元ユークリッド空間における球体︵通常の球体︶は二次元球面︵通常の球面︶によって囲まれる体積を占める。

ユークリッド幾何学などの文脈において、球体 (ball) の意味でしばしば略式的に球 (sphere) と呼ぶ場合がある︵球が球面の意である場合もある︶。

ユークリッド空間における球体

n-次元ユークリッド空間において、中心 x, 半径 rの開球体とは、x からの距離が r未満︵﹁距離﹂< r︶であるような点全体の成す集合を言う。閉球体は xからの距離が r以下︵﹁距離﹂≤ r︶であるような点全体の成す集合である。

n-次元ユークリッド空間において任意の球体は超球面の内側︵超球体︶であり、特に n= 1 のときは有界区間 (数学)、n = 2 のときは円の囲む内側である円板、n = 3 のとき通常の球面の囲む内側である。

体積

詳細は「超球体の体積」を参照

n-次元ユークリッド空間における、半径 Rの n-次元ユークリッド超球体の n-次元超体積は

${\displaystyle V_{n}($R)={\frac {\pi ^{n/2}}{\Gamma ({\frac {n}{2}}+1)}}R^{n}} $V_{n}(R)={\frac {\pi ^{n/2}}{\Gamma ({\frac {n}{2}}+1)}}R^{n}$
で与えられる。ただし Γ はオイラーのガンマ函数︵階乗の非整数引数への拡張と見做される︶。整数値または半整数値におけるガンマ函数の特殊値の明示公式を用いれば、ガンマ函数の値の評価を抜きにして、ユークリッド超球面の体積は

${\displaystyle V_{2k}($R)={\frac {\pi ^{k}}{k!}}R^{2k},} $V_{2k}(R)={\frac {\pi ^{k}}{k!}}R^{2k},$
${\displaystyle V_{2k+1}($R)={\frac {2^{k+1}\pi ^{k}}{(2k+1)!!}}R^{2k+1}={\frac {2(k!)(4\pi )^{k}}{(2k+1)!}}R^{2k+1}} $V_{2k+1}(R)={\frac {2^{k+1}\pi ^{k}}{(2k+1)!!}}R^{2k+1}={\frac {2(k!)(4\pi )^{k}}{(2k+1)!}}R^{2k+1}$
で与えられることがわかる。奇数次元の場合の式に現れる二重階乗 (2k + 1)!! は (2k + 1)!! = 1 · 3 · 5 ··· (2k − 1) · (2k + 1) と定義されるものである。

一般の距離空間における球体

距離空間 (M,d)、即ち集合 Mに距離函数 dを併せて考えたものにおいて、M の点 pを中心とする半径 r> 0 の開︵計量︶球体 B_r(p)︵あるいは B(p; r) は

${\displaystyle B_{r}($p)\triangleq \{x\in M\mid d(x,p)<r\}} $B_{r}(p)\triangleq \{x\in M\mid d(x,p)<r\}$
で定義され、閉︵距離︶球体 B_r[p]︵あるいは B[p; r], B_r(p)︶は

${\displaystyle B_{r}[$p]\triangleq \{x\in M\mid d(x,p)\leq r\}} $B_{r}[p]\triangleq \{x\in M\mid d(x,p)\leq r\}$
で定義される。

上記において r> 0 としているので、球体は︵開閉何れも︶必ず中心の点 pは含むことに注意。

通例のように閉包を上付きの横棒で表すものとすると、B_r(p) ⊆ B_r(p) および B_r(p) ⊆ B_r[p] は必ず成り立つが、いっぽう B_r(p) = B_r[p] は必ずしも成立しない。例えば離散距離空間 Xにおいて

${\displaystyle {\overline {B_{1}($p)}}=\{p\}\neq B_{1}[p]=X\quad (\forall p\in X)} ${\overline {B_{1}(p)}}=\{p\}\neq B_{1}[p]=X\quad (\forall p\in X)$
となることが確かめられる。

半径 1の球体、開球体、閉球体をそれぞれ単位球体、単位開球体︵開単位球体︶、単位閉球体︵閉単位球体︶と呼ぶ。

距離空間の部分集合が有界であるとは、それが適当な球体にまったく含まれることを言う。また全有界であるとは任意に与えた半径を共通して持つ球体の有限個を用いて必ず被覆できるときに言う。

距離空間においてその開球体全体は、位相の開基として、その任意の開集合を開球体の合併に表すことができる。このように得られる位相空間は、距離函数 dの誘導する位相を備えていると言う。

ノルム空間における球体

ノルム ‖ · ‖ を備えるノルム線型空間 Vは、距離函数 d(x,y) := |x − y| を備える距離空間でもある。このような空間において任意の球体 B_r(p) は、単位球体 B_r(0) を r-倍に拡縮して pだけ平行移動したものになっている。

先に述べたユークリッド球体はノルム空間における球体のひとつの例になっている。

p-ノルム

数ベクトル空間 Rⁿに p-ノルム L_pを与えたノルム空間において、開球体とは

${\displaystyle B($r)=\left\{x\in \mathbb {R} ^{n}\mid \sum _{i=1}^{n}\left|x_{i}\right|^{p}<r^{p}\right\}} $B(r)=\left\{x\in \mathbb {R} ^{n}\mid \sum _{i=1}^{n}\left|x_{i}\right|^{p}<r^{p}\right\}$
なる集合のことである。

特に n= 2 として、L₁︵タクシー距離、マンハッタン距離︶に関する球体は対角線が軸と平行な正方形であり、L_∞︵チェビシェフ距離︶に関する球体は辺が軸と平行な正方形になる。他の値の pに対してはラメ曲線︵劣楕円または超楕円︶になる。

同じく、n = 3 のとき、L₁-球体は立体としての対角線が軸と平行となるような八面体であり、L_∞-球体は辺が軸と平行な立方体、L_p (p >2) に対しては超楕円体になる。

一般の凸ノルム

より一般に、Rⁿ の点対称な有界凸開集合 Xが与えられたとき、任意の開球体が Xを適当な大きさの拡縮を一様に行って平行移動したものとなっているような Rⁿ上のノルムを定義することができる。この定理は﹁開集合﹂を﹁閉集合﹂に置き換えると成立しない︵実際、原点のみからなる集合は閉集合だが、これは Rⁿのノルムを定めない︶。

位相球体

より一般に、距離から導かれる位相とは限らない位相を備えた任意の位相空間 Xにおいても球体について述べることができる。X の部分集合は、それが n-次元ユークリッド︵開、閉︶球体に同相となるとき、X の n-次元位相︵開、閉︶球体と呼ばれる。n-次元位相球体は組合せ論的位相幾何学において、胞複体 の構成ブロックとして重要である。

任意の n-次元位相開球体は数空間 Rⁿに同相であり、また n-次元単位開超立方体 (0,1)ⁿ にも同相である。同様に、任意の n-次元位相閉球体は n-次元単位閉超立方体 [0,1]ⁿ に同相である。

n-次元球体が m-次元球体と同相となる必要十分条件は n= mとなることである。n-次元開球体 Bと Rⁿとの間の同相写像は、B の取り得る二つの位相的向きとして理解することができる二つの類に類別することができる。

n-次元位相球体は滑らかでなくともよいが、滑らかとなる場合は n-次元ユークリッド球体と微分同相でなければならない。

関連項目

• 球: 日常的な意味で
• 円板
• 虚球: 負の半径を許す
• 近傍 (位相空間論)
• 三次元球面
• 超球面（高次元球面）
• アレクサンダーの角付き球面
• 多様体
• 超球体の体積

参考文献

• D. J. Smith and M. K. Vamanamurthy, "How small is a unit ball?", Mathematics Magazine, 62 (1989) 101–107.
• "Robin conditions on the Euclidean ball", J. S. Dowker [1]
• "Isometries of the space of convex bodies contained in a Euclidean ball", Peter M. Gruber[2]

外部リンク

• Weisstein, Eric W. "Ball". mathworld.wolfram.com (英語).
• ball [3] - PlanetMath.（英語）