实变函数论第三版课件.ppt

上传人:sh****n 文档编号:15603811 上传时间:2020-08-23 格式:PPT 页数:94 大小:1.15MB
收藏 版权申诉 举报 下载
实变函数论第三版课件.ppt_第1页
第1页 / 共94页
实变函数论第三版课件.ppt_第2页
第2页 / 共94页
实变函数论第三版课件.ppt_第3页
第3页 / 共94页
资源描述:

《实变函数论第三版课件.ppt》由会员分享,可在线阅读,更多相关《实变函数论第三版课件.ppt(94页珍藏版)》请在装配图网上搜索。

1、实变函数论与泛函分析,曹 广 福,第1讲 集合及其运算,目的:了解集合的表示法;掌握集合的基本运算;熟悉一些常用集合的符号;准确理解集合序列的上、下限集。重点与难点:集合序列的上、下限集。 基本内容:一背景1Cantor的朴素集合论2悖论3基于公理化的集合论,第1讲 集合及其运算,二集合的定义具有某种特定性质的对象的全体1集合的几种表示法我们在诸如数学分析等前期课程中已接触过集合这个概念,所谓集合,指的是具有某种特定性质的对象的全体,通常用大写英文字母A,B,X,Y等表示;集合中的每个对象称为该集合的元素。一般说来,我们总用小写字母a,b,x,y表示集合中的元素。,集合及其运算,对于集合A,某

2、一对象x如果是A的元素,则称x属于A,记作 ;如果x不是A的元素,则称x不属于A,记 正如定义所说,集合是由具有某种特定性质的对象全体组成的,因此,在表示一个集合时,常把这一性质写出来,例如,A是由具有性质P的元素全体组成时,通常记为: , 其中P可以是一段文字,也可以是某个数学式子。,集合及其运算,2几个特殊的集合及其表示: 除了上述方法之外,有时也用特殊记号表示某些特殊的集合。比如,在大多数场合下,R始终表示实数全体(或直线)C始终表示复数全体(或复平面),N、Z、Q分别表示自然数、整数、有理数全体,以后如无特别声明,我们也都不加解释地使用这些符号。此外,直线上的区间也采用诸如a,b,(a

3、,b)等记号,如果一个集合仅由有限个元素组成,则最方便的办法是将其一一列出,例如,1到10的自然数全体可记作1,2,3,10,不含任何元素的集合称为空集,记作 。,集合及其运算,三集合的运算1.集合的子集 假设A,B是两个集合,如果A中的元素都是B中的元素,则称A是B的子集,记作 前者读作“A包含于B中”,后者读着“B包含A”。显然,空集 是任何集合的子集,任何集合是其自身的子集。假如要证明A是B的子集,最常用的办法是,任取 。 如果A是B的子集,且存在 ,则称A是B的真子集,记作 。 如果A是B的子集,B又是A的子集,则称A与B相等,记作A=B。,集合及其运算,2交运算 所有既属于A,又属于

4、B的元素组成的集合称为A与B的交集(或通集),记作 ,若 ,则称A与B互不相交,显然 B当且仅当 且 。 对于一簇集合 ,可类似定义其交集, 即,集合及其运算,3.并运算 假设A,B是两个集合,所谓A与B的并集(或和集),指的是由A与B中所有元素构成的集合,记作 ,换句话说 , 对于一簇集合 ,可类似定义其并集,即,例,注:在本书中我们未把0包含在N内,+不在中,例,例,集合及其运算,4差(余)运算 由所有属于A但不属于B的元素组成的集合,称为A减B的差集,记作A-B(AB),也就是说, ,但 。,集合及其运算,应该注意的是,此处并未要求B是A的子集。假如B是A的子集,则称A-B为B关于A的余

