Processing math: 4%

物理/解析学入門(1)実数の性質、連続関数、導関数と微分

提供: Internet Web School

(版間での差分)
( 実数列の極限 )
( 実数列の極限 =)
110 行: 110 行:
証明は容易である。<br/><br/>
証明は容易である。<br/><br/>
-
== 実数列の極限 ===
+
== 実数列の極限 ==
実数列(xn)nNとは、<br/>
実数列(xn)nNとは、<br/>
xが、自然数全体のなす集合Nから実数全体の作る集合Rへの写像であることと定義する。<br/>
xが、自然数全体のなす集合Nから実数全体の作る集合Rへの写像であることと定義する。<br/>
147 行: 147 行:
数列が有界なので、2つの実数l,uが存在して、全ての自然数nに対し、<br/>
数列が有界なので、2つの実数l,uが存在して、全ての自然数nに対し、<br/>
xn[l,u] <br/>
xn[l,u] <br/>
-
閉区間 [l,u]の中に、数列の無限個の項が含まれているので、<br/>
+
閉区間$I_0\triangleq [l,u] $ の中に、数列の無限個の項が含まれているので、<br/>
この区間を2等分した区間のいずれかには、数列の無限個の項が含まれる。<br/>
この区間を2等分した区間のいずれかには、数列の無限個の項が含まれる。<br/>
-
その区間を I1=[l1,u1] と書く。(注1参照)<br/>
+
その区間を I1=[l1,u1] と書く。(注参照)<br/>
すると この区間は [l1,u1][l,u],長さは u1l1=12(ul) <br/>
すると この区間は [l1,u1][l,u],長さは u1l1=12(ul) <br/>
この区間 I1 を2等分しても、いずれかの部分区間は、数列の無限の項を含む。<br/>
この区間 I1 を2等分しても、いずれかの部分区間は、数列の無限の項を含む。<br/>
158 行: 158 行:
数列 (un)nN は単調減少で有界な数列、<br/>
数列 (un)nN は単調減少で有界な数列、<br/>
定理1から、どちらの数列も収束する。<br/>
定理1から、どちらの数列も収束する。<br/>
-
しかも、$l_n \lt u_n , u_n -l_n \lt \frac{1}{2^n}(u-l)$ なので<br/>
+
しかも、$ 0 \lt u_n -l_n \lt \frac{1}{2^n}(u-l)$ なので<br/>
それぞれの極限を l ,u とかくと、l=u <br/>
それぞれの極限を l ,u とかくと、l=u <br/>
この点を x とかく。<br/>
この点を x とかく。<br/>
168 行: 168 行:
すると、xn(2)I2n(1)<n(2),
すると、xn(2)I2n(1)<n(2),
これを繰り返すと
これを繰り返すと
-
 
+
任意の自然数iに対してxn(i)Ii であって、n(i1)<n(i) である<br/>
-
(注1)2つの部分区間のどちらも無限個の項を含むときは、どちらの部分区間を採用してもよい。<br/><br/>
+
数列$ \bigl(x_{n(i)\bigr)_{i \in N}}を得る。<br/>
 +
この数列が元の数列の部分列であり、lim<br/>であることは明らかである。<br/>
 +
