物理/付録　物理数学 - 変更履歴

Moderator: /* 付録　物理数学 */

Moderator — Thu, 05 Feb 2015 10:33:13 GMT

付録　物理数学

←前の版		2015年2月5日 (木) 10:33時点における版
256 行:		256 行:
	棒グラフの作る面積(各角柱の面積和)であることが分かる。図参照。<br/>		棒グラフの作る面積(各角柱の面積和)であることが分かる。図参照。<br/>
	$y=f(x)$のグラフとｘ軸、および２直線$x=a$、$x=b$で囲まれる部分の面積を近似している。<br/>		$y=f(x)$のグラフとｘ軸、および２直線$x=a$、$x=b$で囲まれる部分の面積を近似している。<br/>
-		+	===リーマン可積分===
		+	分割を細かくしていくとき、<br/>
		+	分割の仕方や代表点の選び方に関係なく<br/>
		+	リーマン和がある一定値に収束するとする。<br/>
		+	すると、この値は<br/>
		+	$y=f(x)$のグラフとｘ軸、および２直線$x=a$、$x=b$で囲まれる部分の面積<br/>
		+	と考えられる。<br/>
		+	定義；<br/>
		+	$\Delta=\{V_i=[x_{i-1},x_i] \mid i=1,2,,,n\}$の大きさ$d(\Delta)$とは、<br/>
		+	この分割で得られた小区間の長さの、最大値で定義する。<br/>
		+	記号で書くと<br/>
		+	$d(\Delta)=max\{x_{i}-x_{i-1} \mid i=1,2,,,n\}$<br/>
		+	定義；リーマン可積分<br/>
		+	$f$を、有界閉区間$V$上で定義され、実数の値をとる関数とする。<br/>
		+	もし、ある実数$I$が存在して、<br/>
		+	どんな分割$\Delta=\{V_i=[x_{i-1},x_i] \mid i=1,2,,,,n\} $と<br/>
		+	代表点$\xi_i\in V_i(i=1,2,\cdots ,n)$であっても、<br/>
		+	$\lim_{d(\Delta) \to 0}I^{f,\Delta}(\xi_1,,,\xi_n)=I$<br/>
		+	が成り立つ時、<br/>
		+	$f$は$V$上で(リーマン)可積分であるという。<br/>
		+	このとき、$I$ を$f$の$V$上での(リーマン)積分といい、<br/>
		+	$I=\int_{V}f=\int_{V} f(x)dx$<br/>
		+	などと書く。<br/>

	===リーマン和の不足リーマン和と過剰リーマン和による評価===		===リーマン和の不足リーマン和と過剰リーマン和による評価===
		+	リーマン和を、代表点の選び方を変えて求めるとその値は変化する。<br/>
		+	そこで、その最小値と最大値を求め、差を計算する。<br/>
		+	もしこの差が分割を細かくしていくと零に収束するならば、可積分となろう。<br/>
		+	以下、この方針で議論を進める。<br/>
	$V$を分割して得られた小区間$V_i=[x_{i-1},x_i]$を考える。<br/>		$V$を分割して得られた小区間$V_i=[x_{i-1},x_i]$を考える。<br/>
	関数$y=f(x)$をこの小区間上に限定した時、<br/>		関数$y=f(x)$をこの小区間上に限定した時、<br/>
268 行:		294 行:
	[[wikipedia_ja:有界函数 \|有界な関数]]でありさえすれば、最大値、最小値と殆ど同じ性質をもち、常に存在する<br/>		[[wikipedia_ja:有界函数 \|有界な関数]]でありさえすれば、最大値、最小値と殆ど同じ性質をもち、常に存在する<br/>
	上限、下限に置き換えれば以後の、議論は成り立つ。<br/>		上限、下限に置き換えれば以後の、議論は成り立つ。<br/>
-	~~上限、下限については「（５）不足リーマン和の上限と過剰リーマン和の下限」で説明する。~~<br/><br/>	+	上限、下限については「不足リーマン和の上限と過剰リーマン和の下限」で説明する。<br/><br/>

	すると、$V_i$の任意の点$\xi$　に対して、<br/>		すると、$V_i$の任意の点$\xi$　に対して、<br/>
421 行:		447 行:

	===分割を細かくしていくときの不足リーマン和と、過剰リーマン和の極限===		===分割を細かくしていくときの不足リーマン和と、過剰リーマン和の極限===
