形式球

形式球是一個拓樸學上的概念，將球體的概念繼續延伸至包括球心距為負數的「球體」及不被包圍的狀況。形式球這個概念由Weihrauch & Schreiber (1981)提出^[1]，然後再由Tsuiki & Hattori (2008)一般化至包括球心距為負數（即一般化的形式球）的個案^[2]。

具體來說，如果 $(X,d)$ 是一個度量空間，以 $\mathbb {R} ^{+}$ 表示非負實數，則 $B^{+}(X,d)=X\times \mathbb {R} ^{+}$ 的元素就是在 $X$ 空間內的一個形式球^[2]。 $B(X,d)=X\times \mathbb {R}$ 的元素則被稱為「一般化的形式球」。