在没有康托尔对角化方法的情况下证明实数的不可数性

2024-03-25 08:20

本文主要是介绍在没有康托尔对角化方法的情况下证明实数的不可数性,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

乔治·康托尔 |图片来源: 维基百科

一、说明

        对于那些对数学感兴趣的人来说,无穷大实际上可以有不同的大小,这可能是一个众所周知的事实。事实上,最著名的例子是所有实数的集合比所有自然数的集合“大”。你可能知道,这实际上有一个非常优雅的证明,称为康托尔对角线方法,由乔治·康托尔在1891年提出。如果您不知道这一点,我绝对建议您研究一下,因为我认为该方法非常聪明,但同时任何人都很容易理解。

        然而,在这篇文章中,呈述通过一种稍微严格的方法来证明实数是不可数的,这种方法涉及集合的概念。虽然我不会声称这是完全严格的,但我确实发现这仍然是解决这个问题的一种非常有趣的方法。     

        此外,在这篇文章中,我将假设对集合是什么以及集合之间的交集意味着什么有一个基本的了解。

二、嵌套间隔属性

        在继续之前,我想介绍一个重要的定理,称为嵌套区间属性,它将用于证明实数是不可数的。嵌套间隔属性声明如下:

对于每个 n ∈ N,假设我们给定一个区间 In = [an, bn] = {x ∈ R : 一个< x < bn}。 还假设每个间隔包含下一个(即 In ⊆...⊆ I₂⊆ I₁)。然后,这个嵌套的区间序列将有一个非空的交集。

        在数学上,我们可以将结果表示如下:

        为了更轻松地解释嵌套间隔属性,请考虑实数上的任何间隔,并将其设为 I₁。现在考虑在该区间内新建一个区间,并将其设为 I₂。现在一遍又一遍地重复这个过程。因此,您将获得如下所示的嵌套间隔:

        嵌套间隔 |图片来源:维基百科

        嵌套间隔属性声称所有这些间隔的交集都是非空的,我们能够找到一些 x ∈ I₁I₂⋂...⋂无论n有多大。虽然可以通过引入其他公理和概念来提供嵌套间隔属性的证明,但为了这篇文章,我会认为这是理所当然的。

三、实数的不可数性

        配备嵌套间隔属性,我们可以尝试证明实数确实是不可数的。首先,让我们首先考虑“可数”的真正含义。

        如果集合 A 与自然数 N 有 1-1 的对应关系,则认为它是可数的。简单来说,如果 A 与 N 有 1-1 的对应关系,这意味着我们可以找到一个函数 : N → A,使得 N 中的每个元素正好对应于 A 中的一个元素反之亦然(稍微具体的解释是 f 是 1-1 和 onto)。另一种说明方式是,中的每个元素都可以使用自然数进行编号

        了解了集合可数的含义后,我们现在可以开始证明了。对于这个证明,我们将使用矛盾证明的方法,首先假设实数实际上是可数的。这意味着 N 和 R 之间实际上存在 1-1 的对应关系,由某个函数 : →R 给出。换句话说,我们能够枚举实数,我们可以通过让 xn = fn) 来表示实数,为 R 给出以下表达式:

        因此,我们使用自然数枚举了 R 的每个元素。这就是嵌套间隔属性发挥作用的地方。

        首先,让 I₁ 是 R 上不包含 x₁ 的闭区间。在此之后,我们将构造剩余的嵌套间隔 In,它们具有以下属性:

        要解释这意味着什么,请考虑 I₂。由于第一个属性,I₂ 是 I 的子集,由于第二个属性,x₂ 不在 I 中。 对 I₃I₄ 等重复此操作。请注意,应该直观地理解为什么这样的区间序列是可能的,因为给定某个区间,只需简单地避免该数字,就不难创建嵌套在该区间中不包含特定实数的另一个区间。

        现在,考虑我们刚刚构建的所有这些区间之间的交集。如果我们在上面的枚举实数列表中包含一些实数 xm,那么我们知道它不会是第 m 个区间 Im 的一个元素,因为这些区间的上述属性。因此,我们可以得出以下结论:

        但是,嵌套间隔属性告诉我们,这些嵌套间隔的交集必须是非空的,并且我们能够找到一些 x,例如:

        但是通过这些区间的性质,我们知道这个新发现的x不能出现在我们在假设中创建的实数枚举列表中。因此,我们有一个明显的矛盾,并且可以得出结论,我们关于R是可数的假设一定是假的,这表明R确实是不可数的。

        虽然这种使用区间的相当抽象的方法肯定不如康托尔的对角线化方法直观,但我认为看到一种更严格的方法涉及从实际分析中理解集合和函数是相当有启发性的。但是,这个证明肯定仍然存在缺陷,我没有完全解释的事情,所以如果你有兴趣,我肯定会建议你多读一读。我使用的这个特殊证明改编自雅培的理解分析(下面引用),这是我推荐阅读的一本很棒的教科书,其中还包括我跳过的嵌套间隔属性的证明。感谢您的阅读。

