Lebesgue 测度

分类: 基础理论

Lebesgue 测度

定义

欧几里得空间上推广”长度/面积/体积”概念的标准测度，赋予每个可测集一个非负实数值

数学形式

m([a,b])=b−a,m(Rn)=∞\mathfrak{m}([a, b]) = b - a, \quad \mathfrak{m}(\mathbb{R}^n) = \infty

对 RD\mathbb{R}^D 中维度 <D< D 的子流形，m=0\mathfrak{m} = 0。

核心要点

低维子集（如曲面、曲线）在高维空间中测度为零

在 Big2Small 的统一压缩框架中，五种压缩方法的压缩集 Σ†\Sigma^{\dagger} 都是低维子集，因此 m(Σ†)=0\mathfrak{m}(\Sigma^{\dagger}) = 0，严格保证了压缩的可行性

这解释了为什么模型压缩”几乎总是可行的”——被压缩参数集在原始参数空间中体积为零

代表工作

Big2Small: 用 Lebesgue 测度定义参数集大小，证明通用可压缩性

相关概念

测度论