一个球
在歐氏空間裡，**球**是指球面的內部。
**球**（英語：）在數學裡，是指球面內部的空間。球可以是封閉的（包含球面的邊界點，稱為**閉球**），也可以是開放的（不包含邊界點，稱為**開球**）。

球的概念不只存在於三維歐氏空間裡，亦存在於較低或較高維度，以及一般度量空間裡。{\displaystyle n\,\!}維空間裡的球稱為{\displaystyle n\,\!}維球，且包含於{\displaystyle n-1\,\!}維球面內。因此，在歐氏平面裡，球為一圓盤，包含在圓內。在三維空間裡，球則是指在二維球面邊界內的空間。

歐氏空間裡的球
-------

在 {\displaystyle n\,\!} 維歐氏空間裡，一個中心為 {\displaystyle x\,\!} ，半徑為 {\displaystyle r\,\!} 的 {\displaystyle n\,\!} 維（開）球是個由所有距 {\displaystyle x\,\!} 的距離小於 {\displaystyle r\,\!} 的點所組成之集合。一個中心為 {\displaystyle x\,\!}，半徑為 {\displaystyle r\,\!} 的 {\displaystyle n\,\!} 維閉球是個由所有距 {\displaystyle x\,\!} 的距離小於等於 {\displaystyle r\,\!} 的點所組成之集合。

在 {\displaystyle n\,\!} 維歐氏空間裡，每個球都是某個超球面內部的空間。在一維時，球是個有界的區間；在二維時，是某個圓的內部（圓盤）；而在三維時，則是某個球面的內部。

### 體積

条目：n維球的體積
在 {\displaystyle n\,\!} 維歐氏空間裡，半徑 {\displaystyle R\,\!} 的球之 {\displaystyle n\,\!} 維體積為：

{\displaystyle V\_{n}(R)={\frac {\pi ^{n/2}}{\Gamma ({\frac {n}{2}}+1)}}R^{n},}
其中，Γ是李昂哈德·歐拉的Γ函數（可被視為階乘在實數的延伸）。使用Γ函數在整數與半整數時的公式，可不需要估算Γ函數即可計算出球的體積：

{\displaystyle 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}.}
在奇數維度時的體積公式裡，對每個奇數{\displaystyle 2k+1\,\!}，雙階乘 (2k + 1)!! 定義為 (2k + 1)!! = 1 · 3 · 5 ··· (2k − 1) · (2k + 1)。

一般度量空間裡的球
---------

令 (M,d) 為一度量空間，即具有度量（距離函數）d 的集合 M。中心為 M 內的點 p，半徑為 r > 0 的開球，通常標計為 Br(p) 或 B(p; r)，定義為

{\displaystyle B\_{r}(p)=\{x\in M\mid d(x,p)<r\},}
其閉球，可標計為 Br[p] 或 B[p; r]，則定義為

{\displaystyle B\_{r}[p]=\{x\in M\mid d(x,p)\leq r\}.}
請特別注意，一個球（無論開放或封閉）總會包含點 p，因為依定義， r > 0。

開球的閉包通常標記為 {\displaystyle {\overline {B\_{r}(p)}}}。雖然 {\displaystyle B\_{r}(p)\subseteq {\overline {B\_{r}(p)}}} 與 {\displaystyle {\overline {B\_{r}(p)}}\subseteq B\_{r}[p]} 總是成立的，但 {\displaystyle {\overline {B\_{r}(p)}}=B\_{r}[p]} 則不一定總是為真。舉例來說，在一個具離散度量的度量空間 X 裡，對每個 X 內的 p 而言，{\displaystyle {\overline {B\_{1}(p)}}=\{p\}}，但 {\displaystyle B\_{1}[p]=X}。

一個（開或閉）單位球為一半徑為 1 的球。

度量空間的子集是有界的，若該子集包含於某個球內。一個集合是全有界的，若給定一正值半徑，該集合可被有限多個具該半徑的球所覆蓋。

度量空間裡的開球為拓撲空間裡的基，其中所有的開集合均為某些（有限或無限個）開球的聯集。該拓撲空間被稱為由度量 d 導出之拓撲。

賦範向量空間裡的球
---------

每個具範數 |·| 的賦範向量空間亦為一度量空間，其中度量 d(x, y) = |x − y|。在此類空間裡，每個球 Br(p) 均可視為是單位球 B1(0) 平移 p，再縮放 r 後所得之集合。

前面討論的歐氏空間裡的球亦為賦範向量空間裡球的一例。

### p-範數

在具 p-範數 Lp 的笛卡爾空間 {\displaystyle \mathbb {R} ^{n}} 裡，開球是指集合

{\displaystyle B(r)=\left\{x\in \mathbb {R} ^{n}\,:\,\sum \_{i=1}^{n}\left|x\_{i}\right|^{p}<r^{p}\right\}.}
在二維（n=2）時，L1（通常稱為曼哈頓度量）的球是對角線平行於坐標軸的正方形；而 L∞（切比雪夫度量）的球則是個邊平行於坐標軸的正方形。對於 p 的其他值，該球則會是超橢圓的內部。

在三維（n=3）時，L1 的球是個對角線平行為坐標軸的八面體，而 L∞ 的球則是個邊平行為坐標軸的正立方體。對於 p 的其他值，該球則會是超橢球的內部。

### 一般凸範數

更一般性地，給定任一 Rn 內中心對稱、有界、開放且凸的集合 X，均可定義一個在 Rn 的範數，該球均為 X 平移再一致縮放後所得之集合。須注意，若將此定理內的「開」子集以「閉」子集替代，則定理不能成立，因為原點也符合定理內所定之集合，但無法定義 Rn 內的範數。

拓撲空間裡的球
-------

