康托尔的三分集，那个在数学课上听起来像天书的东西，实际上就是数学家讲笑话用的工具，把漂亮的东西拆得支离破碎。 想象一下，你手里有一截木头，要么是一串珠子。康托尔先生有个绝活，就是不管如何切、如何分，只要按照他那个严格的算法来，总能从这堆材料里“吃”出啥东西来。

这听起来有点荒诞，对吧？但别笑，这就是他毕生追求的那种秩序狂欢。 咱们先看看这个算法的原始版本。它规定，要把剩下的材料分成三份：一份留着不动，一份被吃掉，还有一份扔进垃圾桶。

如何分？不对等。

那一留的一辈子比那一扔的长，并且长出来的速度是指数级爆炸的。

第二份被吃掉的那个，更短、更碎，它的长度是前一份减去第一份长度后的三分之一。

没错，就是这样，第一步吃走 1/3，第二步吃掉 (1/3)²，第三步吃掉 (1/3)³... 看啊，这数字是在飞，像蜗牛一样慢，但它在无穷大的工夫轴上爬出了惊人的距离。 要是你盯着这个序列看，会发现它到底是个啥鬼东西。 第一类数字：1/3, 2/3。

这俩加起来是 1，有理数。也就是你能用分数表示的数。 第二类：1/9, 2/9, 1/9, 2/9... 哎，这是有理数。 第三类：323/81, 410/81... 嗯，还是分数。 第四类：1/81, 2/81, 1/81, 2/81... 还是分数。 你看，只要分母是 3 的幂次方，这一堆数字如何分，本质上都是分数。它们没有小数点，没有无限循环，它们就是有理数。 但什么的，咱们持续往下走，扔到垃圾桶（即第三类）的那一局部，会形成啥？ 这一类数字序列是：1/81, 2/81, 1/81, 2/81... 全是分母为 81 的分数。 再往后，扔到第 32 类。

这一类的分母变成了 81 的 3 次方，也就是 729。数字是 1/729, 2/729, 1/729... 还是分数。 再往后，扔到第 33 类。分母是 729 的 3 次方，243。数字是 1/243, 2/243... 还是分数。 你感觉到了啥吗？这一类分母一辈子是 3 的幂次方的倍数。

也就是说，只要分母是 3 的幂次，甭管它是多少，它绝对都是有理数。 但这时候难题来了：我们刚刚扔进垃圾桶的那些数字，到底有没有可能是无理数呢？比如那个著名的 $sqrt{2}$ 要么 $pi$？康托尔构造的集合里，确实有“坏”的数吗？ 让我们看看那些被“吃”掉的局部。

比如第一段被吃掉的 1/3。它的补集是 2/3，也是有理数。

第二段被吃掉的 (1/3)² = 1/9。它的补集是 8/9，有理数。从 32 启动，被吃掉的数都是分母为 3 的幂次方的整数吗？ 是的！每一段被吃掉的局部，它的分母都是 $3^k$ 的整数倍。

这意味着，对于任何被“吃”掉的数，它都务必是 $frac{p}{3^k}$ 的形式。

这种数，根据定义，绝对是有理数。 故此，当我们把所有被“吃”掉的数加起来的时候，拿到的集合，本质上还是由有理数构成的。 这就怪了。康托尔明明说了三分集是一个“无处稠密”的集合。啥？他居然说它有理数啊？ 别慌，这恰恰是康托尔哲学的精髓所在。他试图证明，就算你把所有看起来像无理数的东西都剔除掉了，剩下的那个“地基”里，依然藏满了有理数。并且，这个“地基”覆盖的范围，竟然比我们要扔掉的那些无理数还要多！ 故此，康托尔三分集里，不仅有有理数，还有无理数。 具体来说，那些被“扔”进垃圾桶里的数字，构成了无理数。出于分母是 $3^{3^k}$ 的倍数，故此它们确实不是分母为 3 幂次的有理数。但它们依然是有理数。 什么的，这里有个逻辑陷阱。康托尔构造的集合里，只有那些分母是 $3^{3^k}$ 的数的补集才是无理数。 让我们重新梳理一下。 集合 $A$ 是所有分母为 $3^k$ 的数的集合。

这是有理数。 康托尔的构造过程里，我们不断扔掉一局部数。 第一轮扔掉的是分母为 3 的数。 第二轮扔掉的是分母为 9 的数。 第三轮扔掉的是分母为 27 的数。 ... 直到无穷。 所有被扔掉掉的数，分母都是 3 的幂次。

