博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
陶哲轩实分析 习题 13.5.6
阅读量:6893 次
发布时间:2019-06-27

本文共 1018 字,大约阅读时间需要 3 分钟。

设 $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$ 矛盾.

转载于:https://www.cnblogs.com/yeluqing/archive/2013/03/11/3827423.html

你可能感兴趣的文章
创新云计算商业模式新生态带来新活力
查看>>
数据为本,洞悉安全
查看>>
云时代,数据中心需要怎样的互联方案?
查看>>
《 FreeSWITCH权威指南》——1.5 媒体
查看>>
物联网平台的2016之战
查看>>
Web页面性能测试工具浅析
查看>>
Algeco Scotsman将召开2016年第三季度业绩电话会议
查看>>
新加坡IMDA计划进行Li-Fi测试
查看>>
《深入理解大数据:大数据处理与编程实践》一一1.3 MapReduce并行计算技术简介...
查看>>
LoadRunner关联的高级应用
查看>>
如何减少返工工作量?
查看>>
《敏捷可执行需求说明 Scrum提炼及实现技术》—— 2.1 界定不可更改的边界
查看>>
关注安防行业 聚焦公共安防系统
查看>>
Android代码(Handler的运用),HttpURLConnection的应用,将url图片地址转换成图片。...
查看>>
MySQL锁系列(七)之 锁算法详解
查看>>
webOS 更名 LuneOS,新版本名为 Affogato
查看>>
《UNIX环境高级编程(第3版)》——导读
查看>>
11_Eclipse中演示Git版本的创建,历史版本的修改,创建分支,合并历史版本和当前版本...
查看>>
《实施Cisco统一通信管理器(CIPT1)》一1.2 CUCM概述
查看>>
《容器技术系列》一1.1 引言
查看>>