5、集,记作CAB。需要指出的是,我们讲某个集合的余集时,要弄清相对于哪个集合的余集,特别是涉及到多个集合时,尤其应注意。有时,我们总是限定在某个固定集合A内讨论一些子集,在这种情况下,可以省略A,而将CAB记作CB(或BC)。 集合 称为A与B的对称差,记作 。,第1讲 集合及其运算,四.集合的运算 问题1:回忆数的四则运算,由此猜测集合的运算应该具有什么性质。,集合及其运算,定理1 (1) (2) (3) (4) (5) (6),集合及其运算,(7) (8) (9) (10) (11) (12) 。,集合及其运算,上述基本性质都是常用的,其中(9),(10)两式通常称为德摩根(De Morga

6、n )法则,它们的证明也是容易的。现在以(10)式为例进行证明。,集合及其运算,集合及其运算,五集合序列的上、下(极)限集,上极限集,例:设A2n=0,1 A2n+1=1,2; 则上极限集为0,2,下极限集,例:设A2n=0,1 A2n+1=1,2; 则上极限集为0,2, 下极限集为1,上极限集,如果集列 的上极限集与下极限集相等,即,极限集,则称集列 收敛,称其共同的极限为集列 的极限集,记为:,单调增集列极限,定理 9 :单调集列是收敛的,单调增集列极限分析,当An为单调增加集列时,单调减集列极限分析,当An为单调减小集列时,例,例,例,例,第1讲 集合及其运算,一域与-域 有理数全体(或

7、实数全体)相对于四则运算是封闭的,人们通常称它们为有理数域(或实数域),整数集则不然。 前面已经定义了集合的“并”、“交”、“差”运算,那么什么样的集簇相对于集合的运算是封闭的呢?,第1讲 集合及其运算,这就是下面要引进的定义。 定义2 假设S是一个给定的集合,F是以S的一些子集为元素的一个集合,称为S的子集簇,如果它满足 (1) ; (2)当 时, ; (3)当 。 则说F是S的一些子集构成的一个域(或代数)。 如果还有 是F中一列元素时,有 则称F为S的一些子集构成的一个 域(或 代数)。,第1讲 集合及其运算,不难发现,如果(1)、(2)、(3)成立,则必有 ,且对任意 。 如果(3)成

8、立,则对任意 有 。 域的最简单例子是S的一切子集构成的簇,这是S的子集簇中最大者;另一个例子是由空集和S本身构成的簇,这是S的子集所构成的域中最小者。,第1讲 集合及其运算,问题5:对于一个给定集合的子集簇F,它关于集合的运算可能不是封闭的。 1. 如何构造一个-域包含F? 2. 这样的-域有多少? 3. 存不存在满足上述条件的最小的-域? 4. 如何构造?,第1讲 集合及其运算,我们所要的 域G(F)必须满足这样两个条件 (i) (ii)任何包含F的 域都包含G(F),换句话说,G(F)是包含F的 域中最小者。 满足(i)的 域不难找,S的一切子集构成的 域便是一个,问题在于如何找最小的一

9、个,为此,不妨把包含F的所有 域相交,记这个集合为 ,则显然有 ,而且任何包含F的 域当然也包含了 ,如果我们证明了 是一个 域,则它就是包含F的最小 域。,第1讲 集合及其运算,下面的定理说明, 不仅是含F的最小 域,而且是满足(i)、(ii)的唯一 域 定理3 假设F是S的子集簇,则 是满足(i)、(ii)的唯一的 域。,第2讲 势的定义,目的:掌握势的定义,熟悉势的性质, 了解势的比较。 重点与难点:势的定义及比较。,第2讲 势的定义,7苹果 1,2,3,4,5,6,7 7桔子,一势的定义 问题1:回忆有限集是如何计数的? 问题2:有限集的计数方法如何移植到无限 集情形?,第2讲 势的定