(注)2つの部分区間のどちらも無限個の項を含むときは、どちらの部分区間を採用してもよい。<br/><br/>
n について極限をとると、|u_{\infty}-l_{\infty}| = 0<br/><br/>
n について極限をとると、|u_{\infty}-l_{\infty}| = 0<br/><br/>
数列が収束するための条件を求めるためには、コーシー列という概念が必要になる。<br/>
数列が収束するための条件を求めるためには、コーシー列という概念が必要になる。<br/>
194 行: 196 行:
常に2と3の間の実数であることを示せばよい。<br/><br/>
常に2と3の間の実数であることを示せばよい。<br/><br/>
解答は、8.3 8章の付録の [[物理/8章の付録#問の解答|問の解答]]
解答は、8.3 8章の付録の [[物理/8章の付録#問の解答|問の解答]]
-
 
-
=== 極限の性質  ===
 
-
=== 関数とその連続性 ===
 
-
==== 関数の定義 ====
 
-
ある範囲内の任意の数値をとりえる文字を'''変数'''という。<br/>
 
-
2つの変数x、yがあって、xの値を定めれば、ある規則により、yの値が決まるようになっているとき、<br/>
 
-
'''yはxの関数'''といい、<br/>
 
-
xにより決まるyの値を、 関数記号 f,g などを用いて、y=f(x) ,y=g(x) などと書く。
 
-
<br/>
 
-
変数xは独立変数、yは従属変数という。<br/><br/>
 
-
実は、或るものに何かを対応させるという操作は社会に満ち溢れてる。<br/>
 
-
人々に名前を付ける、あるスーパーで売っている各食品に100g当たりの価格やカロリー量を対応させて表示する等。<br/>
 
-
そこで広くこうした場合にも対応できるように、上記の関数の概念を拡張する。<br/>
 
-
定義<br/>
 
-
2つの非空の集合A、Bを考える。<br/>
 
-
集合Aの非空の部分集合 A_1 の各要素に対して、<br/>
 
-
集合 B の一つの要素を定める規則を関数という。<br/>
 
-
この規則により  A_1 の任意の要素 a に対応するBの要素bを、<br/>
 
-
この規則を表す関数記号(例えば)fを用いて、b=f(a) と表す(注1参照のこと)。<br/>
 
-
A_1 を関数fの定義域、Bを関数fの値域(注2参照)という。<br/>
 
-
スーパーの例では、そのスーパーで扱っている商品の種類の集合をAとし、<br/>
 
-
食品という商品の部分集合を A_1 <br/>
 
-
各食品に100g当たりのエネルギーを対応させる規則を、<br/>
 
-
100gあたりのカロリー関数f、<br/>
 
-
値域Bは自然数の集合(円)とすればよい。<br/><br/>
 
-
(注1)この定義は若干不明瞭である。厳密には、<br/>
 
-
関数fは、直積集合 A_1\times B の部分集合 f であって、<br/>
 
-
任意の a(\in A_1) に対して、唯一のB の要素 b が存在して、<a,b>\in f を満たすものと定義する。<br/>
 
-
この唯一のbのことを、f(a) と書く。<br/>
 
-
(注2)本によっては 値域をBの部分集合 \{f(a)|a\in A_1\} で定義することもあるので注意が必要である。 
 
-
====== 開集合と閉集合 ======
 
-
==== 関数の連続性====
 
-
(1) 定義域が全空間に等しい関数の連続性<br/>
 
-
定義域が、n次元実空間 R^n \quad (n;自然数) に一致する関数を考える。<br/>
 
-
実数値関数 f(x) がある点''' a (\in R^n)で連続'''であるとは、<br/>
 
-
xa に限りなく近づくならば、f(x)f(a) に限りなく近づく<br/>
 
-
ことを言う。<br/>
 
-
\lim_{x\to a} f(x) = f(a)と記す。<br/>
 
-
 
-
これはイプシロン-デルタ論法(ε-δ論法)を用いれば次のように定式化できる。<br/>
 
-
任意の(小さな)正の数 ε 与えられたとき、<br/>
 
-
(小さな)正の数 δ をうまくとってやれば、<br/>
 
-
a と δ 以内の距離にあるどんな x に対しても、<br/>
 
-
f(a) と f(x)  の差が ε より小さくなる。<br/>
 
-
(2) 定義域Dが全空間 R^n \quad (n;自然数  の真の部分集合である関数の連続性<br/>
 
-
定義<br/>
 
-
D を n次元空間 R^n  の部分集合、<br/>
 
-
関数fを、定義域Dの実数値関数とする。<br/>
 
-
関数fが、点  a (\in D) で連続とは<br/>
 
-
Dの中の点xa に限りなく近づくならば、f(x)f(a) に限りなく近づく<br/>
 
-
ことを言う(注参照)。<br/>
 
-
\lim_{x\to a,x\in D} f(x) = f(a) と記す。<br/>
 
-
関数 f(x) が'''連続'''であるとは、<br/>
 
-
D のすべての点で連続であることを言う。<br/><br/>
 
-
(注)ε-δ論法を用いれば次のように述べることができる。<br/>
 
-
任意の正数εに対して、ある正数δが存在して、<br/>
 
-
a と δ 以内の距離にあるどんなDの中の点x に対しても、<br/>
 
-
f(a) と f(x)  の差が ε より小さくなる。<br/><br/>
 
-
連続関数は多くの重要な性質を持つ。<br/>
 
-
その一つを紹介する。<br/>
 
-
命題<br/>
 
-
有界閉区間 I=[a,b] 上で連続な関数fは、この上で最大値と最小値をとる。
 
== 一変数の実数値関数とベクトル値関数の微分 ==
== 一変数の実数値関数とベクトル値関数の微分 ==

2017年11月9日 (木) 10:45時点における版

目次

[非表示]

 8.2 解析学入門

 序

一変数関数の解析学を紹介する。
解析学は実数の連続性と極限の概念を用いる無限算法(微分、積分)を扱う
数学の基幹分野の一つである。
高校でならう解析学の概略だけを知りたい方は、以下の教科書で学習してください。
(1)関数や方程式の知識

\quad物理学では、指数関数をはじめ色々な関数をよく使う。
\quadこれについては下記の本に要約が説明されている。


指数関数や対数関数の上記の本の解説は不十分なので、
興味ある方は、本テキストの

をご覧ください。

(2)ネイピア数 e の理解に必要な数学
微分や積分で重要な役割を演じる実数にネイピア数eがある。
本テキストでも頻繁に登場する。
この数は、\lim_{n\to \infty}(1+\frac{1}{n})^{n} で定義される。
この極限が存在し、2と3の間の数になることを証明するには、2項定理が必要になる。
これについては

問題1
{}_5C_0,\quad {}_5C_1,\quad {}_5C_2,\quad {}_5C_3,\quad {}_5C_4,\quad {}_5C_5 は、いくつか?

(3)微分・積分
物理の学習には微分と積分が必須である。
関数の微分は、極限を利用して定義される。
極限がよくわからない場合には、高等学校数学III/極限(ウィキブックス)を概略理解してから、
高等学校数学II 微分・積分の考え(ウィキブックス)に進むと良いだろう。

問題2
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
問題
(3)大学教養課程程度の解析学の基礎

この節は、解析学の基礎(実数の連続性とリーマン積分)について、さらに知りたい方のために書かれている。
厳密さをかなり重視し、程度は大学専門課程の入り口に相当する。

多変数関数の解析学については次章の「9章 物理数学2」で紹介する。

 実数の連続性と極限

実数の連続性は、様々な極限の存在に根拠を与えるもので、
実数の持つ最も重要な性質といってもよい。

 上界、下界と有界集合

{\bf R}を、全ての実数を要素とする集合とし、
Aをその部分集合(A \subset R)とする。
実数uA上界(upper bound)とは、
任意のa \in Aに対して、a \leq uがなりたつこと\Bigl((\forall{a})(a\in A \to a \leq u)\Bigr)
実数lA下界(lower bound)とは、
任意のa \in Aに対して、l \leq aがなりたつこと。
U_AAの上界をすべて集めた集合\Bigl(\{u \in R|(\forall{a})(a\in A \to a\leq u)\}\Bigr)
L_AAの下界をすべて集めた集合とする。
U_Aが空集合\emptysetでない(すなわち、Aの上界が少なくとも一つ存在する)とき、
A上に有界であるといい、
L_A\neq \emptysetの時、A下に有界であるという。
上に有界で、下にも有界な集合(\subset {\bf R})は、有界という。

 実数の連続の公理と上限、下限

A \subset {\bf R}とする。

実数の連続性の公理
もし、U_A \neq \emptysetならば、U_Aは、最小元を持つ。
もし、L_A \neq \emptysetならば、L_Aは、最大元を持つ。

上限と下限の定義
U_Aの最小元をA上限(supremum)あるいは最小上界(least upper bound)という。
また、L_Aの最大元をA下限(infimum)あるいは最大下界(greatest lower bound)という。

命題1
uA(\subset {\bf R}) の上限となるための必要十分条件は、
ⅰ)uAの上界。すなわち任意のa\in Aにたいしてa \leq u   
ⅱ)x<uである任意のxAの上界ではない。すなわち、x<aとなるa\in Aが存在
である。
同様に、lA の下限となるための必要十分条件は、
ⅰ)lAの下界。すなわち任意のa\in Aにたいしてl\leq a   
ⅱ)l<xである任意のxAの下界ではない。すなわち、a<xとなるa\in Aが存在
である。
A の上限を\sup A、下限を\inf Aと書く。
さらに、
Aが最大値を持つ場合には、Aの上限はAの最大値と一致し、
Aが最小値を持つ場合には、Aの下限はAの最小値と一致する。

証明は、上限、下限の定義から、明らかなので省略する。
例;A=(0,1)のとき、\sup A=1,\inf A=0
これらは、ともにAの要素でないので、
上限1はAの最大元(最大値)ではなく、下限0はAの最小元(最小値)ではない。
A=[0,1]のとき、\sup A=1,\inf A=0
これらは、ともにAの要素なので、
上限は最大限であり、下限は最小限となる。

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

 実数列の極限 

実数列\bigl(x_{n}\bigr)_{n \in N}とは、
xが、自然数全体のなす集合Nから実数全体の作る集合Rへの写像であることと定義する。
論理記号で書けば、(\forall n \in N)(x_{n} \in R)

定理1;
1) 単調増加で上に有界な数列\bigl(x_{n}\bigr)_{n\in N}(注参照)は収束する(極限値を持つ)。
2)単調減少で下に有界な数列は収束する。
(注)数理論理学における論理の数学的モデルの一つであり、命題論理を拡張した一階述語論理で表現すると、
(\exists{U\in R} )(\forall{m} \in N)(\forall{n} \in N)( m\lt n \to x(m) \leq x_{n} \leq U)

