リーマン積分
ニュートンとライプニッツは十七世紀に積分法を発明したが、長いあいだ、積分とは何かを正確に定義しようと気にかける人はいなかった。ふつうの関数については、積分は微分の逆か、曲線の下の面積であり、それで十分だったのである。
奇妙な関数 十九世紀のはじめ、事情が変わった。フーリエは、飛びや角のあるきわめて不規則な関数でもサインとコサインの和で書けることを示し、その和の係数は積分で与えられた。しかし、飛びだらけの関数を積分するとはどういう意味なのか。コーシーは連続関数について最初の定義を与えた。リーマンの師ディリクレは 1829 年に、まったく積分できない関数を見つけた。有理数で 1、無理数で 0 をとる関数である。
リーマンは、三角級数についての 1854 年の教授資格論文でこの問題に取り組んだ。どの関数がフーリエ級数で書けるかを知るには、まずどの関数が積分できるのかを正確に知る必要があったのである。
定義 リーマンの考えは単純である。区間 $[a, b]$ で $f$ を積分するには
区間を $[x_0, x_1], [x_1, x_2], \ldots, [x_{n-1}, x_n]$ に切る。ただし $x_0 = a$、$x_n = b$ とする。 各小区間で任意の点 $\xi_i$ を選ぶ。 底辺 $x_i - x_{i-1}$、高さ $f(\xi_i)$ の長方形の面積の和をつくる。 $$S = \sum_{i=1}^{n} f(\xi_i)\,(x_i - x_{i-1}).$$小区間をすべてごく細くしたとき、小区間と点の選び方にかかわらず、この和がただ一つの数に近づくならば、その数が積分である。
$$\int_a^b f(x)\,dx = \lim S.$$点の選び方によらないという要求が、定義の核心である。図で、各帯で選ぶ点と帯の数を変えてみよう。
この対話型の図を使うには JavaScript を有効にしてください。議論の全体は本文にあります。
どの関数が積分可能か リーマンは判定法も与えた。各帯で関数はある最小値と最大値のあいだを動き、その差がその帯での関数の振幅である。振幅に帯の幅を掛けて足した和をいくらでも小さくできるとき、関数は積分可能である。連続関数はすべてこの検査に合格し、飛びのある関数の多くも合格する。飛びが「多すぎ」なければよいのである。
ディリクレの関数は不合格である。どんなに小さな帯にも有理数と無理数があり、振幅はつねに 1 になる。和は選んだ点によって 1 か 0 になり、ただ一つの極限はない。