康托的对角论证法

最新推荐文章于 2023-09-14 17:51:52 发布
最新推荐文章于 2023-09-14 17:51:52 发布
阅读量920 收藏 3
点赞数
原文链接：http://www.cnblogs.com/LYLtim/articles/2682524.html
版权

对角论证法是乔治·康托尔提出的用于说明实数集合是不可数集的证明。

对角线法并非康托关于实数不可数的第一个证明，而是发表在他第一个证明的三年后。他的第一个证明既未用到十进制展开也未用到任何其它数字系统。自从该技巧第一次使用以来，在很大范围内的证明中都用到了类似的证明构造方法。

实数

康托的原始证明表明区间[0，1]中的点数不是可数无穷大。该证明是用反证法完成的，步骤如下：

  1. 假设(从原题中得出)区间[0，1]中的点数是可数无穷大的
  2. 于是乎我们可以把所有在这区间内的数字排成数列, (r_1, r_2, r_3, ... )
  3. 已知每一个这类的数字都能以小数形式表达
  4. 我们把这些数字排成数列(这些数字不需按序排列; 事实上，有些可数集, 例如有理数也不能按照数字的大小把他们全数排序，但单只是成数列就没有问题的)在部份有多种表达形式的数字上，例如0.499 ... = 0.500 ..., 我们选择前者.
  5. 举例，如果该数列小数形式表现如下:
    r 1 = 0 . 5 1 0 5 1 1 0 ...
    r 2 = 0 . 4 1 3 2 0 4 3 ...
    r 3 = 0 . 8 2 4 5 0 2 6 ...
    r 4 = 0 . 2 3 3 0 1 2 6 ...
    r 5 = 0 . 4 1 0 7 2 4 6 ...
    r 6 = 0 . 9 9 3 7 8 3 8 ...
    r 7 = 0 . 0 1 0 5 1 3 5 ...
    ...
  6. 考虑r_k小数点后的第k个位，为了方便起见, 我们底间并粗体这些数字，从下图你应明白为什么这个证明被称为对角论证法
    r 1 = 0 .  5 1 0 5 1 1 0 ...
    r 2 = 0 . 4  1 3 2 0 4 3 ...
    r 3 = 0 . 8 2  4 5 0 2 6 ...
    r 4 = 0 . 2 3 3  0 1 2 6 ...
    r 5 = 0 . 4 1 0 7  2 4 6 ...
    r 6 = 0 . 9 9 3 7 8  3 8 ...
    r 7 = 0 . 0 1 0 5 1 3  5 ...
    ...
  7. 我们设一实数x \in [0,1], 其中x是因应以下的方式定义的
    • 如果r_k的第k个小数位等于5, 那么x的第k个小数位是4
    • 如果r_k的第k个小数位不等于5, 那么x的第k个小数位是5
  8. 明显地x是一个在区间[0，1]内的实数，以之前的数为例, 则相对应的x应为 0 . 4 5 5 5 5 5 4 ...
  9. 由于我们假设(r_1,r_2,r_3,... )包括了所有区间[0, 1]内的实数，所以一定有一个r_n=x
  10. 但由于x的特殊的定义，这使到x和r_n的第n个小数位是不同的，所以x \notin (r_1,r_2,r_3,... )
  11. 所以(r_1,r_2,r_3,... )并不能罗列所有区间[0, 1]内的实数，这发生了矛盾。
  12. 所以在第一点内所提出的假设"区间[0，1]中的点数是可数无穷大的"是不成立的。

 

视频讲解

http://v.youku.com/v_show/id_XMTYyMzg2NDc2.html

转载于:https://www.cnblogs.com/LYLtim/articles/2682524.html

