![](https://img-blog.csdnimg.cn/20201014180756919.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
我的拓扑学
Done3Sang
这个作者很懒,什么都没留下…
展开
-
多于一点的连通度量空间是不可数的.
题:设(X,d)(X, d)(X,d)是多于一点的连通度量空间,那么XXX是不可数的.证:设a,b∈Xa, b \in Xa,b∈X,因为XXX多于一点,且设C=a×XC = a \times XC=a×X∵d:C→R\because d:C \to R∵d:C→R是连续的∵C\because C∵C同胚与X⇒CX \Rightarrow CX⇒C连通的∴d(C)⊂R\therefore d(C) \subset R∴d(C)⊂R连通且多于一点(实际上{0,d(a,b)}⊂d(C)\{0, d(a翻译 2020-10-14 11:55:47 · 467 阅读 · 0 评论 -
《拓扑学第二版》学习之第一章集合轮与逻辑之杂想与体会
α.\alpha.α. 设AAA是一个集合, 那么不存在单射f:P(A)→Af: \mathcal P(A) \to Af:P(A)→A,即不存在满射g:A→P(A)g: A \to \mathcal{P}(A)g:A→P(A).(定理7.87.87.8)感想:对于证明只要对于任意函数g:A→P(A)g: A \to \mathcal P(A)g:A→P(A)都不是满射即可,只需找到一个B∈P(A)∧B∉g(A)B \in \mathcal{P}(A) \wedge B \notin g(A)B∈P(A翻译 2020-09-12 12:37:00 · 333 阅读 · 0 评论 -
若A和B都是有限的,证明所有函数f:A->B的集合是一个有限集.
题:若AAA和BBB都是有限的,证明所有函数f:A→Bf:A \to Bf:A→B的集合是一个有限集.(摘自《拓扑学第二版》6.7)证:设S={f∣f:A→B}S = \{ f \mid f:A \to B \}S={f∣f:A→B}∵A=∅∨B=∅⇒S=∅\because A = \varnothing \vee B = \varnothing \Rightarrow S = \varnothing∵A=∅∨B=∅⇒S=∅∴A=∅∨B=∅\therefore A = \varnothing \v翻译 2020-09-09 11:46:51 · 515 阅读 · 0 评论 -
拓扑学:同一个空间的二个真子集的并的闭包等于闭包的并的问题
题:设A,BA, BA,B是空间XXX的子集,证明:A⋃B‾=A‾⋃B‾\overline{A \bigcup B} = \overline A \bigcup \overline BA⋃B=A⋃B证法1:先证A⋃B‾⊆A‾⋃B‾\overline{A \bigcup B} \subseteq \overline A \bigcup \overline BA⋃B⊆A⋃B∵A⊆A‾⋀B⊆B...翻译 2019-06-17 11:19:09 · 2268 阅读 · 0 评论 -
Hausdorff空间与有限点集是闭集与其他
前言:《拓扑学》第二版看到第三章紧致空间,提到了有限补拓扑的紧致性,起了疑惑,如果单点集都是闭集,是否是Hausdorff空间,书上只证明了必要条件,由此可想,其逆大概不成立,于是乎自己证明了,基于此,记录下来问题111: 拓扑空间XXX中,每个单点集都是闭集,则XXX不一定是HausdorffHausdorffHausdorff空间问题222: 基于问题111,若对于每个点存在一个独立的有限...原创 2019-08-16 11:48:26 · 3465 阅读 · 0 评论