第一与第二可数性公理_第1页
第一与第二可数性公理_第2页
第一与第二可数性公理_第3页
第一与第二可数性公理_第4页
第一与第二可数性公理_第5页
已阅读5页,还剩3页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、定义 5.1.1 定义 5.1.2 定理 5.1.5 作业 第 5 章 有关可数性的公理 5.1 第一与第二可数性公理 本节重点: 掌握满足第一与第二可数性公理的空间的定义及相互间的关系; 掌握满足第一与第二可数性公理的空间有关连续映射的不变性、 有限可积性、 可遗传性 等问题; 掌握满足第一可数性公理的空间中在一点邻近的性质及序列的性质; 掌握常见的空间哪些空间是第一可数性公理空间, 哪些是第二可数性公理空间 从 2.6 节的讨论可知, 基和邻域基对于确定拓扑空间的拓扑和验证映射的连续性都有 着重要的意义, 它们的元素的“个数”越少, 讨论起来越是方便 因此我们试图对拓扑空间 的基或邻域基的

2、元素“个数”加以限制, 但又希望加了限制的拓扑空间仍能包容绝大多数常 见的拓扑空间,如:欧氏空间、度量空间等以下的讨论表明,将基或邻域基的元素的“个 数”限定为可数是恰当的 某拓扑空间的一个基或在某一点处的一个邻域基, 如果是一个可数族, 我们则分别称之 为一个可数基和一个可数邻域基 定义 5.1.1 一个拓扑空间如果有一个可数基, 则称这个拓扑空间是一个满足第二可数 性公理的空间,或简称为 空间 定理 5.1.1 实数空间 R 满足第二可数性公理 B是一个可数族 证明 令 B 为所有以有理数为它的两个端点的开区间构成的族显然 设 U是R中的一个开集, 对于每一个 xU,存在实数0,使得以 x

3、 为中心以 为半 径的球形邻域 B(x, ) =(x- ,x+ )U 于是我们有 这也就是说 U可以表示为 B 中某些成 员之并这证明了 B是 R 的一个基 R有可数基 B,所以 R 满足第二可数性公理 由于离散空间中的每一个单点子集都是开集, 而一个单点集不能表为异于自身的非空集 合的并, 因此离散空间的每一个基必定包含着它的所有单点子集 所以包含着不可数多个点 的离散空间是不满足第二可数性公理的空间 定义 5.1.2 一个拓扑空间如果在它的每一点处有一个可数邻域基, 则称这个拓扑空间 是一个满足第一可数性公理的空间或简称为 空间 定理 5.1.2 每一个度量空间都满足第一可数性公理 证明

4、设 X是一个度量空间, xX则所有以 x 为中心以有理数为半径的球形邻域构成 x 处的一个可数邻域基 例 5.1.1 不满足第一可数性公理的空间的例子 设 X 是包含着不可数多个点的可数补空间 我们证明 X 在它的任一点处都没有可数邻域 基因此 X 不满足第一可数性公理 用反证法来证明这一点 设 X 在点 xX处有一个可数邻域基 则对于任何 yX,y x, ,因此 , 将这个包含关系式的两边分别 对于 X中所有的异于 x 的点求并,可见 由于 X 是一个不可数集, 因此上式的左边是一个不可数集; 由于 中只有可数个元素, 并且每一个元素的补集都是可数集,因此上式的右边是一个可数集矛盾 定理 5

5、.1.3 每一个满足第二可数性公理的空间都满足第一可数性公理 证明 设 X 是一个满足第二可数性公理的空间, B是它的一个可数基 对于每一个 xX, 根据定理 2.6.7 , =B B|x B 是点 x处的一个邻域基, 它是 B的一个子族所以是可数族 于是 X在点 x 处有可数邻域 基 B 定理 5.1.3 的逆命题不成立 因为任何一个离散空间显然满足第一可数性公理, 而前面 已经说过包含着不可数多个点的离散空间不满足第二可数性公理 定理 5.1.4 设 X和Y是两个拓扑空间, f:X Y是一个满的连续开映射 如果 X满 足第二可数性公理(满足第一可数性公理),则Y也满足第二可数性公理(满足第

6、一可 数性公理) ( 这是关于连续映射下是否保持的性质 ) 证明 设 X 满足第二可数性公理,是它的一个可数基由于 f 是一个开映射, =f(B)|B 是由 Y中开集构成的一个可数族只需证明 是 Y的一个基设 U是 Y 中 的一个开集,则 (U)是 X中的一个开集因此存在 由于 f 是一个满射,我们有 即 U是 中某些元素的并这完成 是 Y 的一个基的证明 本定理关于满足第一可数性公理的情形证明类似,请读者自己补证 根据定理 5.1.4 可见,拓扑空间满足第一可数性公理和满足第二可数性公理的性质都是 拓扑不变性质 拓扑空间的某种性质称为可遗传性质, 如果一个拓扑空间具有这个性质那么它的任何一