-	~~以下の定理を正確に述べるには、~~	+
-	~~まず、分割$\Delta=\{V_i=[x_{i-1},x_i] \mid i=1,2,,,n\}$の大きさを、きちんと定める必要がある。<br/>~~	+
-	~~定義；$\Delta=\{V_i=[x_{i-1},x_i] \mid i=1,2,,,n\}$の大きさ$d(\Delta)$とは、<br/>~~	+
-	~~この分割で得られた小区間の長さの、最大値で定義する。記号で書くと<br/>~~	+
-	~~$d(\Delta)=max\{x_{i}-x_{i-1} \mid i=1,2,,,n\}$~~	+

	定理（ダルブー；Darboux）<br/>		定理（ダルブー；Darboux）<br/>

Moderator: /* 付録　物理数学 */

Moderator — Thu, 05 Feb 2015 10:09:05 GMT

付録　物理数学

←前の版		2015年2月5日 (木) 10:09時点における版
237 行:		237 行:
	<br/>		<br/>

-	~~'''（１）準備；集合論の初歩'''<br/>~~	+	===準備；集合論の初歩===
-		+
	集合論の初歩の知識は前提にして記述するので、<br/>		集合論の初歩の知識は前提にして記述するので、<br/>
	なじみのない方は、下記を参考に、<br/>		なじみのない方は、下記を参考に、<br/>
