[分析] 黎曼積分的一個等價敘述

看板Math作者 (悟道修行者)時間9年前 (2016/09/02 23:45), 9年前編輯推噓2(2010)
留言12則, 4人參與, 最新討論串1/1
f:[a,b]→R bounded 由高微書給的黎曼可積分定義 For each ε>0, there exists a partition P such that U(f,P)-L(f,P)<ε 怎麼證出, 他會等價於 For each ε>0, there exists δ>0, such that for all partition P with |P|<δ and all sample set T(在分割內任意取點的集合) such that |S(f,P,T)-∫f dx|<ε 其中 S(f,P,T)是參照分割P跟抽樣集T的黎曼和, ∫f dx是黎曼積分. -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.227.241.1 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1472831154.A.6CD.html

09/03 00:04, , 1F
好像叫Darboux's theorem,Marsden書上找一下或
09/03 00:04, 1F

09/03 00:05, , 2F
google,應該不是太難證的定理。
09/03 00:05, 2F
不叫 Darboux 定理, Darboux 定理是講別的. 看起來好證, 但不太好證耶. ※ 編輯: alfadick (36.227.241.1), 09/03/2016 00:09:29

09/03 00:21, , 3F
|S(f,P,T)-∫f dx|<ε 相當於證 |U(f,P)-∫f dx|<ε
09/03 00:21, 3F

09/03 00:21, , 4F
以及 |L(f,P)-∫f dx|<ε 因此下 implies 上是容易
09/03 00:21, 4F

09/03 00:22, , 5F
的 另一個方向則是考慮 partitions 的「細分」
09/03 00:22, 5F

09/03 00:22, , 6F
會使上和變小、下和變大
09/03 00:22, 6F

09/03 00:32, , 7F
不過沒那麼直接,要做些小手術,你可以試著想想
09/03 00:32, 7F

09/03 00:42, , 8F
你要的在Apostol--2ed--page 174.--Ex7.4有
09/03 00:42, 8F

09/03 00:42, , 9F
想不到可以看
09/03 00:42, 9F

09/03 02:56, , 10F
抱歉,的確記錯了。另外上到下:∫f存在性應該也要
09/03 02:56, 10F

09/03 02:57, , 11F
說明一下,這大概是跟樓上推的那邊一個小小不同的
09/03 02:57, 11F

09/08 22:37, , 12F
印象中 Zygmund 的實分析書上有證明
09/08 22:37, 12F
文章代碼(AID): #1NoPwoRD (Math)