可数集合实变函数.ppt

  1. 1、本文档共16页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
可数集合实变函数

函数与极限 实变函数论 临沂师范学院数学系 Real Analysis 数学科学与技术学院 曹丽霞 课题引入 第三节中,将有限集合“元素个数”的概念推广到无限集合,通过在集合间建立一一映射,引入了集合的基数的概念. 大家比较熟悉、比较重要的三数集--自然数集合N、有理数集Q和实数集合R都是无限集合.它们给我们直观的印象:自然数集合N “稀稀拉拉”排列在数轴上,有理数集Q“密密麻麻”排列在数轴上,实数集合R“密不透风”地构成实数直线,即数轴. 那么,它们的基数有什么不同么? 下面我们将在第四节和第五节,对这些常见的无限集合的基数和运算作较为详尽的讨论. 注:A可数当且仅当 A可以写成无穷序列的形式{a1, a2, a3, …} 1, 2, 3, 4, 5, 6,… 例如: 定义1 与自然数集N对等的集合称为可数集或可列集,其基数记为 a. 一. 可数集的定义 2) [0,1]上的有理数全体 §1.4 可数集合 a1, a2, a3, a4, a5, a6, … 假设这是一个无限集M 我们可以取出其中一个点a1 显然M\{a1}还是无限集 在M\{a1}中可以取出一点a2 显然M\{a1,a2}还是无限集 我们可以取出一个可数子集{a1,a2,a3,...} (即可数集是无限集中具有最小势的的集合) 二.可数集的性质 定理1 任何无限集合均含有可数子集 可数集的任何无限必有可数集,从而可数集合的任可子集或为有限集或为可数集 定理2 定理3 有限集与可数集的并仍为可数集, 可数集与可数集的并仍为可数集 推论 设 是有限集或可数集,则 也是有限集或可数集,但如果至少有一个时, 可数集。 必为 证明: 设 A={a1, a2, a3, a4, a5, a6, …}, B={b1, b2, b3, … ,bn} C= {c1, c2, c3, c4, c5, c6, …} (1)首先假设A,B,C两两不交,则 A∪B={ b1, b2, b3 , … , bn ,a1, a2, a3, …} A∪C={ c1, a1, c2, a2, c3, a3, …} 它们均为可数集。 (2) 一般情形. , 则 令 且 但B*作为B的子集仍为有限或可数集(定理2), 这样就归结到(1)的情形了.证毕. 当Ai互不相交时, 按箭头所示, 我们得到一个无穷序列; 当Ai有公共元时, 在排列的过程中除去公共元素; 因此, 是可数集. A1 A2 A3 A4 证明: 定理4 可数个可数集的并仍为可数集. [ ][ ][ ][ ][ ][ ] -2 -1 0 1 2 3 4 首先[0,1]中的有理数全体 ={0,1,1/2,1/3,2/3,1/4,3/4,1/5,2/5, …}是可数集, 例1: 全体有理数之集Q是可数集 所以Q是可数集(可数个可数集的并) 说明:有理数集在直线上稠密,但仍与稀疏分布在直线上的整数集有相同多的点(对等意义下). 定理6 有限个可数集的卡氏积是可数集 设A,B是可数集,则A×B也是可数集 从而A×B也是可数集(可数个可数集的并) 利用数学归纳法即得有限个乘积的情形 x固定,y在变 证明:平面上的圆由其圆心 (x,y) 和半径 r 唯一决定,从而 r (x, y) 例2 平面上坐标为有理数的点全体所成的集为一可数集;平面上以有理点为圆心,有理数为半径的圆全体A为可数集。 元素 例3 是由 个正整数所组成的, 其全体成一可数集. 整系数多项式 例4 的全体是一可数集. 事实上,先固定 ,由定理6,整系数的 ,由定理6,整系数的 的全体是一可数集,再用定理4即得。 次多项式 每个多项式只有有限个根,所以得下面的定理。 整系数多项式方程的实根称为代数数; 不是代数数的实数成为超越数。 设 P 是整系数多项式全体所成之集,P(n)是n次整系数多项式全体 例5 代数数全体是可数集 由代数基本定理知 任意整系数多项式 至多有有限个实根, 从而结论成立. 有关超越数的说明 1874年Cantor开始研究无限集的计数问题; 1873年C.埃尔米特证明了e是超越数; 1882年Lindemann证明了π是超越数; 1934年A.O.盖尔丰

文档评论(0)

173****7830 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档