形式球是一个拓朴学上的概念,将球体的概念继续延伸至包括球心距负数的“球体”及不被包围的状况。 形式球这个概念由Weihrauch & Schreiber (1981)提出[1],然后再由Tsuiki & Hattori (2008)一般化至包括球心距为负数(即一般化的形式球)的个案[2]

具体来说,如果是一个度量空间,以表示非负实数,则的元素就是在空间内的一个形式球[2]的元素则被称为“一般化的形式球”。

参考文献

编辑
  1. ^ Weihrauch, K.; Schreiber, U. Embedding metric spaces into CPOs. Theoretical computer science. 1981, 16 (1): 5–24. doi:10.1016/0304-3975(81)90027-X (英语). 
  2. ^ 2.0 2.1 Tsuiki, Hideki; Hattori, Yasunao. Lawson topology of the space of formal balls and the hyperbolic topology of a metric space. Theoretical computer science. 2008-10, 405 (1-2): 198–205 [2018-04-28]. doi:10.1016/j.tcs.2008.06.034 (英语). 

参看

编辑

外部链接

编辑