拓扑空间

最新推荐文章于 2025-07-11 12:53:17 发布

HappyKinding

最新推荐文章于 2025-07-11 12:53:17 发布

阅读量1.6k

点赞数 1

CC 4.0 BY-SA版权

分类专栏：拓扑

本文链接：https://blog.csdn.net/weixin_42830365/article/details/104015696

拓扑专栏收录该内容

11 篇文章

订阅专栏

文章目录

什么是拓扑

我们从集合出发，在代数结构上我们得到群的性质
我们从拓扑结构上，我们能得到拓扑空间

拓扑空间

一个集合X上一个拓扑是X的子集的一个族 $\Im$

它满足以下条件：

$\varnothing$ 和 $X$ 都要在 $\Im$ 中

$(ii)\Im$ 的任意子族的元素的并都要在 $\Im$ 中

$(iii)\Im$ 的任意有限子族的元素的交都要在 $\Im$ 中

一个指定了拓扑 $\Im$ 的集合X叫做一个拓扑空间(拓扑空间指的是有序对( $\Im,X$ ),一般来说不专门提到 $\Im$

从某种角度来说，我们可以认为拓扑空间指的是一个集合X连同它的子集的一个族(拓扑空间指的是集合的某种组合)，拓扑本身来说就是集合为元素的集合，这里我们引入幂集的概念 $2^{\mathcal{T}}$ , $\mathcal{T} \subset 2^{\mathcal{T}}$

$X$ 的子集的全部组合我们称之为幂集 $2^X$

例子：

1.1: $X=\{a,b,c,d,e,f\},\Im_{1} =\{X,\varnothing,\{a\},\{c,d\},\{a,c,d\},\{b,c,d,e,f\}\}$ 则 $\Im_{1}$ 满足上述的性质， $\Im_{1}$ 为X上的一个拓扑
1.2: $X=\{a,b,c,d,e\},\Im_{2} =\{X,\varnothing,\{a\},\{c,d\},\{a,c,e\},\{b,c,d\}\}$ ， $\{a\}\cup\{c,d\} \nsubseteq \Im_{2}$ ,则 $\Im_{2}$ 不是X上的拓扑
1.3 $X=\{a,b,c,d,e\},\Im_{3} =\{X,\varnothing,\{a\},\{f\},\{a,c,f\},\{b,c,d,e,f\}\}$ ， $\{a\}\cap\{f\}\cap\{a,c,f\}\nsubseteq\Im_{3}$ ,则 $\Im_{3}$ 不是X上的拓扑
1.4 $\Im_{4}$ 为 $\mathbb{N}$ 组成的所有有限子集，假设 $A_i={i} ,i$ 取遍所有大于1的整数。我们仔细想想，如果把所有的 $A_{i}$ 并在一起，那就组成了 $\mathbb{N}$ ， $\mathbb{N}$ 为无穷集合，与拓扑并的性质违背， $\Im_{4}$ 为 $\mathbb{N}$ 组成的所有有限子集， $\Im_{4}$ 不是X上的拓扑