File failed to load: https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/extensions/MathZoom.js

陶哲轩实分析 习题 13.5.6

设 $X$ 是不可数集,并设 $\tau$ 是 $X$ 中一切这样的子集合 $E$ 的族,$E$ 或是空集或是余有限的.证明 $\tau$ 是 $X$ 上的拓扑.
证明:首先,$\emptyset\in\tau$(题目已经指明),其次 $X\in\tau$(因为 $X\backslash X$ 是有限集).现在我们证明 $\forall A,B\in\tau$,$A\bigcap B\in\tau$,我们只用证明 $X\backslash (A\bigcup B)$ 是余有限的,即只用证明 $(X\backslash A)\bigcap (X\backslash B)$ 是余有限的,这是容易的.现在我们证明 $\tau$ 中的开集的任意并都属于 $\tau$,即证明这些开集的余集的任意交都是有限的,这是显然的.综上,$\tau$ 是 $X$ 上的拓扑.
  证明 $\tau$ 是 Hausdorff 拓扑.
证明:即证明 $X$ 中的任意两个不同的元素都可以被 $\tau$ 中的两个不相交开集覆盖.这个太简单了.
  $(X,\tau)$ 是紧致的.
证明:即证明 $X$ 的任意开覆盖都有有限子覆盖.一个开集覆盖 $X$ 中的部分元素,那么 $X$ 中剩下的元素只有有限个,这有限个元素可以被有限个开集覆盖(为什么?)因此 $X$ 的任意开覆盖都有有限子覆盖.  
$(X,\tau)$ 是连通的.
证明:假设 $(X,\tau)$ 不是连通的,则可以分解成两个互不相交的非空开集之并,这表明 $X$ 是有限集,矛盾.因此 $(X,\tau)$ 是连通的.
当 $x\in X$,且 $(V_n)_{n=1}^{\infty}$ 是任意的含点 $x$ 的开集的族时,$\bigcap_{n=1}^{\infty}V_n\neq\{x\}$.
证明:假若有 $\bigcap_{n=1}^{\infty}V_n=\{x\}$,则有 $X\backslash (\bigcap_{n=1}^{\infty}V_n)=\bigcup_{n=1}^{\infty}(X\backslash V_n)=\{x\}$.这与 $\forall i\in\mathbf{N}^+$,$x\in V_i$ 矛盾.
posted @   叶卢庆  阅读(532)  评论(1编辑  收藏  举报
编辑推荐:
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
阅读排行:
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 地球OL攻略 —— 某应届生求职总结
· 提示词工程——AI应用必不可少的技术
· Open-Sora 2.0 重磅开源!
· 周边上新:园子的第一款马克杯温暖上架
点击右上角即可分享
微信分享提示