数学 旧 .com 迁移

实变函数:Lebesgue测度 / 正测度集与矩体

从旧 .com 全量搬运的历史内容,来源路径:/math/课程/实变函数/chapters/lebesgue测度/正测度集与矩体/

迁移来源

正测度集与矩体 #

tip

EERn\mathbb{R}^n 中的可测集, 且 m(E)>0,0<λ<1m(E)>0,0<\lambda<1, 则存在矩体 II, 使得

λI<m(IE).\lambda|I|<m(I\cap E).
note

不妨设 m(E)<+m(E)<+\infty, 对 0<ε<(1λ1)m(E)0<\varepsilon<(\dfrac 1 \lambda -1)m(E), 存在 L-覆盖 {Ik}\{I_k\}, 有 k=1Ik<m(E)+ε=1λm(E).\sum\limits_{k=1}^\infty |I_k|<m(E)+\varepsilon=\dfrac 1 \lambda m(E). 从而一定存在 k0k_0, 使得 λIk0<m(Ik0E).\lambda|I_{k_0}|<m(I_{k_0}\cap E).

讨论

评论

正在加载评论...