几类常见的不可数集合证明精选.docVIP

几类常见的不可数集合证明 摘要：文中首先介绍实变函数论的背景、由来和在数学领域中的作用,并由实变函数引出其最为基础的可数集合和不可数集合.最后给出本文的主要内容---几种常见的不可数集合及其证明方法.本文多次利用反证法证明一个集合是否为不可数集合,并对几种常见的不可数集合证明方法作一个总结归纳. 关键词：可数集 不可数集合 无理数集 实数集合 康托尔集 在大学,我有幸接触到了《实变函数论》.对于这门课程,初次接触就被它的高深和精细所吸引.“实变函数”是以实数作为自变量的函数,它和古典的数学分析是不同的,它不仅是一种比较高深和精细的理论,还是数学的一个重要分支，而且它的应用非常广泛. 在《实变函数论》中,可数集与不可数集合是最为基本的知识.之所以选择它们来进行研究,主要考虑到以下几个方面： 首先,不可数集合虽然是实变函数课程中最为基本的内容,但也是最繁琐的内容.本文旨在对几种常见的不可数集合证明方法作出总结和归纳,以达到化繁为简的目的. 其次,不可数集合已经成为某些数学的工具而且它各个数学对形成近代数学的一般拓扑学和泛涵分析两个重要分支有着极为重要的影响 1 可数集和不可数集的定义和性质 可数集和不可数集的定义 定义1.1 凡和全体正整数所成之集合N对等的集合都称为可数集合或者可列集合. 由于N可按大小顺序排列成一无穷序列： 1,2,3,…,…, 因此,一个集合是可数集合的充要条件为: 可以排成一个无穷序列： ,,,…,,…. 例如全体正偶数的集合是一个可数集全体正奇数的集合也是可数集它们与自然数集可以建立如下的一一对应 1,2,3,4,5,6,…,,…, 正偶数 24,6,8,10,12,…,2,…, 正奇数 13,5,7,9,11,…,2－1 这说明一个可数集可以含有可数的真子集反过来两个可数集也可成一个可数集整数集与有理数集都是可数集.2 不是可数集合的无限集合我们称为不可数集合. 不可数集是无穷集合中的一种一个无穷集合和整数集合之间要是不存在一个双射（不存在一一对应关系法则）那么它就是一个不可数集譬如无理数集就是不可数集1) 任何无限集合都至少包含一个可数子集. (2) 可数集合的任何无限子集必为可数集合,从而可数集合的任何子集或者是有限集或者是可数集. (3) 设为可数集,为有限或可数集,则为可数集. (4) 设都是可数集,则也是可数集. (5) 设是有限集或可数集,则也是有限集或可数集,但如果至少有一个是可数集,则必为可数集. (6) 有理数全体成一可数集合. (7) 若中每个元素可由个互相独立的记号一对一地加以决定,各记号跑遍一个可数集= 则为可数集. (8) 代数数的全体成一可数集. 不可数集的性质： (1) 全体实数所成之集合是一个不可数集合. (2) 任意区间均具有连续基数.（这里）. (3) 设是一列互不相交的集合它们的基数均为则它们的和集基数也为实数列全体E∞的基数为维欧几里得空间的基数为是任意的一个集合,它的所有子集作成新的集合则. (7) 若用表示全体实数所成集合的基数,用表示全体正整数所成集合的基数,则. (8) 设有个（表示连续基数）集的并集,若每个集的基数都是,则其和集的基数也是. 2 全体实数所成之集合是一个不可数集合 实数包括有理数和无理数其中无理数就是无限不循环小数有理数就包括整数和分数通俗地认为包含所有有理数和无理数的集合就是实数集18世纪微积分学在实数的基础上发展起来但当时的实数集并没有精确的定义直到1871年德国数学家康托尔第一次提出了实数的严格定义定义是由四组公理为基础的：加法公理乘法公理序公理完备公理符合以上四组公理的任何一个集合都叫做实数集实数集的元素实数是一个不可数集合. 证法一 用反证法因为实数集合与是有一一对应的故只需说明不可数就可以了因为：→是双射函数令{|∈ (01)} ,若能证是不可数集则也必为不可数集假设是可数的则必可表示为＝{,…},其中区间的任意实数. 设＝其中,设 , , , …………………… 其次,我们构造一个实数=使 . 这样与所有实数不同这证明了产生矛盾因此是不可数的即是不可数集具有如下性质: (1) (2) 则称这闭区间列为一个闭区间套,或简称区间套. 定理2.2 若是一区间套,则存在唯一的使得,， ,即. 下面我们利用闭区间套定义和定理来证明实数集合是不可数集合. 证法二 用闭区间套定理证明. 假设是可数集,则可设 = 记=,在内作一闭区间,使其长度||且；然后又在内作一闭区间,使得||且.一般说来，设已经作好了一个包含一个闭区间： …, ||, (), 取,且满足||,.根据归纳法,我们就得到了一个区间套： ……, ||, (…) 因为0 (),所以由区间套定理,存在点 (…).由