第一節(jié)外測(cè)度

第一節(jié)外測(cè)度第一頁，共十八頁，2022年，8月28日1.引言

其中積分與分割、介點(diǎn)集的取法無關(guān)幾何意義（非負(fù)函數(shù)）：函數(shù)圖象下方圖形的面積。xi-1xi(1)Riemann積分回顧（分割定義域）第二頁，共十八頁，2022年，8月28日新的積分（Lebesgue積分,從分割值域入手）yiyi-1用mEi表示Ei的“長(zhǎng)度”問題：如何把長(zhǎng)度,面積,體積概念推廣?第三頁，共十八頁，2022年，8月28日?qǐng)A的面積內(nèi)接正n邊形的面積（內(nèi)填）內(nèi)接外切外切正n邊形的面積（外包）第四頁，共十八頁，2022年，8月28日達(dá)布上和與下和

Riemann積分xi-1xi達(dá)布下和的極限下積分（內(nèi)填）xi-1xi達(dá)布上和的極限上積分（外包）第五頁，共十八頁，2022年，8月28日J(rèn)ordan測(cè)度Jordan外測(cè)度（外包）Jordan可測(cè)Jordan內(nèi)測(cè)度（內(nèi)填）第六頁，共十八頁，2022年，8月28日例：設(shè)E為[0,1]中的有理數(shù)全體，則E不Jordan可測(cè)由于任一覆蓋[0,1]中的有理數(shù)全體的有限開覆蓋也一定能覆蓋除有限個(gè)點(diǎn)外的[0,1]，從而由于無理數(shù)在[0,1]中稠密，故任一開區(qū)間都不可能含在E內(nèi)，從而所以，即E不Jordan可測(cè)([

())(

)(

(

)

]

)０１

([

]

)-ε０１1+ε第七頁，共十八頁，2022年，8月28日2Lebesgue外測(cè)度(外包)為E的Lebesgue外測(cè)度。定義：，稱非負(fù)廣義實(shí)數(shù)與Jordan外測(cè)度比較：第八頁，共十八頁，2022年，8月28日下確界：即：用一開區(qū)間列“近似”替換集合E第九頁，共十八頁，2022年，8月28日例設(shè)E是[0,1]中的全體有理數(shù)，試證明E的外測(cè)度為0

證明：由于E為可數(shù)集，再由ε的任意性知()第十頁，共十八頁，2022年，8月28日

2.平面上的x軸的外測(cè)度為0思考：１.設(shè)E是平面上的有理點(diǎn)全體，則E的外測(cè)度為0第十一頁，共十八頁，2022年，8月28日思考：3.我們知道有理數(shù)與無理數(shù)在[0,1]上都稠密，問證明中

的開區(qū)間列是否覆蓋了區(qū)間[0,1]由無理數(shù)集在[0,1]上稠密可知上面敘述的錯(cuò)誤出在取，因?yàn)閕的取定依賴于δ()

第十二頁，共十八頁，2022年，8月28日思考：4.對(duì)Jordan外測(cè)度，我們用有限個(gè)開區(qū)間覆蓋[0,1]中的

有理數(shù)全體，則這有限個(gè)開區(qū)間也覆蓋[0,1]

（除有限個(gè)點(diǎn)外）注：對(duì)可數(shù)個(gè)開區(qū)間不一定有從左到右的一個(gè)排列（如Ｃantor集的余集的構(gòu)成區(qū)間）([

())(

)(

(

)

]

)０１注：對(duì)有限個(gè)開區(qū)間一定有從左到右的一個(gè)排列5.對(duì)Lebesgue外測(cè)度，我們用可數(shù)個(gè)開區(qū)間覆蓋[0,1]中的有理數(shù)全體，是否這可數(shù)個(gè)開區(qū)間也覆蓋[0,1]（除可數(shù)個(gè)點(diǎn)外）第十三頁，共十八頁，2022年，8月28日（2）Lebesgue外測(cè)度的性質(zhì)(b)的證明:能覆蓋B的開區(qū)間列也一定能覆蓋A，從而能覆蓋B的開區(qū)間列比能覆蓋A的開區(qū)間列要少，相應(yīng)的下確界反而大。（b）單調(diào)性：（a）非負(fù)性：，當(dāng)E為空集時(shí)，第十四頁，共十八頁，2022年，8月28日（C）次可數(shù)可加性證明：對(duì)任意的ε>0,由外測(cè)度的定義知，對(duì)每個(gè)An都有一列開區(qū)間（即用一開區(qū)間{Inm}列近似替換An）注：一般證明都是從大的一邊開始，因?yàn)橥鉁y(cè)度的定義用的是下確界由的ε任意性，即得第十五頁，共十八頁，2022年，8月28日注：外測(cè)度的次可數(shù)可加性的等號(hào)即使A，B不交也可能不成立（反例要用不可測(cè)集），但有:當(dāng)區(qū)間Ii的直徑很小時(shí)候，區(qū)間Ii不可能同時(shí)含有A，B中的點(diǎn)從而把區(qū)間列Ii分成兩部分，一部分含有A中的點(diǎn)，一部分含有B中的點(diǎn)。若d(A,B)>0,則第十六頁，共十八頁，2022年，8月28日例證明參見教材p-56思考：書本中的證明用有限開覆蓋定理的目的何在？此例說明Lebesgue外測(cè)度某種程度是區(qū)間長(zhǎng)度概念的推廣對(duì)任意區(qū)間，有