首页

欢迎

 

Welcome

欢迎来到这里, 这是一个学习数学、讨论数学的网站.

转到问题

请输入问题号, 例如: 2512

IMAGINE, THINK, and DO
How to be a scientist, mathematician and an engineer, all in one?
--- S. Muthu Muthukrishnan

Local Notes

Local Notes 是一款 Windows 下的笔记系统.

Local Notes 下载

Sowya

Sowya 是一款运行于 Windows 下的计算软件.

详情

下载 Sowya.7z (包含最新版的 Sowya.exe and SowyaApp.exe)


注: 自 v0.550 开始, Calculator 更名为 Sowya. [Sowya] 是吴语中数学的发音, 可在 cn.bing.com/translator 中输入 Sowya, 听其英语发音或法语发音.





注册

欢迎注册, 您的参与将会促进数学交流. 注册

在注册之前, 或许您想先试用一下. 测试帐号: usertest 密码: usertest. 请不要更改密码.


我制作的 slides

Problem

随机显示问题

Problèmes d'affichage aléatoires

拓扑 >> 点集拓扑
Questions in category: 点集拓扑 (General Topology).

Urysohn 度量化定理(或Urysohn 嵌入定理)

Posted by haifeng on 2011-06-20 22:44:03 last update 2011-06-20 22:45:17 | Answers (0)


  • 每个第二可数的 $T_4$ 空间 $(X,\tau)$ 可度量化.
  • 由于 Lindelof+正则$\Rightarrow$ 正规, 故有直接推论: 每个第二可数的 $T_3$ 空间可度量化.
  • 但是度量空间未必是第二可数的, 因此这只是拓扑空间可度量化的充分条件, 而不是必要条件.
  • 拓扑空间可度量化的充要条件是在二十世纪五十年代初由 Nagata, Smirnov, Bing 各自独立解决的.