与函数R可积性.pdfVIP

勒貝格 (Lebesgue) 定理的有趣證明 與函數 R 可積性 胡紹宗 摘要: 本文從振幅函數談起 , 藉助 L 積分理論 , 巧妙的證 明了勒貝格定理 , 然後通過 幾個典型例子充分說 明了該定理是判定函數 R 可積性的得力工具。 關鍵詞: R 可積 , 零測度集, 振幅函數。 勒貝格定理是研究 R 積分 [見附註一]與 L 積分 [見附註二]的重要工具, 這個定理是法國 數學家, 也同時是實變函數論之奠基者勒貝格的重要貢獻。 勒貝格定理: 設函數 f (x) 在 [a, b] 上有界, 則 f (x) 在 [a, b] 上 R 可積的充要條件是: f (x) 在 [a, b] 上的不連續點集為零測度集。 在證明之前介紹一下有關知識及引理 : 如果 f (x) 在實數系統 R 的點集 A 上有定義且有界, 則 w (A, f ) = supx∈A f (x) − infx∈A f (x) 稱為 f (x) 在 A 上的振幅。 設 f (x) 在 E ⊂ R 上有定義, 對任一點 x ∈ E , 則 w (x ) = lim w ((x − δ, x + 0 0 δ→0 0 0 δ) ∩ E, f ) 稱為 f (x) 在點 x0 的振幅。 f (x) 在 (x − δ, x + δ) ∩ E 上的上、 下確界分別記為 M (x ) 與 m (x ), 當 δ → 0 0 0 δ 0 δ 0 時, 二者的極限分別記為 M (x ) 與 m(x ), 顯然有 0 0 m (x ) ≤ m(x ) ≤ f (x ) ≤ M (x ) ≤ M (x ) δ 0 0 0 0 δ 0 及 w (x ) = M (x ) − m(x ) 0 0 0 定義1: 函數 m(x) 與 M (x) 分別稱為 f (x) 的貝爾 (Baire) 下函數與貝爾上函數。 w (x) = M (x) − m(x) 稱為 f (x) 的振幅函數。 75 76 數學傳播 29 卷 2期 民 94 年 6 月 定義2: f (x) 定義在 E ⊂ R 上, x0 ∈ E , 如果 f (x) 在 x0 點的相對於 E 的振幅 w (x ) = 0, 則稱 f (x) 依貝爾意義在 x 點相對於 E 是連續的。 0 0 註: 設 E ⊂ R, x0 ∈ E , f (x) 定義在 E 上, 一般對 f (x) 在 x0 連續有下述兩種定義: 一. 對任意 ε 0 均有 δ 0 和 ε 對應, 使當 |x −x | δ 時恆有 |f (x) − f (x )| ε。 0 0 二. 設 {x } 為 E 中的數列。 若 lim x = x 則必有 lim f (x ) = f (x )。 n n 0