リーマン積分

数学の実解析の分野において、リーマン積分（リーマンせきぶん、）とは、ベルンハルト・リーマンによる区間上の関数の積分の最初の厳密な定式化である。
リーマン積分の源流は、オイラーによる左リーマン和と右リーマン和を用いた逆微分による定積分の近似式にまで遡ることができる。
以後、ラクロワやポアソンを経て、コーシーによって微分とは独立に積分が定義できるようになり、リーマンによって現在の形に定式化された。
多くの関数や実際的な応用に対しては、リーマン積分は微分積分学の基本定理による計算や数値積分による近似計算が可能である。

リーマン積分は  の有界集合上の関数に対して定義されるが、積分範囲にある種の極限を考えることにより、広義リーマン積分が定義される。広義リーマン積分との対比で、通常のリーマン積分を狭義リーマン積分とも呼ぶ。

リーマン積分は積分の多くの性質を示すのに有効であるが、積分と極限との交換に関係する性質を示すには理論的困難を伴うなど、いくつかの技術的欠点がある。この為こうした欠点を補うべくリーマン–スティルチェス積分やルベーグ積分など積分概念の別の定式化方法も提案されている。


 定義（一次元の場合） 
 区間の分割 

区間  の分割とは

なる形の数の有限列である。各  をこの分割の小区間  と呼ぶ。分割の大きさ  とは最長の小区間の長さ

をいう。区間  の点付き分割   とは、各  に対して  なる条件を満たす有限数列  を備えた分割をいう。つまり、点つき分割は分割の各小区間に識別のための点をとったものである。点付き分割の大きさは、（識別点をとらない）通常の分割におけるものと同一とする。

 リーマン和 

区間  上で定義された実数値函数  をとる。函数  の点付き分割  に関するリーマン和とは

なる形の和をいう。和の各項は函数の識別点における値と小区間の長さの積であるから、従って各項は高さが  で幅が  であるような矩形の面積を表す。すなわち、リーマン和はこのような矩形の全体が占める符号付き面積に等しい。

 リーマン積分 
大雑把に言って、リーマン積分は函数のリーマン和の分割をどんどん細分していった極限である。この極限が存在するならば、その函数は可積分（積分可能）あるいはもっと明確にリーマン可積分であるという。このときリーマン和は分割を十分細かくすることによっていくらでもリーマン積分に近づけることができる。

重要なことは、分割の大きさはどんどん小さく、極限において  となるようにしなければならないことである。さもなくば、ある小区間上で函数を十分に近似することができない。実は、分割の大きさを極限で  とすれば積分を定義するのに十分である。具体的に、函数  のリーマン積分が  に等しいというのは、
 条件
 任意の  に対して適当な  を選べば、大きさが  より小さい任意の点付き分割  に対して  とすることができる。
を満足することをいう。


 定義（一般の次元の場合） 
区間の分割
 上のリーマン積分を定義する為、いくつかの概念を定義する。

 の部分集合  で、

の形で書けるものを（有界閉）区間といい、 の直径  と(n 次元)体積  を以下のように定義する：


 を区間とするとき、区間の集合  で以下の性質を満たすものを  の分割という：

を満たす実数の組 } が存在し、 とするとき、 は

の形に書ける区間全体の集合である。

さらに組  で「任意の  に対し 」を満たすものを  の代表系 といい、 の分割  とその代表系  の組  を  の点付き分割という。

リーマン和とリーマン積分
 を関数とし、 を  内の区間とし、 を  の点付き分割とするとき、リーマン和  を以下のように定義する：


さらに以下の性質を満たす実数  が存在するとき、 は  上リーマン可積分であるといい、 を  の  上の積分値といい、 と表す：任意の  に対しある  が存在し、 の全ての点付き分割  に対し、


 別定義（細分による定義） 
上述した定義には、非常に扱いづらいという困った問題が存在する。そこでリーマン積分のより扱いやすい別な定義を与え、それが先ほどの定義によるものと一致することを証明する。

 定義 (細分)
  がともに区間  の点付き分割とする。分割  が分割  の細分  とは、 なる各整数  に対して整数  で  なるものが存在し、かつ  なる適当な  に対して  とできるときにいう。
端的に言えば、点付き分割の細分とは、分割に識別点を追加することであり、細分によってその分割の精度は「改良」("refine") される。

一方が他方の細分となっているとき、前者は後者以上であるとすることにより、点付き分割全体の成す集合に半順序を定義することができる。

