形式球 形式球是一個拓樸學上的概念將球體的概念繼續延伸至包括球心距為負數的球體及不被包圍的狀況 形式球這個概念由Weihrauch  Schreiber 提出然後再由Tsuiki  Hattori 一般化至包括球心距為負數即一般化的形式球的個案 具體來說如果  X  d  displaystyle Xd 是一個度量空間以 R  displaystyle mathbb R  表示非負實數則 B   X  d   X  R  displaystyle BXdXtimes mathbb R  的元素就是在 X displaystyle X 空間內的一個形式球 B  X  d   X  R displaystyle BXdXtimes mathbb R  的元素則被稱為一般化的形式球