SSブログ

第5回 積分可能であるための条件 [ネコ騙し数学]

第5回 積分可能であるための条件


リーマン和に基づく積分可能の定義は以下の通り。


(リーマン)積分の定義

関数f(x)は有界閉区間[a,b]で有界とする。

任意の分割Δとそのそれぞれのの任意のに対して

  teisekibun-05-01.png

であるとき、関数f(x)[a,b]で積分可能といい、

  teisekibun-05-02.png

とあらわす。


不足和、過剰和の定義は次の通り。


不足和、過剰和の定義

fを有界閉区間[a,b]で定義された有界関数とする。[a,b]の分割とおく。分割Δに対してとおくとき、
  teisekibun-05-03.png

を、それぞれ、f(x)Δに関する不足和、過剰和という。


上積分、下積分の定義は次の通り。


上積分、下積分の定義

関数fが有界閉区間I=[a,b]で有界であるとする。

過剰和S(Δ)について、すべての分割に関する下限

  

f(x)I上の上積分という。

不足和s(Δ)について、すべての分割に関する上限

  

f(x)I上の下積分という。

関数の振幅(振動量)の定義は以下の通り。


関数の振幅の定義

有界閉区間I=[a,b]上の有界な関数f(x)に対して
  teisekibun-05-04.png

f(x)I上の振幅振動量)という。


定義を再掲したところで、積分可能性の必要十分条件に関する以下の定理を紹介する。



定理

有界閉区間i=[a,b]上の有界な関数f(x)に対して、次の条件は同値である。

(1) f(x)I上で積分可能である。

(2) 


(3) Iの分割Δに対して

  teisekibun-05-05.png

【証明】

(1)⇒(2)の証明。

任意の正数ε>0に対して、

  

任意の分割Δに対して、とおくと、上限の定義より

  

となるが存在する。

よって、
  teisekibun-05-06.png

f(x)I上で積分可能だからδ>0が存在し|Δとなる任意の分割に対して

  

よって、任意のIの分割Δに対して
  

についても同様。



(2)⇒(1)の証明

任意の分割Δに対して

  

が成立し、

  

となり、ハサミ打ちの定理より

  

である。

(2)⇔(3)

Iの任意の分割Δに対して

  

ダルブーの定理よりは収束するので、
  teisekibun-05-08.png

よって、

  teisekibun-05-09.png

(証明終了)


上の定理を使うと、有界閉区間I=[a,b]上の単調な関数f(x)が可能であることを証明することができる。


定理(有界閉区間上で単調な関数の積分可能性)

有界閉区間i=[a,b]上で単調な関数f(x)は、I上で積分可能である。

【証明】

Iの任意の分割Δに対するにおける上限、下限は

  

である。

f(x)が定数関数のとき、任意の分割Δに対して

  

だから、
  teisekibun-05-10.png

となり積分可能である。

f(x)が単調増加の場合、任意の正数ε>0に対して

  

とおくと、|Δである任意の分割Δについて
  

となり、

  

で積分可能である。

f(x)が単調減少のときも同様。

(証明終)

f(x)が単調減少のとき、g(x)=−f(x)とおくと、g(x)I上で単調増加で、g(x)I上で積分可能。

g(x)I上で積分可能だから、f(x)=−g(x)I上で積分可能である。

これを有界閉区間上の単調減少関数の積分可能性の証明にしてもよい。


この広告は前回の更新から一定期間経過したブログに表示されています。更新すると自動で解除されます。