打开主菜单

卢津定理

(重定向自卢辛定理

卢津(Лузин)定理实分析的定理。約略來說,這定理指可測函數差不多是連續函數

定理敘述编辑

一維形式编辑

 可測函數,對任何 ,都存在緊緻集 ,使得 ,而且f限制到E上是連續函數。此處 勒貝格測度

證明编辑

因為f可測,所以在一個測度任意小的開集以外,f有界函數。在開集上重定義f為0,那麼f在[a,b]上有界,因而是可積函數。因為連續函數在可積函數的空間 稠密,存在連續函數序列 L1範數收斂至f,即 。故此有子序列 幾乎處處收斂至f。從葉戈羅夫定理可知,除了一個測度任意小的開集外, 一致收斂f。因為連續函數的一致收斂極限仍是連續的,故此f在此開集外連續。取E為以上兩個開集的並集在[a,b]中的補集,那麼原本的fE上連續。

多維形式编辑

  上的正則博雷爾測度  可測函數X 中的 可測集,而且 ,那麼對任意 X中存在緊緻集K,使得 ,而且f限制到K上是連續函數

參考编辑

  • Evans, Lawrence C.; Gariepy, Ronald F. (1992). Measure theory and fine properties of functions. CRC Press.