![dbced23bb03eb4fef59512b81471b8d5.png](https://i-blog.csdnimg.cn/blog_migrate/6a00dd624d0a38e73f47585d514985f6.jpeg)
弘毅: 自然数和整数哪个更多?
我:你又问了一个好问题。端好板凳。
先说答案,是一样多。这个回答意不意外?
摘要: 1. 回顾我们对正整数的认识 2. 从个数到势
首先,他们都是有无穷多个数。
所以问题的关键在于你如何理解个数为无穷的情况。
只要知道 单射,双射的概念就能理解全篇。
因为会问这个问题的人大多数都知道,为了阅读的流畅性,我将单射,双射的概念放在文章末尾的附录。
1. 回顾我们对正整数的认识
回顾下我们是如何学习1,2,3的,当我们说2时,我们总是形象化为2个苹果或者其它实物。实际上集合是直观的,比如两个苹果,而我们的正整数是抽象的,我们在一年级第一次学习计数的时候就是构造一个集合,通过这个集合的个数来认识正整数的。
因此这里的问题是当这个集合的个数是无限的时候,我们要怎么办?
难道把所有的无限集合都看成是一样多,笼统地称为无限吗?
2. 从个数到势
答案显然不是。
这时我们要对‘个数’这个概念进行延拓,既要使得对无限集有意义,同时在有限集上跟个数的含义是吻合的。
为了更好的表达,我们使用一个专业术语:势(cardinality)。
假设集合
没错,我们定义有限集的势为其元素个数。
那么一般情况下如何定义一个集合的势呢?我们用集合之间的映射来定义概念势!
因为势是个数的延拓,一个最基本的问题是如何比较两个势的大小。一个合理的定义是:
若存在集合A到集合B的单射,则称A的势小于等于B的势。 若A的势小于等于B的势,同时B的势小于等于A的势,则称A的势等于B的势。
如此在所有有限集下它和之前的个数概念是吻合的,而逻辑上对无穷集合也是合情合理的。
如此,只要简单的构造一个自然数集到整数集的双射(即一一对应),
比如,
则得出两者势相等,即所谓的个数相同。
![d13c5cd5f1d5dda0caee5bf4d49322d4.png](https://i-blog.csdnimg.cn/blog_migrate/ad8feca966f9d4c747f38690faea6fae.png)
大多数人觉得拗不过来的是,整数比自然数多了无数个负整数为啥两者还同样多。
这里面有几个认知上的错误:
1. 即使用'个数'直观来理解问题,你可以说整数不会比自然数少,但是 要说整数严格比自然数多,这就不一定正确了。
因为严格多就表示两者的个数不相同,但对高中生目前为止你知道有关无限个数的描述只有一个,那就是无限个。
事实上,你说一个无穷加1会是什么?会更大吗?
用势的标准,答案是没有变。一个无穷势不只是加一个有限数不会变大,即使加任何一个不比它大的无穷势也依然没有变化。
2. 你 拿有限情形的狭隘经验来处理无限情形这样更加复杂陌生的情景,这是错误的,拗不过来是你的心理问题,就像你用在地球上的生活经验去处理在月球上的生存问题;
最后,关于集合的势的问题,实际上是集合论的入门话题。集合论这门课更接近纯逻辑,属于数学系里面不太像数学的数学课程,在大二大三学实变函数的时候需要详细学习集合的势。
![bcd07590f4fc05a379e47224f5e821d7.png](https://i-blog.csdnimg.cn/blog_migrate/d7b0443b1ed27a4d249b1464670af8ce.jpeg)
实际上,这里面有很多猜想非常难。
比如在 整数集和实数集的势之间是否还存在一个介于两者的势。
这是世纪难题,能搞清楚这个看上去简单的问题的人肯定马上就成了全世界最好的数学家之一。
附录
- 单射
从集合A到集合B的映射f称为单射,若
- 满射
从集合A到集合B的映射f称为满射,若对任意
- 双射
一个映射既是单射又是满射则称为双射。