積分可能な関数と絶対値
📂解析学積分可能な関数と絶対値
この記事はリーマン-スティルチェス積分を基に書かれている。α=α(x)=xとすると、リーマン積分と同じだ。
定理
関数fが区間[a,b]でリーマン(-スティルチェス)積分可能であるとしよう。すると
(a) ∣f∣も[a,b]で積分可能である。
(b) さらに、以下の不等式が成り立つ。
∫abfdα≤∫ab∣f∣dα
証明
(a)
積分可能性は有界な関数に対して定義される。従って、fが積分可能であるという前提は、fが有界であるという前提を含む。fが有界であるため、M,mを上界、下界としよう。
M=[a,b]supfandm=[a,b]inff
そして、ϕ(t)=∣t∣としよう。その場合、ϕは[m,M]で連続な関数である。また、以下が成り立つ。
ϕ∘f=∣f∣
連続な関数との合成は積分可能性を保持するため、∣f∣は[a,b]で積分可能である。
■
(b)
正数ε>0が与えられたとする。すると、積分可能の必要十分条件により、以下の式を満たす[a,b]の分割P={a=x0,⋯,xn=b}が存在する。
U(P,∣f∣,α)−L(P,∣f∣,α)<ε
さらに、以下の不等式が成り立つ。
U(P,∣f∣,α)<∫ab∣f∣dα+ε
すると、積分と上和の定義により、以下の式が成り立つ。
∫abfdα≤U(P,f,α)≤U(P,∣f∣,α)<∫ab∣f∣dα+ε
さらに、fが積分可能ならば−fも積分可能であるため、以下の式が成り立つ。
−∫abfdα=∫ab(−f)dα≤U(P,−f,α)≤U(P,∣f∣,α)<∫ab∣f∣dα+ε
すると、εは任意の正数であるため、以下の2つの式が成り立つ。
∫abfdα−∫abfdα≤∫ab∣f∣dα≤∫ab∣f∣dα
したがって、以下を得る。
∫abfdα≤∫ab∣f∣dα
■