皮亚诺公理 |

|
自然数集的定义 |
- n'为下一个自然数
- ①表明了起点时空集属于N
- ②证明了两个相邻自然数n与n'之间的关系
|
比较集合的大小 | 有限集合 | - 对于两个有限集合而言,比较二者的大小只需要看集合的基数

| 无限集合 | 等势 |
- 由等势定义可以看出,如果 A = B,那么 A ∼ B,反之却不成立
|
|
|
可数集合 |


| 虽然N->P没有直接的函数关系,但是可以通过N确定唯一的P存在,则P是可数集合 | 
| 根据p/q图以及N可以得到Q也存在一一对应的关系,比如 [5]->-2 [10]->2 [11]->3 |
|
不可数集合 |

- 上图中的1/4(开区间)——>0(闭区间),用开区间1/4对应闭区间0,以下一样
|
文章来源:https://www.cnblogs.com/huz-han/p/15789580.html
版权声明:本文为YES开发框架网发布内容,转载请附上原文出处连接