【中配】数学最诡异的集合:维塔利集 维塔利集(Vitali Set)是一个“没有大小”的集合。这并不是说它的长度为 0 或无穷大,也不是因为我们的测量工具不够先进。而是根据数学逻辑,这个集合根本不可能拥有任何意义上的大小(测度)。它是测度论(Measure Theory)中不可测集的终极案例。 1. 构造:有理数的“等价类” 维塔利集的构造基于一个简单的等价关系: 定义:如果在区间 $[0, 1]$ 里的两个实数 $x$ 和 $y$ 之差是一个有理数(即 $x - y \in \mathbb{Q}$),我们就说它们属于同一个“家族”(等价类)。 选择:利用选择公理 (Axiom of Choice),我们从每一个这样的“家族”中恰好挑选出一个代表。所有这些代表组成的集合就是维塔利集 $V$。 2. 逻辑陷阱:为什么它不可测? 假设维塔利集有一个长度 $L$,我们会陷入一个无法逃脱的悖论: 平移不变性:如果我们把维塔利集沿着数轴平移一个有理数 $q$,它的长度应该依然是 $L$。 铺满区间:如果我们用区间 $[-1, 1]$ 内的所有有理数对 $V$ 进行平移,并把这些平移后的集合全部加起来,它们会恰好覆盖住区间 $[0, 1]$,但又不会超出区间 $[-1, 2]$。 计算崩溃: 如果 $L = 0$,那么无数个 $0$ 相加依然是 $0$,无法覆盖长度为 $1$ 的区间。 如果 $L > 0$,那么无数个正数相加将趋于无穷大,远远超出了目标区间的有限长度。 结论:$L$ 既不能是 0,也不能是大于 0 的数。因此,维塔利集是不可测的。 3. 选择公理的代价 维塔利集的出现是数学界的一场“地震”。它证明了: 测度的局限:我们无法定义一个能够测量实数轴上所有子集的、且满足平移不变性的长度系统。 公理的权衡:如果你接受选择公理(这在现代数学中几乎是必须的),你就必须接受世界上存在像维塔利集这样逻辑上存在、但几何上无法度量的“怪物”。 4. 对现代数学的影响 维塔利集是勒贝格测度论诞生的直接动力之一。它迫使数学家们意识到,必须严格区分“可测集合”和“不可测集合”。它是理解巴拿赫-塔斯基悖论(一个球变两个)的关键——因为那些被拆分的碎片本质上就是维塔利集这种类型的不可测集。 原视频标题:Math's Strangest Set 原作者:Abide By Reason #青年创作者成长计划 #最近迷上了新东西
00:00 / 11:47
连播
清屏
智能
倍速
点赞106
00:00 / 02:39
连播
清屏
智能
倍速
点赞28
00:00 / 01:26
连播
清屏
智能
倍速
点赞119
00:00 / 02:28
连播
清屏
智能
倍速
点赞46
00:00 / 03:00
连播
清屏
智能
倍速
点赞32
00:00 / 04:29
连播
清屏
智能
倍速
点赞5768