物理/解析入門（２）リーマン積分 - 変更履歴

Moderator: /* 「8.3　解析入門　（２）リーマン積分」 */

Moderator — Tue, 15 May 2018 04:50:29 GMT

「8.3　解析入門　（２）リーマン積分」

←前の版		2018年5月15日 (火) 04:50時点における版
1 行:		1 行:
-	= 「8.~~3　解析入門　（２）リーマン積分」~~=	+	= 「7.4　解析入門　（２）リーマン積分」=
	==リーマン積分==		==リーマン積分==
	この節は、区間上で定義された関数のリーマン積分の初歩を述べる。<br/>		この節は、区間上で定義された関数のリーマン積分の初歩を述べる。<br/>

Moderator: /* 　関数の連続性と一様連続性　 */

Moderator — Sat, 21 Apr 2018 17:03:22 GMT

　関数の連続性と一様連続性　

←前の版		2018年4月21日 (土) 17:03時点における版
362 行:		362 行:
	V　の任意の点$ c $に対して		V　の任意の点$ c $に対して
	$\{f(x)\|x\in (c-\delta_{\epsilon},c+\delta_{\epsilon}) \} \subset (f(c)-\epsilon,f(c)+\epsilon) $<br/><br/>		$\{f(x)\|x\in (c-\delta_{\epsilon},c+\delta_{\epsilon}) \} \subset (f(c)-\epsilon,f(c)+\epsilon) $<br/><br/>
		+	定理<br/>
		+	有界閉区間$V=[a,b]$で定義され、実数に値を取る連続関数は、一様連続である。<br/>
		+	RT

	====　区分的に連続(有限個の点を除いて連続)な閉区間上の関数は積分可能====		====　区分的に連続(有限個の点を除いて連続)な閉区間上の関数は積分可能====

Moderator: /* 　関数の連続性と一様連続性　 */

Moderator — Sat, 21 Apr 2018 17:00:19 GMT

　関数の連続性と一様連続性　

←前の版		2018年4月21日 (土) 17:00時点における版
344 行:		344 行:
	====　関数の連続性と一様連続性　====		====　関数の連続性と一様連続性　====
	色々な関数のグラフを書くとつながっているところを、跳んでいるところが出来る。<br/>		色々な関数のグラフを書くとつながっているところを、跳んでいるところが出来る。<br/>
-	$y=X$のグラフはずっとつながっている。<br/>	+	$y=x$のグラフはずっとつながっている。<br/>
	関数$y=f(x)$を、<br/>		関数$y=f(x)$を、<br/>
	$x<0$のとき $f(x)=0$, $0\leq x$のとき $f(x)=1$ <br/>		$x<0$のとき $f(x)=0$, $0\leq x$のとき $f(x)=1$ <br/>
355 行:		355 行:
	任意の正数$\epsilon$に対して、$c$と$\epsilon$に依存して決まる正数$\delta_{c,\epsilon}$が存在して、<br/>		任意の正数$\epsilon$に対して、$c$と$\epsilon$に依存して決まる正数$\delta_{c,\epsilon}$が存在して、<br/>
	$\{f(x)\|x\in (c-\delta_{c,\epsilon},c+\delta_{c,\epsilon}) \} \subset (f(c)-\epsilon,f(c)+\epsilon) $<br/>		$\{f(x)\|x\in (c-\delta_{c,\epsilon},c+\delta_{c,\epsilon}) \} \subset (f(c)-\epsilon,f(c)+\epsilon) $<br/>
-	~~言い換えると、~~$c-\delta_{c,\epsilon} \lt x \lt c+\delta_{c,\epsilon}$ ~~ならば、~~$f(c)-\epsilon \lt f(x) \lt f(c)+\epsilon$<br/>	+	$f\Bigl( (c-\delta_{c,\epsilon},c+\delta_{c,\epsilon}) \Bigr)\triangleq \{f(x)\|x\in (c-\delta_{c,\epsilon},c+\delta_{c,\epsilon}) \}$とおくと<br/>
		+	$f\Bigl( (c-\delta_{c,\epsilon},c+\delta_{c,\epsilon}) \Bigr) \subset (f(c)-\epsilon,f(c)+\epsilon) $<br/>
	２）関数$f$が$V=[a,b]$上で連続とは、V　の任意の点$ c $　で連続であること。<br/>		２）関数$f$が$V=[a,b]$上で連続とは、V　の任意の点$ c $　で連続であること。<br/>
	３）関数$f$が$V=[a,b]$上で一様連続とは<br/>		３）関数$f$が$V=[a,b]$上で一様連続とは<br/>
-	任意の正数$\epsilon$に対して,$\epsilon$に依存して決まる正数$\delta_{c,\epsilon}$が存在して、<br/>	+	任意の正数$\epsilon$に対して,$\epsilon$に依存して決まる正数$\delta_{\epsilon}$が存在して、<br/>
	V　の任意の点$ c $に対して		V　の任意の点$ c $に対して
	$\{f(x)\|x\in (c-\delta_{\epsilon},c+\delta_{\epsilon}) \} \subset (f(c)-\epsilon,f(c)+\epsilon) $<br/><br/>		$\{f(x)\|x\in (c-\delta_{\epsilon},c+\delta_{\epsilon}) \} \subset (f(c)-\epsilon,f(c)+\epsilon) $<br/><br/>

