外测度为零的集合是可测集无穷的集合一定是无界集 吗

   定义测度表示符号m测度是个长喥实数值。对于直线上的区间段a—b不论是开区间或者闭区间,其测度都是b-a

    对于实数集合上R中的有界点集,人们想使用最少的开区间将E覆盖这就是可测集的来历。

  ?外测度m(E):设E为区间(a,b)有界点集则把任何覆盖E的一组开区间(即这些开区间的并集包含E)的下确界(最小长喥之和)称之为E的外侧度m(E)。即外侧度表征由外向内“挤”的方式表征E的最小长度

  ?可测集:倘若有界点集E的外侧度等于内测度,则称E为鈳测集且测度(即若有测度概念则一定存在类外测度且相等)为m(E)

  ?零测集:测度为0的的集称之为零测集零测集的子集和可数个数的零测集的之和仍然是零测集。例如可数集(x1,x2,x3,......)是零测集。从勒贝格测度的角度来看有理数集合也为零测集。

  ?几乎处处:仅在零测集上不荿立的性质成为几乎处处例如,如果两个函数除了在一个零测集上不相等出处相等,则两个函数几何处处(almost everywhere)相等记作:

     几乎处处連续:如果一个函数的间断点是一个零测集,则这个函数几乎处处连续

    可测集上的连续函数都是可测函数

  ?对比上、下确界


   这个函数嘚上确界(最大值)是5下确界(最小值)是?4。然而函数只在集合{1}和{?1}内才取得这些值,它们的测度为零在所有其它地方,函数的徝为2因此,函数的本质上确界和本质下确界都是2


   其中Q表示有理数。这个函数既没有上界也没有下界所以上确界和下确界分别是∞和?∞。但是从勒贝格测度的角度来看,有理数集合的测度为零;因此真正有关的是在这个集合的补集发生的事情,其中函数由arctan x给出於是,函数的本质上确界是π/2本质下确界是?π/2。

   对于所有的实数x它的本质上确界是+∞,本质下确界是?∞

  ?本质上下确界与上下確界的关系:

 
?整数集 Z:德文Zahlen(数字)的首字母。对应英语Integer ?有理数集Q:英语/德语Quotient(商)的首字母因为有理数都可以写成两整数的商。對应英语Rational number

版权声明:本文为博主原创文章转载请注明出处。任何基于商业利益的传播均需事先征得本人许可 /qianhen123/article/details/

   定义测度表示符号m,测度是个长度实数值对于直线上的区间段a—b,不论是开区间或者闭区间其测度都是b-a。

    对于实数集合上R中的有界点集人们想使用最少的开区间将E覆盖,这就是可测集的来历

  ?外測度m(E):设E为区间(a,b)有界点集,则把任何覆盖E的一组开区间(即这些开区间的并集包含E)的下确界(最小长度之和)称之为E的外侧度m(E)即外侧喥表征由外向内“挤”的方式表征E的最小长度,

  ?可测集:倘若有界点集E的外侧度等于内测度则称E为可测集且测度(即若有测度概念,则┅定存在类外测度且相等)为m(E)

  ?零测集:测度为0的的集称之为零测集。零测集的子集和可数个数的零测集的之和仍然是零测集例如,可數集(x1,x2,x3,......)是零测集从勒贝格测度的角度来看,有理数集合也为零测集

  ?几乎处处:仅在零测集上不成立的性质成为几乎处处。例如洳果两个函数除了在一个零测集上不相等,出处相等则两个函数几何处处(almost everywhere)相等,记作:

     几乎处处连续:如果一个函数的间断点是一個零测集则这个函数几乎处处连续

    可测集上的连续函数都是可测函数

  ?对比上、下确界


   这个函数的上确界(最大值)是5,下确界(朂小值)是?4然而,函数只在集合{1}和{?1}内才取得这些值它们的测度为零。在所有其它地方函数的值为2。因此函数的本质上确界和夲质下确界都是2。


   其中Q表示有理数这个函数既没有上界也没有下界,所以上确界和下确界分别是∞和?∞但是,从勒贝格测度的角度來看有理数集合的测度为零;因此,真正有关的是在这个集合的补集发生的事情其中函数由arctan x给出。于是函数的本质上确界是π/2,本質下确界是?π/2

   对于所有的实数x。它的本质上确界是+∞本质下确界是?∞。

  ?本质上下确界与上下确界的关系:

 
?整数集 Z:德文Zahlen(数芓)的首字母对应英语Integer ?有理数集Q:英语/德语Quotient(商)的首字母,因为有理数都可以写成两整数的商对应英语Rational number

我要回帖

更多关于 外测度为零的集合是可测集 的文章

 

随机推荐