有限个可数集的笛卡尔积是否为可数集？

嘿，这个问题问得特别到位！你已经知道两个可数集的笛卡尔积是可数的，那有限个可数集的笛卡尔积当然也是可数的——这其实是前者的自然延伸，咱们一步步理清楚：

用数学归纳法严谨证明 #

这是最扎实的论证方式：

• 基例：当只有1个可数集时，它本身就是可数的，结论成立；当有2个可数集时，你已经明确知道它们的笛卡尔积可数，完全没问题。
• 归纳假设：假设对于任意k个可数集 (A_1, A_2, ..., A_k)，它们的笛卡尔积 (A_1 \times A_2 \times ... \times A_k) 是可数集。
• 归纳步骤：现在看k+1个可数集的情况，即 (A_1 \times A_2 \times ... \times A_k \times A_{k+1})。我们可以把前k个集的笛卡尔积看成一个整体 B = A_1 × ... × A_k，根据归纳假设B是可数的。那整个积就变成 B × A_{k+1}，这正是两个可数集的笛卡尔积，而你已经知道这种情况是可数的。所以归纳成立，有限个可数集的笛卡尔积一定可数。

直观的映射例子辅助理解 #

拿自然数集ℕ的n次幂ℕⁿ来说（这是最典型的有限个可数集的积），我们可以构造一个从ℕⁿ到ℕ的单射：
比如对于n=3，三元组(a,b,c)（这里a,b,c都是自然数），我们可以映射到 2^(a+1) × 3^(b+1) × 5^(c+1)（加1是为了避免0次幂的问题，因为自然数通常从0开始的话，0次幂是1，会导致不同三元组映射到同一个数）。根据算术基本定理，每个自然数的素因子分解是唯一的，所以每个三元组对应唯一的自然数，这说明ℕ³是可数的。同理，任意n个自然数集的积都可以用类似的素数幂乘积映射来证明可数。

关键区分：有限个 vs 无限个 #

这里必须划重点：只有有限个可数集的积才是可数的。如果是无限个可数集的笛卡尔积（比如所有自然数序列的集合），那就是不可数的，康托尔的对角线论证可以证明这一点——不过这就是另一个话题啦。

内容的提问来源于stack exchange，提问作者JobHunter69