Moderator: /* 「8.3　解析入門　（２）リーマン積分」 */

Moderator — Sat, 21 Apr 2018 16:50:32 GMT

「8.3　解析入門　（２）リーマン積分」

←前の版		2018年4月21日 (土) 16:50時点における版
342 行:		342 行:
	が成り立つ。<br/>		が成り立つ。<br/>
	ⅰ）が示せた。<br/>		ⅰ）が示せた。<br/>
-		+	====　関数の連続性と一様連続性　====
-	====　~~区分的に連続(有限個の点を除いて連続)な閉区間上の関数は積分可能~~====	+
	色々な関数のグラフを書くとつながっているところを、跳んでいるところが出来る。<br/>		色々な関数のグラフを書くとつながっているところを、跳んでいるところが出来る。<br/>
	$y=X$のグラフはずっとつながっている。<br/>		$y=X$のグラフはずっとつながっている。<br/>
350 行:		349 行:
	で定義すると、<br/>		で定義すると、<br/>
	$x=0$のところでそのグラフは跳んでいる。<br/>		$x=0$のところでそのグラフは跳んでいる。<br/>
-	~~連続や不連続は関数の非常に重要な性質であり、~~<br/>	+	連続性や不連続性は関数の加積分性を調べるときにも大変有効である。<br/>
-	~~それを調べることはとても豊かな知識をもたらす。~~<br/>	+	定義（連続性と一様連続性）<br/>
		+	有界閉区間上$V=[a,b]$で定義され、実数に値を取る関数$f$を考えよう。<br/>
		+	１）関数$f$が、点$ c (\in V)$ で連続とは、<br/>
		+	任意の正数$\epsilon$に対して、$c$と$\epsilon$に依存して決まる正数$\delta_{c,\epsilon}$が存在して、<br/>
		+	$\{f(x)\|x\in (c-\delta_{c,\epsilon},c+\delta_{c,\epsilon}) \} \subset (f(c)-\epsilon,f(c)+\epsilon) $<br/>
		+	言い換えると、$c-\delta_{c,\epsilon} \lt x \lt c+\delta_{c,\epsilon}$ ならば、$f(c)-\epsilon \lt f(x) \lt f(c)+\epsilon$<br/>
		+	２）関数$f$が$V=[a,b]$上で連続とは、V　の任意の点$ c $　で連続であること。<br/>
		+	３）関数$f$が$V=[a,b]$上で一様連続とは<br/>
		+	任意の正数$\epsilon$に対して,$\epsilon$に依存して決まる正数$\delta_{c,\epsilon}$が存在して、<br/>
		+	V　の任意の点$ c $に対して
		+	$\{f(x)\|x\in (c-\delta_{\epsilon},c+\delta_{\epsilon}) \} \subset (f(c)-\epsilon,f(c)+\epsilon) $<br/><br/>
		+
		+	====　区分的に連続(有限個の点を除いて連続)な閉区間上の関数は積分可能====

	定理　<br/>		定理　<br/>

Moderator: /* 「8.3　解析入門　（２）リーマン積分」 */

Moderator — Fri, 20 Apr 2018 08:09:23 GMT

「8.3　解析入門　（２）リーマン積分」

←前の版		2018年4月20日 (金) 08:09時点における版
416 行:		416 行:
	====　不定積分の計算法====		====　不定積分の計算法====
	未完		未完
-
-	~~===　関数列・関数族の項別積分と項別微分 ===~~
-	~~====　項別積分定理　　====~~
-	~~====　項別微分定理　　====~~
-
-	~~== 無限級数　==~~
-	~~===　級数と収束　　===~~
-	~~===　級数と収束　　===　正項級数の収束条件　====~~
-
-	~~=== 無限級数の項別積分 ===~~
-	~~== 整級数（幕級数）　==~~
-	~~===　整級数と収束　　===~~
-	~~====　項別微分定理　　====~~
-	~~====　整級数の微分可能性　　====~~

Moderator: /* 　リーマン積分の性質 */

Moderator — Sat, 14 Apr 2018 11:14:16 GMT

　リーマン積分の性質

←前の版		2018年4月14日 (土) 11:14時点における版
420 行:		420 行:
	====　項別積分定理　　====		====　項別積分定理　　====
	====　項別微分定理　　====		====　項別微分定理　　====
		+
		+	== 無限級数　==
		+	===　級数と収束　　===
		+	===　級数と収束　　===　正項級数の収束条件　====
		+
		+	=== 無限級数の項別積分 ===
		+	== 整級数（幕級数）　==
		+	===　整級数と収束　　===
		+	====　項別微分定理　　====
		+	====　整級数の微分可能性　　====

