物理/解析入門（２）リーマン積分
提供: Internet Web School
目次 |
「7.4 解析入門 （２）リーマン積分」
リーマン積分
この節は、区間上で定義された関数のリーマン積分の初歩を述べる。
具体的には、リーマン積分の定義とリーマン積分が存在する（可積分）条件
について、数学的厳密性を保つように記述する。
参考記事
区間上の関数のリーマン和
区間UNIQd916af93ef7d69e-MathJax-284-QINUで定義され、実数に値をとる関数UNIQd916af93ef7d69e-MathJax-285-QINUを考える。
この区間の分割
UNIQd916af93ef7d69e-MathJax-286-QINU
と、その代表点UNIQd916af93ef7d69e-MathJax-287-QINUに関する、UNIQd916af93ef7d69e-MathJax-288-QINUのリーマン和とは、
UNIQd916af93ef7d69e-MathJax-289-QINU
UNIQd916af93ef7d69e-MathJax-290-QINU
で定義する。
リーマン和の意味
リーマン和は、
UNIQd916af93ef7d69e-MathJax-291-QINUのグラフを、棒グラフで近似したときの
棒グラフの作る面積(各角柱の面積和)であることが分かる。図参照。
UNIQd916af93ef7d69e-MathJax-292-QINUのグラフとｘ軸、および２直線UNIQd916af93ef7d69e-MathJax-293-QINU、UNIQd916af93ef7d69e-MathJax-294-QINUで囲まれる部分の面積を近似している。
リーマン可積分とリーマン積分の定義
分割を細かくしていくとき、
分割の仕方や代表点の選び方に関係なく
リーマン和がある一定値に収束するとする。
すると、この値は
UNIQd916af93ef7d69e-MathJax-295-QINUのグラフとｘ軸、および２直線UNIQd916af93ef7d69e-MathJax-296-QINU、UNIQd916af93ef7d69e-MathJax-297-QINUで囲まれる部分の面積
と考えられる。
定義；
UNIQd916af93ef7d69e-MathJax-298-QINUの大きさUNIQd916af93ef7d69e-MathJax-299-QINUとは、
この分割で得られた小区間の長さの、最大値で定義する。
記号で書くと
UNIQd916af93ef7d69e-MathJax-300-QINU
定義；リーマン可積分
UNIQd916af93ef7d69e-MathJax-301-QINUを、有界閉区間UNIQd916af93ef7d69e-MathJax-302-QINU上で定義され、実数の値をとる関数とする。
もし、ある実数UNIQd916af93ef7d69e-MathJax-303-QINUが存在して、
どんな分割UNIQd916af93ef7d69e-MathJax-304-QINUと
代表点UNIQd916af93ef7d69e-MathJax-305-QINUであっても、
UNIQd916af93ef7d69e-MathJax-306-QINU
が成り立つ時、
UNIQd916af93ef7d69e-MathJax-307-QINUはUNIQd916af93ef7d69e-MathJax-308-QINU上で(リーマン)可積分であるという。
このとき、UNIQd916af93ef7d69e-MathJax-309-QINU をUNIQd916af93ef7d69e-MathJax-310-QINUのUNIQd916af93ef7d69e-MathJax-311-QINU上でのリーマン積分といい、
UNIQd916af93ef7d69e-MathJax-312-QINU
などと書く。
リーマン積分の命題
命題１ 線形性
命題２ 積分の単調性
命題３ 平均値定理
命題４ 三角不等式
命題５ 積分区間に関する加法性
可積分条件（RT;短縮化)
どのような関数は、積分できるだろうか。
積分出来ない関数はあるのか。
これらについて考察しよう。
不足リーマン和と過剰リーマン和によるリーマン和の評価
リーマン和を、代表点の選び方を変えて求めるとその値は変化する。
そこで、その最小値と最大値を求め、差を計算する。
もしこの差が分割を細かくしていくと零に収束するならば、可積分となろう。
以下、この方針で議論を進める。
UNIQd916af93ef7d69e-MathJax-313-QINUを分割して得られた小区間UNIQd916af93ef7d69e-MathJax-314-QINUを考える。
関数UNIQd916af93ef7d69e-MathJax-315-QINUをこの小区間上に限定した時、
関数は、この区間上の点で最大値と最小値をとると仮定する(注参照)。
関数の最大値UNIQd916af93ef7d69e-MathJax-316-QINUと最小値UNIQd916af93ef7d69e-MathJax-317-QINUを、
それぞれ、UNIQd916af93ef7d69e-MathJax-318-QINUと書く。
(注) 区間上で最大値、最小値を取らない関数では、
有界な関数でありさえすれば、最大値、最小値と殆ど同じ性質をもつ
上限、下限に置き換えれば以後の、議論は成り立つ。
すると、UNIQd916af93ef7d69e-MathJax-319-QINUの任意の点UNIQd916af93ef7d69e-MathJax-320-QINU に対して、
UNIQd916af93ef7d69e-MathJax-321-QINU
故に、
補題１
ⅰ）どのような代表点UNIQd916af93ef7d69e-MathJax-322-QINUに対しても
UNIQd916af93ef7d69e-MathJax-323-QINU
UNIQd916af93ef7d69e-MathJax-324-QINU
UNIQd916af93ef7d69e-MathJax-325-QINU
そこで、UNIQd916af93ef7d69e-MathJax-326-QINUをUNIQd916af93ef7d69e-MathJax-327-QINUに関するUNIQd916af93ef7d69e-MathJax-328-QINUの不足リーマン和、UNIQd916af93ef7d69e-MathJax-329-QINUを過剰リーマン和と呼ぶ。
ⅱ）UNIQd916af93ef7d69e-MathJax-330-QINU
UNIQd916af93ef7d69e-MathJax-331-QINU
証明は明らかなので省略。
分割の細分とリーマン和の評価式
定義；分割の細分
UNIQd916af93ef7d69e-MathJax-332-QINUの分割UNIQd916af93ef7d69e-MathJax-333-QINUが分割UNIQd916af93ef7d69e-MathJax-334-QINUの細分というのは、
UNIQd916af93ef7d69e-MathJax-335-QINUの分点の集合UNIQd916af93ef7d69e-MathJax-336-QINUが、
UNIQd916af93ef7d69e-MathJax-337-QINUの分点の集合UNIQd916af93ef7d69e-MathJax-338-QINUに真に含まれることと定義する。
記号でかけば、UNIQd916af93ef7d69e-MathJax-339-QINU。
記号では、UNIQd916af93ef7d69e-MathJax-340-QINUと記す。
補題２
UNIQd916af93ef7d69e-MathJax-341-QINUという分割に対し、
UNIQd916af93ef7d69e-MathJax-342-QINU
が成り立つ。
（証明）
UNIQd916af93ef7d69e-MathJax-343-QINUの小区間UNIQd916af93ef7d69e-MathJax-344-QINUが分割UNIQd916af93ef7d69e-MathJax-345-QINUでは、
UNIQd916af93ef7d69e-MathJax-346-QINUの２つに分割されたとする。
すると、区間上の関数の最大値と最小値の定義から、
UNIQd916af93ef7d69e-MathJax-347-QINU UNIQd916af93ef7d69e-MathJax-348-QINU
UNIQd916af93ef7d69e-MathJax-349-QINU UNIQd916af93ef7d69e-MathJax-350-QINU
これらから、命題は成立することが分かる。
不足リーマン和の上限と過剰リーマン和の下限
補題２から、分割の細分を繰り返していくと、その分割に対応する、
不足リーマン和は、広義増加(増加するか、同じ値にとどまる）し、
過剰リーマン和は、広義減少する。
分割を細かくしていったとき、これらの極限が一致すれば、補題１から、
リーマン和の極限値は、代表点に無関係に、定まることになる。
そこで色々な分割に対応する不足リーマン和のなかの最大値と
過剰リーマン和の最小値を求めることが、重要になる。
しかし一般にはこれらは存在しないことが示せる。
そこで最大値に近い命題を持つ上限と最小値に近い下限という概念を利用する。
２つの分割の共通の細分
分割UNIQd916af93ef7d69e-MathJax-351-QINUの分点の集合UNIQd916af93ef7d69e-MathJax-352-QINUと、
分割UNIQd916af93ef7d69e-MathJax-353-QINU の分点の集合UNIQd916af93ef7d69e-MathJax-354-QINUの
和集合UNIQd916af93ef7d69e-MathJax-355-QINUを分点とする分割をUNIQd916af93ef7d69e-MathJax-356-QINUと書く。
すると新しい分割は
UNIQd916af93ef7d69e-MathJax-357-QINU と
UNIQd916af93ef7d69e-MathJax-358-QINU
を満たす。
これを用いると、
不足リーマン和の上限UNIQd916af93ef7d69e-MathJax-359-QINUと
過剰リーマン和の下限UNIQd916af93ef7d69e-MathJax-360-QINUが存在することが証明できる。
補題５
UNIQd916af93ef7d69e-MathJax-361-QINUを区間UNIQd916af93ef7d69e-MathJax-362-QINUで定義され実数値をとる有界関数
すなわち、UNIQd916af93ef7d69e-MathJax-363-QINUがUNIQd916af93ef7d69e-MathJax-364-QINUの有界部分集合となる関数とする。
UNIQd916af93ef7d69e-MathJax-365-QINUの分割を全て集めて作った集合をUNIQd916af93ef7d69e-MathJax-366-QINUと書く。
すると、
ⅰ）任意のUNIQd916af93ef7d69e-MathJax-367-QINUに対して、
UNIQd916af93ef7d69e-MathJax-368-QINU
ⅱ）集合UNIQd916af93ef7d69e-MathJax-369-QINUは上に有界、
集合UNIQd916af93ef7d69e-MathJax-370-QINUは下に有界
ⅲ）UNIQd916af93ef7d69e-MathJax-371-QINUと
UNIQd916af93ef7d69e-MathJax-372-QINUは存在し、
UNIQd916af93ef7d69e-MathJax-373-QINU
証明；
ⅰ）UNIQd916af93ef7d69e-MathJax-374-QINU なので、補題２から、
UNIQd916af93ef7d69e-MathJax-375-QINU
ⅱ）１）で証明した不等式で、分割UNIQd916af93ef7d69e-MathJax-376-QINU は固定する。
すると全ての分割 UNIQd916af93ef7d69e-MathJax-377-QINUに対して、UNIQd916af93ef7d69e-MathJax-378-QINUなので
集合UNIQd916af93ef7d69e-MathJax-379-QINUは、上界UNIQd916af93ef7d69e-MathJax-380-QINUを持ち、上に有界である。
後者も同様にして下に有界であることが示せる。
ⅲ）従って、実数の連続性の公理から、
集合UNIQd916af93ef7d69e-MathJax-381-QINUは上限UNIQd916af93ef7d69e-MathJax-382-QINUをもち、
集合UNIQd916af93ef7d69e-MathJax-383-QINUは下限UNIQd916af93ef7d69e-MathJax-384-QINUをもつ。
上限は、上界の中の最小値なので、
UNIQd916af93ef7d69e-MathJax-385-QINU
この式は任意のUNIQd916af93ef7d69e-MathJax-386-QINUについて成立するので、
UNIQd916af93ef7d69e-MathJax-387-QINUは、集合UNIQd916af93ef7d69e-MathJax-388-QINUの下界である。
下限UNIQd916af93ef7d69e-MathJax-389-QINUは、下界のなかの最大値なのでUNIQd916af93ef7d69e-MathJax-390-QINUを得る。
分割を細かくしていくときの不足リーマン和と、過剰リーマン和の極限
定理（ダルブー；Darboux）
UNIQd916af93ef7d69e-MathJax-391-QINU
UNIQd916af93ef7d69e-MathJax-392-QINUを、UNIQd916af93ef7d69e-MathJax-393-QINUで定義され、実数に値を取る有界関数とする。
このとき、
ⅰ）UNIQd916af93ef7d69e-MathJax-394-QINU
ⅱ）UNIQd916af93ef7d69e-MathJax-395-QINU
証明；
ⅰ）を示す。（ ⅱ）は同じようにして証明できるので略す）
これを示すには、
どんなに小さい正の実数UNIQd916af93ef7d69e-MathJax-396-QINUに対しても、それに応じた小さい正の実数UNIQd916af93ef7d69e-MathJax-397-QINUを適切に選べば、
分割の大きさがUNIQd916af93ef7d69e-MathJax-398-QINUより小さい、どんな分割UNIQd916af93ef7d69e-MathJax-399-QINUも、
UNIQd916af93ef7d69e-MathJax-400-QINU
であることを示せばよい。
以下に、数段階に分けて、これを証明する。
UNIQd916af93ef7d69e-MathJax-401-QINU上限の命題(補題３)から、
ある分割
UNIQd916af93ef7d69e-MathJax-402-QINU
が存在して、
UNIQd916af93ef7d69e-MathJax-403-QINU
今後このUNIQd916af93ef7d69e-MathJax-404-QINUを使って、証明を進める。
UNIQd916af93ef7d69e-MathJax-405-QINU
分割UNIQd916af93ef7d69e-MathJax-406-QINUの小区間UNIQd916af93ef7d69e-MathJax-407-QINUの長さUNIQd916af93ef7d69e-MathJax-408-QINUの
最小値をUNIQd916af93ef7d69e-MathJax-409-QINUとおくと
UNIQd916af93ef7d69e-MathJax-410-QINU
UNIQd916af93ef7d69e-MathJax-411-QINUに比べて非常に小さい大きさを持つ分割、
UNIQd916af93ef7d69e-MathJax-412-QINU、
UNIQd916af93ef7d69e-MathJax-413-QINU
を考える。
もし、UNIQd916af93ef7d69e-MathJax-414-QINUならば補題２より、
UNIQd916af93ef7d69e-MathJax-415-QINU、
するとUNIQd916af93ef7d69e-MathJax-416-QINU
通常、分割UNIQd916af93ef7d69e-MathJax-417-QINUは、UNIQd916af93ef7d69e-MathJax-418-QINUの細分になっていない。
この場合は、高々(n-1)個のUNIQd916af93ef7d69e-MathJax-419-QINUの小区間が、UNIQd916af93ef7d69e-MathJax-420-QINUの小区間には含まれず、
UNIQd916af93ef7d69e-MathJax-421-QINUの分点UNIQd916af93ef7d69e-MathJax-422-QINUをまたぐことになる。図参照のこと。
議論を簡単にするため、
UNIQd916af93ef7d69e-MathJax-423-QINUの分点UNIQd916af93ef7d69e-MathJax-424-QINUが全て、UNIQd916af93ef7d69e-MathJax-425-QINUの小区間によって跨がれている
と仮定し、議論を進める。
他のケースでも、証明はおなじようにできるので、
このように仮定しても何の問題も起こらない。
UNIQd916af93ef7d69e-MathJax-426-QINUの分点UNIQd916af93ef7d69e-MathJax-427-QINUを跨ぐUNIQd916af93ef7d69e-MathJax-428-QINUの小区間をUNIQd916af93ef7d69e-MathJax-429-QINUとする(i=1,2,,,n-1)。
UNIQd916af93ef7d69e-MathJax-430-QINU
２つの分割UNIQd916af93ef7d69e-MathJax-431-QINUからUNIQd916af93ef7d69e-MathJax-432-QINUを作る。
すると
UNIQd916af93ef7d69e-MathJax-433-QINU
UNIQd916af93ef7d69e-MathJax-434-QINU
UNIQd916af93ef7d69e-MathJax-435-QINU
UNIQd916af93ef7d69e-MathJax-436-QINU
UNIQd916af93ef7d69e-MathJax-437-QINU
UNIQd916af93ef7d69e-MathJax-438-QINU
UNIQd916af93ef7d69e-MathJax-439-QINU
と書ける。
UNIQd916af93ef7d69e-MathJax-440-QINUで、 UNIQd916af93ef7d69e-MathJax-441-QINU なので、
UNIQd916af93ef7d69e-MathJax-442-QINU, UNIQd916af93ef7d69e-MathJax-443-QINU
後者の式から、
UNIQd916af93ef7d69e-MathJax-444-QINU
この式と(1)式から、
UNIQd916af93ef7d69e-MathJax-445-QINU
そこで、
「UNIQd916af93ef7d69e-MathJax-446-QINUならば、UNIQd916af93ef7d69e-MathJax-447-QINU
が示せれば、
UNIQd916af93ef7d69e-MathJax-448-QINU
UNIQd916af93ef7d69e-MathJax-449-QINU
が示され、証明が終わる。
UNIQd916af93ef7d69e-MathJax-450-QINU
UNIQd916af93ef7d69e-MathJax-451-QINU
であり、
（２）式から、
UNIQd916af93ef7d69e-MathJax-452-QINU
UNIQd916af93ef7d69e-MathJax-453-QINU
UNIQd916af93ef7d69e-MathJax-454-QINU
UNIQd916af93ef7d69e-MathJax-455-QINU
なので、
UNIQd916af93ef7d69e-MathJax-456-QINU
UNIQd916af93ef7d69e-MathJax-457-QINU
UNIQd916af93ef7d69e-MathJax-458-QINU
UNIQd916af93ef7d69e-MathJax-459-QINU
関数はUNIQd916af93ef7d69e-MathJax-460-QINU上で有界なので、適切に正の実数UNIQd916af93ef7d69e-MathJax-461-QINUを選ぶと、UNIQd916af93ef7d69e-MathJax-462-QINUがUNIQd916af93ef7d69e-MathJax-463-QINUの要素ならば
UNIQd916af93ef7d69e-MathJax-464-QINUが成立する。
するとUNIQd916af93ef7d69e-MathJax-465-QINU
が成り立つ。また
UNIQd916af93ef7d69e-MathJax-466-QINUで、
UNIQd916af93ef7d69e-MathJax-467-QINU
なので
UNIQd916af93ef7d69e-MathJax-468-QINU
そこで、
UNIQd916af93ef7d69e-MathJax-469-QINU
と選べば、
UNIQd916af93ef7d69e-MathJax-470-QINUをみたすどのような分割UNIQd916af93ef7d69e-MathJax-471-QINUも、
UNIQd916af93ef7d69e-MathJax-472-QINU
を満たすことが証明できた。証明終わり。
可積分条件
定理；可積分条件
UNIQd916af93ef7d69e-MathJax-473-QINU
UNIQd916af93ef7d69e-MathJax-474-QINUを、UNIQd916af93ef7d69e-MathJax-475-QINUで定義され、実数に値を取る有界関数とする。
次の条件のうち1つが成立すれば、残り2つは成立する(互いに同値という）。
ⅰ）UNIQd916af93ef7d69e-MathJax-476-QINUはUNIQd916af93ef7d69e-MathJax-477-QINU上で（リーマン）可積分
ⅱ）UNIQd916af93ef7d69e-MathJax-478-QINU
ⅲ）UNIQd916af93ef7d69e-MathJax-479-QINU
証明
ⅰ）を仮定する。ⅱ）が成立することを示そう。
UNIQd916af93ef7d69e-MathJax-480-QINUの積分値をUNIQd916af93ef7d69e-MathJax-481-QINUとおくと、可積分の定義から、
任意のUNIQd916af93ef7d69e-MathJax-482-QINUに対して、UNIQd916af93ef7d69e-MathJax-483-QINUが存在して、
UNIQd916af93ef7d69e-MathJax-484-QINUである任意の分割と、その分割の任意の代表点UNIQd916af93ef7d69e-MathJax-485-QINUに対し,
UNIQd916af93ef7d69e-MathJax-486-QINU
が成立する。
変形すると
UNIQd916af93ef7d69e-MathJax-487-QINU
ここで、補題１のⅱ）から、
UNIQd916af93ef7d69e-MathJax-488-QINU
UNIQd916af93ef7d69e-MathJax-489-QINU
なので、
(1)式から、
UNIQd916af93ef7d69e-MathJax-490-QINU
これより、任意のUNIQd916af93ef7d69e-MathJax-491-QINUに対して、UNIQd916af93ef7d69e-MathJax-492-QINUが存在して、
UNIQd916af93ef7d69e-MathJax-493-QINU
ⅱ）が示せた。
ⅱ）を仮定する。 ⅲ）が成り立つことを示す。
UNIQd916af93ef7d69e-MathJax-494-QINU
なので、
UNIQd916af93ef7d69e-MathJax-495-QINU
故に、分割を細かくしていき、極限をとると、
UNIQd916af93ef7d69e-MathJax-496-QINU
ⅱ）が成立するので、
UNIQd916af93ef7d69e-MathJax-497-QINU
ⅲ)が示せた。
ⅲ）を仮定する。 UNIQd916af93ef7d69e-MathJax-498-QINUとおく。
ⅰ）が成り立つことを示そう。
補題１のⅰ)から、どのような分割UNIQd916af93ef7d69e-MathJax-499-QINUと、その代表点UNIQd916af93ef7d69e-MathJax-500-QINUに対しても
UNIQd916af93ef7d69e-MathJax-501-QINU
ここで、ダルブーの定理から、
UNIQd916af93ef7d69e-MathJax-502-QINU,
UNIQd916af93ef7d69e-MathJax-503-QINU
が成り立つので、
UNIQd916af93ef7d69e-MathJax-504-QINU
が成り立つ。
ⅰ）が示せた。
関数の連続性と一様連続性
色々な関数のグラフを書くとつながっているところを、跳んでいるところが出来る。
UNIQd916af93ef7d69e-MathJax-505-QINUのグラフはずっとつながっている。
関数UNIQd916af93ef7d69e-MathJax-506-QINUを、
UNIQd916af93ef7d69e-MathJax-507-QINUのとき UNIQd916af93ef7d69e-MathJax-508-QINU, UNIQd916af93ef7d69e-MathJax-509-QINUのとき UNIQd916af93ef7d69e-MathJax-510-QINU
で定義すると、
UNIQd916af93ef7d69e-MathJax-511-QINUのところでそのグラフは跳んでいる。
連続性や不連続性は関数の加積分性を調べるときにも大変有効である。
定義（連続性と一様連続性）
有界閉区間上UNIQd916af93ef7d69e-MathJax-512-QINUで定義され、実数に値を取る関数UNIQd916af93ef7d69e-MathJax-513-QINUを考えよう。
１）関数UNIQd916af93ef7d69e-MathJax-514-QINUが、点UNIQd916af93ef7d69e-MathJax-515-QINU で連続とは、
任意の正数UNIQd916af93ef7d69e-MathJax-516-QINUに対して、UNIQd916af93ef7d69e-MathJax-517-QINUとUNIQd916af93ef7d69e-MathJax-518-QINUに依存して決まる正数UNIQd916af93ef7d69e-MathJax-519-QINUが存在して、
UNIQd916af93ef7d69e-MathJax-520-QINU
UNIQd916af93ef7d69e-MathJax-521-QINUとおくと
UNIQd916af93ef7d69e-MathJax-522-QINU
２）関数UNIQd916af93ef7d69e-MathJax-523-QINUがUNIQd916af93ef7d69e-MathJax-524-QINU上で連続とは、V の任意の点UNIQd916af93ef7d69e-MathJax-525-QINU で連続であること。
３）関数UNIQd916af93ef7d69e-MathJax-526-QINUがUNIQd916af93ef7d69e-MathJax-527-QINU上で一様連続とは
任意の正数UNIQd916af93ef7d69e-MathJax-528-QINUに対して,UNIQd916af93ef7d69e-MathJax-529-QINUに依存して決まる正数UNIQd916af93ef7d69e-MathJax-530-QINUが存在して、
V の任意の点UNIQd916af93ef7d69e-MathJax-531-QINUに対して
UNIQd916af93ef7d69e-MathJax-532-QINU
定理
有界閉区間UNIQd916af93ef7d69e-MathJax-533-QINUで定義され、実数に値を取る連続関数は、一様連続である。
RT
区分的に連続(有限個の点を除いて連続)な閉区間上の関数は積分可能
定理
有界閉区間上UNIQd916af93ef7d69e-MathJax-534-QINUで定義され、実数に値を取る連続関数UNIQd916af93ef7d69e-MathJax-535-QINUは、V上で可積分である。
略証；
有界閉区間上の連続関数は一様連続なので、
任意のUNIQd916af93ef7d69e-MathJax-536-QINUに対して、UNIQd916af93ef7d69e-MathJax-537-QINUが存在して、
UNIQd916af93ef7d69e-MathJax-538-QINUを満たすUNIQd916af93ef7d69e-MathJax-539-QINUの任意の２点に対して、
UNIQd916af93ef7d69e-MathJax-540-QINU
が成立する。
UNIQd916af93ef7d69e-MathJax-541-QINUの分割UNIQd916af93ef7d69e-MathJax-542-QINUを細かくして、
UNIQd916af93ef7d69e-MathJax-543-QINU
を満たすようにする。
すると、その分割によって得られた小区間UNIQd916af93ef7d69e-MathJax-544-QINUの長さは、
全てUNIQd916af93ef7d69e-MathJax-545-QINUより小さくなるので、
UNIQd916af93ef7d69e-MathJax-546-QINU
UNIQd916af93ef7d69e-MathJax-547-QINUの定義から
UNIQd916af93ef7d69e-MathJax-548-QINU
これを用いると、
UNIQd916af93ef7d69e-MathJax-549-QINU
UNIQd916af93ef7d69e-MathJax-550-QINU
故に、
任意のUNIQd916af93ef7d69e-MathJax-551-QINUに対して、UNIQd916af93ef7d69e-MathJax-552-QINUが存在して、
UNIQd916af93ef7d69e-MathJax-553-QINUを満たす任意の分割UNIQd916af93ef7d69e-MathJax-554-QINUにたいして、
UNIQd916af93ef7d69e-MathJax-555-QINUが示せた。
UNIQd916af93ef7d69e-MathJax-556-QINU
なので
UNIQd916af93ef7d69e-MathJax-557-QINU
が任意のUNIQd916af93ef7d69e-MathJax-558-QINUにたいして成立する。故に
UNIQd916af93ef7d69e-MathJax-559-QINU
可積分条件のⅲ)が示せた。証明終わり。
定理の系；有界閉区間上で定義され、区分的に連続な(有限個の不連続点をもつ)実数値関数UNIQd916af93ef7d69e-MathJax-560-QINUは積分可能である。
証明は容易なので略す。
ベクトル値関数の場合
ベクトル値関数UNIQd916af93ef7d69e-MathJax-561-QINUの場合も、リーマン和とリーマン可積分の定義は実数値関数の場合と変わらない。
可積分条件については、
座標系をいれ、関数の各座標成分UNIQd916af93ef7d69e-MathJax-562-QINUを考える。ここで、UNIQd916af93ef7d69e-MathJax-563-QINUである。他も同様。
すると区分的連続なベクトル値関数の各成分は区分的連続なので積分可能となり、
UNIQd916af93ef7d69e-MathJax-564-QINUの積分可能性が示せる。
リーマン積分の性質
命題１ 線形性
命題２ 積分の単調性
命題３ 平均値定理
命題４ 三角不等式
命題５ 積分区間に関する加法性
リーマン積分の計算法
原始関数を用いるリーマン積分の計算
一変数関数の変数変換
積分計算を便利にする記号法
部分積分法
未完
不定積分の計算法
未完