244 行:		243 行:
	*[[wikipedia_ja:集合 \|ウィキペディア(集合）]]		*[[wikipedia_ja:集合 \|ウィキペディア(集合）]]

-	~~'''（２）区間上の関数のリーマン和'''<br/>~~	+	===区間上の関数のリーマン和===
	'''定義；リーマン和 ''' <br/>		'''定義；リーマン和 ''' <br/>
	区間$V=[a,b]$で定義され、実数に値をとる関数$y=f(x)$を考える。<br/>		区間$V=[a,b]$で定義され、実数に値をとる関数$y=f(x)$を考える。<br/>
259 行:		258 行:


-	~~'''（３）リーマン和の不足リーマン和と過剰リーマン和による評価'''<br/>~~	+	===リーマン和の不足リーマン和と過剰リーマン和による評価===
	$V$を分割して得られた小区間$V_i=[x_{i-1},x_i]$を考える。<br/>		$V$を分割して得られた小区間$V_i=[x_{i-1},x_i]$を考える。<br/>
	関数$y=f(x)$をこの小区間上に限定した時、<br/>		関数$y=f(x)$をこの小区間上に限定した時、<br/>
288 行:		287 行:
	証明は明らかなので省略。<br/>		証明は明らかなので省略。<br/>

-	~~'''（４）分割の細分とリーマン和の評価式'''<br/>~~	+	===分割の細分とリーマン和の評価式===
	'''定義；分割の細分'''<br/>		'''定義；分割の細分'''<br/>
	$V$の分割${\Delta}'$が分割$\Delta$の細分というのは、<br/>		$V$の分割${\Delta}'$が分割$\Delta$の細分というのは、<br/>
314 行:		313 行:
	これらから、命題は成立することが分かる。<br/><br/>		これらから、命題は成立することが分かる。<br/><br/>

-	~~'''（５）不足リーマン和の上限と過剰リーマン和の下限'''~~	+	===不足リーマン和の上限と過剰リーマン和の下限===
	補題２から、分割の細分を繰り返していくと、その分割に対応する、<br/>		補題２から、分割の細分を繰り返していくと、その分割に対応する、<br/>
	不足リーマン和は、広義増加(増加するか、同じ値にとどまる）し、<br/>		不足リーマン和は、広義増加(増加するか、同じ値にとどまる）し、<br/>
325 行:		324 行:
	しかし一般にはこれらは存在しないことが示せる。<br/>		しかし一般にはこれらは存在しないことが示せる。<br/>
	そこで最大値に近い性質を持つ上限と最小値に近い下限という概念を利用する。<br/>		そこで最大値に近い性質を持つ上限と最小値に近い下限という概念を利用する。<br/>
-	~~'''定義；上界と下界'''<br/>~~	+	====上界と下界====
	${\bf R}$を、全ての実数を要素とする集合とし、<br/>		${\bf R}$を、全ての実数を要素とする集合とし、<br/>
	$A$をその部分集合とする。<br/>		$A$をその部分集合とする。<br/>
377 行:		376 行:


-	~~'''~~ ２つの分割の共通の細分 ~~'''<br/>~~	+	=== ２つの分割の共通の細分 ===
	分割$\Delta$の分点の集合$\{x_j \mid j=1,2,,,m\}$と、<br/>		分割$\Delta$の分点の集合$\{x_j \mid j=1,2,,,m\}$と、<br/>
	分割${\Delta}'$ の分点の集合$\{x'_j \mid j=1,2,,,n\}$の<br/>		分割${\Delta}'$ の分点の集合$\{x'_j \mid j=1,2,,,n\}$の<br/>
421 行:		420 行:
	下限$\mathscr{S}(f)$は、下界のなかの最大値なので$\mathscr{s}(f) \leq \mathscr{S}(f)$を得る。<br/>		下限$\mathscr{S}(f)$は、下界のなかの最大値なので$\mathscr{s}(f) \leq \mathscr{S}(f)$を得る。<br/>

-		+	===分割を細かくしていくときの不足リーマン和と、過剰リーマン和の極限===
-		+
-	~~'''（６）分割を細かくしていくときの不足リーマン和と、過剰リーマン和の極限'''<br/>~~	+
	以下の定理を正確に述べるには、		以下の定理を正確に述べるには、
	まず、分割$\Delta=\{V_i=[x_{i-1},x_i] \mid i=1,2,,,n\}$の大きさを、きちんと定める必要がある。<br/>		まず、分割$\Delta=\{V_i=[x_{i-1},x_i] \mid i=1,2,,,n\}$の大きさを、きちんと定める必要がある。<br/>
530 行:		527 行:
	を満たすことが証明できた。証明終わり。<br/>		を満たすことが証明できた。証明終わり。<br/>

-		+	===可積分条件===
-	~~'''（７）可積分条件'''<br/>~~	+
	定理；可積分条件　<br/>		定理；可積分条件　<br/>
	$V=[a,b]$<br/>		$V=[a,b]$<br/>
606 行:		602 行:
	ⅰ）が示せた。<br/>		ⅰ）が示せた。<br/>

-	~~'''（８）有限個の点を除いて連続な閉区間上の関数は積分可能'''<br/>~~	+	===有限個の点を除いて連続な閉区間上の関数は積分可能===
	色々な関数のグラフを書くとつながっているところを、跳んでいるところが出来る。<br/>		色々な関数のグラフを書くとつながっているところを、跳んでいるところが出来る。<br/>
	$y=X$のグラフはずっとつながっている。<br/>		$y=X$のグラフはずっとつながっている。<br/>

Moderator: ページの作成: =付録　物理数学 = == ベクトル積　== 本節での全ての命題で、
$ \vec{a}, \vec{b}, \vec{c}$は3次元ベクトル
$\alpha$を実数とする…

Moderator — Thu, 05 Feb 2015 09:33:35 GMT

ページの作成: =付録　物理数学 = == ベクトル積　== 本節での全ての命題で、 $ \vec{a}, \vec{b}, \vec{c}$は3次元ベクトル $\alpha$を実数とする…

新規ページ

=付録　物理数学 =

== ベクトル積　==
本節での全ての命題で、 
$ \vec{a}, \vec{b}, \vec{c}$は3次元ベクトル 
$\alpha$を実数とする。 

命題１． $ \quad \vec{a} $ を, $\vec{c} $と垂直な成分$ \vec{a_\perp}$ と,平行な成分$\vec{a_\parallel}$ の和に分解するとき、 
$\quad \vec{a} \times \vec{c}= \vec{a_\perp} \times \vec{c}$ 
$\quad \vec{a_\parallel} \times \vec{c}= 0$ 
証明；ベクトル積の定義から、容易に示せる。 
２つのベクトルの作る平行四辺形の面積と方向・向きを考えれば良い。 

命題２．$ \quad \vec{a} \times \vec{b}= -\vec{b} \times \vec{a}$ 
証明；２つのベクトルを入れ替えても、それらが作る平行四辺形の面積は変わらず、この四辺形に直交する直線の方向も変わらない。 
しかし、ベクトル積の向きは、逆向きになる。 
ベクトル積の定義から、$\quad \vec{a} \times \vec{b}= -\vec{b} \times \vec{a}$ が示せた。 
命題３ 
$(\alpha\vec{a})\times \vec{b}= \alpha(\vec{a} \times \vec{b})= \vec{a}\times (\alpha\vec{b})$　 
証明；実数$\alpha$ が正、零、負の場合に分けて考える。 
いずれの場合にも,
ベクトル積の定義とベクトルと実数の積の性質から、容易に証明できる。 

命題４．$ \quad (\vec{a}+ \vec{b})\times \vec{c}= \vec{a} \times \vec{c} + \vec{b} \times \vec{c}$　 
証明； 
この証明には少し工夫が必要である。 
ベクトル積の命題の中でも、もっとも大切なものなので、詳しく説明しよう。 
①　$ \vec{a}, \vec{b}$ と$\quad \vec{c}\quad$ が直交する場合。図参照のこと 
・議論をやさしくするため、ベクトルを、空間の原点$O$ を始点とする有向線分で代表させる。 
・$ \vec{c}$ と直交し$O$ を通る平面を$H$とする。 
・仮定より$ \vec{a},\quad \vec{b}$は、ともに平面$H$上のベクトルである。 
・$\vec{a} \times \vec{c} ,\quad \vec{b} \times \vec{c}$も、 
ベクトル積の定義により、共に$ \vec{c}$ と直交するので、$H$上のベクトルである。 
これら四つのベクトルはすべて平面$H$上にあるので、今後の議論はこの平面上で進める。 
　ⅰ）$\vec{a} \times \vec{c}, \vec{b} \times \vec{c}$ の張る平行四辺形は, $\vec{a}, \vec{b}$の張る平行四辺形を、$\| \vec{c}\|$倍し,原点周りに９０度回転したものになることを、示そう。 
・$\vec{a} \times \vec{c} $は、ベクトル積の定義から、$ \vec{a}$ と直交する。 
そのため、$\vec{a}$ を平面$H$上で、原点まわりに、９０度右回りか、左回りすれば、方向と向きが一致する。 
・$\vec{b} \times \vec{c} $も、同様に考え、$\vec{b}$ を平面$H$上で、原点まわりに、９０度右回りか、左回りすれば、方向と向きが一致することが分かる。 
・どちら周りの回転になるかは、ベクトル積の定義によって決まるが、 
後者の回転の向きが、前者の回転の向きと一致することが分かる。 
・$\vec{a}\times \vec{c}$ の大きさは、 
$\|\vec{a}\times \vec{c}\|=\|\vec{a}\|\|\vec{c}\|\cos(\pi/2)=\|\vec{a}\|\|\vec{c}\|$ なので、$\vec{a}$ の大きさの$\|\vec{c}\|$倍になる。 
同様に、$\vec{b}\times \vec{c}$ の大きさは、$\vec{a}$ の大きさの$\|\vec{c}\|$倍になる。 
・以上の結果より、所望の結果は示された。 
　ⅱ）$ \qquad (\vec{a}+ \vec{b})\times \vec{c}= \vec{a} \times \vec{c} + \vec{b} \times \vec{c}$を示そう。 
・　ⅰ)と同じ議論により、 
$(\vec{a}+ \vec{b}) \times \vec{c}$は$\vec{a}, \vec{b}$の張る平行四辺形の対角線を、原点周りに９０度、同じ向きに回転させ、$\|\vec{c}\|$倍させたものであることが分かる。 
・すると、ⅰ)で示したことから、$(\vec{a}+ \vec{b}) \times \vec{c}$は 
$\vec{a} \times \vec{c}, \vec{b} \times \vec{c}$ の張る平行四辺形の対角線$\vec{a} \times \vec{c}+\vec{b} \times \vec{c}$ に等しいことが分かる。 
・以上で①が示せた。 

