eglv的个人博客分享 http://blog.sciencenet.cn/u/eglv

博文

一般拓扑学中一个命题遐想

已有 2794 次阅读 2019-11-19 17:29 |系统分类:科研笔记

Ponomarev在1960年证明了以下命题:一个T0空间是第一可数的当且仅当它是某个度量空间的开连续像。


我们不打算来讲述这个结论的证明过程,只是来看看这个结论本身。某人说过,真正学好数学应该花更多的时间用于思考命题本身以及的启发,而不是说搞懂它的证明而已。


这个结论看起来似乎利用度量空间的开连续像刻画了一个比较一般的拓扑性质---第一可数,当然是在T0这个分离性的前提下。这个结论初看起来还是蛮惊人的(其实证明不太难),用一个非常好的空间即度量空间取它的开连续像就表达了第一可数空间,即在特殊和一般之间建立了一个联系。 当我遇到一个T0的第一可数空间的时候,自然就想像它是某个度量空间的开连续像,似乎给出了一些额外的信息。由于度量空间是个良好的空间,也增加了我们把握T0第一可数空间的信心。


文献:

Ponomarev, V.I. 1960  Axioms of ountability and continuous mappings.



https://wap.sciencenet.cn/blog-788326-1206763.html

上一篇:读书笔记:美法中文化差异
下一篇:学习方法的班会
收藏 IP: 221.10.55.*| 热度|

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-29 17:56

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部