卢津定理

维基百科,自由的百科全书
跳转至: 导航搜索

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

定理敘述[编辑]

一維形式[编辑]

可測函數,對任何,都存在緊緻集,使得,而且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.