②　一般の場合。 
命題1より、$\perp$ を$\vec{c}$と垂直な成分を表すとすると、 $ (\vec{a}+ \vec{b})\times \vec{c}= (\vec{a}+ \vec{b})_\perp \times \vec{c} \qquad \qquad \qquad $(1) 
$(\vec{a}+ \vec{b})_\perp =\vec{a}_\perp +\vec{b}_\perp$なので、(1)式は、 
$ = (\vec{a}_\perp +\vec{b}_\perp) \times \vec{c}$ 
①より、 
$ = \vec{a}_\perp \times \vec{c}+\vec{b}_\perp\times \vec{c}=\vec{a} \times \vec{c}+\vec{b} \vec{c}$ $ \qquad $ 命題４の証明終わり。 
　

命題４の系　　 　　
$ \quad \vec{a} \times (\vec{b}+ \vec{c})= \vec{a} \times \vec{b} + \vec{a} \times \vec{c}$ 
$ \quad (\vec{a}+ \vec{b}+\vec{c})\times \vec{d}=\vec{a}\times \vec{d}+\vec{b}\times \vec{d}+\vec{c}\times \vec{d}$ 
証明； 
命題２より、 
$\vec{a} \times (\vec{b}+ \vec{c})= -\left((\vec{b}+ \vec{c})\times \vec{a}\right) $ 命題３から 
$=\left(-(\vec{b}+ \vec{c})\right)\times \vec{a}$
命題４より、 
$= -(\vec{b} \times \vec{a}+ \vec{c} \times \vec{a})$ 
再び命題２より、 
$=\vec{a} \times \vec{b} + \vec{a} \times \vec{c}　\quad　$前半の証明終わり 
命題２より、 
$ (\vec{a}+ \vec{b}+\vec{c})\times \vec{d}=(\vec{a}+ \vec{b})\times \vec{d}+\vec{c})\times \vec{d}$ 
再び命題２より、 
$ =\vec{a}\times \vec{d}+\vec{b}\times \vec{d}+\vec{c}\times \vec{d}$
$\quad$証明終わり。 　　

