计算机问题求解 – 论题1-11 - 有限与无限.pptx

计算机问题求解–论题1-11

-有限与无限2017年12月14日

客满“聪明的经理”、“非常聪明的经理”和“非常非常聪明的经理”问题1：你能给我们讲讲这个故事吗？“希尔伯特旅馆”/article/cantors-infinite/

集合的等势问题2：你原来脑海中的“两个集合元素一样多”的概念是什么样的呢？对无穷集合适用吗？

问题3：如何精确定义什么是有限集？更加数学化的表述：(每一个自然数也是一个集合)空集记为0；如果k是自然数，则其“后继”为:k?{k}。于是：有限集就是与某个自然数等势的集合。

问题4：什么是无限集合？提示：有限集就是与某个自然数等势的集合Asetisinfiniteifandonlyifforeverynaturalnumberthesethasa?subset?whose?cardinality?isthatnaturalnumber.Asetisinfiniteifitisnotfinite

自然数集与整数集等势“排队”：0,-1,1,-2,2,-3,3,-4,4,-5,5,…

问题5:“…-3,-2,-1,0,1,2,3,…”不能算“排好队”了,为什么?

关于双射的证明(1)注意:不能遗漏了case3!

关于双射的证明(2)

无穷不仅仅是“很多很多”伽利略悖论：整体与局部“一样大”！/wiki/Galileo%27s_paradoxGalileoGalileiTheideasof?less,?equal,and?greater?applyto(whatwewouldnowcall)?finitesets,butnottoinfinitesets！Notnecessary！Itispossibletodefinecomparisonsamongstinfinitesetsinameaningfulway！

问题7:为什么“鸽巢原理”在证明一个集合是无限集合时有关键的应用？

问题8：对于“一对一”性质的满足，一个函数与其在定义域的某个真子集上的“限制”相互是什么关系？?

鸽巢：“证明策略”和“数学定理”问题9：你能简述一下这个证明的基本思路吗？

123…j…m123…q…n+1f?g123…j…m?

问题7:为什么“鸽巢原理”在证明一个集合是无限集合时有关键的应用？

自然数集是无限集反证法无限变有限，构造鸽子与笼子

有限集合的“势”(cardinality)问题10：如果不唯一，怎样能构造出与“鸽巢原理”的矛盾来？正因为这样的n的唯一性，可以定义集合的“势”。

可数集注意：这个性质使得我们可以不区分有限或无限可数；通常找一个一对一的函数比找一个双射容易。

可数集的子集是可数集?“N与其任一无限子集T之间存在双射”证明的基本思路：建立一个函数f:f(k)=T中第k个“最小”元素；证明f是一对一的：函数值构成严格递增序列；证明f是满射：对T中任何元素s,假设比s小的元素有n个，则f(n+1)=s。

有理数集是可数集

但是实数集不是可数集！Cantor’sdiagonalizationargument矛盾Sinceeverysubsetofacountablesetiscountable,theopeninterval(0,1)mustbe(infinitely)countable反证：假设实数集可数

/article/cantors-infinite/

直线上的点集与平面上的点集等势0.a1b1a2b2a3b3.....0.a1a2a3.......0.b1b2b3......这实际上意味着直线上的点与任意有限维空间的点“一样多”！

康托尔定理–没有“最大”的集合任何集合与其幂集不等势 即：A??(A) 证明要点：设g是从A到?(A)的函数，构造集合B如下：B={x|x?A,但x?g(x)}则B??(A)，但不可能存在x?A，能满足g(x)=B因为，如果有这样的x,则x?Biff.x?B。因此，g不可能是满射。问题10：你从这个证明中看到康托尔对角线证明法了吗？

集合的“大小”–基数有限我们能感觉到的世界可数N0N1点N2曲线我们能想象到的世界？还有什么

Opentopic-1介绍选择公理及其等价公理ZF与ZFCTheAxiomofChoiceWell-orderingtheoremZORN引理Ifthe?axiomofchoice?holds,thenasetisinfiniteifandonlyifitincludes