形式球

形式球是一个拓朴学上的概念，将球体的概念继续延伸至包括球心距为负数的“球体”及不被包围的状况。形式球这个概念由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}$ 的元素则被称为“一般化的形式球”。