∫[a,b](f(x)+g(x))dx=∫[a,b]f(x)dx + ∫[a,b]g(x)dx の証明
ある本(微分積分学)を読んでいて、次のような定理の証明を考えています。
有界なf(x),g(x)が[a,b]でリーマン積分可能であるとき、f(x)+g(x)もそうであり、∫[a,b](f(x)+g(x))dx=∫[a,b]f(x)dx + ∫[a,b]g(x)dxが成り立つ。
定積分に関するごく初歩的な定理ですが、これを、上限と下限の不等式を使って証明しようとしているのですが、うまくいきません。ヒントには次のようになっています。
＃以下の記述ですが、上の本は記号の表示に誤りを含んでいるように思われましたので正しい表示に直してあります。
ヒント
fに対する不足和、過剰和を、それぞれ、 s(f,Δ）、S(f,Δ）というふうに書けば、s(f,Δ）+ s(ｇ,Δ）≦s(f+g,Δ）≦S(f+g,Δ）≦S(f,Δ）+ S(ｇ,Δ) に注意せよ。
同書の略解
分割Δの小区間[a(i-1),a(i)]における f+g,f,g の下限をm(i),n(i),p(i)とすれば m(i)≧n(i)+p(i)、ゆえにs(f,Δ）+ s(ｇ,Δ）＝Σn(i)(a(i)-a(i-1)) + Σp(i)(a(i)-a(i-1))≦Σm(i)(a(i)-a(i-1))＝s(f+g,Δ）同様にS(f+g,Δ）≦S(f,Δ）+ S(ｇ,Δ) だから、inf(S(f,Δ))＝sup(s(f,Δ))、inf(S(g,Δ))＝sup(s(g,Δ))なら、inf(S(f+g,Δ))＝sup(s(f+g,Δ))＝、sup(s(f,Δ))+sup(s(g,Δ))
となっていますが、最後の等式がどうしても出てきません（その前までは理解できました）。行間を埋めていただけるとありがたいです。
s(f,Δ）+ s(ｇ,Δ)≦s(f+g,Δ)≦S(f+g,Δ）≦S(f,Δ）+ S(ｇ,Δ)
からそれぞれの辺のsup、infを考えるとできるのではないかとも思われるのですが、どうしてもわかりませんでした。
よろしくお願いいたします。
お礼
ありがとうございます！ 時代が変わって、増えてるんですね。