万维百科

形式球

形式球是一个拓朴学上的概念,将球体的概念继续延伸至包括球心距为负数的“球体”及不被包围的状况。 形式球这个概念由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 (英语).

参看

外部链接


本页面最后更新于2021-05-03 13:01,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器