細分によるリーマン積分の定義
 のリーマン積分が  であることの新しい定義を
 定義
 任意の  に対して適当な点付き分割  を選べば、その任意の細分  に対して  とすることができる。
を満たすことと定める。これらはいずれも最終的には、分割を細かくしていけば  のリーマン和がいくらでも  に近づくことを意味する。これはリーマン和をどれほどでも望むだけ近づけても成り立つから、すなわちリーマン和が  に収束することを言うものに他ならない。これらの定義は実際にはもっと一般の有向点族の概念の特別の場合になっている。

 元の定義との同値性の証明の概要 
先に述べたように、これらの二つの定義は同値である。つまり、前者の定義における  が存在するための必要十分条件は後者の定義における  が存在することである。前者から後者が出ることは、 に対して条件を満足する  を取り、大きさが  より小さい点付き分割を選べば、 との差が  より小さいリーマン和とその分割の任意の細分に対して、細分の大きさはやはり  より小さいから、細分のリーマン和もやはり  との差が  内に収まることからわかる。後者から前者が出ることはダルブー積分を用いれば容易にわかる。まず後者の定義からダルブー積分の定義が出ることはの項を見よ。いま、ダルブー積分函数が前者の定義を満たすことを示す。 を止めて、分割  を、対応する上ダルブー和および下ダルブー和がダルブー積分の値  との差が  に収まるように選ぶ。 上の  の上限を  とするとき、 ならば  は恒等的に  になる零写像で明らかにリーマン積分もダルブー積分も  になるから、以下  の場合を考える。 ならば  を  と  の両方よりも小さくとり、 ならば  を  より小さくとる。点付き分割  を選んでそのリーマン和と  との差が  より小さいことを示さなければならない。

これを見るのに、小区間  を選ぶ。この小区間が適当な小区間  に含まれるならば  の値は  における  の下限  と上限  の間にある。全ての小区間がこの性質を持つならば、リーマン和の各項はダルブー和の対応する項で抑えられ、ダルブー和の値を  に近づけることができるから、これで証明は完結する。これは m = 1 の場合であり、証明は終わっているから、以下 m > 1 と仮定する。この場合、ある  がどの  にも含まれないかもしれない。それどころか、分割  の二つの小区間に亘って交わりを持つ可能性もある（ がどの小区間の長さよりも小さいと仮定したから、三つ以上の小区間に亘ることはない）。つまり、記号で書けば、

なることが起こり得るということである（ここで全ての不等号は真の不等号であると仮定してよい。なぜならば、そうでなければ長さが  であると仮定して先ほどの場合に帰着されるからである）。これが起きるのは高々 m − 1 回である。この場合を上手く扱うために、分割  を  で細分してリーマン和とダルブー和との差を評価すると、リーマン和の項  は二つの項

に分かれる。 と仮定すると、 であるから、この項は  に対応するダルブー和の対応する項で抑えられる。他の項を抑えるために、 が  より小さいことに注意して、 を （ただし r は  の上限）より小さく取れば、第二項は  より小さい。これが起きるのは高々  回であるから、ダルブー和で抑えられない項の総計は高々  になる。従って、リーマン和と  との差は高々  になる。

 リーマン積分の例 
 を至る所 1 である函数とする。 上の  の任意のリーマン和の値は 1 になるから、 上の  のリーマン積分の値も 1 である。

ディリクレの函数  は区間  に含まれる有理数全体の成す集合の指示函数、つまり有理数の上で , 無理数の上で  となるような函数である。この函数はリーマン積分を持たない。これを示すには、リーマン和が  および  にそれぞれいくらでも近づけることができるような点付き分割を構成すればよい。

点付き分割  からはじめて、 を選ぶ。 は既に確定しているから、そこでの  の値を変更することはできないが、 の周りをごく小さい小区間に分ければ  の寄与は十分小さくすることができるから、新しい識別点を注意深く選べば、リーマン和の値を  あるいは  の好きなほうとの差を  より小さくできることを示す。

最初の段階は分割の細分である。 は  個あり、それらの寄与の総計を  より小さくしたい。そこでそれらの点を長さが  より小さい小区間に入るようにすれば、各  のリーマン和への寄与は  から  の間に収まるから、それらの総計は  から  の間に収まることになる。 を  より小さな正の数とし、 たちの二つが互いに  よりも近くにあるならば、 をさらに小さく取り直し、また  と  以内に  があってそれらが異なる場合も  を小さく取り直す。基準点（ と ）の数は有限個だから、有限回の取り直しで  は十分小さく取れているはずである。