命題５．$\quad (\vec{e_1},\vec{e_2}, \vec{e_3})$ を 
それぞれ大きさ(長さ)１で互いに直交し、[[wikipedia_ja:右手系|右手系]]をなす、ベクトル(右手系をなす正規直交基底)とする。 

この時、 
$ \quad \vec{e_1} \times \vec{e_2} = \vec{e_3}, \quad
\vec{e_2} \times \vec{e_3} = \vec{e_1}, \quad
\vec{e_3} \times \vec{e_1} = \vec{e_2}$ 
証明；ベクトル積と$(e_1,e_2,e_3)$ の定義から明らかである。 

命題６．ベクトル$\vec a, \vec b$を,命題５で用いた基底$ (\vec{e_1},\vec{e_2}, \vec{e_3})$ で決まる座標の座標成分で表示しておく。 
すると$\vec a \times \vec b=(a_yb_z-a_zb_y,a_zb_x-a_xb_z,a_xb_y-a_yb_x)$　 
証明；$\vec a=a_x\vec{e_x}+a_y\vec{e_y}+a_z\vec{e_z}$, 
$\vec b=b_x\vec{e_x}+b_y\vec{e_y}+b_z\vec{e_z}$と表せるので、 
$\vec a \times \vec b=(a_x\vec{e_x}+a_y\vec{e_y}+a_z\vec{e_z})\times \vec b$
性質３の系から 
$=a_x\vec{e_x}\times \vec b
+a_y\vec{e_y}\times \vec b
+a_z\vec{e_z}\times \vec b$ $\qquad$ (1) 

式(1)の第１項
$a_x\vec{e_x}\times \vec b$
に
$\vec b=b_x\vec{e_x}+b_y\vec{e_y}+b_z\vec{e_z}$
を代入して、性質３の系を使って変形すると、 
$a_x\vec{e_x}\times \vec b
=a_x\vec{e_x}\times b_x\vec{e_x}
+a_x\vec{e_x}\times b_y\vec{e_y}
+a_x\vec{e_x}\times b_z\vec{e_z}$ $\qquad$ (2) 
性質４と性質５を使うと、 
$a_x\vec{e_x}\times b_x\vec{e_x}
=a_x b_x\vec{e_x}\times \vec{e_x}
=\vec 0$ 。 
同様の計算を行うと、 
$a_x\vec{e_x}\times b_y\vec{e_y}
=a_x b_y\vec{e_x}\times \vec{e_y}
=a_x b_y\vec{e_z}$ 

$a_x\vec{e_x}\times b_z\vec{e_z}
=a_x b_z\vec{e_x}\times \vec{e_z}
=-a_x b_z\vec{e_y}$ 

式(2)にこれらを代入して、 
$a_x\vec{e_x}\times \vec b
=a_x b_y\vec{e_z} - a_x b_z\vec{e_y} $ $\qquad$　(3) 

式(1)の第２項、第３項も同様に計算すると、 
$a_y\vec{e_y}\times \vec b
=a_y b_z\vec{e_x} - a_y b_x\vec{e_z} $ $\qquad$ (4) 

$a_z\vec{e_z}\times \vec b
=a_z b_x\vec{e_y} - a_z b_y\vec{e_x} $ $\qquad$ (5) 

式(3),(4),(5) を、式 (1)に代入すると、 
$\vec a \times \vec b
=a_x b_y\vec{e_z} - a_x b_z\vec{e_y}
+a_y b_z\vec{e_x} - a_y b_x\vec{e_z}
+a_z b_x\vec{e_y} - a_z b_y\vec{e_x}$ 
$ =(a_y b_z - a_z b_y)\vec{e_x}
+(a_z b_x - a_x b_z)\vec{e_y}
+(a_x b_y - a_y b_x)\vec{e_z}$ 
性質６の証明終わり。 

