勒贝格可测集
勒贝格意义下可求“长度”,“面积”或“体积”的一类集合
勒贝格可测集是实变函数论的重要概念之一,指勒贝格意义下可求“长度”、“面积”或“体积”的一类集合。
简介
勒贝格可测集是实变函数论的重要概念之一,指勒贝格意义下可求“长度”、“面积”或“体积”的一类集合。
若m*为Rn上的(L)外测度,E⊂Rn且满足卡拉西奥多条件,即对任意点集T⊂Rn,有则称集E为勒贝格可测集,简称(L)可测集。
点集的可测集
勒贝格可测集并不是勒贝格本人给出的。
勒贝格首先考虑直线上的点集,定义开区间(a,b)的测度为(a,b)的长度b-a:m((a,b))=b-a;再定义有界开集G的测度为G的构成区间的长度之和,即若,(ak,bk)为G的构成区间,则。
对一般的有界点集E,把所有包含E的有界开集的测度的下确界称为E的外测度,记为m*(E),即m*(E)=inf{m(G)|G为开集且G⊃E};把所有包含E的有界开集的测度的上确界称为E的(勒贝格)内测度,记为m*(E)或|E|i,即m*(E)=sup{m(F)|F为闭集且F⊃E};显然,m*(E)≤m*(E);若m*(E)=m*(E),则称E为可测集,它的外测度与内测度所具有的共同值称为E的测度,记为m(E)=m,(E)=m*(E)。
若E为无界集,且它与任何有界开区间的交是可测集,则称E是可测集,其测度定义为其中{Ik}为递增开区间列,且,而且m(E)可能为+∞。
以上关于R中点集的可测集与测度的概念可以推广到Rn中的点集上去,而且这种推广并无实质性的困难。
发展
勒贝格可测集与测度的优点是自然、直观,然而定义中使用了内测度与外测度,这样,使用起来很不方便。因此人们希望寻求一个比较简洁的等价定义。
通过对外测度的深入研究,卡拉西奥多里于1914年给出了前面所述的可测集的定义,这个定义与勒贝格的定义是等价的,而且后来成为建立抽象测度论的有力工具。
参考资料
最新修订时间:2023-01-09 12:44
目录
概述
简介
点集的可测集
参考资料