weixin_34392906
关注
  • 0
    点赞
  • 踩
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
康托展开的代码
10-08
实现康托展开hash的代码，pascal语言通过将数组转变为数字
康托对角线法
ouotuo的专栏
10-29 6197
<br />集合论创始人康托尔运用了对角线法证明了实数集的基数大于自然数集的基数,为不可数无穷集,这个证明非常的有名,下面将康托尔的证明方法简单的叙述一下: <br />　　 假设[0,1]区间的实数可数,则所有的实数便可排列成为一个数列a1,a2,a3,a4,a5,.........an.......... <br />　　 将所有的实数全都表示成为无穷小数的形式: <br />　　a1=a(11)a(12)a(13)a(14)...........a(1n).......... <br />　　a2=a
Cantor对角线法则证明实数集为不可数及其扩展与困惑（未完）
AQI_0的博客
09-14 1460
对角线法得到的数是一个不在之前假定的列表里面的数，而实数和自然数都无穷多的，所以总能找到一个新的数不属于原来的列表，这样对角线法其实更像是一种从有限到无限的推广。或者说按照这种方式构造出的一个不在原所列元素集合中的新的数是找不出来的，因为会不停的要确定后一位是什么，以至于永远在找这个数。证： 实数集R对等于（0,1）（这里是闭区间也可以开闭区间之间也是对等的，R~（0,1）读者可构造函数自证），则欲证实数集为不可数集，即证（0,1）为不可数集。
【数学】康托对于实数集大于自然数集的对角线证法
haolexiao的专栏
10-21 9284
今天看刘大可的混乱博物馆的一期提到了GEB那本书，然后提到了康托的对角线证明，但是当时没有立马明白过来，下来看了下资料才明白。 康托的对角线证明法，证明的是实数集合是要大于自然数集合的无穷集合的大小比较对于有穷集合，可以数集合中元素的个数，然后比较大小，对于无穷集合的大小比较这种方法就不能用了，需要找到元素之间的一一对应关系。 其实对于有穷集合的数个数比较，本质上也是相当于将集合中每一个元素与每一
对角化原理和停机问题
zdarks的专栏
07-22 1875
对角化原理 有人说，使用数学归纳法和反证法可以演绎整个数学。不管说法对不对，但至少反映了这两种方法的常用和强大；即使有的时候 me 们没有意识到使用了这两种方法，比如证明： 10 个苹果分给 9 个小盆友，肯定有一个小盆友分了至少 2 个苹果。 对角化原理的细节不多说，那说神马 ? O__O"… 说对角化原理的三个问题： 罗素悖论、[0,1) 集合不可数和停机问题。 罗素悖论 : S
康托编码
ZIFENGCHUANSHUO007的专栏
08-28 4396
n个数的全排列，按照从下到大的顺序排列，问第k个位置的数是多少？ 这个问题有几种方法，不过只有康托编码的时间复杂度是最低的。是O(n),简直凶残。 1.用next_permutation来求，这个也是leetcode上的一道题，就是求其下一个排列，然后对1234…n 运行n次 next_pernutation方法就能得到第k个数了 思想就是这样。 2.利用康托编码来求。 其实就是康
康托展开和康托展开的逆运算
01-11
康托展开和康托展开的逆运算 康托展开是这样解释的——{1,2,3,4,...,n}表示 1,2,3,...,n 的排列,如 {1,2,3} 按从小到大排列一共 6 个,123 132 213 231 312 321,代表数字 1 2 3 4 5 6,也就是把 10 进制数与一个排列...
结合力扣题目：第k个排列，学习康托展开和逆康托展开
01-20
结合力扣第60题，第k个排列，进行康托展开和逆康托展开的学习。 题目描述：给出集合[1,2,…,n]，其所有元素有n！种排列，按大小排列出所有情况，并一一标记，当n=3时，排列如下： “123” “132” “213” “231” ...
线性规则中康托诺维奇问题的纲路解法 (1960年)
05-24
达最小值,这个问题我们简称规划L这个问题是线性规划中最重要问题之一,它在物资调配、运输等方面有着成功的应用.对于具体的物资调配或运输...对“康――西问题”的一般解法,有大家熟知的表上作业法,这个方法有其一定的
从康托集到分形.pdf
01-22
从康托集到分形的研究不仅扩展了我们对数学的理解，也为我们提供了观察和描述自然现象的新视角。通过理解和应用分形的概念和技术，我们可以更好地揭示自然界中隐藏的规律和模式，从而推动科学的进步和发展。
康托尔定理是怎样证明的？
袁萌专栏
06-23 9621
康托尔定理指的是什么？定理的内容很有兴趣，但是，定理的证明方法（所谓“三角线证明法”，Diagonal Method）却很独特，超出一般人的想象力。           康托尔定理是对于一般的任意集合A来说的，定理是说：给定任意集合A 就怎么怎么样。集合A是抽象的集合，定理内容属于什么具体范畴很不好确定，看上去定理内容就有点“奇怪”。
康托尔、哥德尔、图灵——永恒的金色对角线（转）
smilejiasmile的博客
08-05 1331
转自：By刘未鹏 C++的罗浮宫 (http://blog.csdn.net/pongba，http://mindhacks.cn/2006/10/15/cantor-godel-turing-an-eternal-golden-diagonal/) 我看到了它，却不敢相信它。 ——康托尔 计算机是数学家一次失败思考的产物。 ——无名氏 哥德尔的不完备性定理震撼了...
对角论证法
jinhongliang123的专栏
04-15 1429
对角论证法是乔治·康托尔提出的用于说明实数集合是不可数集的证明。 对角线法并非康托关于实数不可数的第一个证明，而是发表在他第一个证明的三年后。他的第一个证明既未用到十进制展开也未用到任何其它数字系统。自从该技巧第一次使用以来，在很大范围内的证明中都用到了类似的证明构造方法。 康托的原始证明表明区间[0，1]中的点数不是可数无穷大。该证明是用反证法完成的，步骤如下： 假设(从原题中得出
转－康托尔、哥德尔、图灵——永恒的金色对角线（－）
Kevin.Li
02-18 427
康托尔、哥德尔、图灵——永恒的金色对角线刘未鹏 /文我看到了它，却不敢相信它。——康托尔计算机是数学家一次失败思考的产物。——无名氏哥德尔的不完备性定理震撼了20世纪数学界的天空，其数学意义颠覆了希尔伯特的形式化数学的宏伟计划，其哲学意义直到21世纪的今天仍然不断被延伸到各个自然学科，深刻影响着人们的思维。图灵为了解决希尔伯特著名的第十问题而提出有效计算模型，进而作出了可计算理论和现代计算机的奠基...
Cantor定理(2)
weixin_33994429的博客
01-20 501
我们知道，Cantor证明实数集不可数的时候用到了对角线证法,详情见Cantor定理的一种好表述.而事实上还有更加一般的Cantor定理，如下: 对于一切集合$X$来说，$X$的势小于$2^X$的势. 当$X$是空集的时候，命题是容易的.我们考虑$X$是非空集合时的情形.当$X$是非空集合时，根据良序原理,$X$存在一个良序.由于每个良序集都与一个序数序同构,因此我们只用考虑如下...
康托尔、哥德尔、图灵——永恒的金色对角线(rev#2)
热门推荐
刘未鹏|C++的罗浮宫
10-15 8万+
  康托尔、哥德尔、图灵——永恒的金色对角线(rev#2) By 刘未鹏C++的罗浮宫(http://blog.csdn.net/pongba) 我看到了它，却不敢相信它[1]。——康托尔 计算机是数学家一次失败思考的产物。——无名氏 哥德尔的不完备性定理震撼了20世纪数学界的天空，其数学意义颠覆了希尔伯特的形式化数学的宏伟计划，其哲学意义直到21世
康托尔集：1883年，康托尔构造的一个“分形”，称作康托尔集，从数轴上单位长度线段开始，康托尔取走其中间的1/3而达到第一阶段；然后从每一个余下的1/3线段中取走其中间的1/3而达到第二阶段
qixiang_chen的博客
12-01 854
康托尔集：1883年，康托尔构造的一个“分形”，称作康托尔集，从数轴上单位长度线段开始，康托尔取走其中间的1/3而达到第一阶段；然后从每一个余下的1/3线段中取走其中间的1/3而达到第二阶段
转－康托尔、哥德尔、图灵——永恒的金色对角线（二）
Kevin.Li
02-18 440
哥德尔的不完备性定理[注：了解哥德尔不完备性定理的可以跳到下一节，“大道至简——康托尔的天才”]然而，漫长的Y Combinator征途仍然并非本文的最终目的，对于Y combinator的构造和解释，只是给不了解lambda calculus或Y combinator的读者看的。关键是你会看到Y combinator可以由哥德尔不完备性定理证明的一个核心构造式一眼瞧出来！让我们的思绪回到1931...
pillow_heif-0.17.0-pp39-pypy39_pp73-macosx_14_0_arm64.whl
最新发布
07-27
基本介绍 名称与起源：Pillow，原名为PIL（Python Imaging Library），但PIL只支持Python 2版本。随着Python 3的普及，Pillow作为PIL的一个分支出现，兼容Python 3并提供更多的功能和改进。 主要功能：Pillow支持多种图像格式的打开、保存、显示以及基本的图像操作和处理，如裁剪、缩放、旋转、翻转、滤镜应用等。 跨平台性：Pillow库可以在不同的操作系统上运行，包括Windows、Linux和MacOS等。 主要功能模块 Pillow库包含多个功能模块，每个模块都提供了特定的图像处理功能。以下是一些常用的模块： Image：用于处理图像文件，提供打开、保存、调整大小、旋转、裁剪、滤镜等功能。 ImageDraw：提供在图像上绘制各种形状（如线条、矩形、圆形）和文本的功能。 ImageFont：用于加载和使用TrueType字体文件，以便在图像上绘制文本时设置字体样式、大小和颜色。 ImageFilter：提供各种滤镜效果，如模糊、锐化、边缘增强等，用于图像增强、特效处理和图像识别等应用。 ImageEnhance：用于调整图像的亮度、对比度、颜色饱和度等参数，使图像更加清晰、明亮或具有特定的调色效果。 高级功能 除了基本的图像处理功能外，Pillow还支持一些高级功能，如色彩空间转换、直方图均衡化等。这些功能可以帮助用户进行更复杂的图像处理和分析。
康托分形matlab
10-30
康托分形是一种有规分形，是由德国数学家康托(G.Cantor)在1883年提出的三分康托集演化而来的。康托分形是一种自相似的分形，其构造方法是将一条线段分成三等份，去掉中间一份，然后将剩下的两份再分别按照同样的方式进行分割，重复这个过程直到无限次，最终得到一个具有自相似性质的分形图形。在Matlab中，可以使用fractal函数来绘制康托分形，具体方法如下： 1.打开Matlab软件，新建一个脚本文件。 2.在脚本文件中输入以下代码： n = input('请输入分形的阶数：'); x = [0 1 1 0]; y = [0 0 1 1]; for i = 1:n x1 = x/3; x2 = x/3+2/3; y1 = y/3; y2 = y/3+2/3; x = [x1;x2;x2;x1]; y = [y1;y1;y2;y2]; end plot(x,y,'k'); 3.保存脚本文件，运行程序，输入分形的阶数，即可绘制出康托分形图形。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值