附加赛：哥哥们的“猫砂盆特征大PK”

为了看清哪个猫砂盆的性能最强，我们把常用测度（猫砂）的物理与几何性质拉出来，按照小鱼干从少到多的顺序做个大PK：

猫砂盆与设计师 🐾滑滑梯加速度！
(滑得够不够快？/LSI)		猫粮能装满吗？
(能归一为1包吗？)		碗底够不够凹？
(有无重力坡度/强凸)		拖着走变重吗？
(平移重量不变吗？)		支持平行宇宙吗？
(无限维张量积友好？)		没有幽灵怪兽！
(没有非可测集？)		小鱼干 ✅ 计数
勒贝格水泥平地 (Lebesgue)
欧氏空间体积测度		❌❌❌✅❌❌1
哈尔传送滑道 (Haar)
局部紧群不变测度		❌❌ (非紧群)❌✅❌❌1
波莱尔空纸箱 (Borel)
最基础的可测量框架		❌❌❌❌✅✅2
卡氏质检防漏箱 (Carathéodory)
外测度剖分可测集		❌❌❌❌✅✅2
柯氏公理大包装 (Kolmogorov)
归一化标准概率空间		❌✅
(限定为1包)		❌❌✅
(柯氏扩张定理)		❌2
拉东-尼科迪姆黄油面包盆 (Radon-Nikodym)
绝对连续密度比例盆		❌/✅
(取决于底沙)		✅❌/✅
(取决于密度)		❌✅❌
(连续盆里不安全)		2.5
里斯蒲公英魔法盆 (Riesz)
线性评分映射测度		❌/✅
(取决于对偶)		✅❌/✅
(取决于对偶)		❌✅❌2.5
带有浅坑的滑滑梯盆 (Holley-Stroock)
有界非凸扰动吉布斯测度		✅✅❌❌✅❌3
看不见的螺旋下坡道 (Bakry-Émery)
正曲率流形体积测度		✅✅✅❌❌❌3
高斯黄金沙盆 (Gauss)
标准高斯测度		✅✅✅❌✅❌4
伯努利深空孤盒 (Bernoulli)
离散格点/两点概率分布		✅✅✅❌✅✅5

🏆 哥哥们的“猫砂盆段位大分组”

因为开会的哥哥和猫砂盆实在太多了，小猫把他们分成了四大段位，方便大家认人：

  • 🥉 青铜打底段位（1~2 个 ✅） —— “没有我们，就没有地基组”
    • 成员：勒贝格、哈尔、波莱尔、卡拉泰奥多里、柯尔莫哥洛夫。
    • 猫咪锐评：虽然拿的小鱼干最少，但千万不要小瞧他们！没有波莱尔的纸箱和勒贝格的地板，后面那些高级猫砂盆连放的地方都没有呢！
  • 🥈 白银戏法段位（2.5 个 ✅） —— “万物皆可关联的魔术组”
    • 成员：拉东-尼科迪姆、里斯。
    • 猫咪锐评：这一组的哥哥们不生产新猫砂盆，但擅长在不同的猫砂盆之间搭桥梁。比如把两个盆叠在一起比比例，或者把看不见的打分力场变成摸得着的沙子！
  • 🥇 黄金主战段位（3~4 个 ✅） —— “指数收敛的绝对主力组”
    • 成员：霍利-斯特鲁克、贝克里-艾梅里、高斯。
    • 猫咪锐评：LSI 帝国的真正中流砥柱！要么天生就是完美的强凸金碗（高斯），要么能用严格的曲率卡尺进行质检（贝克里-艾梅里），甚至在盆地被踩坏时还能帮忙打补丁（霍利-斯特鲁克）。滑滑梯速度的绝对保障！
  • 👑 终极王者段位（5 个 ✅） —— “无幽灵的纯净颗粒组”
    • 成员：伯努利。
    • 猫咪锐评：凭借“纯离散、无幽灵怪兽风险”的降维打击爆冷夺冠！在颗粒分明的格点世界里，伯努利哥哥就是唯一的神。

[!CAUTION] 👻 测度界的幽灵：可怕的“维塔利怪兽” (Vitali Set)

在连续的实数空间中，并不是所有奇形怪状的子集都能被“称重”的。如果乱来，就会召唤出把秤弄坏的维塔利怪兽：

  1. 分类沙子：维塔利哥哥用“有理数尺子”给 $[0, 1]$ 的沙子分类。如果两粒沙子之间的距离是有理数，就归为同一个亲戚家族。
  2. 禁忌魔法：利用选择公理 (Axiom of Choice)，从每个亲戚家族里正好偷走一粒沙子，堆在一起形成维塔利集合 $V$。
  3. 称重危机：如果把 $V$ 整体往左或往右平移一个有理数距离，会得到无数个互不相交的平移沙堆。根据平移不变性，它们的重量应该全部等于 $\mu(V)$。
  4. 秤坏掉了：这些平移后的沙堆拼起来恰好铺满 $[0, 1]$且不超过 $[-1, 2]$，因此它们的总重量之和必须在 $1$ 到 $3$ 之间：
    • 若每堆重 $0$，则无限个 $0$ 相加仍为 $0 < 1$，矛盾！
    • 若每堆重大于 $0$，则无限个正数相加为 $\infty > 3$，矛盾！

结论：维塔利怪兽 $V$ 在勒贝格测度下根本没有可定义的实数重量！这就是非可测集 (Non-measurable Set)。所以，在连续盆地里称重必须要有波莱尔纸箱的层层保护，而不能用选择公理胡乱拼凑。

想听维塔利怪兽被召唤的详细故事，以及伯努利哥哥如何用颗粒猫砂安全防漏？

维塔利非可测怪兽