實(shí)變函數(shù)教案ch10附錄介紹new

1、第十章 附 錄10.1. R中Lebesgue測(cè)度的平移不變性及Lebesgue不可測(cè)集定義1設(shè)，稱 為E關(guān)于y的平移引理1設(shè)，則 成立：(1) ； (2) ； (3) ( 據(jù)，10題 ) (證略)定理1. (測(cè)度的平移不變性) 若E可測(cè)，則也可測(cè)，且 證：由， 11題知，E可測(cè)可測(cè)， 且 Zermelo選擇公理對(duì)于集族，若每個(gè)，則 ，可選取元素 Lebesgue不可測(cè)集的構(gòu)造：，記 結(jié)論：(i) 且 (ii) 當(dāng) 當(dāng) ，可取 ，則 矛盾 對(duì)上的集族，每個(gè)非空，可取，得集合下證F是不可測(cè)集為此，記 ，(iii) 若 則 假設(shè) 滿足 從而 ，且不為0，于是，這樣，包含兩個(gè)不同的點(diǎn)和，與F的取法矛

2、盾(iv) 顯然， ，設(shè) ，則 由于 從而 有了以上準(zhǔn)備，易證明F的不可測(cè)性反證法假設(shè)F可測(cè)，則也可測(cè)，且但 互不相交，故 ， 即 是常數(shù)，這不可能成立所以，F(xiàn) 不可測(cè)10.2 有界變差函數(shù)與絕對(duì)連續(xù)函數(shù)定義10.2.1. 實(shí)函數(shù)， 的分劃， 記 ， 稱 為 f 在分劃下對(duì)應(yīng)的變差若 ，則稱為上的有界變差函數(shù)，記 ；稱 為在上的全變差；稱 ， 為的全變差函數(shù)定義10.2.2. 實(shí)函數(shù)若對(duì)于上任意有限個(gè)互不相交的開(kāi)區(qū)間，當(dāng) 時(shí)，有 ，稱為上的絕對(duì)連續(xù)函數(shù)(或全連續(xù)函數(shù))定義10.2.3. 設(shè) ， 稱 ， 為 f 的一個(gè)不定積分（書(shū)上錯(cuò)）定理10.2.1. (1) 若，則 有 ； 若 使得且，則

3、，且有 ，(2) , (3) 若， 則 ， 且 ， ； ， ； ， ，其中分別為在上的界說(shuō)明是一個(gè)線性空間(4) 若為上的有界單調(diào)函數(shù)，則 ， 且 .(5) 若， 則與具有相同的左、右連續(xù)點(diǎn).(6)（Jordan分解）若，則存在上的兩個(gè)單增函數(shù)，滿足 定理10.2.2.( 以下函數(shù)的定義域均為 )(1) 絕對(duì)連續(xù)函數(shù)必為一致連續(xù)函數(shù)；(2) 絕對(duì)連續(xù)函數(shù)必為有界變差函數(shù)；(3) 滿足Lipschite條件的函數(shù)必為絕對(duì)連續(xù)函數(shù)；(4) L可積函數(shù)的不定積分為絕對(duì)連續(xù)函數(shù)，且；(5) 絕對(duì)連續(xù)函數(shù)的線性組合與乘積為絕對(duì)連續(xù)函數(shù)；(6) 絕對(duì)連續(xù)函數(shù)的全變差函數(shù)為絕對(duì)連續(xù)函數(shù)；(7) 絕對(duì)連續(xù)函數(shù)

4、必可分解為兩個(gè)單增的絕對(duì)連續(xù)函數(shù)之差引理1. (略)引理2. R上的有限值單調(diào)函數(shù)關(guān)于 可導(dǎo)定理10.2.3.設(shè)為上的有界單增函數(shù)，在的導(dǎo)數(shù)不存在的點(diǎn)x 處規(guī)定為任一值，則，且 推論若或絕對(duì)連續(xù)函數(shù)， 則 f 在上 存在有限導(dǎo)數(shù) 若在 不存在的點(diǎn)處規(guī)定 為任一值， 則 引理3. 若為上的絕對(duì)連續(xù)函數(shù)，且， 于， 則為常值函數(shù)定理10.2.4.(微積分基本定理)為上的絕對(duì)連續(xù)函數(shù)的充要條件是， 滿足 ； 而且 于 推論連續(xù)函數(shù)，對(duì)應(yīng)的有限廣義測(cè)度為，則為上的絕對(duì)連續(xù)函數(shù) 10.3 RiemannStieltjes 積分定義10.3.1 設(shè)為上的單增函數(shù)，對(duì)應(yīng)于的每個(gè)分劃 ，記 設(shè) f 在上的有界

5、實(shí)函數(shù)， 分別稱為 f 關(guān)于與的Darboux 上、下和，其中 ，記 ， 若 ，稱之為在上關(guān)于的 RiemannStieltjes 積分，并稱在上關(guān)于 RS 可積，記為定理10.3.1. 的充要條件是，分劃，使得 定理10.3.2. 若,則；并且，對(duì)于,對(duì)的任一分劃，以及在分劃下的任一介點(diǎn)集 （其中 ）， 均有 定理10.3.3. 設(shè)為上的有界單調(diào)函數(shù)，為上的有界單增連續(xù)函數(shù)，則 定理10.3.4.（RS 積分的基本性質(zhì)）(1) 若 ， 并且(2) 若 ，為常數(shù)，則， 并且 說(shuō)明 是一個(gè)線性空間(3) 若 ， 則 (4) 若 ，則 ，并且 (5) 若 ，則 ， 并且 (6) 若 ，為正常數(shù)，則

6、， 并且 定理10.3.5. 設(shè) ， ，則（與的復(fù)合函數(shù)）定理10.3.6. 若 ，那么：(1) ；(2) ，且 定義10.3.2 設(shè)為上的有界函數(shù)，為上的有界單增函數(shù)對(duì)應(yīng)于的任一分劃 ，任取介點(diǎn)集 ，作和 ，稱它為關(guān)于與的RiemannStieltjes 積分和設(shè) A為實(shí)常數(shù)，若 ，對(duì)于任一分劃以及介點(diǎn)集，只要 ，就有 ，則記作 定理10.3.7. 若與有公共的間斷點(diǎn)，則 不存在定理10.3.8. (1) 若 存在，則 ，且 (2) 若 (a) ，或(b) ，且在上連續(xù)單增，則上式成立定義10.3.3 ，Jordan分解 若積分 ，存在，定義 注在下述兩種情形下，則上述積分必存在：(A) ，；(B) ，且 定理10.3.9. 設(shè)，滿足上述注的(A) 或(B)，為在上的全變差函數(shù)，則 定理10.3.10. 設(shè)，則 （分部積分法）定理10.3.11. 若，為上有界單增函數(shù)， 則 滿足定理10.3.12. 若在上單調(diào)， 且 ， 則 使得定理10.3.13. 若，為嚴(yán)格增加函數(shù)， 是的反函數(shù)，記 則 （換元積分法）定理10.3.14. 若，則，且 定理10.3.1510.3.16. 設(shè)，為在上的全變差函數(shù) 定義， 那么：(1) ，且 ；(2) ； ；(3) 定理10.3.17. 設(shè)在上有界，為上有界單增函數(shù)，則以下三條等價(jià)：(1) (2) 存在實(shí)常數(shù)具有下列