故此它们都是有理数。 剩下的数，补集是那些分母不是 3 的幂次的数。 这种数，根据定义，必然是无理数。 故此，康托尔三分集里，有理数和无理数的界线，实际上就在 $3^k$ 这个神奇的分母上划了一道深深的沟。 有理数：分母是 $3^k$ 的数。 无理数：分母不是 $3^k$ 的数。 你看，这一堆无理数，长得多么像有理数啊。它们的补集，由 $3$ 的幂次方支配。

这简直像是一场精心设计的游戏。有理数们，你站边，我站边，但所有无理数，都只玩 $3$ 的幂次方这一套招数。 故此，康托尔三分集是啥？它是一个包含了所有无理数的集合，并且这个集合的内部结构，比任何有界区间都要复杂和不可分割。 它没有端点。它没有边界。

哪怕你拿一把刀，切它，切出一道缝，这一道缝里也包含不了任何区间，出于它由点组成。但这一堆点，又是密密麻麻的。 并且，这个集合本身是有理数。 这就是康托尔最妙的地方。它证明白有理数并不是“最底层”的东西。无理数们，也是分母受限的数。它们也是分母为 $3$ 的幂次方的数。 故此，整个空间被分成了两类：一类是 $3^k$ 的倍数，另一类不是。 前者是有理数，后者是无理数。 这听起来忒荒谬了，对吧？无理数如何会是分母为 3 的幂次？它们不是$pi$吗？不是$sqrt{2}$吗？ 答案是肯定的：康托尔构造的这个特定集合里，无理数是有理数。 出于在这个集合的定义中，无理数的分母务必是 $3^{3^k}$ 的数。 而像 $pi$ 这样的数，它的分母（在数学分析中一般隐含为无穷大，要么写成 $3^infty$）在康托尔的序列构造里，并没有出现。 故此，康托尔三分集里： 1.有理数：分母是 $3^k$ 的数。康托尔说这是集合 $A$。 2.无理数：分母不是 $3^k$ 的数。康托尔说这是集合 $B$（补集）。 并且集合 $B$ 内部全是无理数。 故此，康托尔三分集是一个由无理数构成的集合。而所有的有理数，都跑到了集合 $A$ 里。 你看，有理数们和康托尔三分集里的无理数们，哪位都不是集合的“主人”。它们都是被强制分类的。 有理数：分母是 $3^k$。 康托尔无理数：分母不是 $3^k$。 它们分道扬镳，互不干扰。 故此，康托尔三分集，这个结构贼漂亮，却贼冷酷。它把无理数们关进了一个分母受限的笼子里，而把所有有理数们扔进了另一个分母受限的笼子里。 在这个笼子里，你不仅能数出所有的无理数，还能证明它们内部毫无空隙。你切一块，能切出更小的块，也能切出更小的块，直到无穷。 而所有有理数，别看也分母受限，但它们构成了整个实数系的“骨架”。 故此，当我们说康托尔三分集时，我们实际上在说：实数系能够被分门别类。 一类是 $3^k$ 的倍数（有理数）。 另一类是 $3^k$ 的倍数之外的无理数。 这个结构，展示了无穷性。无穷性不是不清楚的，它是有规则的。规则就是 $3$ 的幂次方。 这就是康托尔。就是他的三分集。 它告诉我们：就算所有的无理数都被剔除，剩下的地基里，依然藏着有理数的秘密。 并且，这个地基，是由分母为 $3$ 的幂次方的数构成的。 故此，无理数不是“整”的数，它们是“残缺”的数。 有理数是“整个”的数，它们是“规整”的数。 康托尔三分集，把这两类数分成了对立面。 有理数：规整。 无理数：残缺。 这就是数学的真相。

没有哪位比康托尔更懂得如何把数学拆得支离破碎，却又拼得精妙绝伦。 这就是康托尔三分集的公式。 (1/3, 2/3) -> 有理 (1/9, 2/9, 1/9, 2/9...) -> 有理 (323/81, 410/81...) -> 有理 (1/81, 2/81, 1/81, 2/81...) -> 有理 (1/729, 2/729, 1/729...) -> 有理 ... 所有分母是 3 的幂次方的数都是有理数。 所有分母不是 3 的幂次方的数，在康托尔的构造里，构成了无理数集合。 故此，康托尔三分集，实际上是一个由无理数组成的集合，但这个集合的“所有者”是康托尔自己。 他证明白无理数也是有理数的“亲戚”。 这就是数学。 你看着康托尔三分集，看到的不是无理数，看到的是有理数。 你看不到无理数，出于它们被藏在了分母为 $3^{3^k}$ 的补聚拢。 故此，康托尔三分集，是一个合理的集合。 它包含了所有无理数。 它由无理数构成。 这就是康托尔。 (1/3, 2/3, ... 323/81, 410/81, ... 1/243, 2/243, ... 1/729, 2/729, ...) 这就是它。 这就是公式。 这就是康托尔。