第6章 集合的基数.pptVIP

*第1页，共28页，星期日，2025年，2月5日无穷集与Galileo悖论Galileo悖论N+={1,2,…,n,…}N(2)={1,4,…,n2,…}哪一个集合的元素更“多”一些呢？部分=全体？伽利略(1564～1642)*第2页，共28页，星期日，2025年，2月5日康托(Cantor,Georg)(1845-1918)比较两个集合的“大小”有两种方法:1.数集合中元素的个数,这只使用于有限集合.2.看两个集合的元素间是否有一一对应的关系(双射).这种方法既适用于有限集合,也适用无限集合.*第3页，共28页，星期日，2025年，2月5日集合的等势关系比较集合的大小并不容易等势关系的定义:如果存在从集合A到集合B的双射,则称集合A与B等势.集合A与B等势记为:A?B,否则A?BA?B意味着:A,B中的元素可以“一一对应”.要证明A?B,找出任意一个从A到B的双射即可.例如下面集合间是等势的。N={0,1,2,3,4,…...},A={0,2,4,6,8,…...},f:N?A,f(x)=2xB={1,3,5,7,9,…...},g:N?B,g(x)=2x+1*第4页，共28页，星期日，2025年，2月5日可列集(无穷可数集)与自然数集等势的集合称为可列集定理1集合A是可数集,充分且必要条件是可将A的元素写成序列形式,即A={a0,a1,a2,a3,...}直观上说:集合的元素可以线性排列,对派定序列中任一元素,可以说出:它“前”、“后”元素是什么可列集的例子整数集是可列集自然数集的笛卡儿乘积是可列集有理数集是可列集:f:N?Q,f(n)=“第n个分数”(按照某种排列)*第5页，共28页，星期日，2025年，2月5日整数集合Z?N因为Z可以写成:Z={0,-1,1,-2,2,-3,3,-4,4,...}即可将Z中元素从0开始按照箭头指定次序排列：0123-1-2-3所以Z是可数集。*第6页，共28页，星期日，2025年，2月5日01234……43210点(x,y)表示有序对x,yN×N?N0132456789*第7页，共28页，星期日，2025年，2月5日表示x,yZ×Z?N*第8页，共28页，星期日，2025年，2月5日表示x/y3201有理数集合Q?N*第9页，共28页，星期日，2025年，2月5日Cantor’s1877lettertoDedekind:

“Iseeit,butIdontbelieveit!”*第10页，共28页，星期日，2025年，2月5日定义集合A的元素个数称为集合的基数或势,可记为|A|在有限集中集合的基数是一个自然数A={1,2,3,4,5},|A|=5A={a,b,c,…,x,y,z},|A|=26无限集合中集合的有专门的符号表示自然数集合N的基数:?0(读:阿列夫零)与自然数集等势的集合,其基数也是?0集合的势*第11页，共28页，星期日，2025年，2月5日Cantor对角线法与不可数集实数轴上的(0,1)区间中的实数是不可数的.证明:反证法.假设(0,1)是可数的,则可以将它的元素写成序列形式:{r1,r2,r3,...},其中ri=0.ai1ai2ai3……i=1,2,3,…..即0＜ri＜1aik∈{0,1,2,3,4,5,6,7,8,9}k=1,2,3,4,…构造一个数revil=0.b1b2b3……,其中bi≠aii于是revil≠r1,revil≠r2,revil≠r3...…∴revil?(0,1)产生矛盾,所以(0,1)是不可数的.*第12页，共28页，星期日，2025年，2月5日r10.a11a12a13a14a15…r20.a21a22a23a24a25…r30.a31a32a33a34a35…r40.a41a42a43a44a45…r50.a51a52a53a54a55…:revil0.b1b2b3b4b5…?Decimalexpansionsofri?bi≠aii,i=1,2,3,…..*第13页，共28页，星期日，2025年，2月5日Cantor对角线法r10.r20.r3