[数学]为什么自然数集与整数集是等势的？ | 死理性派小组 | 果壳网 科技有意思
895182人加入此小组
今天看了一篇证明文章，对于文章中有一部分不理解：这里能看出自然数集与整数集之间有怎样一一对应的关系呢？从而如何推理出自然数集与整数集是等势呢？ PS.集合论中的等势意指两个集合大小相等
+ 加入我的果篮
科学松鼠会成员，信息学硕士生
集合论中，等势的意思不是大小相等……实际上大小比较的概念（基数）是通过等势来定义的。集合论中，两个集合A和B等势的意思，就是存在从A到B的一个一一对应……从自然数集到整数的一一对应就是……
科学松鼠会成员，信息学硕士生
集合论中，等势的意思不是大小相等……实际上大小比较的概念（基数）是通过等势来定义的。集合论中，两个集合A和B等势的意思，就是存在从A到B的一个一一对应……从自然数集到整数的一一对应就是……
科学松鼠会成员，信息学硕士生
引用 的话：恩.. 等势概念没理解好。给出的公式有些不理解... 是（-1）n次方乘于n/2吗？对，但是这个n/2是向上取整的
科学松鼠会成员，信息学硕士生
引用 的话：恩，理解了~谢谢~ 那我想再问一个问题：这里是怎么证明正有理数集与正整数集有一一对应关系的呢？ 就一直搞不明白~ 跪求请教~集合论里有一个定理，就是如果集合A到集合B有一个满射，而集合B到集合A也有一个满射，那么两者之间就有一个一一对应。用这个定理就可以了。
科学松鼠会成员，信息学硕士生
引用 的话：我想冒昧打扰问一下：你知道该怎么解读这张图吗？ 我一直看不懂这个图，虽然知道有这个定理，可还是想知道一下.... 不知道你是否愿意指点迷津呢~不是一条长链嘛，第一个对应1，第二个对应2，等等。如果你真的要公式的话，可以用这个：
(C)2017果壳网&&&&京ICP证100430号&&&&京网文[-239号&&&&新出发京零字东150005号&&&&
违法和不良信息举报邮箱：&&&&举报电话：长度是怎样炼成的？
我的图书馆
长度是怎样炼成的？
应小乐之请写的一个东西，其目的是为了回答以下问题： 点没有长度和面积，为什么由点组成的线和面会具有长度和面积？“长度”“面积”这些词汇究竟是在怎样的意义上被使用的？ 有的时候我们把点的长度叫做零，有的时候叫做无穷小，这两个称呼是不是都有道理？ 无穷个零相加是不是还得零？（其实和第一个问题是一个意思，无穷个点怎么加成线段的？） 等等等等。当然，小乐的问题是着眼于哲学，而我的回答将会着眼于数学， 我不是学哲学的， 但是大概也知道在哲学上这些词汇常常导致混乱的争论，比如芝诺悖论之类。幸运的是，早 在一百年前，通过一大批杰出的数学家的努力，以上这些问题己经被精确地给出了解答，这 就是在数学中被称为“测度论”的一套理论体系。这里“精确”的意思是说，这套理论体系 完全基于形式逻辑，而且只采用了非常少的公理（下面会陈述之），从而，在这套理论中不 存在任何模糊或者逻辑上模棱两可之处（除了几个需要加以特别说明的地方=_=！）。换句话 说，我们不仅可以认为数学家能够确定无疑的回答以上这些问题，而且可以认为人类在今天 能够确定无疑的回答以上这些问题（在承认那些公理的前提下）。不幸的是，这一断言几乎必然会遭到哲学家的反对。一方面是因为哲学家们倾向于每个 人自己创造一组定义， 从我在未名哲学版见过的一系列关于芝诺悖论的讨论来看，这样 的结果是所有的论述最终都流于自说自话。另一方面大概也因为学术壁垒的缘故，哲学家们 大概从来也没有了解过数学家们己经在此问题上做出过的卓越工作，（确实，很多细节是过 于数学化了一点……）。有鉴于此，我答应小乐以尽可能通俗的方式（在不损害准确性的前 提下）大致介绍一下测度论的内容。我想在这个版面上大概还会有不少别的朋友对此感兴趣 巴。下面正式开始。一、关于无穷当我们使用“无穷”这个词的时候，我们必须时刻谨记，这个词有两种截然不同的意义不，我这里说的不是亚里士多德关于实无穷和潜无穷的那些绕口令，而是某些重要得多 的本质问题，对他们的清晰阐释开始于伟大的德国数学家康托&Georg Cantor ()：当 我们说一个集合有无穷多个元素的时候，我们必须指明这里的无穷是哪一种，是“可数无穷” 还是“不可数无穷”。虽然都是无穷集合，但是它们会体现出截然不同的性质。为了说明这一问题，我们引进集合的“势（cardinality）”的概念。简单说来，势就是集合的 元素的个数。一个集合有三个元素，我们就称其势为&3。两个集合如果元素个数相等，我们 就称它们为等势的。 很显然，要判断两个集合是不是等势，只需要看这两个集合之间能 不能建立起元素的一一对应即可，如果可以的话，我们就说这两个集合的元素是一样多的。到这里为止都显得很简单。可是最有趣的部分马上就要出现了：康托指出，不但对于有限个元素的集合我们可以讨论它们的势，对于无穷个元素的集合，我们同样可以讨论它们之间是 否等势。换句话说，我们可以讨论两个无穷集合的元素是不是一样多！之所以如此，是因为集合之间的“一一对应”本质上只是个数学概念，是可以被精确研究的 对象（请回忆高中数学课本关于映射的那一章）。从而，随便拿两个集合来，它们之间是否 能建立一一对应只是数学上的问题而己。以下是一些最基本也是最著名的例子和命题，请尽量耐心的阅读。所有这些陈述都是可以基 于最简单的形式逻辑给出严格证明的，证明可以在参考文献[1]上查到：·每一个集合都和它自身等势。 注：废话。·全体正整数的集合和全体正偶数的集合等势。注：这是第一个有趣然而迷惑人的结果。我们等于是在说：一个集合可以和它的一部分一样 多！ 但是这并不是一个悖论。我们通常觉得一个集合不能和它的一部分一样多只是针对 有限集合而言的，本来就没人说过无限集合不能和它的一部分一样多，只是有时候大家会不 自觉地有这个误解而己。·全体正整数的集合和全体有理数的集合等势。（什么是有理数来着？查书去！） 注：这是在数学上很重要的一个例子，说明一个实数中的稠密集可以和一个离散集等势，不过大家看到这里大概己经开始打瞌睡了……跳过这个例子！·全体正整数的集合和全体实数的集合不等势。 注：睁大眼睛，迄今为止最重要的一句话出现了！你永远不可能在全体正整数的集合和全体实数的集合之间建立起一一对应来。对这个陈述的证明是数学上最有趣也最迷人的证明之 一，可惜的是篇幅所限我不能在这里证明给大家看。那么只讨论结论好了：并不是所有的无 穷集合都是等势的，有一些无穷集合比另一些无穷集合的元素更多，换句话说，无穷之间也 是有大小的。·任给一个无穷集合，我们都能够造出一个集合包含它，而且和它不等势。 注：换句话说，无穷和无穷相比，没有最大，只有更大。 但是请注意，虽然我们能够造出越来越大的无穷集合，但是我们并不真正对那些太大的无穷感兴趣，因为和这个世界没什么关系。·如果两个集合都和第三个集合等势，那么它们彼此也等势。 注：好像也是废话，但是它引出了下面的重要陈述。· 有很多集合都和全体正整数的集合等势，从而它们彼此也等势，我们称所有这样的集合 为“可数无穷的（countably infinite）”。有很多无穷集合比全体正整数的集合的势更大，我 们称所有这样的集合为不可数无穷的（uncountably infinite）。但是，不存在无穷集合的势比 全体正整数的集合的势更小。注：我们待会儿再来讨论为什么起这么两个名字。前面的例子告诉我们，全体正偶数的 集合是可数无穷的，全体有理数的集合是可数无穷的，但是全体实数的集合是不可数无穷的。·在不可数无穷集合中间，有些集合是和全体实数的集合等势的，这些集合被称为“连续统（continuum）”注：好了，现在我们对全体无穷集合建立了一个简单的分类。最小的一类称为可数无穷 集。剩下的都叫不可数无穷集。不可数无穷集里面又有特殊的一类叫作连续统，剩下当然还 有一些非连续统的不可数无穷集，但是它们几乎和真实世界没有任何关系，所以忽略之。（有 人不愿意忽略它们，非要去研究里面的一些麻烦的问题，于是产生了数学中间最让人头晕的 一部分结论，比如什么哥德尔不完全性定理之类……这个定理偏偏还特别著名，很多人都问 过我它究竟说的是啥。相信我，你不可能弄明白的。）也就是说，我们真正关心的是两类特殊的无穷集合，一类称为可数无穷集，一类称为连 续统。所有的可数无穷集彼此等势，所有的连续统彼此等势，但是任何可数无穷集和连续统 之间不等势，后者总是更大一些……真绕嘴阿。下面是一些可数无穷集和连续统的例子： 可数无穷集：自然数集，整数集，有理数集。（基本上，如果你在平面上或者直线上随手点无穷个点， 并且这些点彼此都不挨着，那么它们的总数就是可数无穷的。但是也存在一些不这么简单的 可数无穷集。）连续统：实数集，直线上点的个数，平面上点的个数，一个正方形里点的个数，或者简而言之， 一切几何对象里的点的个数都是连续统。（这里一个常常被人提到的推论就是直线上的点和 平面上的点一样多， 都是连续统那么多。其实证明很简单，但是一言难尽，请查书去。）好了，现在我们可以讨论这两个名字是怎么来的了。请注意，所有的可数无穷集都是可 以和正整数建立起一一对应的，这是什么意思呢？这意味着，我们可以把一个可数无穷集中 的每个元素都对应到一个正整数，这相当于给他们编了号码，从而我们可以去数它们（这就 是可数这个词的来历）。也就是说，我们可以按照&1&号、2号、3&号这么一直数下去，虽然 总数是无穷的，但是只要我们在理论上一直数完所有的自然数，我们就能真正数遍这个集合 的所有元素（至少在想像里是这样）。而连续统集合却不是这样。一个直线上的点是连续统，这就是说，无论怎么巧妙的给这些点编号，我们都是不可能给所有的点都编上号码然后一个一个的数下去把它们都数完的。它们 是“不可数”的。有人会说，这不是自欺欺人么？反正都是无穷个，反正事实上总也不可能数得完，那么在理 论上区分“想像中数得完”和“想像中也数不完”有什么实际意义呢？有的。正是这一点微妙的差别，使得有些事情我们能够对可数集去做却不能对连续统集 合去做，也正是这一点差别，促成了从没有大小的点到有大小的直线和平面之间的巨大的飞 跃。 让我们暂时放下关于无穷的那些讨论，回到主题：我们通常所说的长度面积体积这些词，究 竟是什么意思？为了更清楚的阐明这个主题，让我们把目光只集中在最简单的一维情形，也就是说，我 们只考虑“长度” 这个词。我们希望，取出直线上的一部分，就有一个“长度” 存在。如 果能做到这一点，那么类似的，面积和体积之类的高维词汇也可以类似的得以理解。
馆藏&30246
TA的推荐TA的最新馆藏
喜欢该文的人也喜欢}