性質７の証明； 
$ \quad (\vec{a} \times \vec{b})\cdot \vec{c}= (\vec{c} \times \vec{a})\cdot\vec{b}$を証明しよう。 
残りも、同様に証明出来るので各自試みてください。 
右手系をなす一つの直交座標を決める。 
３つのベクトルを、この座標の成分で表示して、性質６と内積の性質を使えば、左右が等しいことが証明できる。 
概略をスケッチしよう。 
$ \quad (\vec{a} \times \vec{b})\cdot \vec{c}
=(a_yb_z-a_zb_y,a_zb_x-a_xb_z,a_xb_y-a_yb_x)
\cdot (c_x,c_y,c_z)
=(a_yb_z-a_zb_y)c_x+(a_zb_x-a_xb_z)c_y+(a_xb_y-a_yb_x)c_z$　 
$ \quad (\vec{c} \times \vec{a})\cdot\vec{b}$も、これと同じように計算する。 これら両式を整頓すると、同じものであることが分かる。 

命題７． 
$(\vec{a} \times \vec{b})\cdot \vec{c}= (\vec{c} \times \vec{a})\cdot\vec{b} =(\vec{b} \times \vec{c})\cdot\vec{a}$ 
証明 
$(\vec{a} \times \vec{b})\cdot \vec{c}= (\vec{c} \times \vec{a})\cdot\vec{b}$を証明しよう。 
残りも、同様に証明出来るので各自試みてください。 
右手系をなす一つの直交座標を決める。 
３つのベクトルを、この座標の成分で表示して、性質６と内積の性質を使えば、左右が等しいことが証明できる。 
概略をスケッチしよう。 
$(\vec{a} \times \vec{b})\cdot \vec{c}
=(a_yb_z-a_zb_y,a_zb_x-a_xb_z,a_xb_y-a_yb_x)
\cdot (c_x,c_y,c_z)
=(a_yb_z-a_zb_y)c_x+(a_zb_x-a_xb_z)c_y+(a_xb_y-a_yb_x)c_z$　 
$ \quad (\vec{c} \times \vec{a})\cdot\vec{b}$も、これと同じように計算する。 これら両式を整頓すると、同じものであることが分かる。 
性質７の証明終わり。 

命題８． $ \quad \vec{a(t)} $ と $\vec{b(t)} $を,$t$にかんして微分可能な、ベクトルに値をとる関数とする。すると、 
$ \quad \vec{a(t)} \times \vec{b(t)}$ は、$t$にかんして微分可能で、 
$ \quad \frac{d}{dt}(\vec{a(t)} \times \vec{b(t)}) =(\frac{d}{dt}\vec{a(t)} )\times \vec{b(t)}+\vec{a(t)}\times (\frac{d}{dt}\vec{b(t)})$
証明 
すでにこのテキストで紹介した、ベクトル値関数の微分の定義 
$ \quad \frac{d}{dt}(\vec{a(t)} \times \vec{b(t)})
=\lim_{\delta t \to 0}
(\vec a(t+\delta t)\times \vec{b(t+\delta t)}- \vec{a(t)} \times \vec{b(t)})/\delta t$ $\qquad $ (1)　　 
を用いて証明する。 
この極限が存在し、 
$\frac{d}{dt}\vec{a(t)} \times \vec{b(t)}+\vec{a(t)}\times \frac{d}{dt}\vec{b(t)}$ 
になることを示せば性質８は証明できたことになる。 
極限の計算が進むよう、右辺の式の分母は変形しよう。 
関数の積の微分公式の証明と同じ技巧を用いる。 
$ \vec a(t+\delta t)\times \vec{b(t+\delta t)}
- \vec{a(t)} \times \vec{b(t)}$　　 
$ = \vec a(t+\delta t)\times \vec{b(t+\delta t)}
-\vec a(t)\times \vec{b(t+\delta t)}
+\vec a(t)\times \vec{b(t+\delta t)}
- \vec{a(t)} \times \vec{b(t)}$　　 
ベクトル積の性質３を利用すると、　 
$ = \left(\vec a\left(t+\delta t\right) -\vec a\left(t\right)\right)
\times
\vec b\left(t+\delta t\right)
+\vec a\left(t\right)\times \left(\vec b\left(t+\delta t\right)- \vec b\left(t\right)\right) $