10、义,第2讲 势的定义,定义1 假设是两个集合,如果在A与B之间存在一种一一对应关系 ,即对A中任一元素,通过 与B中唯一元素对应,反之,对B中任一元素,A中也有唯一元素通过 与之对应,则称集合A与集合B是对等的或它们有相同的势或基数,记作 ,或 ,满足上述条件的 称为A和B之间的一个1-1对应。,第2讲 势的定义,显然,任何集合A与它自身是对等的, 即 ; 若 ,则也有 ,若 , ,则 。,例1 作对应关系 则 是 与 之间的一一对应。,从例1看出,虽然 是 的真子集,甚至直觉上 比 的元素少很多,但他们却是对等的,这在有限集情形是做不到的,后面将会看到,一个集合可以与其真子集对等是无穷集的一

11、个特征。,第2讲 势的定义,第2讲 势的定义,例2 N与R1不对等,即 。 若不然,存在 与 的一个一一对应 , 将与N中n对应的元素 记为 ,则 上至少有一个单位长度的区间不含 , 不妨设此间 分为三等 分,则 中至少不含,以 表示这个区间,将 三等分,其左、右两个区间中至少有一个区间不含 ,记为 ,依此类推,可得一串闭区间 ,满足:(1) ,且 的长度趋 于0 (2) 。,第2讲 势的定义,第2讲 势的定义,由闭区间套定理知 ,但对任意,,换言之,,不在R1中,,这是不可能的。这一矛盾说明, N与R1 不可能对等。,例2 说明,两个无限集的确可能有不 同的势,既然势可以不同,如何对其进行

12、比较呢?下面的定义给出了比较的方法。 势的比较 问题3:如何判断两个有限集含相同数量的 元素? 问题4:从有限集所含元素个数的比较, 启发我们如何比较无限集的势?,第2讲 势的定义,第2讲 势的定义,定义2 假设A、B是两个集合,若A与B 的某个真子集B*对等,但不与B对等,则说 A的势小于B的势,记作 ,或说B的势 大于A的势,记作 。,第2讲 势的定义,问题5:从通常自然数大小的比较,对无限 集的势我们自然会猜测什么?,第2讲 势的定义,从直觉上判断,上述定义是自然和合理的,但有没有可能发生这样的情况呢,即A与B不对等,但A可以与B的真子集对等,B也可以与A的真子集对等?如果是这样的话,将

13、会出现既有 ,又有 ,这显然是不合理的。伯恩斯坦(Bernstein)定理指出这种情况不会发生。,第2讲 势的定义,*定理1(Bernstein) 假设A,B是两个集合,如果A与B的某个子集对等,B又与A的某个子集对等,则 。 证明:略,第2讲 势的定义,由Bernstein定理不难证明: 若 ,且 ,则 。 从合理性方面讲,任何两个集合A和B 的势都应该是可以比较大小的,即下面三种 情况必有且仅有一种情况出现:,(i) ; (ii) ; (iii) 。,第2讲 势的定义,遗憾的是,至今尚无法证明或否认这是真的。Zermelo给集合论加上了一条公理,即Zermelo选择公理,依据这条公理便可证

14、明(i)、(ii)、(iii)有且仅且一种情形发生。,第2讲 势的定义,选择公理(Zermelo)设 是一簇两两不相交的非空集,则存在集合L满足下列条件: (1) ; (2)L与F中每一个集合有且只有一个公共元素。,三Zorn引理,第2讲 势的定义,直观地看,可以从F的每个集合中各自仅取出一个元素来构造一个新的集合L,这条公理与后面要介绍曹恩(Zorn)引理是等价的。换句话说,可以由选择公理出发证明Zorn引理,也可以由Zorn引理出发证明选择公理。 首先让我们对一般的集合引进所谓的序关系:,第2讲 势的定义,定义3 设S是一非空集合,如果在S的部分 元素之间引进了某种序关系 ,满足 (i)

