logo

積分可能な関数と絶対値 📂解析学

積分可能な関数と絶対値

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

定理1

関数ffが区間[a,b][a,b]でリーマン(-スティルチェス)積分可能であるとしよう。すると

  • (a) f\left|f\right|[a,b][a,b]で積分可能である。

  • (b) さらに、以下の不等式が成り立つ。

    abfdαabfdα \left|\int_{a}^{b}fd\alpha \right| \le \int_{a}^{b}\left| f\right| d\alpha

証明

(a)

積分可能性有界な関数に対して定義される。従って、ffが積分可能であるという前提は、ffが有界であるという前提を含む。ffが有界であるため、M,mM, mを上界、下界としよう。

M=sup[a,b]fandm=inf[a,b]f M=\sup_{[a,b]} f \quad \text{and} \quad m= \inf_{[a,b]}f

そして、ϕ(t)=t\phi (t)=\left| t \right|としよう。その場合、ϕ\phi[m,M][m,M]で連続な関数である。また、以下が成り立つ。

ϕf=f \phi \circ f=\left| f\right|

連続な関数との合成は積分可能性を保持するためf|f|[a,b][a,b]で積分可能である。

(b)

正数ε>0\varepsilon >0が与えられたとする。すると、積分可能の必要十分条件により、以下の式を満たす[a,b][a,b]の分割P={a=x0,,xn=b}P=\left\{ a=x_{0},\cdots,x_{n}=b \right\}が存在する。

U(P,f,α)L(P,f,α)<ε U(P,\left| f\right|,\alpha) - L(P,\left| f\right|,\alpha) < \varepsilon

さらに、以下の不等式が成り立つ

U(P,f,α)<abfdα+ε U(P,\left| f \right|,\alpha) < \int_{a}^{b}\left| f \right| d\alpha +\varepsilon

すると、積分上和の定義により、以下の式が成り立つ。

abfdαU(P,f,α)U(P,f,α)<abfdα+ε \int_{a}^{b} f d\alpha \le U(P,f,\alpha) \le U(P,\left| f \right|,\alpha ) <\int_{a}^{b}\left| f \right| d\alpha +\varepsilon

さらに、ffが積分可能ならばf-fも積分可能であるため、以下の式が成り立つ。

abfdα=ab(f)dαU(P,f,α)U(P,f,α)<abfdα+ε -\int_{a}^{b} f d\alpha=\int_{a}^{b}(-f)d\alpha \le U(P,-f,\alpha) \le U(P,\left| f \right|,\alpha ) <\int_{a}^{b}\left| f \right| d\alpha +\varepsilon

すると、ε\varepsilonは任意の正数であるため、以下の2つの式が成り立つ。

abfdαabfdαabfdαabfdα \begin{align*} \int_{a}^{b}f d\alpha &\le \int _{a}^{b} \left| f \right| d\alpha \\ -\int_{a}^{b}f d\alpha &\le \int _{a}^{b} \left| f \right| d\alpha \end{align*}

したがって、以下を得る。

abfdαabfdα \left| \int_{a}^{b}fd\alpha \right| \le \int_{a}^{b}\left| f \right| d\alpha


  1. Walter Rudin, Principles of Mathematical Analysis (第3版, 1976), p129 ↩︎