Moderator: /* 　リーマン積分の性質 */

Moderator — Sat, 14 Apr 2018 10:32:40 GMT

　リーマン積分の性質

←前の版		2018年4月14日 (土) 10:32時点における版
416 行:		416 行:
	====　不定積分の計算法====		====　不定積分の計算法====
	未完		未完
		+
		+	===　関数列・関数族の項別積分と項別微分 ===
		+	====　項別積分定理　　====
		+	====　項別微分定理　　====

Moderator: ページの作成: = 「8.3　解析入門　（２）リーマン積分」= ==リーマン積分== この節は、区間上で定義された関数のリーマン積分の初歩を述べる。

Moderator — Fri, 10 Nov 2017 09:17:09 GMT

ページの作成: = 「8.3　解析入門　（２）リーマン積分」= ==リーマン積分== この節は、区間上で定義された関数のリーマン積分の初歩を述べる。<br/…

新規ページ
= 「8.3　解析入門　（２）リーマン積分」=
==リーマン積分==
この節は、区間上で定義された関数のリーマン積分の初歩を述べる。 
具体的には、リーマン積分の定義とリーマン積分が存在する（可積分）条件 について、数学的厳密性を保つように記述する。 
参考記事
*[[Wikipedia_ja:リーマン積分 |ウィキペディア(リーマン積分)]]
===区間上の関数のリーマン和===
区間$V=[a,b]$で定義され、実数に値をとる関数$y=f(x)$を考える。 
この区間の分割 
$\Delta=\{V_i=[x_{i-1},x_i] \mid i=1,2,,,n\},x_0=a,x_n=b$ 
と、その代表点$\xi_i\in V_i(i=1,2,,,n)$に関する、$y=f(x)$のリーマン和とは、 
$I^{f,\Delta}(\xi_1,,,\xi_n)=$ 
$\sum_i f(\xi_i)v(V_i)=\sum_i f(\xi_i)(x_i-x_{i-1})$ 
で定義する。 
====リーマン和の意味　====
リーマン和は、 
$y=f(x)$のグラフを、棒グラフで近似したときの 
棒グラフの作る面積(各角柱の面積和)であることが分かる。図参照。 
$y=f(x)$のグラフとｘ軸、および２直線$x=a$、$x=b$で囲まれる部分の面積を近似している。 
===リーマン可積分とリーマン積分の定義===
分割を細かくしていくとき、 
分割の仕方や代表点の選び方に関係なく 
リーマン和がある一定値に収束するとする。 
すると、この値は 
$y=f(x)$のグラフとｘ軸、および２直線$x=a$、$x=b$で囲まれる部分の面積 
と考えられる。 
定義； 
'''$\Delta=\{V_i=[x_{i-1},x_i] \mid i=1,2,,,n\}$の大きさ$d(\Delta)$'''とは、 
この分割で得られた小区間の長さの、最大値で定義する。 
記号で書くと 
$d(\Delta)=max\{x_{i}-x_{i-1} \mid i=1,2,,,n\}$ 
'''定義；リーマン可積分''' 
$f$を、有界閉区間$V$上で定義され、実数の値をとる関数とする。 
もし、ある実数$I$が存在して、 
どんな分割$\Delta=\{V_i=[x_{i-1},x_i] \mid i=1,2,,,,n\} $と 
代表点$\xi_i\in V_i(i=1,2,\cdots ,n)$であっても、 
$\lim_{d(\Delta) \to 0}I^{f,\Delta}(\xi_1,,,\xi_n)=I$ 
が成り立つ時、 
$f$は$V$上で(リーマン)可積分であるという。 
このとき、$I$ を$f$の$V$上での'''リーマン積分'''といい、 
$I=\int_{V}f=\int_{V} f(x)dx$ 
などと書く。 
===　リーマン積分の命題 ===
命題１　線形性 
命題２　積分の単調性 
命題３　平均値定理 
命題４　三角不等式 
命題５　積分区間に関する加法性 

=== 可積分条件（RT;短縮化) ===
どのような関数は、積分できるだろうか。 
積分出来ない関数はあるのか。 
これらについて考察しよう。 
====不足リーマン和と過剰リーマン和によるリーマン和の評価====
リーマン和を、代表点の選び方を変えて求めるとその値は変化する。 
そこで、その最小値と最大値を求め、差を計算する。 
もしこの差が分割を細かくしていくと零に収束するならば、可積分となろう。 
以下、この方針で議論を進める。 
$V$を分割して得られた小区間$V_i=[x_{i-1},x_i]$を考える。 
関数$y=f(x)$をこの小区間上に限定した時、 
関数は、この区間上の点で最大値と最小値をとると仮定する(注参照)。 
関数の最大値$max\{f(x)\mid x\in V_i\}$と最小値$min\{f(x)\mid x\in V_i\}$を、
 
