李洪興
(1. 北京師范大學(xué)珠海校區(qū) 應(yīng)用數(shù)學(xué)學(xué)院, 廣東 珠海 519085; 2. 大連理工大學(xué) 控制科學(xué)與工程學(xué)院, 遼寧 大連 116024)
考慮一元函數(shù)f:[a,b]→R的Riemann積分[1].將閉區(qū)間[a,b]做如下的分割:
Δ:a=x0 記Δi=[xi-1,xi),i=1,2,…,n-1,以及 Δn=[xn-1,xn];Δxi=xi-xi-1, i=1,2,…,n, 這樣的分割Δ也可以寫成 Δ={Δi|i=1,2,…,n}. 閉區(qū)間[a,b]上的全體分割記為Ξ([a,b]). 再記‖Δ‖=叫做分割Δ的模.為了方便,把自然數(shù)n叫做分割Δ的分割數(shù);記為n=par(Δ).顯然有‖Δ‖→0?n→+∞,但反之不然. 用C*[a,b]表示[a,b]上幾乎處處連續(xù)的有界函數(shù)全體,根據(jù)函數(shù)Riemann可積的充分必要條件可知,C*[a,b]就是[a,b]上Riemann可積的函數(shù)全體,即C*[a,b]=R[a,b].在C*[a,b]中引入加法和數(shù)乘運(yùn)算: +:C*[a,b]×C*[a,b]→C*[a,b], (f,g)f+g, ?x∈[a,b], (f+g)(x)=f(x)+g(x); ·:R×C*[a,b]→C*[a,b], (a,f)a·f, ?x∈[a,b], (a·f)(x)=a·f(x), 不難驗(yàn)證(C*[a,b],+,·)構(gòu)成一個(gè)線性空間.在C*[a,b]中再規(guī)定范數(shù): ‖·‖c:C*[a,b]→[0,+∞), f‖f‖c= 那么(C*[a,b],+,·,‖·‖c)就是一個(gè)賦范線性空間. 現(xiàn)在任取一個(gè)分割 Δ={Δi|i=1,2,…,n}∈Ξ([a,b]), 利用Δ構(gòu)造定義在閉區(qū)間[a,b]上的一組函數(shù): χΔi:[a,b]→{0,1}, xχ i=1,2,…,n, 顯然,{χΔi|i=1,2,…,n}?C*[a,b],并且這組函數(shù)在C*[a,b]中是線性無關(guān)的.事實(shí)上,假定存在一組常數(shù)ai∈R,i=1,2,…,n,使得 a1χΔ1+a2χΔ2+…+anχΔn=0, 這里0∈C*[a,b],即0(x)≡0.任取x∈[a,b],則?!i∈{1,2,…,n},x∈Δi,于是 0=a1χΔ1+a2χΔ2+…+anχΔn=aiχΔi. ?i∈{1,2,…,n},ai=0, 記GΔ=span({χΔi|i=1,2,…,n}),表示由{χΔi|i=1,2,…,n}生成的C*[a,b]的n維線性子空間,而{χΔi|i=1,2,…,n}就是該子空間GΔ的基底. 任取ξi∈Δi,i=1,2,…,n,利用函數(shù)f得到n個(gè)常數(shù)f(ξi),i=1,2,…,n;由此構(gòu)造函數(shù)組{χΔi|i=1,2,…,n}的一個(gè)線性組合 g ?x∈[a,b],g 根據(jù)Riemann積分的定義,當(dāng)f∈C*[a,b]時(shí),便有 dx= 在Ξ([a,b])上定義等價(jià)關(guān)系“~”: ?Δ1,Δ2∈Ξ([a,b]), Δ1~Δ2?par(Δ1)=par(Δ2), 由此得到商集[2] 這里[Δ]是Δ所在的等價(jià)類.不難看出 這時(shí),對(duì)于每一個(gè)n=1,2,…,在每個(gè)等價(jià)類Ξ(n)([a,b])中都取出一個(gè)代表元 Δ(n)={Δ(n)i|i=1,2,…,n}, n=1,2,…, ?n,m∈N,n>m?‖Δ(n)‖<‖Δ(m)‖. 由此得到線性子空間序列 GΔ(n)=span({χΔ(n)i|i=1,2,…,n}), n=1,2,3,…. gn?g ?x∈[a,b],g dx= 證明對(duì)于任意的ε>0,因?yàn)閒在[a,b]上連續(xù),所以f在[a,b]上一致連續(xù);于是?x,x′∈[a,b],?δ>0,使得 |x-x′|<δ?|f(x)-f(x′)|<ε. 取N=N(ε)∈N+,使得 ?n∈N+,n>N?‖Δ(n)‖<δ. |gn(x)-f(x)|=|f(ξ(n)i)-f(x)|<ε. 這樣一來,當(dāng)f∈C[a,b],有 dx= 命題 2如果f∈C*[a,b]并且滿足條件: ?i∈{1,2,…,n},ξ(n)i?A, 證明熟知A?[a,b]為零測(cè)集,而f在E=[a,b]A上處處連續(xù).任取x0∈E,對(duì)于任意的ε>0,由于f在E上連續(xù),故存在δ>0,使得?x∈E∩(x0-δ,x0+δ),總有 |f(x0)-f(x)|<ε. 取N=N(ε,x0)∈N+,使得 ?n∈N+,n>N?‖Δ(n)‖<δ. |ξ(n)i-x0|≤Δ(n)xi≤‖Δ‖<δ, 所以當(dāng)n>N時(shí),必有 |gn(x0)-f(x0)|=|f(ξ(n)i)-f(x0)|<ε. 設(shè)(X,R,μ)為測(cè)度空間[3],取可測(cè)集E∈R,滿足μ(E)<+∞,假定f:E→R是有界可測(cè)函數(shù),于是?c,d∈R,使得c c=c0 這里Δk=[ck-1,ck),k=1,2,…,n-1,以及 Δn=[cn-1,cn], 即Δ={Δk|k=1,2,…,n},記 ‖Δ‖= Ek={x∈E|f(x)∈Δk}=f-1(Δk), k=1,2,…,n. 如果?s∈R,使得?ε>0,?δ>0,?Δ∈Ξ([c,d]),只要‖Δ‖<δ,便有 |S(Δ)-s|<ε, 即s=則稱函數(shù)f在可測(cè)集E上關(guān)于測(cè)度μ是可積的,并把s叫做f在E上關(guān)于μ的積分,記作 在Ξ([c,d])上定義等價(jià)關(guān)系“~”: ?Δ1,Δ2∈Ξ([c,d]), Δ1~Δ2?par(Δ1)=par(Δ2), 由此得到商集 這里[Δ]是Δ所在的等價(jià)類.不難看出 這時(shí),對(duì)于每一個(gè)n=1,2,3,…,在每個(gè)等價(jià)類Ξ(n)([c,d])中都取出一個(gè)代表元: Δ(n)={Δ(n)k|k=1,2,…,n}, n=1,2,3,…, ?n,m∈N,n>m?‖Δ(n)‖<‖Δ(m)‖. 注意到 E(n)k?E(c(n)k-1≤f {x∈[a,b]|f(x)∈[c(n)k-1,c(n)k)}, E(n)n?E(c(n)n-1≤f≤c(n)n)? {x∈[a,b]|f(x)∈[c(n)n-1,c(n)n]}, n=1,2,3,…,k=1,2,…,n-1, 于是 {E(n)k|k=1,2,…,n}= {f-1(Δ(n)k)|k=1,2,…,n}, FΔ(n)=span({χE(n)k|k=1,2,…,n}), n=1,2,3,…. {χE(n)k|k=1,2,…,n} 的一個(gè)線性組合: fn?f ?x∈[a,b],f dx= 證明任取σ>0,存在N=N(σ)∈N+,使得?n∈N+,n>N?‖Δ(n)‖<σ.于是 E(|fn-f|>σ)? {x∈E||fn(x)-f(x)|>σ}= 因此,m(E(|fn-f|>σ))=0,這說明 ?x∈[a,b], |fn(x)|≤M. 根據(jù)Lebesgue控制收斂定理可知 dx= 答案應(yīng)該是肯定的.事實(shí)上,根據(jù)熟知的Lebesgue積分等式: 再利用Lebesgue積分和Riemann積分之間的關(guān)系,便有 此外,由Riemann積分等式 還可以得到結(jié)論: ddx= 例 1現(xiàn)在用函數(shù)逼近論的思想來考察著名的Dirichlet函數(shù)的積分: D:[0,1]→{0,1}, x 熟知D?R[0,1],但D∈L[0,1].事實(shí)上,Ξ({0,1})={Δ1,Δ2},這里Δ1={0},Δ2={1},注意: E1=D-1(Δ1)=[0,1]∩Qc, E2=D-1(Δ2)=[0,1]∩Q, 顯然{E1,E2}構(gòu)成區(qū)間[0,1]的一個(gè)劃分,而{χE1,χE2}是L[0,1]中的一個(gè)線性無關(guān)組,由此可以生成L[0,1]的一個(gè)二維線性子空間H?span({χE1,χE2}).此時(shí),對(duì)于積分來講,線性組合系數(shù)只有唯一的一種取法:η1=0,η2=1.于是得到線性空間H中的一個(gè)元素: h=η1χE1+η2χE2. 不難看出D=h∈H,由此便有 η1·[1·m(E1)]+η2·[1·m(E2)]= η1·m(E1)+η2·m(E2)= 0·1+1·0=0. ddx= {χΔ(n)i|i=1,2,…,n}; gn=f(ξ(n)1)·χΔ(n)1+…+f(ξ(n)n)·χΔ(n)n, GΔ(n)=span({χΔ(n)i|i=1,2,…,n}) 恰好是R[a,b]的n維線性子空間,它對(duì)gn封閉.換言之,用有限維線性子空間的元素gn去逼近無限維線性空間R[a,b]的元素f.記G=那么 dim(G)=dim(∞. 這說明gn要想準(zhǔn)確地逼近f,任何有限維線性子空間GΔ(n)的元素都是很難做到的.好在R[a,b]的線性子空間G=具有可數(shù)基.此外,雖然f,a.e.[a,b],但是極限與積分交換次序,即 ddx 一般不成立.當(dāng)滿足很強(qiáng)的條件f∈C[a,b]時(shí),f在[a,b]上是一致收斂的,于是成立 dx= fn=η(n)1·χE(n)1+…+η(n)n·χE(n)n, FΔ(n)=span({χE(n)i|i=1,2,…,n}) 恰好是L[a,b]的n維線性子空間,它對(duì)fn封閉.換言之,用有限維線性子空間FΔ(n)的元素fn去逼近無限維線性空間L[a,b]的元素f. 記F=那么 dim(F)=dim(∞, dx= 任取函數(shù)f∈C[a,b],熟知 對(duì)于每一個(gè)n=1,2,3,…,在每個(gè)等價(jià)類Ξ(n)([a,b])中都取出一個(gè)代表元: Δ(n)={Δ(n)k|k=1,2,…,n}, n=1,2,3,…, n>m?‖Δ(n)‖<‖Δ(m)‖. 注意到 Δ(n):a=x(n)0 由此構(gòu)造基函數(shù)組[5]如下(見圖1). 圖 1 連續(xù)基函數(shù) μ μ i=1,2,…,n-1, μ f(x(n)0),f(x(n)1),…,f(x(n)n), f 可以驗(yàn)證?i∈{0,1,…,n},有 fn(x(n)i)=f(x(n)i), B(n)i?{f(x(n)i)},i=0,1,…,n, l(n)i(x(n)i-1)=f(x(n)i-1), l(n)i(x(n)i)=f(x(n)i), i=1,2,…,n. L(n) i=1,2,…,n. 事實(shí)上,不難知道 L(n)i(x)=f(x(n)i-1)+ i=1,2,…,n, f 證明因?yàn)閒∈C[a,b],所以f在[a,b]上一致連續(xù).于是,?ε>0,?x,x′∈[a,b],?δ>0,只要|x-x′|<δ,就有 |f(x)-f(x′)|<ε. 取N=N(ε)∈N+,使得 n>N?‖Δ(n)‖<δ. 因?yàn)閤∈[a,b],所以必有 ?!i∈{1,2,…,n},x∈Δ(n)i, 于是便有 |f(x)-fn(x)|=|f(x)-L(n)i(x)|= |f(x)-f(x(n)i-1)- 此外,令w(n)顯然滿足?i∈{1,2,…,n},必有且 注 2當(dāng)每個(gè)分割 Δ(n):a=x(n)0 為等距分割時(shí),即 Δ(n)i=x(n)i-x(n) i=1,2,…,n, 又有 這究竟是個(gè)什么平均數(shù)呢?事實(shí)上,做如下的變形: 每個(gè) sgn 最后再把積分進(jìn)一步變形為下列形式:2 關(guān)于Lebesgue積分的定義
3 關(guān)于Riemann積分和Lebesgue積分的統(tǒng)一性
4 連續(xù)函數(shù)的Riemann積分