証明
1)だけ示す。
A \triangleq \{x_{n}|n\in N \}とおくと、仮定からAは上に有界な集合なので、
実数の連続性から上限(最小上界)u を持つ。
この u が数列xの極限であることを示そう。
任意の小さい正数  \epsilon をとると、u-\epsilon は集合Aの上界ではなくなるので 
(\exists{m}\in N)\bigl(x(m) \gt u-\epsilon \bigr)
数列は単調増加なので、(\forall{n})\bigl(n \gt m \to x_{n} \gt u-\epsilon \bigr) \qquad \qquad \qquad (1)
他方、u は数列xの上界なので、
(\forall{n})\bigl(n\in N \to u \geq x_{n}\bigr) \qquad \qquad \qquad (2)
式(1)と(2)から、
どんなに小さな正数  \epsilon をとってもある自然数mが定まり、
それより大きな自然数n に対して、x_{n} \in [u-\epsilon,u+\epsilon] が示せた。
収束の定義から、数列xがuに収束することが示せた。
2)の証明も同様である。

数列(x_{n})_{n \in N} の項の中から番号の小さい順に次々と無限個を取り出すことにより、
新しい数列が得られる。
このようにして作られる新しい数列を、元の数列の部分列という。
定義1 部分列
自然数の集合NからNの中への狭義の単調増加関数 n; N \to N  を用いて(注参照)
数列 (x_{n})_{n \in N} からつくる数列 (x_{n(k)})_{k\in N} を、数列 (x_{n})_{n \in N} の部分列という。
(注)n; N \to N が狭義単調増加とは、任意の自然数kと、それより大きい全ての自然数lに対してn(k)\lt n(l)

