第171章 想不到标题之又通宵了捏(4/4)
实数编号,但总能构造出一个新的实数不在你的列表里——所以实数永远数不完。”“而阿列夫1,就是描述这种数不完的无限的最小等级。”
“阿列夫1不一定等于实数集的势2^阿列夫0,除非接受连续统假设。
“但无论如何,阿列夫1都是最小的不可数基数。”
“因此任何不可数集合,如实数集这些的势 ≥ 阿列夫1。”
“它比任何可数无限的操作都大,例如 阿列夫0+阿列夫0或阿列夫0*阿列夫0。”
“最后总结一下。”
“阿列夫1是最小的不可数无限,比所有能逐个列出的无限都大。”
“比如,自然数、整数、有理数的大小是阿列夫0(可数无限)。”
“但实数的数量多到无法用自然数编号,这种数不清的无限的最小规模就是阿列夫1。”