江苏科技大学数理逻辑2010试题数理逻辑2011试题.docx

下载文档

8
0
约4.65千字
约 5页
2020-10-24 发布于天津
举报
版权申诉
保障服务

江苏科技大学数理逻辑2010试题数理逻辑2011试题.docx

1、本文档共5页，其中可免费阅读2页，需付费100金币后方可阅读剩余内容。
2、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。
3、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
4、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。

命题可数个可数集的并集是可数集证明设可数个可数集分别为川其中我们令把的元素按照如下次序排成阵列并依据箭头指示的方向顺序对集合的元素进行枚举并依据箭头指示的方向顺序对集合的元素进行枚举不难看出该枚举算法可以保证每个元素在有限步里被枚举到由此说明是可数的命题实数集是不可数集证明根据上述分析知只要证明所有形如的小数的全体是不可数的运用反证法如果全体形如的小数是可数的则这些数的全体可枚举如下其中每个是或我们利用枚举构造一小数丫川匕川满足如果人如果则不同于所枚举出的全体小数中的任意一个由此产生矛盾此矛盾说

命题1.8可数个可数集的并集是可数集证明：设可数个可数集分别为 Ao,A,A,川,其中a ={ao,a!, a2,i)}( i =0,1,2,111).我们令A =|Jil A ?把A的元素按照如下次序排成阵列并依据箭头指示的方向顺序对集合(0.1)A的元素进行枚举并依据箭头指示的方向顺序对集合 (0.1) A的元素进行枚举.不难看出该枚举算法可以保证每个元素在有限步里被枚举到，由此说明A是可数的? ■ 命题1.2.2.实数集R是不可数集. 证明：根据上述分析知，只要证明所有形如(1.2.2)的2#小数的全体是不可数的 # 运用反证法：如果全体形如(1.1.2)的2小数是可数的，则