ここで、各  に対してさらに二つ、 および  を識別点に加える（片方が区間  を外れるならばその点は考えない）と、 は小区間  に対応する識別点になる。 が直接  のどれかの上にあるならば、 は二つの小区間  と  の双方に対応する識別点とする。さらに、これら以外の小区間の識別点を選ばなければならないが、その選び方はいま二種類を挙げることができる。一つは全ての識別点を有理数にとる方法で、これによってリーマン和は可能な限り大きくとれて、よりも大にすることができる。もう一つは、識別点を全て無理数にとる方法で、これによりリーマンはは可能な限り小さくできて、 で抑えられる。

任意の分割から始めて、最終的にリーマン和を  にも  にも望むだけ近くすることができたから、リーマン和が特定の数  に収束するという主張は偽となり、この函数  はリーマン可積分でないことが示された。実はこの函数はルベーグ可積分であり、函数が殆ど至る所  であるから、ルベーグの意味での積分値は  であるけれども、しかしこのことはリーマン積分に影響を及ぼすものではない。

さらに困った例が存在する。 は（殆ど至る所等しいという意味で）同値なリーマン可積分函数が存在したけれども、どのリーマン可積分函数とも同値でないようなリーマン積分不能な有界函数というものが存在する。例えば、 をスミス–ヴォルテラ–カントール集合とし、その指示函数を  とする。 はジョルダン可測ではないから  はリーマン可積分ではない。さらに  に同値なリーマン可積分函数  は存在しない。実際、 は  と同様に稠密集合上  でなければならないから、前の例と同様に  の任意のリーマン和は任意の正数  に対して  との差が  以内に収まるような細分を持つ。しかし、 のリーマン積分が存在するならば、それは  のルベーグ積分である  に等しくないといけないから、 はリーマン可積分でない。

 類似概念 
リーマン積分の定義によく用いられるのがダルブー積分である。これは、ダルブー積分が技術的に単純で、リーマン可積分性とダルブー可積分性が同値になることによる。

微積分学の教科書によっては、一般の点付き分割を用いずに特定の種類の点付き分割のみに限って用いるものがあるが、分割の種類を限定しすぎると、実際にはリーマン積分不能な函数が可積分であるように見えてしまうことがある。

よくある制限は「左側」リーマン和と「右側」リーマン和である。左側リーマン和は各  に対して  ととるもので、右側リーマン和は同じく  ととるものをいう。これらの制限はだけでは問題となるわけではなく、任意の分割を各  で再分割することにより左側リーマン和または右側リーマン和を得ることができる。より厳密な言い方をすれば、左側リーマン和全体の成す集合と右側リーマン和全体の成す集合とは、点付き分割全体の成す集合において共終である。

もうひとつのよくある制限は、各区間の等分割を用いるものである。例えば、 の -番目の等分割は区間 , , …,  からなる。これもやはりそれ単独で問題となることはないが、その理由は先ほどの左側・右側リーマン和の場合よりも難しい。

しかし、これらの制限を組み合わせて、区間の等分割上で左側または右側リーマン和を考えるのは危険である。初めから函数がリーマン可積分であることがわかっている場合には、そのようなリーマン和から正しい積分値が得られるが、しかし例えばディリクレの函数  は、このようなリーマン和を用いると  上可積分で、その値が  であるかのように見えてしまう。実際、任意の小区間の端点は有理数になるから、有理数の上で値が  であるこの函数は、この分割では常に  であるかのように見えてしまう。このように定義することに伴う問題は、積分を二つの部分に分割しようとするときに顕在化する。例えば、次のような等式

は当然の如く成立すべきものであるが、等分割上の左側または右側リーマン和を用いた場合は、左辺の二つの項は（ 以外の全ての端点が無理数になるから）ともに  に等しく、他方右辺は既に見たように  に等しい。

上述の定義のもと、リーマン積分はこの問題を「 の積分が存在しない」とすることで回避する。なお、ルベーグ積分はこれらの積分の値が全て  となるように定義されている。

 性質 
 線型性 
リーマン積分は線型変換である。すなわち、 が有界閉区間  上リーマン可積分で、 を定数とすると、

が成り立つ。函数のリーマン積分は一つの数であるから、これはリーマン積分がリーマン可積分函数全体の成すベクトル空間上の線型汎函数となることを示している。

 可積分性 
