【拓扑空间】可分性

F_D_Z

已于 2024-03-16 17:33:27 修改

阅读量601

点赞数 13

文章标签：拓扑空间可分性余有限拓扑余可数拓扑

于 2024-03-15 16:45:10 首次发布

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/weixin_73404807/article/details/136705695

版权

拓扑理论专栏收录该内容

5 篇文章 0 订阅

订阅专栏

可分拓扑空间

如果拓扑空间 $X$ 有可数的稠密子集，则称 $X$ 是可分拓扑空间。

可分：有可数子集A， $\bar{A}=X$

拓扑空间：

1. $\o \O$ $\varnothing$ ， $X$

2.任意并

3.有限交

稠密： $\bar{A}=X$

闭包 $\bar{A}=A\cup {A}'$

导集 ${A}'$ ：所有聚点的集合

聚点：任意去心领域 $U$ ， $A\cap U \neq \varnothing$

例1 余有限拓扑可分

$(X,\tau_{cof})$ 是可分的拓扑空间

余有限拓扑 $\tau_{cof} = \left \{ A\subseteq X: |A^{c}| < \infty \right\} \cup \left\{ \varnothing \right\}$ , $X \ is \ infinite$

complement+finite=cof

可分 $\leftarrow$ 有可数的稠密子集 $\leftarrow$ 有可数子集A， $\bar{A}=X$

证明：

任取X的一个无限子集A

对任意 $x \in X$ ，取任意的开领域 $U$ ，则 $U^{c}$ 有限

$A=A\cap X=A\cap(U\cup U^c)=(A\cap U)\cup(A\cap U^c)$

A是无限集，则 $A\cap U^{c} \neq A$ ，则 $A\cap U \neq \varnothing$ ，则 $x \in \bar{A}$ ，则 $X \subseteq \bar{A}$

又A是从X中任取的无限子集，则 $\bar{A} = R$ ，即X任一无限子集稠密

X是无限集，则必有可数无限子集B， $\bar{B} = R$ ，故 $(X,\tau_{cof})$ 是可分的拓扑空间

例2 余可数拓扑不可分

$(X,\tau_{c})$ 不是可分的拓扑空间

余可数拓扑 $\tau_{c} = \left \{ A\subseteq X: A^{c} \ is \ countable \right\} \cup \left\{ \varnothing \right\}$ , $X \ is \ uncountable$

$\tau_{cof}$ 小于 $\tau _c$ 和 $\tau _e$ , $\tau _c$ 和 $\tau _e$ 不能比较大小

证明：

任取X的一个可数子集A，由余可数拓扑，则A的补集是开集，则A是闭集，则 $\bar{A}=A$

而X不可数，故 $A\neq X$ ，故 $\bar{A}\neq X$ ， $(X,\tau_{c})$ 不是可分的拓扑空间

关注

13
点赞
踩
8

收藏

觉得还不错? 一键收藏
打赏
0
评论
复制链接

分享到 QQ

分享到新浪微博

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

打赏作者

F_D_Z 你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20

扫码支付：¥1

获取中

扫码支付

您的余额不足，请更换扫码支付或充值

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。