勒贝格可测集是
实变函数论的重要概念之一,指勒贝格意义下可求“长度”、“面积”或“体积”的一类集合。
勒贝格首先考虑直线上的点集,定义开区间(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)。
通过对外测度的深入研究,
卡拉西奥多里于1914年给出了前面所述的可测集的定义,这个定义与勒贝格的定义是等价的,而且后来成为建立抽象测度论的有力工具。