定理2
有界な数列 (x_{n})_{n \in N} は、収束する部分列をもつ。
証明
数列が有界なので、2つの実数l,uが存在して、全ての自然数nに対し、
x_n \in [l,u]  
閉区間I_0\triangleq [l,u] の中に、数列の無限個の項が含まれているので、
この区間を2等分した区間のいずれかには、数列の無限個の項が含まれる。
その区間を I_1=[l_1,u_1] と書く。(注参照)
すると この区間は [l_1,u_1] \subset [l,u] \quad ,長さは u_1-l_1=\frac{1}{2}(u-l) 
この区間 I_1 を2等分しても、いずれかの部分区間は、数列の無限の項を含む。
そこでその部分区間を I_2=[l_2,u_2] とする。 I_2 \subset I_1|I_2|=\frac{1}{2^2}(u-l)
これを続けると閉区間の縮小列 I_n=[l_n,u_n] を得る(n=1,2,3,4,,,,)。 すると、
数列 \bigl(l_n \bigr)_{n\in N} は単調増加で有界な数列、
数列 \bigl(u_n \bigr)_{n\in N} は単調減少で有界な数列、
定理1から、どちらの数列も収束する。
しかも、 0 \lt u_n -l_n \lt \frac{1}{2^n}(u-l) なので
それぞれの極限を l_{\infty} ,u_{\infty} とかくと、l_{\infty} = u_{\infty}
この点を x_{\infty} とかく。
最後に、x_{\infty} に収束する、(x_{n})_{n \in N} の部分列を選び出そう。
部分区間I_1 の中には数列(x_{n})_{n \in N}の無限の項があるので、その中で最小の項順n(1)を選び、部分列の初項x_{n(1)} に選ぶ。
I_2 にはI_1のなかの数列(x_{n})_{n \in N}の項が無限に含まれるので、
その中で、項順mが n(1)\lt m を満たすものも無限にある。
その中で最小の項順のものを選び、第2項 x_{n(2)} とする。
すると、x_{n(2)} \in I_2 \quad n(1)\lt n(2) , これを繰り返すと 任意の自然数iに対してx_{n(i)} \in I_i であって、n(i-1)\lt n(i) である
数列 \bigl(x_{n(i)\bigr)_{i \in N}}を得る。 この数列が元の数列の部分列であり、\lim_{i \to \infty}x_{n(i)}= x_{\infty} であることは明らかである。 (注)2つの部分区間のどちらも無限個の項を含むときは、どちらの部分区間を採用してもよい。 n について極限をとると、|u_{\infty}-l_{\infty}| = 0 数列が収束するための条件を求めるためには、コーシー列という概念が必要になる。 定義 実数列\bigl(x_{n}\bigr)_{n=1}^{\infty}がコーシー列(または基本列)とは 任意の \epsilon\gt 0 に対して、 n_0 \in N が存在して、 m, n \gt n_0 \in N  ならば |x(m)-x_{n}| \lt \epsilon  となること。 定理2 収束に関連するさらなる情報は下記を参照のこと。 *[[wikipedia_ja:極限 |ウィキペディア(極限)]] ==== 定理の応用;ネイピア数 e ==== 次の命題は、高等学校数学III/微分法(ウィキブックス)では証明せず利用しているものである。 '''命題''' 数列 \{x_{n}\}_{n=1}^{\infty}\triangleq \{(1+\frac{1}{n})^{n}\}_{n=1}^{\infty} は、 2より大きく3より小さい実数 e に収束する。 \lim_{n\to \infty}(1+\frac{1}{n})^{n}= e この e をネイピア数と呼ぶ。 練習問題 上の命題を証明してください。 ヒント; (1+\frac{1}{n})^{n} を2項展開して、nとともに単調に増大すること、 常に2と3の間の実数であることを示せばよい。 解答は、8.3 8章の付録の [[物理/8章の付録#問の解答|問の解答]] == 一変数の実数値関数とベクトル値関数の微分 == このテキストを理解するための必要最小限のことを記述する。 以下の文献も必要に応じて参考にしてください。 一冊では不十分なので色々あげておく。 *[[wikibooks_ja:高等学校数学II 微分・積分の考え|ウィキブックス(高等学校数学II 微分・積分の考え)]] *[[wikibooks_ja:高等学校数学III 微分法|ウィキブックス(高等学校数学III 微分法)]] *[[wikibooks_ja:物理数学I 解析学|ウィキブックス(物理数学I 解析学)]] *[[wikibooks_ja:物理数学I ベクトル解析|ウィキブックス(物理数学I ベクトル解析)]] === 実数値関数の微分 === 実数の開区間I=(a,b)上で定義された実数値関数y=f(x)を考える。 定義;微分可能性 関数fs\in Iで微分可能であるとは、極限 \lim_{h \to 0,h\neq 0}\frac{f(s+h)-f(s)}{h}=c \qquad \qquad (1) が存在することである。 この時cfsにおける微分係数あるいは導値といい、 f'(s)、\frac{df}{dt}(s)、(Df)(s) などと書く。 I=(a,b)の各点でfが微分可能であるとき、fは'''微分可能関数'''(あるいは 微分可能)という。 この時、任意のs\in Iに対して、f'(s)\in Iが定まるので、 関数f'が定まる。これをf{\bf 導関数}(derivative)という。 命題 関数 f が微分可能ならば、連続である。 ==== 微分係数の意味 ==== (1)\frac{f(s+h)-f(s)}{h}は、区間[s,s+h]における関数値の平均変化率である。 その極限である微分係数f'(s)は、関数値のsにおける瞬間的な変化率と考えられる。 (2)2次元空間(平面のこと)に直交座標座標系O-xyをいれ、 関数y=f(x)のグラフG=\{(x,y)\mid x\in I,y=f(x)\}を書く。 すると、 f'(s)が存在することは、x=sにおいてグラフGが接線をもつことと同等であり、 接線の方程式は y=f'(s)(x-s)+f(s)である。 これは、[[wikipedia_ja:接線 |接線]]の定義からただちに分かる。 (3)hを零に近づけていったときの極限の意味をさらに深めるため 微分可能の定義を、それと同等の別の表現に変換しよう。 (1)式の右辺の定数を左辺に移行すると \lim_{h \to 0,h\neq 0}\frac{f(s+h)-f(s)-ch}{h}=0 次に、 o_{s}(h):=\frac{f(s+h)-f(s)-ch}{h}\qquad \qquad (2) という、変数hの関数を定義する。 すると関数fs\in Iで微分可能で、微分係数がcである必要十分条件は \lim_{h \to 0,h\neq 0}o_{s}(h)=0 である。 (2)式を変形すると f(s+h)=f(s)+ch+o_{s}(h)h ゆえに次の命題が証明できた。 命題; 次の3つの条件は同等である。 1)関数fs\in Iで微分可能で、微分係数はcである 2)関数fは、 f(s+h)=f(s)+ch+o_{s}(h)h \qquad \qquad (3) と表現できる。 ここで、o_{s}(h)\lim_{h \to 0,h\neq 0}o_{s}(h)=0 \qquad \qquad (4) を満たす関数 3) 関数fは、 sの近傍の点xf(x)=f(s)+c(x-s)+\left(o_{s}(x-s)\right)(x-s) \qquad \qquad (3) ここで、o_{s}(x-s)\lim_{x \to s,x\neq s}o_{s}(x-s)=0 \qquad \qquad (4) を満たす関数 この定理の3)により、 「関数がsで微分可能であり、微分係数がcであること」は、 「この関数がsの近傍の点xで直線y=f(s)+c(x-s)で近似でき、 誤差|f(x)-(f(s)+c(x-s))|=|\left(o_{s}(x-s)\right)(x-s)| が, xsに近づけていくとき、h=x-sより高次で0に収束する(注参照) ことと同等であることが分かる。 (注)\lim_{h\to 0,h\neq 0}\frac{o_{s}(h)h}{h}=0 命題の系;関数がsで微分可能であれば、sで連続である。 証明;命題の2)を用いると、 f(s+h)=f(s)+ch+o_{s}(h)h この式から、|f(s+h)-f(s)|=|(c+o_{s}(h))h| \lim_{h \to 0,h\neq 0}o_{s}(h)=0なので\lim_{h \to 0,h\neq 0}|(c+o_{s}(h))h|=0。 ゆえに、\lim_{h \to 0,h\neq 0}|f(s+h)-f(s)|=0 これは、関数がsで連続であることの定義そのものである。 ==== 導関数の性質==== '''定理1(線形性)''' f,gI=(a,b)上で定義された、微分可能な実数値関数で、 \alpha,\betaが任意の実数ならば \alpha f+\beta gfg(s):=f(s)g(s)は微分可能で (\alpha f+\beta g )'=\alpha f'+\beta g' 証明は、微分の定義式と極限の性質から容易に導ける。 '''定理2 (積の導関数)''' 2つの関数f,gが微分可能ならば、それらの積 fg も微分可能で (fg)'=f'g+fg' '''定理3(商の導関数)''' '''定理4 (合成関数の導関数)''' ==== 三角関数、指数関数の微分 ==== ==== 対数関数、逆三角関数の微分 ==== ==== 平均値の定理 ==== ===== ロールの定理 ===== ===== 平均値の定理 ===== ==== 高階導関数とテイラー展開==== ===== 高階導関数 ===== ===== テイラー展開とテイラーの定理 ===== [[wikibooks_ja:解析学基礎/テイラー級数|解析学基礎/テイラー級数(ウィキブックス)]] ==== C^{1}級の関数==== I=(a,b)上の関数 f が連続的微分可能(continuously differentiable)であるとは, I上で導関数 f' が存在して、しかもf'I上で連続であることをいう。 I=(a,b)上で連続的微分可能である関数をC^{1}級関数という。 === ベクトル値関数の微分=== 実数の開区間I=(a,b)上で定義され,n次元の実ベクトル(\in {\bf R^n})に 値をとる関数\vec fを考える。 定義;微分可能性 実数値関数の場合と同じである。 導関数の線形性の性質も成り立つ。 ==== ベクトル値関数の微分とその成分関数の微分の関係==== 関数値\vec f(s){\bf R^n}の要素なので \vec f(s)=(f_1(s),f_2(s),\cdots f_n(s)) と表示できる。 すると\vec fのn個の成分関数 f_i,(i=1,2,\cdots n) が得られる。 命題; \vec fs\in Iで微分可能\Leftrightarrow$$f_i(i=1,2,\cdots n)$が$s\in I$で微分可能。
この時、${\vec f}'(s)=({f_1}'(s),{f_2}'(s)\cdots {f_n}'(s))$
==== ベクトル積の微分 ==== 命題
$ \vec{a(t)} $ と $\vec{b(t)} $は、開区間I上で定義され、 微分可能なベクトル値関数とする。すると、
$ \quad \vec{a(t)} \times \vec{b(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)}   
ベクトル積の命題3を利用すると、  
  = \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)  
  
