拓扑偏序空间的准伪度量化
摘要：每个可完全规则预序空间（E，T，leq），T是拓扑，leq是预序关系，都是准伪度量化的，即存在一个准伪度量p在E上，使得伪度量pveep^-1能够诱导出拓扑T，并且leq的图像正好是集合{(x,y):p(x,y)=0}。在有序情况下，这些空间可以被表征为与有序希尔伯特立方体的子空间同胚。对于在双拓扑中获得的准伪度量化结果的关联得到了澄清。特别地，严格准伪度量化的有序空间可以被表征为与有序希尔伯特立方体的有序子空间同胚。
作者：E. Minguzzi
论文ID：1202.4648
分类：General Topology
分类简称：math.GN
提交时间：2012-11-21