形式球

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

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