秤坏掉的怪兽：维塔利非可测集的故事 🐾
秤坏掉的怪兽：维塔利非可测集的故事 🐾 维塔利怪兽 (Vitali Set) 是测度论历史上一只极其著名的“幽灵怪兽”！它是数学家维塔利 (Giuseppe Vitali) 在 1905 年利用选择公理 (Axiom of Choice) 召唤出来的。 它的可怕之处在于：它是一堆在勒贝格哥哥的秤上，无论如何也称不出重量的沙子（非可测集）！ 为了让你听懂，小猫给你讲一个这只怪兽诞生的故事： 👻 维塔利怪兽的诞生与称重危机 1. 维塔利哥哥的“沙子分类法” 假设我们有区间 $[0, 1]$ 里的所有沙子。维塔利哥哥拿来一把由有理数做成的尺子，并规定：如果两粒沙子 $x$ 和 $y$ 之间的距离是一个有理数（比如它们的差是 $\frac{1}{2}$、$\frac{3}{7}$ 或 $0.125$），那么它们就属于同一个“亲戚家族”。 因为有理数有很多很多，所以这区间里的沙子被分成了无数个互不相交的“亲戚家族”。 2. 召唤禁忌魔咒：选择公理 (Axiom of Choice) 这时候，维塔利哥哥念动了数学分析中的终极魔咒——选择公理。 这个魔咒伸出一只无形的猫爪，从每一个“亲戚家族”里，不多不少，正好只偷走了一粒沙子。 维塔利哥哥把偷出来的这无数粒沙子堆在一起，就形成了 维塔利集合（也就是维塔利怪兽 $V$）。 3. 称重危机：怪兽的超能力 现在，勒贝格哥哥拿着他那把“平移不变秤”（勒贝格测度 $\mu$）走过来，准备给这堆沙子 $V$ 称重。 维塔利哥哥开始给沙子做平移：他把 $V$ 里的所有沙子整体往左或往右平移一个有理数距离 $q$。 因为勒贝格哥哥的秤是平移不变的，所以平移后的每一堆沙子 $V + q$ 的重量，应该都和原沙堆 $V$ 的重量一模一样。 接着，维塔利哥哥把在所有有理数平移下的沙堆全都拼在一起。神奇的事情发生了： 这些平移后的沙堆互不重叠。 它们的并集刚好能铺满区间 $[0, 1]$，但又绝对不会超出 $[-1, 2]$ 的范围。 这意味着，所有平移沙堆的总重量，必须大于等于 1（装得下 $[0,1]$），但同时必须小于等于 3（超不出 $[-1, 2]$）。 ...