查看“︁形式球”︁的源代码

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

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

==參考文獻==
{{reflist |refs=
<ref name="Weihrauch & Schreiber">{{cite journal
 |url=https://www.sciencedirect.com/science/article/pii/030439758190027X
 |first1=K. |last1=Weihrauch
 |first2=U. |last2=Schreiber
 |year=1981
 |title=Embedding metric spaces into CPOs
 |journal=''[[Theoretical computer science]]''
 |volume=16 |issue=1 |pages=5-24
 |doi=10.1016/0304-3975(81)90027-X |language=en }}</ref>
<ref name="Tsuiki & Hattori">{{cite journal
 |url=https://www.sciencedirect.com/science/article/pii/S0304397508004556
 |first1=Hideki |last1=Tsuiki |authorlink1=立木秀樹
 |first2=Yasunao|last2=Hattori
 |year=2008
 |title=Lawson topology of the space of formal balls and the hyperbolic topology of a metric space
 |journal=''[[Theoretical computer science]]''
 |volume=405 |issue=1-2 |pages=198-205
 |date=2008-10 |access-date=2018-04-28
 |doi=10.1016/j.tcs.2008.06.034 |language=en }}</ref>
}}

==參看==
*{{link-en|羅森拓樸學|Lawson topology}}
*[[波蘭拓樸學]]/[[波蘭空間]]
*[[雙曲空間]]

==外部連結==
[[Category:拓扑学]]