形式球是一个拓朴学上的概念，将球体的概念继续延伸至包括球心距为负数的「球体」及不被包围的状况。形式球这个概念由Weihrauch & Schreiber (1981)提出，然后再由Tsuiki & Hattori (2008)一般化至包括球心距为负数（即一般化的形式球）的个案。具体来说，如果formula_1是一个度量空间，以formula_2表示非负实数，则formula_3的元素就是在formula_4空间内的一个形式球。formula_5的元素则被称为「一般化的形式球」。