球体

数学における**球体**（きゅうたい、）は、球面の内側の空間全体を言う。

境界点の全体である球面を全く含む球体を**閉球体**（へいきゅうたい、）といい、全く含まない球体を**開球体**（かいきゅうたい、）という。

## 概要

球体の概念は、三次元ユークリッド空間のみならず、より低次または高次の空間、あるいはより一般の距離空間においても定義することができる。-次元の**球体**は **-次元（超）球体**（あるいは短く -球体）と呼ばれ、その境界は'''-次元（超）球面'''（あるいは短く -球面）と呼ばれる。

例えばユークリッド平面における球体は円板のことであり、それを囲む境界は円周である。また、三次元ユークリッド空間における球体（通常の球体）は二次元球面（通常の球面）によって囲まれる体積を占める。

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

## ユークリッド空間における球体
-次元ユークリッド空間において、中心 , 半径  の**開球体**とは、 からの距離が  未満（）であるような点全体の成す集合を言う。**閉球体**は  からの距離が  以下（）であるような点全体の成す集合である。

-次元ユークリッド空間において任意の球体は超球面の内側（超球体）であり、特に  のときは有界な区間、 のときは円の囲む内側である円板、 のとき通常の球面の囲む内側である。

### 体積
: 
-次元ユークリッド空間における、半径  の -次元ユークリッド超球体の -次元超体積は
: V_n(R) = \frac{\pi^{n/2}}{\Gamma(\frac{n}{2} + 1)}R^n
で与えられる。ただし  はオイラーのガンマ函数（階乗の非整数引数への拡張と見做される）。整数値または半整数値におけるの明示公式を用いれば、ガンマ函数の値の評価を抜きにして、ユークリッド超球面の体積は
:V_{2k}(R) = \frac{\pi^k}{k!}R^{2k},
: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}
で与えられることがわかる。奇数次元の場合の式に現れる二重階乗  は  と定義されるものである。

## 一般の距離空間における球体
距離空間 、即ち集合  に距離函数  を併せて考えたものにおいて、 の点  を中心とする半径  の**開（計量）球体** （あるいは  は
: B_r(p) \triangleq \{ x \in M \mid d(x,p) 
で定義され、**閉（距離）球体** （あるいは ）は
: B_r[p] \triangleq \{ x \in M \mid d(x,p) \le r \}
で定義される。

上記において  としているので、球体は（開閉何れも）必ず中心の点  は含むことに注意。

通例のように閉包を上付きの横棒で表すものとすると、 および  は必ず成り立つが、いっぽう  は必ずしも成立し。例えば離散距離空間  において
: \overline{B_1(p)} = \{p\} \ne B_1[p] = X\quad (\forall p \in X)
となることが確かめられる。

半径  の球体、開球体、閉球体をそれぞれ**[[単位球体]]**、単位開球体（開単位球体）、単位閉球体（閉単位球体）と呼ぶ。

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

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

## ノルム空間における球体
ノルム  を備えるノルム線型空間  は、距離函数  を備える距離空間でもある。このような空間において任意の球体  は、単位球体  を -倍に拡縮して  だけ平行移動したものになっている。

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

### -ノルム
数ベクトル空間  に   を与えたノルム空間において、開球体とは
: B(r) = \left\{ x \in \mathbb{R}^n \mid \sum_{i=1}^n \left|x_i\right|^p 
なる集合のことである。

特に  として、（タクシー距離、マンハッタン距離）に関する球体は対角線が軸と平行な正方形であり、（チェビシェフ距離）に関する球体は辺が軸と平行な正方形になる。他の値の  に対しては（劣楕円または超楕円）になる。

同じく、 のとき、-球体は立体としての対角線が軸と平行となるような八面体であり、-球体は辺が軸と平行な立方体、 () に対してはになる。

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

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

任意の -次元位相開球体は数空間  に同相であり、また -次元単位開超立方体  にも同相である。同様に、任意の -次元位相閉球体は -次元単位閉超立方体  に同相である。

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

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

## 関連項目

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

## 参考文献

*D. J. Smith and M. K. Vamanamurthy, "How small is a unit ball?", *Mathematics Magazine*, 62 (1989) 101&ndash;107.
*"Robin conditions on the Euclidean ball", J. S. Dowker http://www.citebase.org/fulltext?format=application/pdf&identifier=oai:arXiv.org:hep-th/9506042
*"Isometries of the space of convex bodies contained in a Euclidean ball", Peter M. Gruberhttp://www.springerlink.com/content/0v74h15104232532/

## 外部リンク
* 
* ball