§6.5 分离性公理与子空间，（有限）积空间和商空间
§6.5 分离性公理与子空间，（有限）积空间和商空间
本节重点:
掌握各分离性公理是否是连续映射所能保持的性质,是否是可遗传的,可积的.
本书正文中提到的所有的分离性公理有（即Hausdorff），
（即Tychonoff），
以及正则和正规等，它们都是经由开集或者经由通过开集定义的概念来陈述的，所以它们必然都会是拓扑不变性质．但是我们还是愿意完全形式地作一番验证，但只是以一种情形为例．其它的请读者自己去作．
定理6.5.1 设X和Y是两个同胚的拓扑空间．如果X是一个完全正则的空间，则Y也是一个完全正则的空间．
证明 设h：X→Y是一个同胚．对于Y中的任意一个点和任何一个不包含点x的闭集B，（x）和
（B）分别是X中的一个点和一个不包含点
（x）的闭集．由于X是一个完全正则空间，故存在一个连续映射f: X→[0,1]使得f(
(x))=0和对于任何y∈
（B）有f（y）＝l．于是连续映射g＝f
：Y→[0,1]，满足条件：g(x)＝0和对于任何z∈B有g(z)=1．
（即Hausdorff），
（即Tychonoff），以及正则都是可遗传的性质．我们也只是举一例证明之，其余的留给读者自己去作．习题第1题中的结论表明正规和
对于闭子空间是可遗传的性质．
定理6.5.2 正则空间的每一个子空间都是正则空间．
证明 设X是一个正则空间，Y是X的一个子空间，设y∈Y和B是Y的一个闭集使得y B．首先，在X中有一个闭集
使得
∩Y＝B．因此
．由于X是一个正则空间，所以y和
分别在X中有开邻域（对于拓扑空间X而言）
使得
．令
，它们分别是y和B在子空间Y中开邻域，此外易见
.
（即Hausdorff），
（即Tychonoff），以及正则都是有限可积性质，证明(略)
正规和不是有限可积性质．
至于本书正文中提到的所有分离性公理都不是可商性质这个结论，可以通过适当的反例来指出．
例6.5.1 由于实数空间R是一个度量空间，所以它满足本书正文中提到的所有分离性公理．在实数空间R中给出一个等价关系～使得对于任意x，y∈R，x～y的充分必要条件是或者x，y∈（-∞，0]；或者x，y∈（0，1）；或者x，y∈[1，∞）．将所得到的商空间记为Y．换言之，Y便是在实数空间中分别将集合A=(-∞，0］，B=（0，l）和C=［1，∞）各粘合为一个点所得到的拓扑空间．事实上Y＝{A，B，C}．容易验证Y的拓扑便是{，{A,B},{B},{B,C},{A,B,C}}．考察点A和点B可见，Y不是
空间，因此也不是
（即Hausdorff），
（即Tychonoff），以及
空间．此外，考察两个单点闭集{A}和{C}可见，Y既不是正则空间也不是正规空间．此外容易验证Y是一个
空间．
上述例子尚没有说明不是可商性质．事实上例3.3.1中所给出的实数空间R的那个商空间是包含着两个点的平庸空间，当然也就不是
空间了．然而例3.3.1并不能代替例6.5.1，因为平庸空间既是正则空间，也是正规空间．
§6.5 分离性公理与子空间，（有限）积空间和商空间相关推荐
- 《矩阵理论》大萌课程笔记 - 线性空间与子空间
<矩阵理论>大萌课程笔记 - 线性空间与子空间 总目录 章节名称与链接 线性空间与线性变换 线性空间与子空间 有限维线性空间.基.维数 线性变换 内积空间 特征值与特征向量 特殊矩阵 矩阵 ...
- 《矩阵理论》大萌课程笔记 - 特殊矩阵
<矩阵理论>大萌课程笔记 - 特殊矩阵 总目录 章节名称与链接 线性空间与线性变换 线性空间与子空间 有限维线性空间.基.维数 线性变换 内积空间 特征值与特征向量 特殊矩阵 矩阵分解 矩 ...
- matlab线性平面映射求通项_代数学发展史: 线性空间
刚刚工作的时候, 一个学生问我: 哪一个概念最能体现高等代数的本质? 我当时的回答是矩阵的特征值. 现在再回答这个问题的话, 答案就不一样了. 在由线性方程组发展出来的理论体系中, 有一个概念始终占据 ...
- 细数那些让人难以抗拒的经典数学书
如果有人不相信数学是简单的,那是因为他们没有意识到人生有多复杂. --冯·诺依曼 近期有关数学的好消息还是蛮多的,先有阿里巴巴举办全国数学竞赛,奖金百万,只为爱好数学的你.快来看看下面这些竞赛试题,我 ...
- 图灵高等数学书单（附阅读路线图）
题图 | by DarkmoonArt_de from Pixabay 图灵高等数学书单一共分为 8 类 19 本独立图书 + 三大套系图书(这个书单会不断加入优秀之作),其中大部分由世界级数学大师 ...
- 压缩感知高斯测量矩阵matlab,浅谈压缩感知（十七）：测量矩阵之有限等距常数RIC的计算...
有限等距常数(RestrictedIsometry Constant, RIC)是与有限等距性质(Restricted IsometryProperty, RIP)紧密结合在一起的一个参数. 一.RI ...
- 线性代数(七) : 子空间的基与维数
线性空间中基的概念很重要,比如一个子空间中的任意一个向量都可用一组基唯一的表示.有些问题可以通过寻找一组合适的基而大大化简: 1空间的基 直接给出定义: 如果线性空间X中的有限个向量张成X并且本身线性 ...
- 线性代数笔记（1）：向量空间与子空间
一.向量空间的定义: A vector space V over a field F consists of a set on which two operations (called additio ...
- 多元函数第二：线性空间（2）子空间与生成空间
线性空间(1)为线性空间给出了公理化的定义,关于线性空间的所有性质,都是由这个公理化的定义推导而得的.本文首先介绍线性空间的几个基本性质,并根据这些性质引出子空间和生成空间的概念. 引理1. 对线性空 ...
- 深度粗排模型的GMV优化实践：基于全空间-子空间联合建模的蒸馏校准模型
随着业务的不断发展,粗排模型在整个系统链路中变得越来越重要,能够显著提升线上效果.本文是对粗排模型优化的阶段性总结. 背景 在搜索.推荐.广告等大规模信息检索场景中,通常会将检索分为召回.粗排.精排三 ...
最新文章
- Redis实际应用：限流
- 利用python opencv实现图像自适应二值化
- 大前端开发者需要了解的基础编译原理和语言知识
- WPF之DataGrid篇：DataGridComboBoxColumn
- unity hub添加找不到文件夹_教师资格证报名网站，IE浏览器“兼容性站点”添加方法。找不到按钮怎么办？...
- 安川最小巧机器人_2020工博会，安川展品前瞻（机器人篇）
- 【免费】某机构最新3980元机器学习/大数据课程高速下载，限量200份
- Linux命令（20）linux服务器之间复制文件和目录
- 30款油漆纹理Photoshop笔刷
- ASP.NET前端解决方案之一：Ext.Net入门随笔1
- java开发职业规划（一）
- 双线性插值公式推导及Matlab实现
- word文档保护密码忘 了，怎么取消格式和编辑保护
- 源码阅读的意义：技术功底、hold住全场、设计能力、职场竞争
- 2016年农民工监测调查报告（zz）
- 蝴蝶效应，混沌理论与股市
- 跟我20天学Java：01-计算机基础以及JDK、IDEA等安装详解
- 蜜蜂采蜜最短路径c语言算法,S018 蜜蜂采蜜太辛苦了，编程实现还是很容易的
- 西班牙首相被中国新零售圈粉！天猫总裁靖捷透露了一个“合伙人计划”
- Unity中的屏幕坐标：ComputeScreenPos/VPOS/WPOS