この記事の目標
この記事では,リーマン積分(いわゆる,高校生が区分求積法として教わるような定積分)のあらましを見ていきます。また,僕のMathlogの練習も目的としています。
以下を仮定します。
- は正の整数全体の集合とします。僕は“#0は自然数”という宗派には属していません。
- は実数全体の集合とします。
- 関数と書いたら,定義域がで,ならばを満たすものと考えてください。
- 関数とは1変数のものを考えます。
区間上のリーマン積分
とします。区間上の(連続とは限らない)関数について考えていきましょう。このとき区間から個の点列を,を満たすようにとります。このときのことを,区間の 分割 と呼ぶことにします。分割のとり方は何通りもあるでしょう。
このに対して,に対しを満たすように点列をとります。このとき
のことを,分割の 代表点集合 と呼びましょう。もちろん代表点集合のとり方は何通りもあり,一意的ではありません。
リーマン和
関数に対して,分割とその代表点集合を適当に定めたとき,その3つから得られる和を,関数の(による)リーマン和という。
抽象的な議論ですので,ここで2つばかり例を考えましょう。高校数学における区分求積法は,このリーマン和を具体化して考えています。
高校の区分求積法との対応
高校の数学の教科書では,上記の流れをより具体的に扱っています。例えば数研出版の「改訂版 数学III」による区分求積法のページでは,分割について,という定め方をしており,さらにその代表点分割についてはと定めていると解釈できます。そしてその時の和については,が成り立つことを説明しています。
簡単なリーマン和
ここでは実際に,簡単な例として,関数を,によって定めたときのリーマン和を考えます。
任意に分割をとり,任意に代表点集合をとります。このときリーマン和を考えますが,任意のに対してであったことを思い出すと,です。しかも,と計算できますから,任意に分割や代表点集合をとっても,となることが分かりました。
例2では,かなり簡単な関数に対してリーマン和を計算しましたが,すべての関数が簡単であるわけではなく,特に今回はが連続であるとは限らない場合を考えています。
(特に)とした時にの値が,やに依存しないで一意に決まるかどうかが問題なのです。
一意に決まった場合はリーマン積分可能,一意に決まらない場合はリーマン積分可能でないと呼ぶことにします。具体的には次の状況です。
なお定義のステートメントを述べるために,分割の“幅”という言葉を定義しておきます。に対して分割の幅とは,のことです。
リーマン積分可能であるとは
任意の正の数に対し,ある正の数が存在して,ある定数が存在して,
分割を,を満たすようにとったときに,その分割と代表点集合に対して,を満たすとき,は区間で リーマン積分可能 であるという。このとき,と表す。
定性的にはこんなかんじで説明できます。
- 分割の“幅”を限りなく小さくする。(例えば正の数より小さいとする。)
- このとき,幅がより小さくなるように分割をとれば,分割の仕方は何でもよいとする。
- 分割のとり方がなんでも良かったのに対して,リーマン和の値がただ1つの値に収束するならば,その値のことを“定積分”と呼ぶことにしよう
- すごい適当に言えば,が存在するときに,リーマン積分可能だと言っており,と書くよといっています。
といった感じです。雰囲気を説明することは簡単ですが,定義を理解する(ちゃっかり-論法で定義してしまいました)ことは難しいですね。
リーマン積分可能かどうかというのを判定するためには,あらかじめ定積分の値を知っている必要があります。
しかし例えば,「区間上で定義される連続関数はリーマン積分可能である。」という命題が真であることを証明したいとき,定積分の値なんてまったくわかりません。そういった背景から,が分からなくてもリーマン積分可能であるかどうか,という判定方法が熱望されます。
注意に書いた通り,リーマン積分可能であるための必要十分条件を,もう少し探っていきます。
リーマン積分可能かの判定
とりあえずここでは,閉区間で有界な関数を考えます。が有界であるとは,ある定数が存在して,任意のに対してを満たすことです。ざっくりいえば無限大に発散することはないということです。
とその分割に対して,次の量を定義しておきます。ここでやとは,その集合における下限,上限 を意味します。が連続関数ならば最小値や最大値と同じです。今回は下限や上限の定義は省略しますが,が成り立つことには思い出しておきます。
さらに,このとを用いて,次の量を定義します。この定義によって,次の関係式が成り立ちます。つまりやというのは,有界であることが分かったので,に依らない値として,
を定義することが出来ます。標語的に名付ければ,“下限の上限”と“上限の下限”をとっています。この“下限の上限”と“上限の下限”が一致することが,リーマン積分可能であるための必要十分条件なのです。
以下が成り立ちます。
ダルブーの定理を認めることで,わざわざ“上限の下限”をとるのではなく,“上限の極限”をとるだけで良いことが分かりました。さらに,次の定理があります。
リーマン積分可能かどうかの判定条件
有界な関数がリーマン積分可能であるための必要十分条件は,を満たすことである。
このように,必要十分条件ならば定積分の値が分かっていなくてもリーマン積分可能かどうかが分かることが知られています。
まとめ
今回はリーマン積分可能であることの定義,そして有界な関数ならば判定条件があることについて説明しました。高校生にもわかる?と言ってるくせに,-論法を持ち出さないとしっかり定義できないものや,やについてもある程度知識がないと困ってしまう記述があり,申し訳ない気持ちです。もしも今読んでくださっている方が高校生ならば,以下の事実は知っておいてください。
- 高校の区分求積法の正当性はかなりガバガバだ
- ただし高校の教科書の方がイロイロ理解しやすい
- 厳密にするには,より基礎から学んでいく必要がある
というわけで本日はこの辺で〆させていただきます。ここまでお読みいただきありがとうございます。
(もしかして,長い?分割すべき?)