- 1、本文档共24页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
可计算性与可判定性
可计算性与可判定性
第二讲:朴素集合论
喻良
南京大学现代数学研究所
March 21, 2016
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
喻良 (南京大学现代数学研究所) 可计算性与可判定性 March 21, 2016 1 / 23
康托,1845-1918,德国
数学的基础:集合论。
康托对于集合论的定义:x φx.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
喻良 (南京大学现代数学研究所) 可计算性与可判定性 March 21, 2016 2 / 23
闭集与孤立点
实数上闭集的结构。
Definition
一个实数集合A上的点x称为孤立点,如果存在一个开区间I包
含x但是不包含A中其它任何点。
Definition
一个实数集合A称为完备(perfect)的,如果A是闭集并且没有孤
立点。
存在不完备的闭集.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
喻良 (南京大学现代数学研究所) 可计算性与可判定性 March 21, 2016 3 / 23
导集
Definition
′ ′
给定一个闭集A ,它的导集A 定义为 A x x不是A的孤立点。
′ ′
则A 仍然是闭集。如果A A ,则A是完备集。否则定
′′ ′ ′
义A A 。
存在闭集A使得对所有自然数n,An ̸ An1 。
∩ n 1 ′
令A
您可能关注的文档
最近下载
- 济南版(2024)初中生物学七年级上册《脊椎动物身体背部有脊柱》教学设计及反思.docx
- 中铁建工集团质量管理手册.pdf
- 二级中医医院评审细则解读院感部分.pptx
- 2024年迪瑞医疗分析报告:强化协同,仪器放量布局市场.pdf
- 部编版初中道德与法治九年级上册单元作业设计 (优质案例12页) .pdf
- 广东实验中学2023-2024学年八年级上学期期中考试语文试卷.docx VIP
- 2020年世界发展报告:全球价值链时代的贸易换发展.pdf VIP
- 湖北省水利工程重大设计变更报告编制大纲.pdf
- 2024高中地理教师课程标准考试模拟试卷及参考答案.docx VIP
- 《材料成型工艺学》全套教学课件.ppt
文档评论(0)