《实变函数论》习题选解一、集合与基数1
证明集合关系式:(1);(2);(3);(4)问成立的充要条件是什么
证(1) ,(对偶律),(交对并的分配律),∴
证必要性(左推右,用反证法):若,则但,从而,,于是;但,从而左边不等式不成立,矛盾
充分性(右推左,显然):事实上, ,∴,如图所示:故
设,试证一切排列所成之集的势(基数)为
证记为所有排列所成之集,对任一排列,令,特别,,,即对每一排列对应于区间上的一个2进小数,则是一一对应(双射),从而集合与集合对等(即~),而对等的集合有相同的基数,故
证明:整系数多项式的全体是可列的(可数的)
证对任一,次多项式对应于一个序列:,而每个取自可数集,因此,全体次整系数多项式是有限个(个)可数集之并集,仍是可数的
故全体整系数多项式所构成的集合就是可数个可数集之并集,由定理1
8可知:它仍是可数的
设表示区间上一切连续函数所成之集,试证它的势为
证首先,对任意实数,看作常值连续函数,,∴,即;另一方面,实数列全体之集的基数,为证,只需证与的一个子集对等即可
事实上,把中的有理数排列成
对任何,则由它在处的值所完全确定
这是因为中是稠密的,即对任何,存在上述有理数列的一个子列,由的连续性知:
现在,作映射,,则是单射,而集是全体实数列的一个子集,故~,即
附注①若,,又:~,:~
则存在:~;假如,,的意义同前,问是否存在到的一一对应
解若,,令则就是到的一一对应
若,,则与之间不一定存在一一对应
例如:,,,则是到的一一对应,是到的一一对应
但,显然与之间不存在任何一一对应
②几个常见的一一对应:(ⅰ)~,;~,;(ⅱ)~,将中的有理数排列为,而中的有理数排列为
作其间的对应如下:则是与间的一一对应
注意这种一定不是连续的(为什么
这是因为任一自然数均可唯一表