7、个子空间也都具有这个性质 例如离散性,平庸性都是可遗传的性质,但连通性却明显是不可遗传的 拓扑空间的某种性质称为对于开子空间 (或闭子空间) 可遗传的性质, 如果一个拓扑空 间具有这个性质那么它的任何一个开子空间(闭于空间)也都具有这个性质 例如,局部连通性虽然不是可遗传的性质, 但对于开子空间却是可遗传的 (参见 4.4 习题第 3 题)将来我们会接触到一些对闭子空间可遗传的性质 紧接着的两个定理表明拓扑空间满足第 或第二) 可数性公理的性质是可遗传的, 也 是有限可积的 定理 5.1.5 满足第二可数性公理(满足第一可数性公理)的空间的任何一个子空 间是满足第二可数性公理(满足第一可数性公

8、理)的空间 证明 设 X 是一个满足第二可数性公理的空间, B是它的一个可数基如果 Y是 X的一 个子集,根据定理 3.1.7 ,集族=BY|B B 是子空间 Y的一个基,它明显是可数族 的空间则积空间 本定理关于满足第一可数性公理的情形证明类似,请读者自己补证 定理 5.1.6 设 是 n 个满足第二可数性公理(满足第一可数性公理) 满足第二可数性公理(满足第一可数性公理) 分别是它们的可数基根据定理 证明 我们只要证明 n2 的情形 设 都是满足第二可数性公理的空间, 324,集族 是积空间 的一个基,它明显是一个可数族 本定理当 n2 时关于满足第一可数性公理的情形证明类似,请读者自己补

9、证 根据定理 5.1.l ,定理 5.1.5 和定理 5.1.6 ,我们立即可知:(事实上,这个推论也容 易直接证明(参见习题 1) 推论 5.1.7 n 维欧氏空间 的每一个子空间都满足第二可数性公理 本节的余下部分我们讨论满足第一可数性公理的空间中序列的性质 读者将会看到在这 种拓扑空间中序列的性质与我们在数学分析中见到过的有着较多的类似之处,特别是定理 2.7.2 和定理 2.7.3 的逆命题对于这类拓扑空间成立 定理 5.1.8 设 X 是一个拓扑空间如果在 xX处有一个可数邻域基,则在点 x 处有一个可数邻域基 使得对于任何 i 有 ,即 证明 设 是点 xX处的一个可数邻域基对于每

10、一个i ,令 容易直接验证 便是 点 x 处的满足定理要求的一个可数邻域基 ( 即是个邻域基套 , 一个套一个的这个定理常用来选取趋向于 x 的序列中的 点) 定理 5.1.9 设 X 是一个满足第一可数性公理的空间, A X则点 xX是集合 A 的一个凝聚点的充分必要条件是在集合Ax 中有一个序列收敛于 x lim =x(x ) 如下: 证明 定理的充分性部分的证明已见于第二章定理 2.7.2 ,以下完成必要性部分的证 明 设 x X 是集合 A的一个凝聚点,并且根据定理 5.1.8 可设 是点 x 处的一个可 数邻域基套,满足条件:对于每一个, i , , 由于 ,可 选取 序列 是在 A

11、一x 中的我们证明 如果 U是 x 的一个邻域,则由于 是 x 处的一个邻域基套,所以存在 N O使得 于是当 i N时,我们有 定理 5.1.10 设 X和 Y是两个拓扑空间,其中 X 满足第一可数性公理; xX则 映射 f:X Y在点 xX处连续的充分必要条件是:如果X中的序列 收敛于 x,则 Y 中的序列 f( ) 收敛于 f(x) 证明 定理的必要性部分的证明已见于定理 2.7.3 ,以下完成充分性部分的证明 假设定理中陈述的条件成立,我们要证明映射 f:X Y在点 x 处连续用反证法假设 映射 f 在点 x 处不连续,这也就是说 f(x) 有一个邻域 V, 使得( V)不是 x 的邻域而这 又意味着, x 的任何一个邻域 U都不能包含在(V)中,即对于 x 的任何一个邻域 U,包 含关系 不成立,也就是说 总括上一段的论证可见: f ( x)有一个邻域 V 使得对于 x 的任何一个邻域 U有 现在设 是点 x 处的一个可数邻域基,满足条件:对于每一个 i , 选取 使得 f( ) f(U) ,即 明显地,序列 收敛于 x然而序列 f( ) 在 f(x)的邻域 V 中却没有任何一个点, 所以不收敛于 f(x)这 与反证假设矛盾因此反证假设不成立,

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论