测度定义_2.1——测度导论

个人实分析拙劣的笔记,仅供鄙薄.

参考书籍:Folland,《Real Analysis, Modern Techniques and Their Applications》(Second Edition)

---

我们希望对于几何世界的对象精确描述其面积或者体积.我们在微积分/数学分析中就学过用积分计算曲线围成的区域的面积或者曲面所围的体积.当然啦,这些曲线或者说曲面我们都要求它们是比较nice的,稍微复杂一点的对象就处理不了啦.因此,我们灰常希望有一个函数

,对于任意

,都有

.其是用来度量

的"大小"的,显然有无穷大的集合,比如

本身,因此这个函数可以取到

是自然的.并且当

比较规则,即可以用微积分理论去计算面积或者说体积的时候,其得到的体积应该是和

一致的.此外,这样的函数

应该满足以下性质:

(1).设

是有限或无穷个不交集合序列,则

(2).若

与

是一致(congruent)的,即

可以经过平移,旋转,对称变换为

.则

.

(3).对于单位方块

有

.

很遗憾,以上性质是排斥的,至少可以说不能对于任意的

成立.我们在一维空间上给出一个例子(论断容易推广到高维).

我们定义

上的等价关系:

令

是

的每一等价类取一个元素构成的集合,其存在性依赖于选择公理.记

,且对每一

令

即将

做了一种特殊的"循环"平移.则显然

.而每一

,显然存在某个

使得

.此外,容易看出

是两两不交的.因此

另一方面,假设存在函数

其满足三个性质,则由性质(1)和(2)可得:

则此时有

显然是一个悖论.

因此,我们也许可以考虑将条件(1)弱化一下,弱化为对有限个集合成立.事实上,这个想法是非常bad的.因为啊,分析当然是要研究无穷的问题,无穷才能使得理论更加良性运转.另外呢,即便是弱化(1)以后,结论也是不成立的.事实上,在1924年,Banach与Tarski证明了以下令人震惊的结论:

和

是

中任意两个有界集,

.则存在

,以及集合

使得

(i).

是

的不交子集,且其并为

.

(ii).

是

的不交子集,且其并为

.

(iii).

与

一致(congruent),

.

这个结论为啥子是惊人的,这说明了啥玩意儿！我们给一个足球,给一个地球,这个足球可以分割成有限部分,再拼接成地球辣么大.当然这个分割的部分是非常病态的.此外它们的构造依赖于选择公理.

这样一个结论告诉我们弱化(1)也是不行滴.

以上例子都告诉我们弱化对

性质要求是行不通的,而且告诉我们存在很多奇奇怪怪的集合.因此,我们考虑缩小

的定义域,它不应该对所有的集合都背负不属于它的责任.我们只需要让它去处理在实际问题中遇到的集合,而排除一些非常变态的集合.

我们将这个我们需要构建的

称为测度,名字非常形象,不是嘛？不少书籍是从Lebesgue测度开始讲起的(一种特别的测度),比如Stein那本书.这当然有好处,在于非常几何直觉化.但是如果从一般的测度讲起也不会产生多少额外的工作,因此我们继续采用Folland的做法,先从一般测度入手.

当然啦,在欧几里得几何中,测度的意义在于表征一个对象的大小.但是实际上,在别的空间里它有着其他的意义.比如在物理问题中,测度可以表示对象的质量.在概率论中,测度可以表示一个事件发生的概率.

从下一节开始我们正式入手抽象测度论,即一般测度论.