この式を式(１)の右辺の分子の項に代入し整頓すると 
$ \quad \frac{d}{dt}(\vec{a(t)} \times \vec{b(t)})
=\lim_{\delta t \to 0}
\frac{\vec a(t+\delta t)\times \vec b(t+\delta t)- \vec a(t) \times \vec b(t)}
{\delta t}$ 　 
$=\lim_{\delta t \to 0}
\frac{\left(\vec a\left(t+\delta t\right) -\vec a\left(t\right)\right)
\times
\vec b\left(t+\delta t\right)
+\vec a\left(t\right)\times \left(\vec b\left(t+\delta t\right)- \vec b\left(t\right)\right) }
{\delta t}
$ 
ベクトル積の性質４を使い、 
$=\lim_{\delta t \to 0}\left(
\frac{\vec a(t+\delta t) -\vec a(t)}{\delta t}
\times
\vec b\left(t+\delta t\right)
+
\vec a(t)\times \frac{\vec b(t+\delta t)- \vec b(t)}
{\delta t}
\right)$ 
極限の性質を使って、 
$=\lim_{\delta t \to 0}
\frac{\vec a(t+\delta t) -\vec a(t)}{\delta t}
\times
\lim_{\delta t \to 0}\vec b(t+\delta t)
+
\vec a(t)\times
\lim_{\delta t \to 0}\frac{\vec b(t+\delta t)- \vec b(t)}{\delta t}
$ 
式中の極限は、$\vec a,\vec b$が、微分可能なので存在し、 
$\lim_{\delta t \to 0} \frac{\vec a(t+\delta t) -\vec a(t)}{\delta t}
=\frac{d\vec a(t)}{dt}$ 
$\lim_{\delta t \to 0} \frac{\vec b(t+\delta t) -\vec b(t)}{\delta t}
=\frac{d\vec b(t)}{dt}$ 
また、$\lim_{\delta t \to 0}\vec b(t+\delta t)=\vec b(t) $ なので、 
所望の結果が得られた。性質８の証明終わり。

==可積分条件==
この節は、区間上で定義された関数の
積分可能な条件を紹介する。 
大学の教養コース程度の数学を使うが、テキスト中で理解できるように説明する。 
興味のない方は、とばしてください。 
 

'''（１）準備；集合論の初歩''' 

集合論の初歩の知識は前提にして記述するので、 
なじみのない方は、下記を参考に、 
集合の素朴な定義、集合の和集合や共通集合、集合の包含関係などについて学習してほしい。
*[[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$で囲まれる部分の面積を近似している。 

'''（３）リーマン和の不足リーマン和と過剰リーマン和による評価''' 
$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})$ 
これらから、命題は成立することが分かる。 

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

そこで色々な分割に対応する不足リーマン和のなかの最大値と 
過剰リーマン和の最小値を求めることが、重要になる。 
しかし一般にはこれらは存在しないことが示せる。 
そこで最大値に近い性質を持つ上限と最小値に近い下限という概念を利用する。 
'''定義；上界と下界''' 
${\bf R}$を、全ての実数を要素とする集合とし、 
$A$をその部分集合とする。 
実数$u$が$A$の上界(upper bound)とは、 
任意の$a \in A$に対して、$a \leq u$がなりたつこと。 
実数$l$が$A$の下界(lower bound)とは、 
任意の$a \in A$に対して、$l \leq a$がなりたつこと。 
$U_A$を$A$の上界をすべて集めた集合、 
$L_A$を$A$の上界をすべて集めた集合とする。 
$U_A$が空集合$\emptyset$でない（すなわち、$A$の上界が少なくとも一つ存在する）とき、 
$A$は'''上に有界'''であるといい、 
$L_A\neq \emptyset$の時、$A$は'''下に有界'''であるという。 
上に有界で、下にも有界な集合($\subset {\bf R})$は、'''有界'''という。 

'''実数の連続の公理''' 
以下の性質は、色々な極限の存在の根拠を与えるもので、 
実数の持つ最も重要な性質の一つである。 
$A \subset {\bf R}$とする。 
もし、$U_A \neq \emptyset$ならば、$U_A$は、最小元を持つ。 
これを$A$の'''上限(supremum)'''あるいは'''最小上界(least upper bound)'''という。 
もし、$L_A \neq \emptyset$ならば、$L_A$は、最大元を持つ。 
これを$A$の'''下限(infimum)'''あるいは'''最大下界(greatest lower bound)'''というという。 