有界関数のリーマン可積分性はルベーグ測度を用いて以下のように特徴づけられる：

可算集合は測度  であるので、上の定理から特に、有界閉区間上の有界函数は不連続点が高々可算個ならリーマン可積分である。

この定理は様々な方法で証明できる溝端茂、『ルベーグ積分』、岩波全書。p39Basic real analysis, by Houshang H. Sohrab, section 7.3, Sets of Measure Zero and Lebesgue’s Integrability Condition, pp. 264–271, updated April 2010, William F. Trench, 3.5 "A More Advanced Look at the Existence of the Proper Riemann Integral", pp. 171–177が、そのうちの一つは以下のようなものである：

有界集合の指示函数がリーマン可積分であるための必要十分条件は、その集合がジョルダン可測となることである。

閉区間  上の実数値単調函数は、不連続点集合が可算（つまりルベーグ測度が 0）であるから、リーマン可積分である。

閉区間  上の実数値函数がリーマン可積分ならば、ルベーグ可積分でもある。つまり、リーマン可積分性はルベーグ可積分性よりも「強い」（つまり満たすことが難しい）条件である。

 を閉区間  上の一様収束列で、その極限を  とするとき、すべての  がリーマン可積分であるならば  もまたリーマン可積分で

が成立する。しかし、（点ごとの収束が単調なときの）ルベーグの単調収束定理は成り立たない。

 一般化 
リーマン積分の定義を、任意の  次元ユークリッド空間  に値を持つ函数へ拡張することは容易にできる。つまり線型性に基づいて、 に対して

とすればよい。特に、複素数全体は実ベクトル空間であるから、複素数値函数の積分がこの方法でできる。

リーマン積分は有界区間上でのみ定義されていて、その定義を無限区間にまで拡張して適用することはできない。これを回避する最も単純な方法は、無限区間での積分を有界区間での積分の極限、すなわち広義積分として定義することである。式で書けば

を考えればよさそうに思われるが、不幸にしてこれでは上手くいかない。平行移動不変性（すなわち函数のリーマン積分は、函数を左右に動かしても値が変化しないこと）が成り立たたなくなるからである。例えば、

とすれば

が任意の  に対して成り立つが、 を  だけ右にずらした  に対しては  のとき

となってしまう。これは不合理ゆえ、次は

を検討する。このように定義するならば、先ほどの例にとった  の値は  になる。これは先に極限  を取ることによるもので、順番を逆にすれば  を得ることになる。これもやはり不合理であるから、（任意の有限区間での）積分が存在して、それが極限を取る順番に依らずに同じ値を得ることを、積分の定義として要求することになる。それでもなお、広義リーマン積分はもはや一様収束極限と両立しないから、狭義のリーマン積分と全く同じというわけには行かない。例えば  上で  かつ、それ以外では至る所  となるような函数を考えると、任意の  に対して

だが、 は一様に  に収束するから、 の積分値は  であって、

が結論付けられる。これは、狭義のリーマン積分と極限との順序交換に対して最も重要な判定規準であった一様収束性による判定は、広義積分に対してはもはや成り立たないことを示している。そのせいで、広義リーマン積分は応用上の利用が難しいものとなっている。

もっと筋のよい方法は、リーマン積分を離れてルベーグ積分を考えることである。ルベーグ積分の定義は、それが一見してリーマン積分の一般化になっていることが明らかというようなものではない。しかし、狭義リーマン可積分可能な函数がルベーグ可積分であり、両者がともに定義される限りその積分値が一致することを証明するのはさほど困難なことではない。さらに言えば、有界区間上定義された函数 ƒ がリーマン可積分であるための必要十分条件は、函数 ƒ が有界かつその不連続点がルベーグ零集合を成すことである。

実は、リーマン積分を直接に一般化するヘンストック–クルツヴァイル積分がある。またリーマン積分の別な一般化が、リーマン和の定義における因子  を別なものに置き換える事で得られる。これは砕けた言い方をすれば積分区間に別な種類の長さを与えることにあたり、リーマン–スティルチェス積分はこのようなやり方の積分法のひとつである。

 脚注 

 注釈 

 出典 

 参考文献 
 Shilov, G. E., and Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, trans. Dover Publications. ISBN 0-486-63519-8.




 関連項目 
 ジョルダン測度
 原始函数

 外部リンク 







Category:積分法
せきふん
Category:数学に関する記事
Category:数学のエポニム