1リーマン積分
第7話では「微分」を「接線の傾きを求める方法」と説明しました。 これに対して今回解説する「積分」は「面積を求める方法」と言えます。
さて、まずは図1-1のような問題を考えてみましょう。
![面積の問題](/images/mathematics/basic8/331125484228_ja.png)
このような面積も、第7話で行った方法と同様に「極限」を使うことで求まります。
1.1リーマン和
この問題を解くにはまず、面積を求めたい領域を縦にいくつかの区間に分割します(図1-2)。
![区間の分割](/images/mathematics/basic8/607418282283.png)
この例では、
が
から
の間を![](/s/x.png)
![](/s/sub_0.png)
![](/s/comma.png)
![](/s/x.png)
![](/s/sub_1.png)
![](/s/comma.png)
![](/s/x.png)
の3つの領域に区切りました。
![](/s/x.png)
![](/s/0.png)
![](/s/3.png)
![](/s/x.png)
![](/s/sub_0.png)
![](/s/comma.png)
![](/s/x.png)
![](/s/sub_1.png)
![](/s/comma.png)
![](/s/x.png)
![](/s/sub_2.png)
次に、それぞれの区間の中で![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
上の点を自由に選んで長方形を作ります(図1-3)。
![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_2.png)
![リーマン和](/images/mathematics/basic8/607418282283_2.png)
ちなみに、このように作った長方形の面積の合計を「リーマン和」と呼びます。
1.2リーマン積分
ここで、![](/s/x.png)
から![](/s/x.png)
を使って3つの領域に分割していた区間を、もっと細かく、例えば![](/s/x.png)
から![](/s/x.png)
![](/s/sub_9.png)
の100個の領域のように分割していくと、直感的にはこのリーマン和が本来求めたかった面積に近づいていくことが解ると思います(図1-4)。
![](/s/x.png)
![](/s/sub_0.png)
![](/s/x.png)
![](/s/sub_2.png)
![](/s/x.png)
![](/s/sub_0.png)
![](/s/x.png)
![](/s/sub_9.png)
![](/s/sub_9.png)
![リーマン積分](/images/mathematics/basic8/607418282283_3.png)
そして、区間をどのように分割しても、区間が細かくなるように分割数を限りなく増やしていくとリーマン和が同じ値に収束するならば、この値を「リーマン積分」といい、図形の面積と一致します。
1.3具体的な値
それでは具体的に先ほどの図形の面積の値を求めてみましょう。
先ほどリーマン積分の定義で「区間をどのように分割しても」と言いましたが、実際にあらゆる分割方法を検証することは困難ですので、「ダルブーの定理」と呼ばれる定理が使われます。
この定理の一部を解りやすく言い換えると図1-5のようになります。
が有界(取りうる値が一定の範囲に収まっている)な関数で、
のある分割に対して区間が細かくなるように分割数を増やしたとき、リーマン和が最大になるときとリーマン和が最小になるときとで同じ値に収束するならば、この値はリーマン積分と一致する。
要するに、この定理を使うと分割方法の1つを検証するだけでリーマン積分が可能となるわけです。
ここでは計算を簡単にするために、分割方法を等分割にしておきます。 先ほどの問題に対し、等分割したリーマン和が最大の場合と最小の場合を考えて、それぞれの極限を求めると図1-6のようになります。
![最小と最大のリーマン和](/images/mathematics/basic8/607418282283_4_ja.png)
最大の場合と最小の場合において、分割を限りなく大きくしていくとリーマン和は同じ値「
」に近づくことが判ったため、ダルブーの定理より、この値はリーマン積分と一致します。 よって、求めたい面積の答えは「
」です。
![](/s/9.png)
![](/s/9.png)
2不定積分と逆微分
さて、毎回このようにリーマン積分を求めるのは大変ですので、第7話の微分のときと同様に、主な関数についてリーマン積分した結果だけを紹介します。
先ほどは![](/s/x.png)
![](/s/eq.png)
から![](/s/x.png)
![](/s/eq.png)
の区間でリーマン積分を求めましたが、任意の区間で求まったほうが便利なため、変数![](/s/alpha.png)
![](/s/comma.png)
に対し、![](/s/x.png)
![](/s/eq.png)
から![](/s/x.png)
![](/s/eq.png)
の区間に一般化したリーマン積分を求めることにします。
![](/s/x.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/alpha.png)
![](/s/comma.png)
![](/s/beta.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/alpha.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/beta.png)
ちなみに、このように任意の区間に一般化して図形![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
の面積が求まるようにすることを「不定積分」といい、![](/s/int.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
と書きます。 これに対し、先ほどの![](/s/x.png)
![](/s/eq.png)
から![](/s/x.png)
![](/s/eq.png)
の区間のように、具体的な区間で図形![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
の面積を求めることを「定積分」といい、![](/s/int_0_3.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
のように書きます。
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/int.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/int_0_3.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/int_0_3.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/int_a_b.png)
![](/s/a.png)
![](/s/b.png)
![](/s/d.png)
![](/s/x.png)
![](/s/x.png)
![](/s/int_0_3.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/int_0_3.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/9.png)
一方、不定積分![](/s/int.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
とは、任意の区間「![](/s/x.png)
![](/s/eq.png)
から![](/s/x.png)
![](/s/eq.png)
」に対して「![](/s/int_alpha_beta.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/beta.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/alpha.png)
」が成り立つような![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/int.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
のことと定義されます。 つまり、このような関数![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
が見つかれば、毎回リーマン和の極限を計算しなくても![](/s/l_f.png)
![](/s/pl.png)
![](/s/beta.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/alpha.png)
で面積が求まるというわけです。
![](/s/int.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/alpha.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/beta.png)
![](/s/int_alpha_beta.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/beta.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/alpha.png)
![](/s/pr.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/int.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/beta.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/alpha.png)
![](/s/pr.png)
さっそくこの不定積分を見ていきましょう。
2.1不定積分
先ほどの![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
の関数に対して不定積分を行うと、結論から言うと「![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/int.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/1_div_3.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/add.png)
」になります。
は任意の定数で、どのような数が代入されても成り立つというものです。
![](/s/y.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/int.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/1_div_3.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/l_c.png)
例えばこれを![](/s/x.png)
![](/s/eq.png)
から![](/s/x.png)
![](/s/eq.png)
の区間で計算すると、「![](/s/int_0_3.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/3.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/1_div_3.png)
![](/s/cdot.png)
![](/s/3.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/pl.png)
![](/s/1_div_3.png)
![](/s/cdot.png)
![](/s/0.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/eq.png)
」となり、確かに先ほどの結果と一致します。 単に引き算![](/s/l_f.png)
![](/s/pl.png)
![](/s/beta.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/alpha.png)
を計算しただけです。
![](/s/x.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/int_0_3.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/3.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/1_div_3.png)
![](/s/cdot.png)
![](/s/3.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/pl.png)
![](/s/1_div_3.png)
![](/s/cdot.png)
![](/s/0.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/9.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/beta.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/alpha.png)
![](/s/pr.png)
また![](/s/x.png)
![](/s/eq.png)
から![](/s/x.png)
![](/s/eq.png)
の区間の場合も、「![](/s/int_2_5.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/5.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/1_div_3.png)
![](/s/cdot.png)
![](/s/5.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/pl.png)
![](/s/1_div_3.png)
![](/s/2.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/3.png)
」のようにリーマン和の極限を計算することなく、引き算で簡単に求まります。
![](/s/x.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/int_2_5.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/5.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/1_div_3.png)
![](/s/cdot.png)
![](/s/5.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/pl.png)
![](/s/1_div_3.png)
![](/s/2.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/9.png)
2.2逆微分
さてこの不定積分の関数はどうすれば求まるかについてですが、関数が連続している場合、実は微分の逆操作で求めることができます。 つまり、![](/s/d_div_d_x.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
のとき、![](/s/int.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
です。
![](/s/d_div_d_x.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/int.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
例えば![](/s/x.png)
の不定積分を求めたい場合、微分して![](/s/x.png)
になる関数を探すと「![](/s/d_div_d_x.png)
![](/s/pl.png)
![](/s/1_div_3.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/x.png)
」のため、「![](/s/1_div_3.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/add.png)
」が不定積分の結果となります。
![](/s/x.png)
![](/s/sup_2.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/d_div_d_x.png)
![](/s/pl.png)
![](/s/1_div_3.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/1_div_3.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/l_c.png)
つまり、関数が連続している場合、微分して![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
になるような関数![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
を見つけることが、![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
を不定積分することになります。 このような関数![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
を「原始関数」といいます。
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
2.3主な関数の不定積分
主な関数の不定積分は表2-1の通りです。
関数 | 原始関数 |
---|---|
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() |
![]() ![]() ![]() ![]() |
これらの使い方としては、例えば定積分の「![](/s/int_0_pi.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/d.png)
」を求めたい場合、表にある不定積分の「![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/int.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/sub.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/add.png)
」を使って、「![](/s/int_0_pi.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/pi.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/sub.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/pi.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/pl.png)
![](/s/sub.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/0.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/eq.png)
」のように求まります。
![](/s/int_0_pi.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/d.png)
![](/s/x.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/int.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/sub.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/int_0_pi.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/pi.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/l_f.png)
![](/s/pl.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/sub.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/pi.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/pl.png)
![](/s/sub.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/0.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/2.png)
これらの不定積分の結果はいずれも、微分すると元の関数に戻ることが分かります。 例えば一番上の「![](/s/1_div_a_add_1.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/sup_add.png)
![](/s/sup_1.png)
![](/s/add.png)
」を微分すると、![](/s/d_y_div_d_x.png)
![](/s/pl.png)
![](/s/1_div_a_add_1.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/sup_add.png)
![](/s/sup_1.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1_div_a_add_1.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/1.png)
![](/s/pr.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/add.png)
![](/s/0.png)
![](/s/eq.png)
![](/s/x.png)
となり、元の関数「![](/s/x.png)
」になります。
![](/s/1_div_a_add_1.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/sup_add.png)
![](/s/sup_1.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/d_y_div_d_x.png)
![](/s/pl.png)
![](/s/1_div_a_add_1.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/sup_add.png)
![](/s/sup_1.png)
![](/s/add.png)
![](/s/l_c.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/1_div_a_add_1.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/1.png)
![](/s/pr.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/add.png)
![](/s/0.png)
![](/s/eq.png)
![](/s/x.png)
![](/s/sup_a.png)
![](/s/x.png)
![](/s/sup_a.png)
3広義リーマン積分
さて次に、リーマン積分ができない例として、図3-1の問題を考えてみましょう。
![リーマン積分できない関数](/images/mathematics/basic8/057281575211_ja.png)
この場合、図形は右にどこまでも続いていて、区間が有限でないためリーマン和が作れず、リーマン積分ができません。
そこでどうするかというと、任意の![](/s/x.png)
![](/s/eq.png)
から![](/s/x.png)
![](/s/eq.png)
の区間で計算できる不定積分を用いて、その区間を限りなく広げて極限を使ってリーマン積分を拡張することを考えます。 つまりこの問題は、![](/s/int_1_inf.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/lim_n_inf.png)
![](/s/int_1_n.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/pr.png)
![](/s/d.png)
と考えます。
![](/s/x.png)
![](/s/eq.png)
![](/s/alpha.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/beta.png)
![](/s/int_1_inf.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/lim_n_inf.png)
![](/s/int_1_n.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/slash.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
このように、極限を使って拡張したリーマン積分を、「広義リーマン積分」といいます。
こうすることで図3-2のように計算することができます。
を不定積分すると、
なので、
広義リーマン積分より、
よって答えは、「
」になります。
![](/s/1.png)
4重積分
リーマン積分を多変数に拡張することで、立体の体積などを求めることもできます。
例えば、立体の方程式![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
に対し、![](/s/x.png)
![](/s/eq.png)
から![](/s/x.png)
![](/s/eq.png)
、![](/s/y.png)
![](/s/eq.png)
から![](/s/y.png)
![](/s/eq.png)
の区間の体積は、この区間を
として![](/s/int_int_l_d.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/d.png)
と書きます。 これまでの方法と同様に、この立体に対して分割してリーマン和の極限を求めることで、この立体の体積が求まります。
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/pr.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/1_div_2.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/1_div_4.png)
![](/s/l_d.png)
![](/s/int_int_l_d.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/d.png)
![](/s/y.png)
このように、多変数に対して行う積分を「重積分」と言います。
そして、積分する関数が有界(取りうる値が一定の範囲に収まっている)かつ、多変数![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/comma.png)
のそれぞれの区間も有界のとき、この重積分は一変数の積分の組み合わせに直すことができます。 例えば、![](/s/int_int_l_d.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/d.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/int_0_1_div_4.png)
![](/s/int_0_1_div_2.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/d.png)
とできます。 あとは内側から、これまでのようにリーマン積分を計算すると体積が求まります。
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/int_int_l_d.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/d.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/int_0_1_div_4.png)
![](/s/int_0_1_div_2.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/x.png)
![](/s/d.png)
![](/s/y.png)
5測度とルベーグ積分
さて、ここまでユークリッド空間の連続した図形に対して面積や体積を求めてきましたが、曲がった空間や不連続な図形を考えるとこれまでの方法では求まらないことがあります。 またさらに一般の集合を考えると、そもそも長さや面積の定義が自明ではないため、どのような長さに対しても面積が求まるようにしたほうが便利です。
そこで、長さや面積や体積を一般化して「測度」というものを集合に定義し、その測度における積分を求める「ルベーグ積分」というものが生まれました。
ルベーグ積分は、より多くのものに対して積分できるように、やや回りくどいですが図5-1の流れで行います。
- ルベーグ積分したい対象を含む集合
に対し、そもそも測れるようにするためのルール「
-加法族」を導入する。
- この
-加法族の上に、実際の測り方を定義する。 この測り方を「測度」という。
における
-加法族を
とし、
上の測度を
とすると、これらをセットにした
を「測度空間」という。
- 任意の測度空間上の関数に対し、「ルベーグ積分」を行う。
この(1)から(4)を図で表すと図5-2のようになります。
![ルベーグ積分の流れの図](/images/mathematics/basic8/376341776214_ja.png)
このような流れにすることで、「測度空間」さえ作れば、どのようなものでも積分できるようになります。 例えば図形や立体に限らず、「確率」といったものも積分できます。 このため、現代の確率論はルベーグ積分をベースに構築されています。
ちなみにユークリッド空間を対象とする場合、今までわたしたちが面積や体積や長さとして考えていたものをそのまま自然に拡張した「ルベーグ測度」という測度がよく使われます。 また、このときの
-加法族として「ボレル集合体」と呼ばれるものがよく使われます。
![](/s/sigma.png)
では、具体的にルベーグ積分の問題を解いてみましょう(図5-3)。
![ルベーグ積分の問題](/images/mathematics/basic8/376341776214_2_ja.png)
あえて変な測り方をする必要はないため、ここでは2次元ユークリッド空間とし、ボレル集合体とルベーグ測度を使った測度空間を仮定します。
ざっくりというと、リーマン積分は図形を縦に分割して面積を求める方法でした。 これに対し、ルベーグ積分は横に分割して面積を求める方法と言えます。
一般的なルベーグ積分の定義はやや複雑ですが、関数![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
の取り得る値が有限個かつ負でないとき、ルベーグ積分は図5-4のように定義されます。
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
測度空間上の関数
に対し、
の値域が
の有限個でかつ負でないとき、それぞれに対する
を
とすると、
全体でのルベーグ積分
は、
と定義される。
要するに、ある数
に対し、![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
が
となるときの
を集めてその
がどのくらいあるか(測度)を求め、
とその測度を掛けたものが面積の一部になるという流れです。
![](/s/a.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/a.png)
![](/s/x.png)
![](/s/x.png)
![](/s/a.png)
この方法を先ほどの問題に適用して解くと、図5-5のようになります。
![ルベーグ積分の問題の解答](/images/mathematics/basic8/376341776214_3_ja.png)
この例では非常に簡単な面積を求めましたが、例えばすべての点で不連続な関数など、直感的には面積が分からない関数でもルベーグ積分を使えば求められる強みがあります。
今回は、図形の面積を求める「積分」について説明しました。 次回は、この積分の上に構築した「確率」と「統計」について解説します!