リーマン積分のソースを表示

{{calculus}}
[[数学]]の[[実解析]]の分野において、'''リーマン積分'''（リーマンせきぶん、{{lang-en-short|Riemann integral}}）とは、[[ベルンハルト・リーマン]]による[[区間 (数学)|区間]]上の[[関数 (数学)|関数]]の積分の最初の厳密な定式化である{{efn|リーマン積分は、1854年にリーマンの教授資格論文としてゲッティンゲン大学に提出された論文 "Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe" （三角級数による関数の表現可能性に関して）において導入された。<ref>{{citation|first= G. F. Bernhard | last= Riemann | year=1868 | title= Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe | journal= ''Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen'' (Proceedings of the Royal Philosophical Society at Göttingen) | volume= 13 | pages= 87&ndash;132 | url= {{google books|id=PDVFAAAAcAAJ&pg=PA87-PA132|plainurl=1}}|ref=harv}}</ref>リーマンの積分の定義は、4節 "Über der Begriff eines bestimmten Integrals und den Umfang seiner Gültigkeit" (On the concept of a definite integral and the extent of its validity){{sfn|Riemann|1868|pages= 101&ndash;103}} を参照。}}。
リーマン積分の源流は、[[オイラー]]による左[[リーマン和]]と右[[リーマン和]]を用いた逆微分による定積分の近似式にまで遡ることができる。
以後、ラクロワや[[シメオン・ドニ・ポアソン|ポアソン]]を経て、[[オーギュスタン＝ルイ・コーシー|コーシー]]によって微分とは独立に積分が定義できるようになり、リーマンによって現在の形に定式化された。
多くの関数や実際的な応用に対しては、リーマン積分は[[微分積分学の基本定理]]による計算や[[数値積分]]による近似計算が可能である。

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

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

[[Image:Integral as region under curve.svg|thumb|right|曲線の下側にある領域の面積としての積分。]]

== 定義（一次元の場合） ==
=== 区間の分割 ===
{{main|区間の分割}}
区間 {{closed-closed|''a'', ''b''}} の[[区間の分割|分割]]とは
: <math>a = x_0 < x_1 < x_2 < \cdots < x_n = b</math>
なる形の数の有限列である。各 {{closed-closed|''x{{sub|i}}'', ''x''{{sub|''i''+1}}}} をこの分割の'''小区間''' {{lang|en|(''subinterval'')}} と呼ぶ。分割の'''大きさ''' {{lang|en|(''mesh'', ''norm'')}} とは最長の小区間の長さ
:<math>\max_{0\le i< n}(x_{i+1}-x_i)</math>
をいう。区間 {{mvar|''I''}} の'''点付き分割''' {{lang|en|(''tagged partition'')}} {{math|''P''(''x'', ''t'')}} とは、各 {{mvar|i}} に対して {{math|''x{{sub|i}}'' ≤ ''t{{sub|i}}'' ≤ ''x''{{sub|''i''+1}}}} なる条件を満たす有限数列 {{math|''t''{{sub|0}}, …, ''t''{{sub|''n''&minus;1}}}} を備えた分割をいう。つまり、点つき分割は分割の各小区間に識別のための点をとったものである。点付き分割の大きさは、（識別点をとらない）通常の分割におけるものと同一とする。

=== リーマン和 ===
{{main|リーマン和}}
区間 {{mvar|''I''}} 上で定義された実数値函数 {{mvar|f}} をとる。函数 {{mvar|f}} の点付き分割 {{math|(''x''{{sub|0}}, …, ''x{{sub|n}}''; ''t''{{sub|0}}, …, ''t''{{sub|''i''&minus;1}})}} に関する'''[[リーマン和]]'''とは
:<math>\sum_{i=0}^{n-1} f(t_i) (x_{i+1}-x_i)</math>
なる形の和をいう。和の各項は函数の識別点における値と小区間の長さの積であるから、従って各項は高さが {{math|''f''(''t{{sub|i}}'')}} で幅が {{math|''x''{{sub|''i''&minus;1}} &minus; ''x{{sub|i}}''}} であるような矩形の面積を表す。すなわち、リーマン和はこのような矩形の全体が占める符号付き面積に等しい。

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

