设f(x)是定义在上的连续函数,对任意的t∈R1,令Et={x∈E:f(x)>t},试证明存在Rn中包含E的开集Gt,使得Et=E∩Gt.
设f(x)是定义在(-∞,a)上的连续函数,对任意的t∈R1,令TEt={x∈E:f(x)>t},试证明存在Rn中包含E的开集TGt,使得Et=E∩Gt.
∫ [T,a+T] f﹙x﹚dx
令y=x-T.∫ [T,a+T] f﹙x﹚dx= ∫ [0,a] f﹙y﹚dy=∫ [0,a] f﹙x﹚dx
∫ [a,a+T] =∫ [a,0] +∫[0,T] +∫ [T,a+T]
=∫ [a,0] +∫[0,T] +∫ [0,a]
=∫[0,T] 从而可知,这就是Et=E∩Gt.