15、; (ii)若 ; (iii)若 。 则称 是一个偏序集。 如果对任意 必有一个 成立,则称 为一个全序集。,定义4 设 是一个偏序集, ,若对一切 ,都有 ,则称 是 的一个上界。如果 ,使得 中不存在 ,使 ,则称 是 的一个极大元。,第2讲 势的定义,第2讲 势的定义,Zorn引理 如果偏序集 中的任何全序子集在S中都有上界,则S中一定存在极大元。,目的:熟悉常见的两类集合的势,掌握其 基本性质。 重点与难点:可数集合的性质,连续势的 性质。,第3讲 势的定义 -可数集合与连续势,第3讲 势的定义 -可数集合与连续势,一可数集合 定义 凡是与自然数对等的集称为可数集或可列集,凡与R1对等

16、的集称为具有连续势。 可数集性质: 定理2 任何无穷集都包含一个可数子集。,证明:假设 是一个无穷集,任取 ,因 无穷,故 亦无穷,因此又可以从 中任取一个元素 ,显然 ,假如已从 中取出 个元素 ,则由 是无穷集知 仍是无穷集,从而可从中取出一个元素 ,由归纳法知可从 中取出互不相同得元素,第3讲 势的定义 -可数集合与连续势,排成一无穷序列: ,显然 是 的可数子列。证毕。,第3讲 势的定义 -可数集合与连续势,定理3 可数集合的无穷子集仍是可数的。 证明:假设 是可数集, 是 的无穷子集,由定理2, 含可数子集 ,于是 ,但 ,故 ,从而 也是可数的。证毕。,第3讲 势的定义 -可数集合

17、与连续势,定理4 设 是可数集, 是有限集或可数 集,则 可数。 证明:由于 有限或可数,故 有限或可数,所以 可以写成 ,或 ,又因 可数,从而 可以写成 ,将 按如下方法排列:当 时,将 排成,第3讲 势的定义 -可数集合与连续势,当 将 排成 无论哪种情形, 显然都是可数的。 证毕。,第3讲 势的定义 -可数集合与连续势,定理5 有限个或可数个有限集或可数集的 并仍是有限集或可数集。 证明:不妨假设 是一列有限或可数集(有限个集合情形证明相仿)。将 中元素排列成 ,(如果 是有限集,则排列成 )。于是 表示 中的,第3讲 势的定义 -可数集合与连续势,第 个元素,记 ,则对任意自然数 ,

18、满足 的数组 必为有限个,首先按 从小到大的顺序进行编号,即将 编为 对每个 ,将 重新写成,第3讲 势的定义 -可数集合与连续势,即按第一个下标 从小到大的顺序排列,应该注意的是 中可能含一些重复的元素,暂且将重复元素留着,最后将 排成 在上述序列中,去掉重复元素,则剩下的是有限集或可数集。证毕。,第3讲 势的定义 -可数集合与连续势,第3讲 势的定义 -可数集合与连续势,如果说 表示正整数, 表示一个有限集与可数集之并的势, 表示 个可数集之并的势, 表示可数个可数集之并的势,则定理5蕴含了下列各式: (1) (2) (3) (4),定理6 。 证明:记 ,显然 是可数集,故 可数;同理每

19、个 也可数,从而 可数,于是,第3讲 势的定义 -可数集合与连续势,是可数的,即 。证毕。 定理6告诉我们,尽管有理数全体在数 轴上处处稠密,然而,它和自然数集却是对等的,这与我们的直觉是多么不同!,第3讲 势的定义 -可数集合与连续势,第3讲 势的定义 -可数集合与连续势,问题1:可数集合的性质与有限集合的性 质有何异同?其本质差别是什么?,前面已经看到,可数集是无穷集中势最小者,下面的命题指出,任一无穷集并上一个可数集不影响它的势。,第3讲 势的定义 -可数集合与连续势,命题1 假设 A 是无穷集,B是可数集 或有限集,则 。 证明:由 可数或有限知 也可数或有限,且 ,故不妨假设 与 不

