logo

上積分は下積分以上である。 📂解析学

上積分は下積分以上である。

この記事はリーマン-スティルチェス積分を基に書かれています。α=α(x)=x\alpha=\alpha (x)=xとすると、リーマン積分と同じです。

定理1

任意の分割に対して、リーマン(-スティルチェス)上和リーマン(-スティルチェス)下和より常に大きいか同じです。

abfdαabfdα \underline { \int _{a} ^b} f d\alpha \le \overline {\int _{a}^b} f d\alpha

証明

証明に先立って、次のように仮定しよう。

  • f:[a,b]Rf : [a,b] \to \mathbb{R}有界です。
  • α:[a,b]R\alpha : [a,b] \to \mathbb{R}単調増加関数です。

P1,P2P_{1}, P_{2}[a,b][a,b]分割とし、PP^{\ast}をそれらの共通細分とします。細分の上和(下和)は分割のそれより小さい(大きい)ので、次が成立します。

L(P1,f,α)L(P,f,α)U(P,f,α)U(P2,f,α)    L(P1,f,α)U(P2,f,α) \begin{equation} \begin{aligned} &&L(P_{1},f,\alpha) \le L(P^{\ast},f,\alpha) &\le U(P^{\ast},f,\alpha) \le U(P_{2},f,\alpha) \\ \implies&& L(P_{1},f,\alpha) &\le U(P_{2},f,\alpha) \end{aligned} \label{eq1} \end{equation}

ここで、P2P_{2}を固定し、全てのP1P_{1}に対してsup\supを取ります。そうすると、下積分の定義により、次を得ます。

supP1L(P1,f,α)=abfdαU(P2,f,α) \sup\limits_{P_{1}} L(P_{1},f,\alpha) = \underline {\int _{a} ^b} f d\alpha \le U(P_{2}, f , \alpha)

同様に、上式のP2P_{2}に対してinf\infを取ると、上積分の定義により、次を得ます。

abfdαinfP2U(P2,f,α)=abfdα \underline {\int _{a} ^b} f d\alpha \le \inf \limits_{P_{2}} U(P_{2}, f , \alpha) = \overline {\int _{a} ^b} f d\alpha

したがって、次の結果を得ます。

abfdαabfdα \underline{\int _{a} ^b} f d\alpha \le \overline { \int _{a} ^b} f d\alpha

任意の二つの分割に対しても、リーマン-スティルチェス上和は下和より常に大きいか同じです。

L(P1,f,α)U(P2,f,α)P1, P2 L(P_{1},f,\alpha) \le U(P_{2}, f, \alpha) \quad \forall P_{1},\ P_{2}


これは(eq1)\eqref{eq1}によって成立します。


  1. ワルター・ルーディン, 数学解析の原則 (第3版, 1976), p124 ↩︎