在数学相关领域,可数性公理是假定特定数学对象(通常是范畴的对象)存在特定性质的可数集的相关公理。没有这种公理,该可数集可能根本不存在。

重要例子

编辑

一些拓扑空间中的重要例子包括[1]

各空间之间的关系

编辑

这些公理有以下关系。

  • 所有第一可数空间都是序列空间。
  • 所有第二可数空间都是第一可数空间、可分空间及林德勒夫空间。
  • 所有σ紧空间都是林德勒夫空间。
  • 所有度量空间都是第一可数空间。
  • 对于度量空间,第二可数空间、可分空间及林德勒夫空间是等价的。

参考资料

编辑
  1. ^ Nagata, J.-I., Modern General Topology, North-Holland Mathematical Library 3rd, Elsevier: 104, 1985 [2015-07-26], ISBN 9780080933795, (原始内容存档于2014-07-27) .