如何證明Riemann可積函式一定是Lebesgue可積?

時間 2021-06-03 08:45:20

1樓:

Lebesgue 測度本來就是用 Riemann 積分給出的 上正線性泛函通過 Riesz-Markov-Kakutani representation theorem 得到的,所以這個問題是 trivial 的。

另外不是很明白為什麼總有人說 Lebesgue 可積不一定 Riemann 可積。舉出的例子都是些條件可積的積分,它們都高度依賴於正規化方案(想想條件收斂級數的重排),視作積分的話是非常糟糕的研究物件。實際上它們應該放到 distribution 的框架下去研究。

2樓:森林

引理1:f是黎曼可積,則f是HK可積。

證明直接利用定義。

引理2:f是黎曼可積,則f的絕對值是黎曼可積。

證明:注意到 f是黎曼可積,則f有界。

引理3:f是勒貝格可積,當且僅當f及f的絕對值均HK可積。

證明:記F(x)=(HK)∫(a→x)fdx,可以證明F幾乎處處可導,且導函式幾乎處處等於f。

正題:f黎曼可積,(由引理2)f的絕對值黎曼可積,(由引理1)f及f的絕對值HK可積,(由引理3)f勒貝格可積。證畢。

不會各種編輯器,抱歉!

如何證明尤拉函式是積性函式?

Gauss 令 其中 均為質數。設 表示能被 整除的性質,表示由前 個正整數組成的集合,表示 中滿足性質 的數的集合。考慮到 中的某個數與 互質等價於它不能被任一 整除,我們有容斥得注意到後面那一坨式子實際上是 的展開式,於是有由上述公式能輕鬆證明尤拉函式為積性函式。事實上,我們可以得到乙個更強的結...

如何證明若函式f在 a,b 上可積,則f在 a,b 上必定有界?

聰明人 為什麼矛盾呢?是因為通過絕對值不等式,推出了黎曼和的絕對值大於任意的正數M,就是說黎曼和的極限不存在,而又因為不定積分的值就是黎曼和的極限,所以說不定積分不存在,即不可積 書上的證明已經寫的很清楚了,別人的解答也點出關鍵點了。我從大思路上給你解釋一下。用的是黎曼可積的定義,即分割 近似 求和...

能否用黎曼可積函式逼近廣義平方可積的無界函式?

鍵山怜奈 這個題目特別奇怪,條件裡是平方可積,要求用來逼近的函式可積,但是到了最後差值卻又是絕對值可積。不加上 絕對可積的條件,或者將 放寬為絕對可積而非可積,那麼因為黎曼積分無法處理振盪間斷點,所以就不一定滿足條件。如果要求 絕對可積,或者 絕對可積,那麼就成立。閉區間上平方可積條件比絕對可積強,...