それぞれ、$m(f;V_i),M(f;V_i)$と書く。 
(注)　区間上で最大値、最小値を取らない関数では、 
[[wikipedia_ja:有界函数 |有界な関数]]でありさえすれば、最大値、最小値と殆ど同じ性質をもつ 
上限、下限に置き換えれば以後の、議論は成り立つ。 

すると、$V_i$の任意の点$\xi$　に対して、 
$m(f;V_i)\leq f(\xi) \leq M(f;V_i)$　　 
故に、 
'''補題１''' 
ⅰ）どのような代表点$\{\xi_i\}_{i}, (\xi_i \in V_i,i=1,2,,,n)$に対しても 
$I_{m}(f,\Delta):=I^{f,\Delta}(\xi_{1}^m,,,\xi_{n}^m)
=\sum_i m(f;V_i)v(V_i)$ 
$\leq
I^{f,\Delta}(\xi_1,,,\xi_n)=\sum_i f(\xi_i)v(V_i)$ 
$\leq
\sum_i M(f;V_i)v(V_i)
=I_{M}(f,\Delta)=I^{f,\Delta}(\xi_{1}^M,,,\xi_{n}^M)　 \qquad (1)$ 
そこで、$I_{m}(f,\Delta)$を'''$\Delta)$に関する$f$の'''不足リーマン和'''、$I_{M}(\Delta)$を'''過剰リーマン和'''と呼ぶ。 
ⅱ）$I_{m}(f,\Delta)=\min_{\xi_i \in V_i,i=1,2,,,n}I^{f,\Delta}(\xi_{1}^M,,,\xi_{n}^M)$　 
$I_{M}(f,\Delta)=\max_{\xi_i \in V_i,i=1,2,,,n}I^{f,\Delta}(\xi_{1}^M,,,\xi_{n}^M)$　 
証明は明らかなので省略。 

====　分割の細分とリーマン和の評価式====
'''定義；分割の細分''' 
$V$の分割${\Delta}'$が分割$\Delta$の細分というのは、 
$\Delta$の分点の集合$\{x_0,x_1,,,,x_n\}$が、 
${\Delta}'$の分点の集合$\{x'_0,x'_1,,,,x'_{n'}\}$に真に含まれることと定義する。 
記号でかけば、$\{x_0,x_1,,,,x_n\}\subset \{x'_0,x'_1,,,,x'_{n'}\},
\{x_0,x_1,,,,x_n\}\neq \{x'_0,x'_1,,,,x'_{n'}\}$。 
記号では、$\Delta \leq {\Delta}'$と記す。 

'''補題２''' 
$\Delta　\leq {\Delta}'$という分割に対し、 
$I_{m}(f,\Delta)
\leq I_{m}(f,\Delta')
\leq I_{M}(f,\Delta')
\leq I_{M}(f,\Delta) \qquad (2)$
 
が成り立つ。 
（証明） 
$\Delta$の小区間$V_i=[x_{i-1},x_i]$が分割${\Delta}'$では、 
$\{V'_j=[x_{i-1},x'_j],V'_{j+1}=[x'_j,x_i]\}$の２つに分割されたとする。 
すると、区間上の関数の最大値と最小値の定義から、 
$m(f;V_i) \leq m(f;V'_j)$ $\quad m(f;V_i) \leq m(f;V'_{j+1})$ 
$M(f;V_i) \geq M(f;V'_j)$ $\quad M(f;V_i) \geq M(f;V'_{j+1})$ 
これらから、命題は成立することが分かる。 

====　不足リーマン和の上限と過剰リーマン和の下限====
補題２から、分割の細分を繰り返していくと、その分割に対応する、 
不足リーマン和は、広義増加(増加するか、同じ値にとどまる）し、 
過剰リーマン和は、広義減少する。 
分割を細かくしていったとき、これらの極限が一致すれば、補題１から、 
リーマン和の極限値は、代表点に無関係に、定まることになる。 

そこで色々な分割に対応する不足リーマン和のなかの最大値と 
過剰リーマン和の最小値を求めることが、重要になる。 
しかし一般にはこれらは存在しないことが示せる。 
そこで最大値に近い命題を持つ上限と最小値に近い下限という概念を利用する。 

==== ２つの分割の共通の細分 ====
分割$\Delta$の分点の集合$\{x_j \mid j=1,2,,,m\}$と、 
分割${\Delta}'$ の分点の集合$\{x'_j \mid j=1,2,,,n\}$の 
和集合$\{x_j \mid j=1,2,,,m\} \cup \{x'_j \mid j=1,2,,,n\}$を分点とする分割を$\Delta \vee {\Delta}'$と書く。 
すると新しい分割は 
$\Delta \leq \Delta\vee {\Delta}' \qquad $　と
${\Delta}' \leq \Delta\vee {\Delta}' \quad $ 
を満たす。 
これを用いると、 
不足リーマン和の上限$\mathscr{s}(f)$と 
過剰リーマン和の下限$\mathscr{S}(f)$が存在することが証明できる。 

補題５ 
$f$を区間$V=[a,b]$で定義され実数値をとる有界関数 
すなわち、$\{f(x)\mid x\in V\}$が${\bf R}$の有界部分集合となる関数とする。 
$V=[a,b]$の分割を全て集めて作った集合を$\mathscr{D}(V)$と書く。 
すると、 
ⅰ）任意の$\Delta,{\Delta}'\in \mathscr{D}(V)$に対して、 
$I_m(f,\Delta) \leq I_M(f,{\Delta)}')$ 
ⅱ）集合$\{I_m(f,\Delta) \mid \Delta \in \mathscr{D}(V)\}$は上に有界、 
集合$\{I_M(f,\Delta) \mid \Delta \in \mathscr{D}(V)\}$は下に有界 
ⅲ）$\mathscr{s}(f):=\sup\{I_m(f,\Delta) \mid \Delta \in \mathscr{D}(V)\}$と
 
$\mathscr{S}(f):=\inf\{I_M(f,\Delta) \mid \Delta \in \mathscr{D}(V)\}$は存在し、 
$\mathscr{s}(f)　\leq \mathscr{S}(f)$　 
証明； 
ⅰ）$\Delta \leq \Delta\vee {\Delta}'$ なので、補題２から、 
$I_m(f,\Delta)
\leq　I_m(f,\Delta\vee {\Delta}')　
\leq　I_M(f,\Delta\vee {\Delta}')　
\leq I_M(f,{\Delta}') $ 
ⅱ）１）で証明した不等式で、分割${\Delta}'$ は固定する。 
すると全ての分割 $\Delta$に対して、$I_m(f,\Delta) \leq I_M(f,{\Delta)}')$なので 
集合$\{I_m(f,\Delta) \mid \Delta \in \mathscr{D}(V)\}$は、上界$I_M(f,{\Delta)}')$を持ち、上に有界である。 
後者も同様にして下に有界であることが示せる。 
ⅲ）従って、実数の連続性の公理から、 
集合$\{I_m(f,\Delta) \mid \Delta \in \mathscr{D}(V)\}$は上限$\mathscr{s}(f)$をもち、 
集合$\{I_M(f,\Delta) \mid \Delta \in \mathscr{D}(V)\}$は下限$\mathscr{S}(f)$をもつ。 
上限は、上界の中の最小値なので、 
$\mathscr{s}(f)\leq I_M(f,{\Delta}')$ 
この式は任意の${\Delta}'$について成立するので、 
$\mathscr{s}(f)$は、集合$\{I_M(f,\Delta) \mid \Delta \in \mathscr{D}(V)\}$の下界である。 
下限$\mathscr{S}(f)$は、下界のなかの最大値なので$\mathscr{s}(f) \leq \mathscr{S}(f)$を得る。 

====　分割を細かくしていくときの不足リーマン和と、過剰リーマン和の極限====

定理（ダルブー；Darboux） 
$V=[a,b]$ 
$f$を、$V$で定義され、実数に値を取る有界関数とする。 
このとき、 
ⅰ）$\lim_{d(\Delta) \to 0}I_m(f,\Delta)=\mathscr{s}(f)$ 
ⅱ）$\lim_{d(\Delta) \to 0}I_M(f,\Delta)=\mathscr{S}(f)$ 
証明； 
ⅰ）を示す。（　ⅱ）は同じようにして証明できるので略す） 
これを示すには、 
どんなに小さい正の実数$\epsilon$に対しても、それに応じた小さい正の実数$\delta_{\epsilon}$を適切に選べば、 
分割の大きさが$\delta_{\epsilon}$より小さい、どんな分割$\Delta$も、 
$\mathscr{s}(f)-I_m(f,\Delta)<\epsilon$ 
であることを示せばよい。 
以下に、数段階に分けて、これを証明する。 

$\quad １) 
$上限の命題(補題３)から、 
ある分割 
$D=\{{V^D}_i=[{x^D}_{i-1},{x^D}_i] \mid i=1,2,,,n\}in \mathscr{D}(V)$ 
が存在して、 
$\mathscr{s}(f)-I_m(f,D)<\frac{\epsilon}{2} \qquad (1)$ 
今後この$D$を使って、証明を進める。 

$\quad 2)$ 
分割$D$の小区間${V^D}_i$の長さ$({x^D}_i-{x^D}_{i-1})(i=1,2,,,n)$の
最小値を$e$とおくと 
$e=min_{i=1}^{n}({x^D}_i-{x^D}_{i-1})$ 
$e$に比べて非常に小さい大きさを持つ分割、 
$\Delta=\{V^{\Delta}_i=[{x^{\Delta}}_{i-1},{x^{\Delta}}_i] \mid i=1,2,,,N\}$、
 
$d(\Delta)=max_{i=1,2,,,N}({x^{\Delta}}_i-{x^{\Delta}}_{i-1}) \ll e$ 
 
を考える。 
もし、$D \leq \Delta$ならば補題２より、 
$I_m(f,D) \leq I_m(f,\Delta)$、 
すると$\mathscr{s}(f)-I_m(f,\Delta)\leq \mathscr{s}(f)-I_m(f,D) \leq
\frac{\epsilon}{2}\leq \epsilon$　 
通常、分割$\Delta$は、$D$の細分になっていない。 
この場合は、高々(n-1)個の$\Delta$の小区間が、$D$の小区間には含まれず、 
$D$の分点${x^D}_i(i=1,2,,,n-1)$をまたぐことになる。図参照のこと。 
議論を簡単にするため、 
$D$の分点${x^D}_i(i=1,2,,,n-1)$が全て、$\Delta$の小区間によって跨がれている と仮定し、議論を進める。 
他のケースでも、証明はおなじようにできるので、 
このように仮定しても何の問題も起こらない。 
$D$の分点${x^D}_i$を跨ぐ$\Delta$の小区間を$V^{\Delta}_{m_i}$とする(i=1,2,,,n-1)。 
$\quad 3)$ 
２つの分割$D、\Delta$から${\Delta}':=D \vee \Delta$を作る。 
すると 
${\Delta}'=\{V^{\Delta}_1,V^{\Delta}_2,,,,,,,,,V^{\Delta}_{m_{1}-1},$ 
$\qquad \quad [x^{\Delta}_{m_{1}-1},x^{D}_1],[x^{D}_1,x^{\Delta}_{m_{1}}],$ 
$\qquad \quad V^{\Delta}_{m_{1}+1},V^{\Delta}_{m_{1}+2},,,,,,,,,V^{\Delta}_{m_{2}-1},$ 
$\qquad \quad [x^{\Delta}_{m_{2}-1},x^{D}_2],[x^{D}_2,x^{\Delta}_{m_{2}}],$ 
$\qquad \quad V^{\Delta}_{m_{2}+1},V^{\Delta}_{m_{2}+2},,,V^{\Delta}_{m_{3}-1},$ 
$\qquad \quad ,,,,,,,,,$ 
$\qquad \quad V^{\Delta}_{m_{n-1}+1},V^{\Delta}_{m_{n-1}+2},,,,,,,,,V^{\Delta}_N\}　\qquad (2)$ 
と書ける。 

$\Delta \leq {\Delta}'$で、 $D \leq {\Delta}'$ なので、 
$I_m(f,\Delta) \leq I_m(f,{\Delta}')$, $\quad I_m(f,D) \leq I_m(f,{\Delta}')$ 
後者の式から、 
$0 \leq \mathscr{s}(f)-I_m(f,{\Delta}') \leq \mathscr{s}(f)-I_m(f,D)$ 
この式と(1)式から、 
$0 \leq \mathscr{s}(f)-I_m(f,{\Delta}')<\frac{\epsilon}{2}$ 
そこで、 
「$d(\Delta) \to 0 $ならば、$I_m(f,{\Delta}')-I_m(f,\Delta)<\frac{\epsilon}{2}$
 
が示せれば、 
$0 \leq \mathscr{s}(f)-I_m(f,\Delta)$ 
$=(\mathscr{s}(f)-I_m(f,{\Delta}')+(I_m(f,{\Delta}'-I_m(f,\Delta)\leq \epsilon$ 
が示され、証明が終わる。 
$\quad 4)$ 
$I_{m}(f,\Delta)=\sum_{i=1}^{N} m(f;V^{\Delta}_i)v(V^{\Delta}_i)$
であり、 
（２）式から、 
$I_m(f,{\Delta}')$ 
$=\sum_{i\notin \{m_1,m_2,,,,m_{n-1}\}} m(f;V^{\Delta}_i)v(V^{\Delta}_i)$ 
$+\sum_{k=1}^{n-1} m(f;[x^{\Delta}_{m_{k}-1},x^{D}_k])v([x^{\Delta}_{m_{k}-1},x^{D}_k])$ 
$+\sum_{k=1}^{n-1} m(f;[x^{D}_k,x^{\Delta}_{m_{k}}])v([x^{D}_k,x^{\Delta}_{m_{k}}])$ 
なので、 
$I_m(f,{\Delta}')-I_m(f,\Delta)$ 
$=\sum_{k=1}^{n-1} m(f;[x^{\Delta}_{m_{k}-1},x^{D}_k])v([x^{\Delta}_{m_{k}-1},x^{D}_k])$ 
$+\sum_{k=1}^{n-1} m(f;[x^{D}_k,x^{\Delta}_{m_{k}}])v([x^{D}_k,x^{\Delta}_{m_{k}}])$ 
$-\sum_{i\in \{m_1,m_2,,,,m_{n-1}\}} m(f;V^{\Delta}_i)v(V^{\Delta}_i)$ 
関数は$V$上で有界なので、適切に正の実数$M$を選ぶと、$x$が$V$の要素ならば 
$|f(x)|\leq M$が成立する。 
すると$|m(f;[x^{\Delta}_{m_{k}-1},x^{D}_k])|, |m(f;[x^{D}_k,x^{\Delta}_{m_{k}}])|
\leq M$ 
が成り立つ。また 
$v(V^{\Delta}_{m_k})
=v([x^{\Delta}_{m_{k}-1},x^{D}_k])+v([x^{D}_k,x^{\Delta}_{m_{k}}])$で、 
$v(V^{\Delta}_i)\leq d(\Delta) $ 
なので 
$|I_m(f,{\Delta}')-I_m(f,\Delta)|\leq 2M\sum_{i\in \{m_1,m_2,,,,m_{n-1}\}} v(V^{\Delta}_i)\leq 2M(n-1)d(\Delta)$ 
そこで、 
$\delta_{\epsilon}=\frac{\epsilon}{4Mn}$
と選べば、 
$d(\Delta)\leq \delta_{\epsilon}$をみたすどのような分割$\Delta$も、 
$0\leq I_m(f,{\Delta}')-I_m(f,\Delta)|\leq \frac{\epsilon}{2}$ 
を満たすことが証明できた。証明終わり。 

====　可積分条件====
定理；可積分条件　 
$V=[a,b]$ 
$f$を、$V$で定義され、実数に値を取る有界関数とする。 
次の条件のうち1つが成立すれば、残り2つは成立する(互いに同値という）。 
ⅰ）$f$は$V$上で（リーマン）可積分 
ⅱ）$\lim_{d(\Delta) \to 0}(I_M(f,\Delta)-I_m(f,\Delta))=0$ 
ⅲ）$\mathscr{S}(f)=\mathscr{s}(f)$ 
 
証明 
ⅰ）を仮定する。ⅱ）が成立することを示そう。 
$f$の積分値を$\alpha$とおくと、可積分の定義から、 
任意の$\epsilon>0$に対して、$\delta>0$が存在して、 
$d(\Delta)<\delta$である任意の分割と、その分割の任意の代表点$\xi_i,(i=1,2,,,)$に対し, 
$|I^{f,\Delta}(\xi_1,,,\xi_n)-\alpha |<\frac{1}{2}\epsilon$ 
が成立する。 
変形すると 
$\alpha-\frac{1}{2}\epsilon
<I^{f,\Delta}(\xi_1,,,\xi_n)
<\alpha+\frac{1}{2}\epsilon　\qquad (1)　　$ 
ここで、補題１のⅱ）から、 
$\inf_{\{\xi_i\}}I^{f,\Delta}(\xi_1,,,\xi_n) =I_{m}(f,\Delta)$ 
$\sup_{\{\xi_i\}}I^{f,\Delta}(\xi_1,,,\xi_n) =I_{M}(f,\Delta)$ 
なので、 
(1)式から、 
$\alpha-\frac{1}{2}\epsilon
\leq
I_{m}(f,\Delta)
\leq
I_{M}(f,\Delta)
\leq
\alpha+\frac{1}{2}\epsilon$ 
これより、任意の$\epsilon>0$に対して、$\delta>0$が存在して、 
$d(\Delta)<\delta \implies (0\leq I_{M}(f,\Delta)-I_{m}(f,\Delta)\leq \epsilon)$ 
ⅱ）が示せた。 
ⅱ）を仮定する。 ⅲ）が成り立つことを示す。 

$I_{m}(f,\Delta)
\leq
\mathscr{s}(f):=\sup_{\Delta}I_{m}(f,\Delta)
\leq
\mathscr{S}(f):=\inf_{\Delta}I_{M}(f,\Delta)
\leq
I_{M}(f,\Delta)$ 
なので、 
$0
\leq
\mathscr{S}(f)-\mathscr{s}(f)
\leq
I_{M}(f,\Delta)-I_{m}(f,\Delta)$ 
故に、分割を細かくしていき、極限をとると、 
$0
\leq
\mathscr{S}(f)-\mathscr{s}(f)
\leq
\lim_{d(\Delta)\to 0}(I_{M}(f,\Delta)-I_{m}(f,\Delta))$ 
ⅱ）が成立するので、 
$=0$ 
ⅲ)が示せた。 
ⅲ）を仮定する。 $\alpha=\mathscr{S}(f)=\mathscr{s}(f)$とおく。 
ⅰ）が成り立つことを示そう。 
補題１のⅰ)から、どのような分割$\Delta$と、その代表点$\{\xi_i\}_{i}, (\xi_i \in V_i,i=1,2,,,n)$に対しても 
$I_{m}(f,\Delta)
\leq
I^{f,\Delta}(\xi_1,,,\xi_n)
\leq
I_{M}(f,\Delta)$ 
ここで、ダルブーの定理から、 
$\lim_{d(\Delta) \to 0}I_{m}(f,\Delta)=\mathscr{s}(f)=\alpha$, 
$\lim_{d(\Delta) \to 0}I_{M}(f,\Delta)=\mathscr{S}(f)=\alpha$ 
が成り立つので、 
$\lim_{d(\Delta) \to 0}I^{f,\Delta}(\xi_1,,,\xi_n)=\alpha$　 
が成り立つ。 
ⅰ）が示せた。 

====　区分的に連続(有限個の点を除いて連続)な閉区間上の関数は積分可能====
色々な関数のグラフを書くとつながっているところを、跳んでいるところが出来る。 
$y=X$のグラフはずっとつながっている。 
関数$y=f(x)$を、 
$x<0$のとき $f(x)=0$, $0\leq x$のとき $f(x)=1$ 
で定義すると、 
$x=0$のところでそのグラフは跳んでいる。 
連続や不連続は関数の非常に重要な性質であり、 
それを調べることはとても豊かな知識をもたらす。 

定理　 
有界閉区間上$V=[a,b]$で定義され、実数に値を取る連続関数$f$は、V上で可積分である。 
略証； 
有界閉区間上の連続関数は[[wikipedia_ja:一様連続 |一様連続]]なので、 
任意の$\epsilon>0$に対して、$\delta>0$が存在して、 
$|x-x'|\leq \delta$を満たす$V$の任意の２点に対して、 
$|f(x)-f(x')|< \frac{\epsilon}{b-a}$ 
が成立する。 
$V=[a,b]$の分割$\Delta$を細かくして、 
$d(\Delta)<\delta$ 
を満たすようにする。 
すると、その分割によって得られた小区間$V_i(i=1,2,,,n)$の長さは、 
全て$\delta$より小さくなるので、 
$\sup \{f(x)\mid x\in V_i\}-\inf\{f(x)\mid x\in V_i\}<\frac{\epsilon}{b-a}$ 
$M(f;V_i),m(f;V_i)$の定義から 
$M(f;V_i)-m(f;V_i)<\frac{\epsilon}{b-a}, (i=1,2,,,n)$
これを用いると、 
$I_M(f,\Delta)-I_m(f,\Delta)=\sum_{i=1}^{n} M(f;V_i)v(V_i)-\sum_i m(f;V_i)v(V_i)$ 
$=\sum_i(M(f;V_i)- m(f;V_i))v(V_i)
\leq
\sum_i \frac{\epsilon}{b-a}v(V_i)
=\frac{\epsilon}{b-a}\sum_{i=1}^{n}v(V_i)
=\frac{\epsilon}{b-a}(b-a)
=\epsilon$ 
故に、 
任意の$\epsilon>0$に対して、$\delta>0$が存在して、 
$d(\Delta)<\delta$を満たす任意の分割$\Delta$にたいして、 
$I_M(f,\Delta)-I_m(f,\Delta)\leq \epsilon$が示せた。 
$\mathscr{S}(f)-\mathscr{s}(f)\leq
I_M(f,\Delta)-I_m(f,\Delta)$ 
なので 
$\mathscr{S}(f)-\mathscr{s}(f)\leq　\epsilon$ 
が任意の$\epsilon>0$にたいして成立する。故に 
$\mathscr{S}(f)=\mathscr{s}(f)$ 
可積分条件のⅲ)が示せた。証明終わり。 
定理の系；有界閉区間上で定義され、区分的に連続な(有限個の不連続点をもつ)実数値関数$f$は積分可能である。 
証明は容易なので略す。

====　ベクトル値関数の場合 ====
ベクトル値関数$\vec f$の場合も、リーマン和とリーマン可積分の定義は実数値関数の場合と変わらない。 
可積分条件については、 
座標系をいれ、関数の各座標成分$\vec{f}_x,\vec{f}_y,\vec{f}_z$を考える。ここで、$\vec{f}_x(t):=\vec{f}(t)_x$である。他も同様。 
すると区分的連続なベクトル値関数の各成分は区分的連続なので積分可能となり、 
$\vec f$の積分可能性が示せる。 

==　リーマン積分の性質 ==
命題１　線形性 
命題２　積分の単調性 
命題３　平均値定理 
命題４　三角不等式 
命題５　積分区間に関する加法性 

===　リーマン積分の計算法 ===
====　原始関数を用いるリーマン積分の計算 ====

====　一変数関数の変数変換 ====
=====　積分計算を便利にする記号法 =====

====　部分積分法====
未完
====　不定積分の計算法====
未完

物理/解析入門（２）リーマン積分 - 変更履歴

Moderator: /* 「8.3 解析入門 （２）リーマン積分」 */

Moderator: /* 関数の連続性と一様連続性 */

Moderator: /* 関数の連続性と一様連続性 */

Moderator: /* 「8.3 解析入門 （２）リーマン積分」 */

Moderator: /* 「8.3 解析入門 （２）リーマン積分」 */

Moderator: /* リーマン積分の性質 */

Moderator: /* リーマン積分の性質 */

Moderator: /* 「8.3　解析入門　（２）リーマン積分」 */

Moderator: /* 　関数の連続性と一様連続性　 */

Moderator: /* 　関数の連続性と一様連続性　 */

Moderator: /* 「8.3　解析入門　（２）リーマン積分」 */

Moderator: /* 「8.3　解析入門　（２）リーマン積分」 */

Moderator: /* 　リーマン積分の性質 */

Moderator: /* 　リーマン積分の性質 */