20、相交。由定理2知 含可数子集,不妨记为 ,则 仍可数,于是 与,第3讲 势的定义 -可数集合与连续势,对等,又 与自身对等,不妨设 是 与 的1-1对应, 是 到自身的恒等映射,则令 ,易知 是,第3讲 势的定义 -可数集合与连续势,的1-1对应,从而 。证毕。 二无限集的特征 问题2: 有限集与无限集的本质差别是否也 体现在一般的无限集?这种差别是 否正是无限集的特征?,第3讲 势的定义 -可数集合与连续势,命题2 是无穷集当且仅当它可以与其 真子集对等。 证明:先证必要性,若 可数,则结论显然,故不妨设 不是可数集,由定理2, 含可数子集 ,由于 非可数,所以 仍是无穷集,由命题1立知,第

21、3讲 势的定义 -可数集合与连续势,即 与其真子集 对等。 为证充分性,我们要证,若 与其真子集对等, 必是无穷集。假若不然, 是有限集,不妨设为 , 与其真子集对等,记与 对等的真子集为 , 是 与 之间的1-1对应。则 ,注意,第3讲 势的定义 -可数集合与连续势,且因 是一一的,故对不同的 , 。故 是 中 个不同的 元素,于是 。然而 。这说 明 。这个矛盾意味着 必是 无穷集。证毕。,第3讲 势的定义 -可数集合与连续势,在例2中,我们已经看到 与 是不对等的,因此 是一个不可数集合,我们也知道 是最小的无穷集,所以 。有一个很有意思的问题,存不存在这样的集合 ,其势位于 与 之间?

22、即 。Cantor首先考虑了这个问题,但他未能解决。他猜测,没有这个中,第3讲 势的定义 -可数集合与连续势,间势,这就是著名的连续统假设,严格说 来,至今没有人能证明是否存在这种势,但大家普遍承认Cantor的猜测,并将此作为集合论的一条公理。人们已经证明,这条公理与集合论的其它公理是相互独立的,换言之,无论是承认还是否认这条公理,都不会与其它公理发生冲突。,第3讲 势的定义 -可数集合与连续势,三具有连续势的集合 例3 只要ab则 。 令 则 是(a,b)到 的一个1-1对应,故 。 显然当 的势均为C。同样 的势也为C。,第3讲 势的定义 -可数集合与连续势,第3讲 势的定义 -可数集合

23、与连续势,定理7 如果 都是势小于或等 于 的集合,且其中至少有一个的 势是 ,则 的势是 。 证明:略,定理7实际是说,可数个势不超过 的集合之并,其势也不超过 ,用公式表示就是: 。,第3讲 势的定义 -可数集合与连续势,以上看到的都是直线上的点集,平面内点集的势又有多大呢?,第3讲 势的定义 -可数集合与连续势,第3讲 势的定义 -可数集合与连续势,定理8 。此处 指可数个 的笛卡尔积。,第4讲 连续势的集合、P进位表数法,目的:掌握连续势及其基本性质,了解连 续统假设;熟悉P进位表数法。 重点与难点:连续势的性质。,一. 连续势的例 问题1:有限集或可数集的一切子集构 成的集具有大于该集的势,由 此我们可以作出何种猜测?,第4讲 连续势的集合、P进位表数法,问题2:给定一个集合,如何构造 一个集合,使其具有比给 定集合更大的势?,第4讲 连续势的集合、P进位表数法,定理9(i)假设M是由两个元素 作成 的元素序列全体,则 。 (ii)若 是可数集,则 的子集全体所 构成的集合F有连续势。,第4讲 连续势的集合、P进位表数法,证明:略,第4讲 连续势的集合、P进位表数法,定理10 设 是一集合, 的一切子集 所构成的集合记作 ,则 。,第4讲 连续势的集合、P进位表数法,二不存在最大势,定理10 说明不存在最大势。,第4讲 连续势的集合、P进位表数法,三P进位表数法 略,

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

copyright@ 2023-2025  zhuangpeitu.com 装配图网版权所有   联系电话:18123376007

备案号:ICP2024067431-1 川公网安备51140202000466号


本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知装配图网,我们立即给予删除!