この式を式(1)の右辺の分子の項に代入し整頓すると 
 \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}

ベクトル積の命題4を使い、 =\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} ==リーマン積分== この節は、区間上で定義された関数のリーマン積分の初歩を述べる。 具体的には、リーマン積分の定義とリーマン積分が存在する(可積分)条件 について、数学的厳密性を保つように記述する。 参考記事 *[[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軸、および2直線x=ax=bで囲まれる部分の面積を近似している。 ===リーマン可積分とリーマン積分の定義=== 分割を細かくしていくとき、 分割の仕方や代表点の選び方に関係なく リーマン和がある一定値に収束するとする。 すると、この値は y=f(x)のグラフとx軸、および2直線x=ax=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 が成り立つ時、 fV上で(リーマン)可積分であるという。 このとき、IfV上での'''リーマン積分'''といい、 I=\int_{V}f=\int_{V} f(x)dx などと書く。 === リーマン積分の命題 === 命題1 線形性 命題2 積分の単調性 命題3 平均値定理 命題4 三角不等式 命題5 積分区間に関する加法性 === 可積分条件(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)   故に、 '''補題1''' ⅰ)どのような代表点\{\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}'と記す。 '''補題2''' \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]\}の2つに分割されたとする。 すると、区間上の関数の最大値と最小値の定義から、 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}) これらから、命題は成立することが分かる。 ==== 不足リーマン和の上限と過剰リーマン和の下限==== 補題2から、分割の細分を繰り返していくと、その分割に対応する、 不足リーマン和は、広義増加(増加するか、同じ値にとどまる)し、 過剰リーマン和は、広義減少する。 分割を細かくしていったとき、これらの極限が一致すれば、補題1から、 リーマン和の極限値は、代表点に無関係に、定まることになる。 そこで色々な分割に対応する不足リーマン和のなかの最大値と 過剰リーマン和の最小値を求めることが、重要になる。 しかし一般にはこれらは存在しないことが示せる。 そこで最大値に近い命題を持つ上限と最小値に近い下限という概念を利用する。 ==== 2つの分割の共通の細分 ==== 分割\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)が存在することが証明できる。 補題5 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}' なので、補題2から、 I_m(f,\Delta) \leq I_m(f,\Delta\vee {\Delta}')  \leq I_M(f,\Delta\vee {\Delta}')  \leq I_M(f,{\Delta}') ⅱ)1)で証明した不等式で、分割{\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 1)
上限の命題(補題3)から、 ある分割 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ならば補題2より、 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) 2つの分割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) であり、 (2)式から、 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を選ぶと、xVの要素ならば |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つは成立する(互いに同値という)。 ⅰ)fV上で(リーマン)可積分 ⅱ)\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)   ここで、補題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)とおく。 ⅰ)が成り立つことを示そう。 補題1のⅰ)から、どのような分割\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の任意の2点に対して、 |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$の積分可能性が示せる。

 リーマン積分の性質

命題1 線形性
命題2 積分の単調性
命題3 平均値定理
命題4 三角不等式
命題5 積分区間に関する加法性

 リーマン積分の計算法

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

 一変数関数の変数変換

 積分計算を便利にする記号法

 部分積分法

未完

 不定積分の計算法

未完 

個人用ツール