diff --git a/src/第8章 无限集合.md b/src/第8章 无限集合.md index 028723c..6a7d831 100644 --- a/src/第8章 无限集合.md +++ b/src/第8章 无限集合.md @@ -2,7 +2,7 @@ ## 8.1 可数性 -- **定义 8.1.1(可数集)**:称集合 $X$ 是可数的,当且仅当 $X$ 和 $\mathbb N $ 有相同的基数。称集合 $X$ 是至多可数的,当且仅当 $X$ 是有限的或是可数的。称集合 $X$ 是不可数的,当且仅当 $X$ 是无限的但不是可数的。 +- **定义 8.1.1(可数集)**:称集合 $X$ 是可数的,当且仅当 $X$ 和 $\mathbb N$ 有相同的基数。称集合 $X$ 是至多可数的,当且仅当 $X$ 是有限的或是可数的。称集合 $X$ 是不可数的,当且仅当 $X$ 是无限的但不是可数的。 可数集意味着存在一种方式可以给集合中的所有元素编号,这使得我们可以将集合中的所有元素用无限序列的形式表示出来,并施加归纳法。