球 (数学)
在數學裡,球是指球面內部的空間。球可以是封閉的(包含球面的邊界點,稱為閉球),也可以是開放的(不包含邊界點,稱為開球)。
球的概念不只存在於三維歐氏空間裡,亦存在於較低或較高維度,以及一般度量空間裡。維空間裡的球稱為維球,且包含於維球面內。因此,在歐氏平面裡,球為一圓盤,包含在圓內。在三維空間裡,球則是指在二維球面邊界內的空間。
歐氏空間裡的球
在 維歐氏空間裡,一個中心為 ,半徑為 的 維(開)球是個由所有距 的距離小於 的點所組成之集合。一個中心為 ,半徑為 的 維閉球是個由所有距 的距離小於等於 的點所組成之集合。
在 維歐氏空間裡,每個球都是某個超球面內部的空間。在一維時,球是個有界的區間;在二維時,是某個圓的內部(圓盤);而在三維時,則是某個球面的內部。
一般度量空間裡的球
令 (M,d) 為一度量空間,即具有度量(距離函數)d 的集合 M。中心為 M 內的點 p,半徑為 r > 0 的開球,通常標計為 Br(p) 或 B(p; r),定義為
其閉球,可標計為 Bt[p] 或 B[p; r],則定義為
請特別注意,一個球(無論開放或封閉)總會包含點 p,因為依定義, r > 0。
開球的閉包通常標記為 。雖然 與 總是成立的,但 則不一定總是為真。舉例來說,在一個具離散度量的度量空間 X 裡,對每個 X 內的 p 而言,,但 。
一個(開或閉)單位球為一半徑為 1 的球。
度量空間的子集是有界的,若該子集包含於某個球內。一個集合是全有界的,若給定一正值半徑,該集合可被有限多個具該半徑的球所覆蓋。
度量空間裡的開球為拓撲空間裡的基,其中所有的開集合均為某些(有限或無限個)開球的聯集。該拓撲空間被稱為由度量 d 導出之拓撲。
賦範向量空間裡的球
每個具範數 |·| 的賦範向量空間亦為一度量空間,其中度量 d(x, y) = |x − y|。在此類空間裡,每個球 Br(p) 均可視為是單位球 B1(0) 平移 p,再縮放 r 後所得之集合。
前面討論的歐氏空間裡的球亦為賦範向量空間裡球的一例。
拓撲空間裡的球
在拓撲學的文獻裡,「球」可能有两種含义,由上下文决定。