Remarks 1. 2. Let 3. Let 4. Let 5. 6. 7. 8
Remarks 1. 2. Let 3. Let 4. Let 5. 6. 7. 8
Remarks 1. 2. Let 3. Let 4. Let 5. 6. 7. 8
𝑏𝑏 𝑏𝑏�
1. 𝑚𝑚(𝑏𝑏 − 𝑎𝑎) ≤ 𝐿𝐿(𝑓𝑓, 𝑃𝑃) ≤ ∫𝑎𝑎� 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 ≤ ∫𝑎𝑎 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 ≤ 𝑈𝑈(𝑓𝑓, 𝑃𝑃) ≤ 𝑀𝑀(𝑏𝑏 − 𝑎𝑎), ∀𝑃𝑃.
2. Let 𝑃𝑃 ⊆ 𝑄𝑄. Then 𝑈𝑈(𝑓𝑓, 𝑄𝑄) ≤ 𝑈𝑈(𝑓𝑓, 𝑃𝑃) and 𝐿𝐿(𝑓𝑓, 𝑄𝑄) ≥ 𝐿𝐿(𝑓𝑓, 𝑃𝑃).
3. Let 𝑃𝑃 ⊆ 𝑄𝑄. Then 𝑈𝑈(𝑓𝑓, 𝑄𝑄) − 𝐿𝐿(𝑓𝑓, 𝑄𝑄) ≤ 𝑈𝑈(𝑓𝑓, 𝑃𝑃) − 𝐿𝐿(𝑓𝑓, 𝑃𝑃).
4. Let 𝑄𝑄 = 𝑃𝑃1 ∪ 𝑃𝑃2 . Then 𝑈𝑈(𝑓𝑓, 𝑄𝑄) − 𝐿𝐿(𝑓𝑓, 𝑄𝑄) ≤ 𝑈𝑈(𝑓𝑓, 𝑃𝑃1 ) − 𝐿𝐿(𝑓𝑓, 𝑃𝑃2 ).
𝑏𝑏� 𝑏𝑏
5. ∫𝑎𝑎 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 ≤ 𝑈𝑈(𝑓𝑓, 𝑃𝑃), ∫𝑎𝑎� 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 ≥ 𝐿𝐿(𝑓𝑓, 𝑃𝑃) ≤ ∀𝑃𝑃, 𝑃𝑃 is a partition of [𝑎𝑎, 𝑏𝑏].
𝑏𝑏� 𝑏𝑏
6. ∫𝑎𝑎 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 − ∫𝑎𝑎� 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 ≤ 𝑈𝑈(𝑓𝑓, 𝑃𝑃) − 𝐿𝐿(𝑓𝑓, 𝑃𝑃), ∀𝑃𝑃, 𝑃𝑃 is a partition of [𝑎𝑎, 𝑏𝑏].
𝑏𝑏�
7. ∀𝜖𝜖 > 0 , ∃𝑃𝑃, 𝑈𝑈(𝑓𝑓, 𝑃𝑃) < ∫𝑎𝑎 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 + 𝜖𝜖
𝑏𝑏�
8. ∀𝜖𝜖 > 0 , ∃𝑃𝑃, 𝐿𝐿(𝑓𝑓, 𝑃𝑃) > ∫𝑎𝑎 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 − 𝜖𝜖
Theorem
A necessary and sufficient condition for a bounded function 𝑓𝑓 to be integrable on [𝑎𝑎, 𝑏𝑏] is that for
each 𝜖𝜖 > 0, there exists a partition 𝑃𝑃 of [𝑎𝑎, 𝑏𝑏] for which 𝑈𝑈(𝑓𝑓, 𝑃𝑃) − 𝐿𝐿(𝑓𝑓, 𝑃𝑃) < 𝜖𝜖.
Proof
Let ∀𝜖𝜖 > 0, ∃𝑃𝑃 , a partition of [𝑎𝑎, 𝑏𝑏] such that 𝑈𝑈(𝑓𝑓, 𝑃𝑃) − 𝐿𝐿(𝑓𝑓, 𝑃𝑃) < 𝜖𝜖.
𝑏𝑏� 𝑏𝑏
∴ � 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 − � 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 ≤ 𝑈𝑈(𝑓𝑓, 𝑃𝑃) − 𝐿𝐿(𝑓𝑓, 𝑃𝑃) < 𝜖𝜖.
𝑎𝑎 𝑎𝑎�
𝑏𝑏� 𝑏𝑏
Since 𝜖𝜖 > 0 is arbitrary, ∫𝑎𝑎 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 − ∫𝑎𝑎� 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 = 0.
𝑏𝑏� 𝑏𝑏
Thus, ∫𝑎𝑎 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 = ∫𝑎𝑎� 𝑓𝑓(𝑥𝑥)𝑑𝑑𝑑𝑑 .