第９回 微積分の基本定理など [ネコ騙し数学]
第９回 微積分の基本定理など
定理１２
関数f(x)が区間I上で連続であるとする。このとき、I上の関数F(x)に対して（１） F(x)がf(x)の不定積分である
（２） F(x)がf(x)の原始関数であるは同値である。
【証明】（１）⇒（２）
F(x)をf(x)の不定積分とすると、 
f(x)はIで連続だから、積分の平均値の定理より
したがって、
（２）⇒（１）
F(x)をf(x)の原始関数とすると、 
（証明終）
以上のことより、次の定理が成り立つ。
定理１３ （微積分の基本定理）
f(x)が区間I上で連続とする。定点a∈Iと任意のx∈Iに対し 
さらに、次の定理。
定理１４
f(x)が区間I上で不定積分をもつならば、その不定積分はI上で連続である。【証明】
f(x)の不定積分をF(x)、a∈Iとすると、 
そこで、0<h<δとすると、
xがIの端点であるときも同様。
（証明終）
定理１５
f(x)を[a,b]であるとする。F(x)がf(x)の原始関数であれば、 
【証明】
f(x)は[a,b]で連続でF(x)はf(x)の原始関数だから、定理１２よりF(x)はf(x)の不定積分であり、 
よって、
そして、これで、高校の定積分の公式
に結びついた。
2017-03-26 12:00
nice!(0)
コメント(3)
トラックバック(1)
定理14にあるFは不定積分ではなく，原始関数が正しい用語の使い方です.
by ますます (2017-04-22 10:09)
不定積分とは原始関数全体の集合という意味で用いられ，関数ではありません.従って定理12も意味をなしていません.(不定積分を同値類の代表元をとる同型写像をよる関数との同一視は可能ですが…)
by ますます (2017-04-22 10:15)
コメントありがとうございます。
☆定理14にあるFは不定積分ではなく，原始関数が正しい用語の使い方です.
☆不定積分とは原始関数全体の集合という意味で用いられ，関数ではありません.従って定理12も意味をなしていません.
これらの指摘は知っています。
そして、知った上で、敢えて、今回、
第８回 原始関数と不定積分
http://nemuneko-gensokyou.blog.so-net.ne.jp/2017-03-25-10
で記した「原始関数」と「不定積分」の定義を採用しました。
扱う関数（被積分関数）が有界閉区間で連続な関数であれば、（積分）定数の違いを無視すれば、原始関数と不定積分は同一視することができます。
しかし、第８回で紹介している関数のように被積分関数が連続でない関数の場合、（リーマン）積分可能であるけれど、原始関数が存在しない場合があります。そして、この場合、原始関数に任意の積分定数を加えたもの（の集まり）を不定積分と定義するのは何かと都合が悪いように思います。
ですから、今回、第８回で提示した「原始関数」と「不定積分」の定義を採用したわけです。
このあたりの事情は、たとえば、
稲葉三男著 微積分の根底をさぐる 現代数学社
https://goo.gl/607GKk
の「１４ 不定積分」などに詳しく書いてあると思います。
『微積分の根底をさぐる』中では、
「関数f(x)に対して
F'(x)=f(x)
となるような関数F(x)をf(x)の原始関数または不定積分といい、記号
∫f(x)dx
で表す、と書いてある教科書が多いようである。」
などと書いてあります。
現に、このブログを書くにあたってよく利用している解析学の演習書は
「関数fに対し、導関数が等しい関数をfの原始関数という。原始関数を∫f(x)dxで表しfの不定積分という」
という原始関数、不定積分の採用しています。
また、個人的には、高校数学（微分積分）の延長線上で大学の微分積分、（実）解析学を捉えるならば、原始関数と不定積分の違いを明確にする必要があるのでしょうが、リーマン積分、定積分などをもとに原始関数や不定積分を構成する場合、この両者の違いを、それ程、うるさくいう必要はないのではないか、と考えております。
by nemurineko (2017-05-08 11:53)