上積分は下積分以上である。
📂解析学上積分は下積分以上である。
この記事はリーマン-スティルチェス積分を基に書かれています。α=α(x)=xとすると、リーマン積分と同じです。
定理
任意の分割に対して、リーマン(-スティルチェス)上和はリーマン(-スティルチェス)下和より常に大きいか同じです。
∫abfdα≤∫abfdα
証明
証明に先立って、次のように仮定しよう。
- f:[a,b]→Rが有界です。
- α:[a,b]→Rは単調増加関数です。
P1,P2を[a,b]の分割とし、P∗をそれらの共通細分とします。細分の上和(下和)は分割のそれより小さい(大きい)ので、次が成立します。
⟹L(P1,f,α)≤L(P∗,f,α)L(P1,f,α)≤U(P∗,f,α)≤U(P2,f,α)≤U(P2,f,α)
ここで、P2を固定し、全てのP1に対してsupを取ります。そうすると、下積分の定義により、次を得ます。
P1supL(P1,f,α)=∫abfdα≤U(P2,f,α)
同様に、上式のP2に対してinfを取ると、上積分の定義により、次を得ます。
∫abfdα≤P2infU(P2,f,α)=∫abfdα
したがって、次の結果を得ます。
∫abfdα≤∫abfdα
■
系
任意の二つの分割に対しても、リーマン-スティルチェス上和は下和より常に大きいか同じです。
L(P1,f,α)≤U(P2,f,α)∀P1, P2
これは(eq1)によって成立します。