合成拓扑中的度量空间
- 2010年1月6日
- 安德烈·鲍尔
-
建构主义数学,出版物
使用达沃林·勒什尼克.
摘要：我们研究了每一个集合都具有内在拓扑的拓扑合成方法与度量空间的构造理论之间的关系。我们将康托空间紧性的综合概念与布劳沃的范数原理联系起来。我们证明了完全可分度量空间的内禀拓扑和度量拓扑在Baire空间中是一致的。在俄罗斯建构主义中，合成拓扑和度量拓扑之间的匹配被打破，因为即使是一个非常简单的完全有界空间也不能是紧的，并且其拓扑严格地比度量拓扑精细。相反，在Brouwer的直觉主义中，拓扑和紧性的综合和度量概念是一致的。
下载论文： csms_in_synthtop.pdf