在拓撲學的文獻裡，「球」可能有两種含义，由上下文决定。

### 開集

"（开）球"一词有时被非正式地用于指代任何开集：可以用"*p* 点周围的一个球"代表包含*p* 的一个开集。该集合同胚于什么依赖于背景拓扑空间以及所选取的开集。同样，"闭球"有时用于表示这样一个开集的闭包。（这可能产生误导，例如超度量空间中一个闭球不是同样半径的开球的闭包，它们都是既开且闭的。）

有时，邻域用于指代这个意义上的球，但是邻域其实有更一般的意义：*p* 的一个邻域是任何包含一个*p* 的开集的集合，因此通常不是开集。

### 拓撲球

X 內的 n 維（開或閉）拓撲球是指 X 內同胚於 n 維（開或閉）歐幾里得球的任一子集，該子集不一定需要由某個度量導出。n 維拓撲球在組合拓撲學裡很重要，為建構胞腔復形的基礎。

任一 n 維開拓撲球均同胚於笛卡爾空間 **R**n 及 n 維開單位超方形 {\displaystyle (0,1)^{n}\subseteq \mathbb {R} ^{n}}。任一 n 維閉拓撲球均同胚於 n 維閉超方形 [0, 1]n。

n 維球同胚於 m 維球，若且唯若 n = m。n 維開球 B 與 **R**n 間的同胚可分成兩種類型，以 B 的兩種可能之拓撲定向來區分。

一個 n 維拓撲球不一定是光滑的；若該球是光滑的，亦不一定需微分同胚於一 n 維歐幾里得球。

另見
--

* 球 - 一般常見的意義
* 圓盤
* 形式球，將球的半徑延伸至負值。
* 鄰域
* 三維球面
* n維球面（超球面）
* 亞歷山大帶角球（英语：）
* 流形
* n維球的體積（英语：）
* 正八面體，{\displaystyle \ell \_{1}} 度量下的三維球

* 球殼（英语：）
* 橢球
* 球缺
* 半球

参考文献
----

1. ↑ .  [2015-09-28]. （原始内容存档于2021-04-22）.

* 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
* "Isometries of the space of convex bodies contained in a Euclidean ball", Peter M. Gruber[永久]

参见
--

* icon数学主题

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
几何学术语 |
| --- |
|  |
| 点 | 
* 頂點
* 交點
* 中點
* 角
	+ 同界角
* 極值點
* 最值點
* 臨界點
* 驻点
* 鞍點

 |
|  |
| 直线和曲线 | 
* 线段
* 射线
* 直线
* 切线
* （主）法线
* 副法線
* 曲线
* 圆锥曲线
* 双曲线
* 抛物线
* 正弦曲線
* 蚌线
* 蜗线
* 螺线（阿基米德螺线、等角螺线……）
* 摆线（最速降線問題）
* 悬链线
* 曳物线
* 漸開線
* 渐屈线
* 渐近线
* 测地线
* 邊
* 周界
* 弦
* 弧
* 垂直平分線
* 代數曲線
* 椭圆曲线
* 超橢圓
* 星形线
* 三尖瓣线
* 方圓形
* 勒洛三角形

 |
|  |
| 平面圖形 | 
* 圆（广义圆）
* 椭圆
* 扇形
* 弓形
* 环形
* 多边形
* 三角形
* 四邊形
* 五边形
* 六边形
* 多边形
* 正多边形
* 梯形
* 平行四边形
* 菱形
* 矩形
* 正方形
* 鷂形
* 卵形线
* 梭形
* 星形
* 五角星
* 六角星

 |
|  |
| 立體圖形 | 
* 多面体
* 正多面體
* 四面體
* 長方體
* 立方體
* 平行六面体
* 棱柱
* 反棱柱
* 棱锥
* 棱台
* 圆柱体
* 圆锥
* 圆台
* 椭球（長球體、扁球體）
* 球體
* 球缺
* 球冠
* 球台
* 準線
* 母線

 |
|  |
| 曲面 | 
* 二次曲面
* 旋轉曲面
* 抛物面
* 雙曲面
* 马鞍面
* 球面
* 橢球面
* 類球面
* 环面
* 莫比乌斯带
* 流形
* 黎曼曲面

 |
|  |
| 高維空間 | 
* 超平面
* 超面
* 超曲面
* 胞
* 多胞形
* 超球體
* 超方形
* 超立方體
* 克莱因瓶
* 四維柱體柱

 |
|  |
| 圖形關係 | 
* 相似
* 全等
* 對稱
* 平行
* 垂直
* 相交
* 相切
* 相離
* 镜像
* 旋转
* 反演
* 截面
* 缩放

 |
|  |
| 三角形關係 | 
* 相似三角形
* 全等三角形

 |
|  |
| 量 | 
* 距离
* 长度
* 周长
* 弧长
* 高度
* 面积
* 表面積
* 体积
* 容積
* 角度
* 曲率
* 撓率
* 離心率
* 凹凸性
* 有向曲面
* 可展曲面
* 直紋曲面

 |
|  |
| 作圖 | 
* 尺
	+ 直尺
	+ 三角尺
* 圆规
* 尺规作图
* 二刻尺作圖

 |
|  |
| 分支 | 
* 平面幾何
* 立体几何
* 三角学
* 解析几何
* 微分几何
* 拓扑学
* 图论
* 摺紙數學
* 欧几里得几何
* 非欧几里得几何（双曲几何、球面幾何……）
* 分形

 |
|  |
| 理論 | 
* 定理
* 公理
* 定义
* 數學證明

 |
|  |
| 
* 分类**分类**
* 主题**主题**
* 共享资源页面**共享资源**
* 专题**专题**

 |

 |