重要なことは、分割の大きさはどんどん小さく、極限において {{math|0}} となるようにしなければならないことである。さもなくば、ある小区間上で函数を十分に近似することができない。実は、分割の大きさを極限で {{math|0}} とすれば積分を定義するのに十分である。具体的に、函数 {{mvar|f}} のリーマン積分が {{mvar|s}} に等しいというのは、
; 条件
: 任意の {{math|''ε'' &gt; 0}} に対して適当な {{math|''δ'' &gt; 0}} を選べば、大きさが {{mvar|δ}} より小さい任意の点付き分割 {{math|(''x''{{sub|0}}, …, ''x{{sub|n}}''; ''t''{{sub|0}}, …, ''t''{{sub|''n''&minus;1}})}} に対して <math display="block">\left|\sum_{i=0}^{n-1} f(t_i) (x_{i+1}-x_i) - s\right| < \varepsilon</math> とすることができる。
を満足することをいう。

[[Image:Riemann.gif|thumb|right|リーマン和の列。右上の数値は灰色の矩形の総面積で、函数の積分値に収束する。]]

== 定義（一般の次元の場合） ==
===区間の分割===
{{math|'''ℝ'''{{exp|''n''}}}} 上のリーマン積分を定義する為、いくつかの概念を定義する。

{{math|'''ℝ'''{{exp|''n''}}}} の部分集合 {{mvar|I}} で、
: <math>I=[a_1,b_1]\times\cdots\times [a_n,b_n]</math>
の形で書けるものを（有界閉）[[区間 (数学)#高次元区間|区間]]といい、{{mvar|I}} の'''直径''' {{math|diam(''I'')}} と[[ジョルダン測度|(''n'' 次元)'''体積''']] {{math|''v''(''I'')}} を以下のように定義する：
: <math>\operatorname{diam}(I) = \max_{i=1,\ldots,n}(b_i-a_i),\quad v(I)=\prod_{i=1}^n (b_i-a_i).</math>

{{mvar|I}} を区間とするとき、区間の集合 {{mvar|D}} で以下の性質を満たすものを {{mvar|I}} の'''分割'''という：
: <math>a_i = x_{i,0} < x_{i,1} <  \cdots < x_{i,m_i} = b_i</math>
を満たす実数の組 {{math|{''x{{sub|i,j}}''}}} が存在し、{{math|1=''J{{sub|i,j}}'' {{coloneqq}} {{closed-closed|''x{{sub|i,j}}'', ''x''{{sub|''i,j''+1}}}}}} とするとき、{{mvar|D}} は
: <math>J_{1,j_1}\times\cdots\times J_{n,j_n}</math>
の形に書ける区間全体の集合である。

さらに組 <math>\xi=\{\xi_J\}_{J\in D}</math> で「任意の {{math|''J'' &isin; ''D''}} に対し {{math|''ξ{{sub|J}}'' ∈ ''J''}}」を満たすものを {{mvar|D}} の'''代表系''' といい、{{mvar|I}} の分割 {{mvar|D}} とその代表系 {{mvar|ξ}} の組 {{math|(''D'', ''ξ'')}} を {{mvar|I}} の'''点付き分割'''という。

===リーマン和とリーマン積分===
{{math|''f'': '''ℝ'''{{exp|''n''}} → '''ℝ'''}} を関数とし、{{mvar|I}} を {{math|'''ℝ'''{{exp|''n''}}}} 内の区間とし、{{math|(''D'', ''ξ'')}} を {{mvar|I}} の点付き分割とするとき、'''リーマン和''' <math>S_f(D,\xi)</math> を以下のように定義する：
: <math>S_f(D,\xi)=\sum_{J\in D}f(\xi_J)v(J).</math>

さらに以下の性質を満たす実数 {{mvar|a}} が存在するとき、{{mvar|f}} は {{mvar|I}} 上'''リーマン可積分'''であるといい、{{mvar|a}} を {{mvar|f}} の {{mvar|I}} 上の'''積分値'''といい、<math display="inline">\int_I f(x)\,dx</math> と表す：任意の {{math|''ε'' > 0}} に対しある {{math|''δ'' > 0}} が存在し、{{mvar|I}} の全ての点付き分割 {{math|(''D'', ''ξ'')}} に対し、
: <math>\max_{J\in D}\operatorname{diam}(J)<\delta\implies \left|S_f(D,\xi)-a\right|<\varepsilon.</math>

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

; 定義 (細分)
: {{math|''P''(''x'', ''t''), ''Q''(''y'', ''s'')}} がともに区間 {{mvar|I}} の点付き分割とする。分割 {{math|''Q''(''y'', ''s'')}} が分割 {{math|''P''(''x'', ''t'')}} の'''細分''' {{lang|en|(''refinement'')}} とは、{{math|0 ≤ ''i'' ≤ ''n''}} なる各整数 {{mvar|i}} に対して整数 {{math|''r''(''i'')}} で {{math|1=''x{{sub|i}}'' = ''y''{{sub|''r''(''i'')}}}} なるものが存在し、かつ {{math|''r''(''i'') ≤ ''j'' < ''r''(''i'' + 1)}} なる適当な {{mvar|j}} に対して {{math|1=''t{{sub|i}}'' = ''s{{sub|j}}''}} とできるときにいう。
端的に言えば、点付き分割の細分とは、分割に識別点を追加することであり、細分によってその分割の精度は「改良」("refine") される。

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

===細分によるリーマン積分の定義===
{{mvar|f}} のリーマン積分が {{mvar|s}} であることの新しい定義を
; 定義
: 任意の {{math|''ε'' &gt; 0}} に対して適当な点付き分割 {{math|(''x''{{sub|0}}, …, ''x{{sub|n}}''; ''t''{{sub|0}}, …, ''t''{{sub|''n''&minus;1}})}} を選べば、その任意の細分 {{math|(''y''{{sub|0}}, …, ''y{{sub|m}}''; ''s''{{sub|0}}, …, ''s''{{sub|''m''&minus;1}})}} に対して <math display="block">
  \left|\sum_{i=0}^{m-1} f(s_i) (y_{i+1}-y_i) - s\right| < \varepsilon
</math> とすることができる。
を満たすことと定める。これらはいずれも最終的には、分割を細かくしていけば {{mvar|f}} のリーマン和がいくらでも {{mvar|s}} に近づくことを意味する。これはリーマン和をどれほどでも望むだけ近づけても成り立つから、すなわちリーマン和が {{mvar|s}} に収束することを言うものに他ならない。これらの定義は実際にはもっと一般の[[有向点族]]の概念の特別の場合になっている。

=== 元の定義との同値性の証明の概要 ===
先に述べたように、これらの二つの定義は同値である。つまり、前者の定義における {{mvar|s}} が存在するための必要十分条件は後者の定義における {{mvar|s}} が存在することである。前者から後者が出ることは、{{mvar|ε}} に対して条件を満足する {{mvar|δ}} を取り、大きさが {{mvar|δ}} より小さい点付き分割を選べば、{{mvar|s}} との差が {{mvar|ε}} より小さいリーマン和とその分割の任意の細分に対して、細分の大きさはやはり {{mvar|δ}} より小さいから、細分のリーマン和もやはり {{mvar|s}} との差が {{mvar|ε}} 内に収まることからわかる。後者から前者が出ることは[[ダルブー積分]]を用いれば容易にわかる。まず後者の定義からダルブー積分の定義が出ることは{{仮リンク|ダルブー積分|en|Darboux integral}}の項を見よ。いま、ダルブー積分函数が前者の定義を満たすことを示す。{{mvar|ε}} を止めて、分割 {{math|''y''{{sub|0}}, …, ''y{{sub|m}}''}} を、対応する上ダルブー和および下ダルブー和がダルブー積分の値 {{mvar|s}} との差が {{math|''ε''/2}} に収まるように選ぶ。{{mvar|I}} 上の {{abs|''f''(''x'')}} の[[上限 (数学)|上限]]を {{mvar|r}} とするとき、{{math|1=''r'' = 0}} ならば {{mvar|f}} は恒等的に {{math|0}} になる零写像で明らかにリーマン積分もダルブー積分も {{math|0}} になるから、以下 {{math|''r'' &gt; 0}} の場合を考える。{{math|''m'' &gt; 1}} ならば {{mvar|δ}} を {{math|''ε''/2''r''(''m'' &minus; 1)}} と {{math|min{{mset|''y''{{sub|''i''+1}} &minus; ''y{{sub|i}}''}}}} の両方よりも小さくとり、{{math|1=''m'' = 1}} ならば {{mvar|δ}} を {{math|1}} より小さくとる。点付き分割 {{math|(''x''{{sub|0}}, …, ''x{{sub|n}}''; ''t''{{sub|0}}, …, ''t''{{sub|''n''&minus;1}})}} を選んでそのリーマン和と {{mvar|s}} との差が {{mvar|ε}} より小さいことを示さなければならない。

これを見るのに、小区間 {{closed-closed|''x{{sub|i}}'', ''x''{{sub|''i''+1}}}} を選ぶ。この小区間が適当な小区間 {{closed-closed|''y{{sub|j}}'', ''y''{{sub|''j''+1}}}} に含まれるならば {{math|''ƒ''(''t{{sub|i}}'')}} の値は {{closed-closed|''y{{sub|j}}'', ''y''{{sub|''j''+1}}}} における {{mvar|f}} の[[下限]] {{mvar|m{{sub|j}}}} と[[上限 (数学)|上限]] {{mvar|M{{sub|j}}}} の間にある。全ての小区間がこの性質を持つならば、リーマン和の各項はダルブー和の対応する項で抑えられ、ダルブー和の値を {{mvar|s}} に近づけることができるから、これで証明は完結する。これは ''m'' = 1 の場合であり、証明は終わっているから、以下 ''m'' &gt; 1 と仮定する。この場合、ある {{closed-closed|''x{{sub|i}}'', ''x''{{sub|''i''+1}}}} がどの {{closed-closed|''y{{sub|j}}'', ''y''{{sub|''j''+1}}}} にも含まれないかもしれない。それどころか、分割 {{math|''y''{{sub|0}}, …, ''y{{sub|m}}''}} の二つの小区間に亘って交わりを持つ可能性もある（{{mvar|δ}} がどの小区間の長さよりも小さいと仮定したから、三つ以上の小区間に亘ることはない）。つまり、記号で書けば、
:<math>y_j < x_i < y_{j+1} < x_{i+1} < y_{j+2}</math>
なることが起こり得るということである（ここで全ての不等号は真の不等号であると仮定してよい。なぜならば、そうでなければ長さが {{mvar|δ}} であると仮定して先ほどの場合に帰着されるからである）。これが起きるのは高々 ''m'' &minus; 1 回である。この場合を上手く扱うために、分割 {{math|''x''{{sub|0}}, …, ''x{{sub|n}}''}} を {{math|''y''{{sub|''j''+1}}}} で細分してリーマン和とダルブー和との差を評価すると、リーマン和の項 {{math|''ƒ''(''t{{sub|i}}'')(''x{{sub|i}}'' &minus; ''x''{{sub|''i''+1}})}} は二つの項
:<math>f(t_i)(x_i-x_{i+1}) = f(t_i)(x_i-y_{j+1}) + f(t_i)(y_{j+1}-x_{i+1})</math>
に分かれる。{{math|''t{{sub|i}}'' ∈ {{closed-closed|''x{{sub|i}}'', ''x''{{sub|''i''+1}}}}}} と仮定すると、{{math|''m{{sub|j}}'' ≤ ''ƒ''(''t{{sub|i}}'') ≤ ''M{{sub|j}}''}} であるから、この項は {{mvar|y{{sub|j}}}} に対応するダルブー和の対応する項で抑えられる。他の項を抑えるために、{{math|''y''{{sub|''j''+1}} &minus; ''x''{{sub|''i''+1}}}} が {{mvar|δ}} より小さいことに注意して、{{mvar|δ}} を {{math|''ε''/2''r''(''m'' &minus; 1)}}（ただし ''r'' は {{math|{{abs|ƒ(''x'')}}}} の上限）より小さく取れば、第二項は {{math|''ε''/2(''m'' &minus; 1)}} より小さい。これが起きるのは高々 {{math|''m'' &minus; 1}} 回であるから、ダルブー和で抑えられない項の総計は高々 {{math|''ε''/2}} になる。従って、リーマン和と {{mvar|s}} との差は高々 {{mvar|ε}} になる。

== リーマン積分の例 ==
{{math|''f'': {{closed-closed|0, 1}} &rarr; '''ℝ'''}} を至る所 1 である函数とする。{{closed-closed|0, 1}} 上の {{mvar|f}} の任意のリーマン和の値は 1 になるから、{{closed-closed|0, 1}} 上の {{mvar|f}} のリーマン積分の値も 1 である。

[[ディリクレの函数]] {{math|''I''{{sub|'''ℚ'''}}: {{closed-closed|0, 1}} &rarr; '''ℝ'''}} は区間 {{closed-closed|0, 1}} に含まれる有理数全体の成す集合の[[指示函数]]、つまり有理数の上で {{math|1}}, 無理数の上で {{math|0}} となるような函数である。この函数はリーマン積分を持たない。これを示すには、リーマン和が {{math|0}} および {{math|1}} にそれぞれいくらでも近づけることができるような点付き分割を構成すればよい。

点付き分割 {{math|(''x''{{sub|0}}, …, ''x{{sub|n}}''; ''t''{{sub|0}}, …, ''t''{{sub|''n''&minus;1}})}} からはじめて、{{math|''ε'' &gt; 0}} を選ぶ。{{mvar|t{{sub|i}}}} は既に確定しているから、そこでの {{mvar|f}} の値を変更することはできないが、{{mvar|t{{sub|i}}}} の周りをごく小さい小区間に分ければ {{mvar|t{{sub|i}}}} の寄与は十分小さくすることができるから、新しい識別点を注意深く選べば、リーマン和の値を {{math|0}} あるいは {{math|1}} の好きなほうとの差を {{mvar|ε}} より小さくできることを示す。

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

ここで、各 {{mvar|t{{sub|i}}}} に対してさらに二つ、{{math|''t{{sub|i}}'' &minus; ''δ''/2}} および {{math|''t{{sub|i}}'' + ''δ''/2}} を識別点に加える（片方が区間 {{closed-closed|0, 1}} を外れるならばその点は考えない）と、{{mvar|t{{sub|i}}}} は小区間 {{closed-closed|''t{{sub|i}}'' &minus; ''δ''/2, ''t{{sub|i}}'' + ''δ''/2}} に対応する識別点になる。{{mvar|t{{sub|i}}}} が直接 {{mvar|x{{sub|j}}}} のどれかの上にあるならば、{{mvar|t{{sub|i}}}} は二つの小区間 {{closed-closed|''t{{sub|i}}'' &minus; ''δ''/2, ''x{{sub|j}}''}} と {{closed-closed|''x{{sub|j}}'', ''t{{sub|i}}'' + ''δ''/2}} の双方に対応する識別点とする。さらに、これら以外の小区間の識別点を選ばなければならないが、その選び方はいま二種類を挙げることができる。一つは全ての識別点を有理数にとる方法で、これによってリーマン和は可能な限り大きくとれて、{{math|1 &minus; ''ε''}}よりも大にすることができる。もう一つは、識別点を全て無理数にとる方法で、これによりリーマンはは可能な限り小さくできて、{{mvar|ε}} で抑えられる。

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

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

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

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

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

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

しかし、これらの制限を組み合わせて、区間の等分割上で左側または右側リーマン和を考えるのは危険である。初めから函数がリーマン可積分であることがわかっている場合には、そのようなリーマン和から正しい積分値が得られるが、しかし例えば[[ディリクレの函数]] {{math|''I''{{sub|'''ℚ'''}}}} は、このようなリーマン和を用いると {{closed-closed|0, 1}} 上可積分で、その値が {{math|1}} であるかのように見えてしまう。実際、任意の小区間の端点は有理数になるから、有理数の上で値が {{math|1}} であるこの函数は、この分割では常に {{math|1}} であるかのように見えてしまう。このように定義することに伴う問題は、積分を二つの部分に分割しようとするときに顕在化する。例えば、次のような等式
:<math>
\int_0^{\sqrt{2}-1} I_\mathbf{Q}(x)\,dx +
\int_{\sqrt{2}-1}^1 I_\mathbf{Q}(x)\,dx =
\int_0^1 I_\mathbf{Q}(x)\,dx
</math>
は当然の如く成立すべきものであるが、等分割上の左側または右側リーマン和を用いた場合は、左辺の二つの項は（{{math|0, 1}} 以外の全ての端点が無理数になるから）ともに {{math|0}} に等しく、他方右辺は既に見たように {{math|1}} に等しい。

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

== 性質 ==
=== 線型性 ===
リーマン積分は線型変換である。すなわち、{{mvar|f, g}} が有界閉区間 {{mvar|I}} 上リーマン可積分で、{{mvar|α, β}} を定数とすると、
:<math> \int_I( \alpha f + \beta g)\,dx = \alpha \int_I f(x)\,dx + \beta \int_I g(x)\,dx</math>
が成り立つ。函数のリーマン積分は一つの数であるから、これはリーマン積分がリーマン可積分函数全体の成すベクトル空間上の線型汎函数となることを示している。

== 可積分性 ==
有界関数のリーマン可積分性は[[ルベーグ測度]]を用いて以下のように特徴づけられる{{Sfn|杉浦|1980|p=266}}：

{{math theorem
|name=定理（ルベーグ）
|{{math|'''ℝ'''{{exp|''n''}}}} の有界閉区間 {{mvar|I}} 上の有界関数 {{math|''f'': ''I'' → '''ℝ'''}} に対し、{{mvar|f}} が {{mvar|I}} 上リーマン可積分であることと、{{mvar|f}} が[[ほとんど至るところ]]連続である（すなわち {{mvar|f}} の不連続点全体の集合が[[零集合]]である）ことは同値である。
}}

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

この定理は様々な方法で証明できる{{Sfn|杉浦|1980|p=266}}<ref>溝端茂、『ルベーグ積分』、岩波全書。p39</ref><ref name="apostol169">{{harvnb|Apostol|1974|pp=169&ndash;172}}</ref><ref>{{Cite journal
| issn = 0002-9890| volume = 43| issue = 7| pages = 396–398| last = Brown| first = A. B.| title = A Proof of the Lebesgue Condition for Riemann Integrability| journal = The American Mathematical Monthly| date = 1936-09| jstor = 2301737}}</ref><ref>Basic real analysis, by Houshang H. Sohrab, section 7.3, Sets of Measure Zero and Lebesgue’s Integrability Condition, [https://books.google.co.jp/books?id=gBPI_oYZoMMC&pg=PA264&redir_esc=y&hl=ja pp. 264–271]</ref><ref>''{{PDFlink|[http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_REAL_ANALYSIS.PDF Introduction to Real Analysis]}},'' updated April 2010, William F. Trench, 3.5 "A More Advanced Look at the Existence of the Proper Riemann Integral", pp. 171–177</ref>が、そのうちの一つは以下のようなものである：

{{math proof
|1=最も簡単な証明は可積分性の定義に[[ダルブー積分]]（厳密にはリーマンの可積分条件）を用いるものである。すなわち、リーマン可積分とは、適当な分割を選べば上ダルブー和と下ダルブー和の差がいくらでも小さくできることをいう。

ルベーグの条件の必要性は、[[振動 (数学)|振幅]]による連続性の定義を用いれば非常に簡潔に示せる<ref>[http://unapologetic.wordpress.com/2009/12/15/lebesgues-condition/ Lebesgue’s Condition], John Armstrong, December 15, 2009, The Unapologetic Mathematician</ref>。{{mvar|f}} の不連続点集合が正の測度を持つならば、適当な正の数 {{mvar|ε}} に対して {{mvar|f}} が少なくとも {{mvar|ε}} の振幅を持つような集合 {{mvar|X{{sub|ε}}}} で測度が {{math|''m''(''X{{sub|ε}}'') &gt; 0}} となるようなものが存在するから、{{mvar|f}} の上積分と下積分との差は {{math|''ε''&sdot;''m''(''X{{sub|ε}}'')}} よりも大きい。

ルベーグの条件が十分であることの証明は直接的だが多少長くなる<ref>[http://unapologetic.wordpress.com/2009/12/09/jordan-content-integrability-condition/ Jordan Content Integrability Condition], John Armstrong, December 9, 2009, The Unapologetic Mathematician</ref>。{{mvar|f}} が殆ど至る所連続ならば、有界閉区間 {{mvar|I}} の任意の分割に対して、まずその分割を二つの区間族 {{mvar|C, D}} に分け、{{mvar|D}} が全ての不連続点を含み、{{mvar|C}} には不連続点が含まれないようにする。直観的には、{{mvar|D}} は「幅」を任意に小さく、他方 {{mvar|C}} は「高さ」を任意に小さくすることができる。これをきちんと書けば、任意の正の数 {{mvar|ε}} に対し {{mvar|D}} の適当な再分割で、長さの総計が高々 {{mvar|ε}} であるような区間族が全ての不連続点を含むようなものが取れる。従って、{{mvar|D}} 上の上ダルブー和と下ダルブー和の差は {{math|''ε''(''M'' &minus; ''m'')}} で抑えられる（但し、{{mvar|m}} および {{mvar|M}} はそれぞれ {{mvar|f}} の下限および上限）。ここで、函数の有界性、およびコンパクト集合上で[[ジョルダン測度]]が {{math|0}} であることとルベーグ測度が {{math|0}} であることが同値になる（従って有限分割が使える）ことを用いた。残りの {{mvar|C}} の上では函数は有界閉区間上の連続函数で、従って[[一様連続]]になるから、分割 {{mvar|C}} の再分割で、その各区間上で {{mvar|f}} が高々 {{mvar|ε}} しか変化しないようなものが取れる。従って上ダルブー和と下ダルブー和の差は高々 {{math|''ε''{{abs|''I''}}}} である（ここでコンパクト性を用いた）。以上から、差の合計 {{math|''ε''((''M'' &minus; ''m'') + {{abs|''I''}}) {{eqqcolon}} ''Kε''}} は {{mvar|ε}} の定数倍で、これはいくらでも小さくすることができるから、この函数がリーマン可積分であることがわかる。
|drop=yes}}

有界集合の[[指示函数]]がリーマン可積分であるための必要十分条件は、その集合が[[ジョルダン測度|ジョルダン可測]]となることである<ref>[http://planetmath.org/encyclopedia/Volume.html]</ref>。

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

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

{{math|{{mset|''f{{sub|n}}''}}}} を閉区間 {{mvar|I}} 上の[[一様収束|一様収束列]]で、その極限を {{mvar|f}} とするとき、すべての {{mvar|f{{sub|n}}}} がリーマン可積分であるならば {{mvar|f}} もまたリーマン可積分で
:<math> \int_I f\, dx = \int_I(\lim_{n\to\infty} f_n)dx = \lim_{n\to\infty} \int_I f_n\, dx</math>
が成立する。しかし、（点ごとの収束が単調なときの）ルベーグの[[単調収束定理]]は成り立たない。

== 一般化 ==
リーマン積分の定義を、任意の {{mvar|n}} 次元ユークリッド空間 {{math|'''ℝ'''{{exp|''n''}}}} に値を持つ函数へ拡張することは容易にできる。つまり線型性に基づいて、{{math|1='''f''' = (''f''{{sub|1}}, …, ''f{{sub|n}}'')}} に対して
:<math>\int\mathbf{f} = \left(\int f_1,\,\dots, \int f_n\right)</math>
とすればよい。特に、複素数全体は実ベクトル空間であるから、複素数値函数の積分がこの方法でできる。

リーマン積分は有界区間上でのみ定義されていて、その定義を無限区間にまで拡張して適用することはできない。これを回避する最も単純な方法は、無限区間での積分を有界区間での積分の極限、すなわち[[広義積分]]として定義することである。式で書けば
:<math>\int_{-\infty}^\infty f(t)\,dt = \lim_{x\to\infty}\int_{-x}^{x} f(t)\,dt</math>
を考えればよさそうに思われるが、不幸にしてこれでは上手くいかない。平行移動不変性（すなわち函数のリーマン積分は、函数を左右に動かしても値が変化しないこと）が成り立たたなくなるからである。例えば、
: <math>f(x)=\begin{cases} -1 & (x<0)\\ 0 & (x=0)\\ 1 & (x>0)\end{cases}</math>
とすれば
:<math>\int_{-x}^x f(t)\,dt = \int_{-x}^0 f(t)\,dt + \int_0^x f(t)\,dt = -x + x = 0</math>
が任意の {{mvar|x}} に対して成り立つが、{{math|''f''(''x'')}} を {{math|1}} だけ右にずらした {{math|''f''(''x'' &minus; 1)}} に対しては {{math|''x'' &gt; 1}} のとき
:<math>\int_{-x}^x f(t-1)\,dt = \int_{-x}^1 f(t-1)\,dt + \int_1^x f(t-1)\,dt = -(x+1) + (x-1) = -2</math>
となってしまう。これは不合理ゆえ、次は
:<math>\int_{-\infty}^\infty f(t)\,dt = \lim_{a\to-\infty}\lim_{b\to\infty}\int_a^b f(t)\,dt</math>
を検討する。このように定義するならば、先ほどの例にとった {{mvar|f}} の値は {{math|+&infin;}} になる。これは先に極限 {{math|1=''b'' &rarr; &infin;}} を取ることによるもので、順番を逆にすれば {{math|&minus;&infin;}} を得ることになる。これもやはり不合理であるから、（任意の有限区間での）積分が存在して、それが極限を取る順番に依らずに同じ値を得ることを、積分の定義として要求することになる。それでもなお、広義リーマン積分はもはや一様収束極限と両立しないから、狭義のリーマン積分と全く同じというわけには行かない。例えば {{open-open|0, ''n''}} 上で {{math|1=''&fnof;{{sub|n}}''(''x'') = ''n''{{exp|&minus;1}}}} かつ、それ以外では至る所 {{math|0}} となるような函数を考えると、任意の {{mvar|n}} に対して
:<math>\int f_n\,dx = 1</math>
だが、{{mvar|ƒ{{sub|n}}}} は一様に {{math|0}} に収束するから、{{math|''&fnof;'' {{coloneqq}} lim&thinsp;''ƒ{{sub|n}}''}} の積分値は {{math|0}} であって、
:<math>\int f\,dx \ne \lim\int f_n\,dx</math>
が結論付けられる。これは、狭義のリーマン積分と極限との順序交換に対して最も重要な判定規準であった一様収束性による判定は、広義積分に対してはもはや成り立たないことを示している。そのせいで、広義リーマン積分は応用上の利用が難しいものとなっている。

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

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

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{Reflist}}

== 参考文献 ==
* 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.
* {{citation|first=Tom|last=Apostol|authorlink=Tom Apostol|title=Mathematical Analysis|year=1974|publisher=Addison-Wesley}}
* {{Cite book
 | 和書
 | last1 = 杉浦
 | first1 = 光夫
 | year = 1980
 | title = 解析入門I
 | series = 基礎数学2
 | publisher = 東京大学出版会
 | isbn = 978-4-13-062005-5
 | ref = harv
}}
* {{Cite book
 | 和書
 | last1 = 杉浦
 | first1 = 光夫
 | year = 1985
 | title = 解析入門II
 | series = 基礎数学3
 | publisher = 東京大学出版会
 | isbn = 978-4-13-062006-2
 | ref = harv
}}

== 関連項目 ==
* [[ジョルダン測度]]
* [[原始函数]]

== 外部リンク ==
* {{MathWorld|urlname=RiemannIntegral|title=Riemann Integral}}
* {{nlab|urlname=Riemann+integration|title=Riemann integration}}
* {{PlanetMath|urlname=RiemannIntegral|title=Riemann integral}}
* {{ProofWiki|urlname=Definition:Definite_Integral/Riemann|title=Definition:Definite Integral/Riemann}}
* {{SpringerEOM|urlname=Riemann_integral|title=Riemann integral|author=Il'in, V.A.}}

{{integral}}
{{DEFAULTSORT:りいまんせきふん}}
[[Category:積分法]]
[[Category:ベルンハルト・リーマン|せきふん]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]