本講義主要參考周民強《實變函數論》[1],今天開始我們的第五章《微分與不定積分》的講解,重點是要在Lebesgue積分理論中推廣微積分基本定理,並給出萊布尼茨公式成立的充要條件,若
即
往期推文對實變初學者非常重要的引言
Lebesgue積分習題練習
實變函數第一章《集合與點集》
實變函數第二章《Lebesgue 測度》
實變函數第三章《可測函數》
實變函數第四章《Lebesgue積分》
用書的版本5.1 單調函數的可微性這一節主要討論了Vitalli 覆蓋定理以及單調函數的可微性
定義 5.1.1 設
定理 5.1.1 設
注意:這個結論關鍵是它的覆蓋變成了有限個子集,它與有限覆蓋定理的區別.
證明: (1)任取一區間
則
再繼續我們可以得到互不相交區間
定義 5.1.2 設
這分別稱它們為
這個概念實際上是把導數概念中的極限拆分成幾個部分,從更細的角度考慮問題.
顯然有
證明: (1) 的結論是顯然的,下面給出的(2) 證明,用
注意上極限和
定理 5.1.2 若
證明: 首先先證明,對於
則只需證明下面兩個點集:
當
而
若能證明
若記
則只需證
現證明
由於
考慮
根據Fatou引理可得
書中給出了一個例子說明"單調函數幾乎處處可微"是不能改進的.這裡不能改進是什麼含義? 首先完全可微的單調函數是存在的,例如
由於
則
定理 5.1.3 設
證明: 這個需要用到Lebesgue定理,也反映了Lebesgue積分理論的優越性,只不過這裡只有幾乎處處成立的結論.
5.2 有界變差函數定義 5.2.1 設
及相應的和
稱之為
例 5.2.1 若單調函數
例 5.2.2 若
其證明中是使用了微分中值定理
例5.2.3 若在
則
證明: 考慮分化
即
定理 5.2.1 若
證明: 考慮
如果
反向不等式的證明利用
根據
即證
定理 5.2.2 [Jordan分解]
證明: (1) 考慮
則
(2) 單調函數是有界變差函數,
這個分解揭示了有界變差函數與單調函數的關係,而單調函數是幾乎處處可微的,繼而有界變差函數是幾乎處處可微的且
定理 5.2.3 若
證明: 考慮
因此
未完續...
參考資料[1]周民強:,編著: 實變函數論,北京大學出版社.