四、引用

雅培,S.(2016)。了解分析。斯普林格。

坂本健成

这篇关于在没有康托尔对角化方法的情况下证明实数的不可数性的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/844391

相关文章

macOS无效Launchpad图标轻松删除的4 种实用方法

《macOS无效Launchpad图标轻松删除的4种实用方法》mac中不在appstore上下载的应用经常在删除后它的图标还残留在launchpad中,并且长按图标也不会出现删除符号,下面解决这个问... 在 MACOS 上,Launchpad(也就是「启动台」)是一个便捷的 App 启动工具。但有时候,应

SpringBoot日志配置SLF4J和Logback的方法实现

《SpringBoot日志配置SLF4J和Logback的方法实现》日志记录是不可或缺的一部分,本文主要介绍了SpringBoot日志配置SLF4J和Logback的方法实现,文中通过示例代码介绍的非... 目录一、前言二、案例一:初识日志三、案例二:使用Lombok输出日志四、案例三:配置Logback一

Python实现无痛修改第三方库源码的方法详解

《Python实现无痛修改第三方库源码的方法详解》很多时候,我们下载的第三方库是不会有需求不满足的情况,但也有极少的情况,第三方库没有兼顾到需求,本文将介绍几个修改源码的操作,大家可以根据需求进行选择... 目录需求不符合模拟示例 1. 修改源文件2. 继承修改3. 猴子补丁4. 追踪局部变量需求不符合很

mysql出现ERROR 2003 (HY000): Can‘t connect to MySQL server on ‘localhost‘ (10061)的解决方法

《mysql出现ERROR2003(HY000):Can‘tconnecttoMySQLserveron‘localhost‘(10061)的解决方法》本文主要介绍了mysql出现... 目录前言:第一步:第二步:第三步:总结:前言:当你想通过命令窗口想打开mysql时候发现提http://www.cpp

Mysql删除几亿条数据表中的部分数据的方法实现

《Mysql删除几亿条数据表中的部分数据的方法实现》在MySQL中删除一个大表中的数据时,需要特别注意操作的性能和对系统的影响,本文主要介绍了Mysql删除几亿条数据表中的部分数据的方法实现,具有一定... 目录1、需求2、方案1. 使用 DELETE 语句分批删除2. 使用 INPLACE ALTER T

MySQL INSERT语句实现当记录不存在时插入的几种方法

《MySQLINSERT语句实现当记录不存在时插入的几种方法》MySQL的INSERT语句是用于向数据库表中插入新记录的关键命令,下面:本文主要介绍MySQLINSERT语句实现当记录不存在时... 目录使用 INSERT IGNORE使用 ON DUPLICATE KEY UPDATE使用 REPLACE

CentOS 7部署主域名服务器 DNS的方法

《CentOS7部署主域名服务器DNS的方法》文章详细介绍了在CentOS7上部署主域名服务器DNS的步骤,包括安装BIND服务、配置DNS服务、添加域名区域、创建区域文件、配置反向解析、检查配置... 目录1. 安装 BIND 服务和工具2.  配置 BIND 服务3 . 添加你的域名区域配置4.创建区域

mss32.dll文件丢失怎么办? 电脑提示mss32.dll丢失的多种修复方法

《mss32.dll文件丢失怎么办?电脑提示mss32.dll丢失的多种修复方法》最近,很多电脑用户可能遇到了mss32.dll文件丢失的问题,导致一些应用程序无法正常启动,那么,如何修复这个问题呢... 在电脑常年累月的使用过程中,偶尔会遇到一些问题令人头疼。像是某个程序尝试运行时,系统突然弹出一个错误提

电脑提示找不到openal32.dll文件怎么办? openal32.dll丢失完美修复方法

《电脑提示找不到openal32.dll文件怎么办?openal32.dll丢失完美修复方法》openal32.dll是一种重要的系统文件,当它丢失时,会给我们的电脑带来很大的困扰,很多人都曾经遇到... 在使用电脑过程中,我们常常会遇到一些.dll文件丢失的问题,而openal32.dll的丢失是其中比较

python中字符串拼接的几种方法及优缺点对比详解

《python中字符串拼接的几种方法及优缺点对比详解》在Python中,字符串拼接是常见的操作,Python提供了多种方法来拼接字符串,每种方法有其优缺点和适用场景,以下是几种常见的字符串拼接方法,需... 目录1. 使用 + 运算符示例:优缺点:2. 使用&nbsjsp;join() 方法示例:优缺点:3