補題３ 
$u$が$A(\subset {\bf R})$　の上限となるための必要十分条件は、 
ⅰ）$u$は$A$の上界。すなわち任意の$a\in A$にたいして$a \leq u$　　　 
ⅱ）$x<u$である任意の$x$は$A$の上界ではない。すなわち、$x<a$となる$a\in A$が存在。 
ⅲ）$A$が最大値を持つ場合には、上限は最大値と一致する。 
同様に、$l$が$A$　の下限となるための必要十分条件は、 
ⅰ）$l$は$A$の下界。すなわち任意の$a\in A$にたいして$l\leq a$　　　 
ⅱ）$l<x$である任意の$x$は$A$の下界ではない。すなわち、$a<x$となる$a\in A$が存在。 
ⅲ）$A$が最小値を持つ場合には、下限は最小値と一致する。 
$A$　の上限を$\sup A$、下限を$\inf A$と書く。 
証明は、上限、下限の定義から、明らかなので省略する。 
例；$A=(0,1)$のとき、$\sup A=1$,$\inf A=0$。 
これらは、ともに$A$の要素でないので、 
上限１は$A$の最大元(最大値)ではなく、下限０は$A$の最小元(最小値)ではない。 
$A=[0,1]$のとき、$\sup A=1$,$\inf A=0$。 
これらは、ともに$A$の要素なので、 
上限は最大限であり、下限は最小限となる。 

補題４．
$A \subset B \subset {\bf R}$で、$B$は有界集合とする。 
このとき、$\inf B \leq \inf A \leq \sup A \leq \sup B$ 
証明は容易である。 

関数$y=f(x)$が連続でない時は、区間上で最大値や最小値を取らないことがある。 
この場合も考慮して、最大値を上限に、最小値を下限に置き換えて、 
$m(f;V_i)=\inf\{f(x)\mid x\in V_i\},M(f;V_i)=\sup \{f(x)\mid x\in V_i\}$で定義すれば、 
有界関数に対して、これらは常に定義され、今までの議論はすべて成り立つ。 

''' ２つの分割の共通の細分 ''' 
分割$\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)$を得る。 

'''（６）分割を細かくしていくときの不足リーマン和と、過剰リーマン和の極限''' 
以下の定理を正確に述べるには、
まず、分割$\Delta=\{V_i=[x_{i-1},x_i] \mid i=1,2,,,n\}$の大きさを、きちんと定める必要がある。 
定義；$\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\}$

定理（ダルブー；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$のところでそのグラフは跳んでいる。 
連続や不連続は関数の非常に重要な性質であり、 
それを調べることはとても豊かな知識をもたらす。 
しかし正確に議論するには、連続とは何かをきちんと定義する必要がある。 

関数の連続性の定義； 
実数値関数 $f(x)$ がある点''' $x_0$で連続'''であるとは、 
$x$が$x_0$ に限りなく近づくならば、$f(x)$ が $f(x_0)$ に限りなく近づく 
ことを言う。 
$\lim_{x\to x_0} f(x) = f(x_0)$と記す。 

これはイプシロン-デルタ論法(ε-δ論法)を用いれば次のように定式化できる。 
（小さな）正の数 ε が任意に与えられたとき、 
（小さな）正の数 δ をうまくとってやれば、 
$x_0$ と δ 以内の距離にあるどんな $x$ に対しても、 
$f(x)$ と $f(x)$ の差が ε より小さいようにすることができる。 

関数 $f(x)$ がある'''区間$I$ で連続'''であるとは、 
$I$ に属するそれぞれの点において連続であることを言う。 

定理　 
有界閉区間上$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)$ 
可積分条件のⅲ)が示せた。証明終わり。 
定理の系；有限個の不連続点をもつ、有界閉区間上の関数は積分可能である。

物理/付録 物理数学 - 変更履歴

Moderator: /* 付録 物理数学 */

Moderator: /* 付録 物理数学 */

Moderator: ページの作成: =付録 物理数学 = == ベクトル積 == 本節での全ての命題で、 $ \vec{a}, \vec{b}, \vec{c}$は3次元ベクトル $\alpha$を実数とする…

物理/付録　物理数学 - 変更履歴

Moderator: /* 付録　物理数学 */

Moderator: /* 付録　物理数学 */

Moderator: ページの作成: =付録　物理数学 = == ベクトル積　== 本節での全ての命題で、
$ \vec{a}, \vec{b}, \vec{c}$は3次元ベクトル
$\alpha$を実数とする…