積分のお勉強
関数fが閉区間上で連続かもしくは区分的に連続な場合以外の積分の理解がかなり怪しいので、一度きちんと整理して証明もフォローして勉強しなおしておこうと思う。
広義積分が収束するための条件
実関数 f が区間 [a, b) で可積分で、b において有界でないとき、広義積分
が収束するための必要十分条件は、
任意のε>0 に対してある c ∈ (a, b) があり、c < p < q < b なる任意の p, q に対して
が成り立つことである。
とおくと、F は [a, b) の関数で、広義積分の定義から、
と表せる。したがってこの広義積分が収束することは、
が存在することである。一方
であるから、示すべき内容は、
が存在するための必要十分条件は、
任意のε>0 に対してある c ∈ (a, b) があり、c < p < q < b なる任意のp, q に対して
が成り立つことである。
と翻訳される。
まず必要性については、∀ε>0 に対しあるδ>0 があり、b-δ<u <b なら |F(u) - F|<ε であるから、c = b - δ とおけば、c < p < q < b なる任意のp, q に対して |F(p) - F|<ε、|F(q) - F|<ε が成立する。ゆえに、
だからOK。
逆に十分性については、b に収束する点列 をとると、ある番号から先の n, m についてすべて となるから、が成り立つ。ゆえに 点列 は Cauchy列なので、収束する。その収束先の値を F とすればよいかな。
どうやらよさそうだが、きまじめに示そうとするとかなり長くなることがわかったので以下省略。