feature image

2017年11月2日 | ブログ記事

積分ってなんだろう?区分求積法からリーマン積分へ

こんにちは。アドベントカレンダー2017の11月2日担当のAzonです。この記事は積分についての高校生から大学学部一年生まで向けの読み物にしたいと思います。

高校数学における積分

高校数学において積分がどのように紹介されるかご存知ですか。まず微分の逆操作として不定積分が定義され、そこから定積分を定義します。そのあと、定積分が関数のグラフとx軸とのあいだの符号付き面積となることを証明したり、リーマン積分の片鱗を見せる区分求積法が紹介されたりします。しかし、積分はもともと微分と独立して定義できるものです。高校数学の定義では、原始関数が求まらない定積分を求めることが不可能になってしまいます。他にも問題があります。そもそも、面積とはなんでしょうか? 長方形や三角形などはともかく、任意の関数のグラフに対して面積が定義できるのでしょうか。この問題は測度論の発展とルベーグ積分の開発によって解決されましたが、筆者が詳しくない高校数学からいきなりそこまで話を広げるのは困難なので一旦置いておきます。

微分にも面積にも頼らない積分の定義

以上の問題を解決するために、微分にも面積にも頼らない積分の定義が欲しいですね。そこで区分求積法に目をつけます。区分求積法とは、

という公式のことです。高校数学では、この公式を面積の存在を前提に証明しますが、逆に、この等式を定積分の定義とするのはどうでしょうか。つまり

とするのです。は左のものを右のもので定義するという意味です。この定義を定義1と呼ぶことにしましょう。定義1には微分も面積も関係ないので良さそうですね。しかし問題があります。を有理数の集合とします。次のような関数を考えてみましょう。

この関数は原始関数が求まらないので、高校数学の定義では定積分が求まりません。しかし、定義1を使えば計算できそうですね。そこで定積分を求めてみましょう。ヒントは、有理数無理数無理数、でない有理数無理数無理数であることです。できた人は分かると思いますが、

が成り立ちません。定積分の性質を満たさないようでは、良い定積分の定義とは言えませんね。

リーマン積分

一度は失敗しましたが、諦めてはいけません。数学者ベルンハルト・リーマンは次のような定積分の定義を作りました。

定義

実数に対して、

を満たす数列をとする。

に対して、とする。つまり、のうち最も大きいものをとする。

に対して、

を満たす数列をとする。

任意の関数に対して、関数

と定める。

がどんどん小さくなるようにを定めれば、どんなに対してもがある一つの値に近づいていくならば、つまり

が収束するならば、関数リーマン積分可能といい、この極限の値をとする。

リーマン積分不可能な関数

このややこしい定義のおかげで、先ほどの関数などはリーマン積分不可能ということになります。を小さくしながらもが常に有理数になるようにを定めれば、

ですが、逆にを小さくしながらもが常に無理数になるようにを定めれば、

となります。が一つの値に近づいていないので関数はリーマン積分不可能です。

区分求積法からリーマン積分へ

実は、とおけば、リーマン積分の定義は定義1と同じものになります。実際にやってみましょう。

であることはを代入すればすぐ分かりますね。さらに、なので、です。したがって、ならばなので、

となるわけです。つまり、リーマン積分というのは定義1による積分を一般化したものなのです。

逆に、リーマン積分可能ならば、どのようなのとり方をしてもは同じ値に収束するので、リーマン積分の値は定義1による積分の値と一致します。実は、連続関数はリーマン積分可能であることが証明できます。したがって、連続関数に対してなら定義1を使っても正しいリーマン積分の値を求められます。さらに、リーマン積分は高校数学で学んだ積分の性質を全て満たします。しかも、リーマン積分から不定積分を定義すれば微分の逆操作にもなります。それらの証明はめんどくさいここに書くにはサーバ容量が狭すぎるため、大学で学んでくれること(あるいは独学)を期待して読者への課題としたいと思います。リーマン積分についてもっと詳しく知りたいという方はダルブーの定理微分積分学の基本定理などについて調べてみるといいと思います。

微分も面積も使わない、純粋な積分の定義というものを少しでも肌で感じていただけましたら幸いです。
アドベントカレンダー2017明日の担当はringさんとmaboさんです。ご期待ください。

Azon icon
この記事を書いた人
Azon

Arch Linuxが好き CTFや数学に興味がある

この記事をシェア

このエントリーをはてなブックマークに追加
共有

関連する記事

2017年11月14日
IBIS2017参加報告
Keijan icon Keijan
2017年11月17日
そばやのワク☆ワク流体シミュレーション~MPS編~
sobaya007 icon sobaya007
2017年12月26日
RustでMCMC(Metropolis-Hasting)
David icon David
2017年12月13日
チズケ破壊論
whiteonion icon whiteonion
2017年12月1日
WaltZ
Double_oxygeN icon Double_oxygeN
2017年11月4日
文章をよしなに分散表現しよう
David icon David
記事一覧 タグ一覧 Google アナリティクスについて