ソースを表示

= 7.5　解析入門（３）関数列の項別の積分・微分、 級数・冪級数及び可微分関数のテイラー展開=
==　関数列・関数族の項別積分と項別微分   ==
===　関数列の各点収束　===
定義１（各点収束）<br/>
集合$A$上で定義された$\bf{R^m}$値の関数の列 $(f_{n})_{n\in N}$が<br/>
$A$上で定義された$\bf{R^m}$値の関数$f$ に各点収束するとは、<br/>
任意の$x \in A$に対して、$\bf{R^m}$の中の数列$(f_{n}(x))_{n\in N}$が$f(x)$に収束すること。<br/>
すなわち、<br/>
$(\forall x)(x \in A \rightarrow \lim_{n \to \infty}\|f(x)-f_n(x)\|_{\infty} = 0$ （注参照）<br/><br/>
(注) m次元ベクトルのノルムとしては通常はユークリッドノルム（２乗ノルム)を用いるが、<br/>
p乗ノルム（$p \geq 1$)や無限大ノルムでも良い。<br/>
[[物理/平面と空間,ベクトル#一般のノルムの定義とノルムの同等性|一般のノルムの定義とノルムの同等性]]を参照のこと。
===　関数列の一様収束　===
====　関数の一様ノルム   ====
定義２（有界関数と一様ノルム）<br/>
集合$A$上で定義され、$\bf{R^m}$の値をとる関数$f$を考える。<br/>
１）関数$f$が有界とは、<br/>
$f$の値域$\{f(a)|a \in A \}(\subset \bf{R^m})$が$\bf{R^m}$の有界集合であること。<br/>
すなわち、ある正数Mが存在し、$\|f(a)\| \lt M \quad (for \forall a \in A)$。<br/>
２）有界関数$f$の一様ノルム$\|f\|_{\infty}$とは<br/>
$\|f\|_{\infty} \triangleq \sup_{a \in A}\| f(a)\|$<br/>

定義３（一様コーシー列）<br/>

定義４（一様収束）<br/>
集合$A$上で定義された$\bf{R^m}$値の関数の列 $(f_{n})_{n\in N}$が<br/>
$A$上で定義された$\bf{R^m}$値の関数$f$ に一様収束するとは、<br/>
$\lim_{n \to \infty}\|f-f_n\|_{\infty} = 0$ <br/><br/>


定理１<br/>
集合$A$上で定義された$\bf{R^m}$値の関数の列 $(f_{n})_{n\in N}$が<br/>
$A$上で関数$f$ に一様収束するするならば、各点収束する。<br/>

定理２<br/>
n次元空間の部分集合$A$上で定義された$\bf{R^m}$値の連続関数の列が一様コーシー列をなすならば、連続関数に一様収束する。<br/>
定理３<br/>
n次元空間の部分集合$A$上で定義された$\bf{R^m}$値の連続関数の列が、関数$f$に一様収束するならば、関数$f$は連続関数である。<br/>

定理１の逆は一般に成立しないが、いくつかの条件を付ければ成立する。<br/>
その準備のために、コンパクト集合について説明する。
===　コンパクト集合===
====　集合の内点、集合の触点と閉包、開集合と閉集合、全有界集合　====
定義<br/>
定理<br/>
$A\subset {\bf{R^n}}$とすると、次の３条件は同値である。<br/>
１）$A$は閉集合<br/>
２）$A$の点列が収束するならば、その極限は$A$の点である。<br/>
３）${\bf{R^n}}$　における$A$の補集合$A^{c}\triangleq \{x\in {\bf{R^n}}|x \notin A\}$は開集合<br/>
証明<br/>

定理<br/>
$A\subset {\bf{R^n}}$とすると、次の２条件は同値である。<br/>
１）$A$は有界集合<br/>
２）$A$は全有界集合<br/>
証明<br/>
====　ハイネ、ボレルの定理    ====
定理４（ハイネ、ボレルの定理）<br/>
$　I = [a,b],\quad (a \leq b)$を有界な閉区間とする。<br/>
もし、開区間の集合$\mathcal{O} = \{ I_{\alpha}=(a_{\alpha},b_{\alpha})|\alpha \in \Lambda \}$が、有界閉区間Iを被覆するならば、<br/>
(すなわち、$\cup_{\alpha \in \Lambda} I_{\alpha}\supset I$ならば)<br/>
$\mathcal{O}$　のなかに<br/>
$I$　を被覆する有限個の開集合の族$\mathcal{O_{f}}=\{ I_{\alpha_{i}}|\alpha_{i} \in \Lambda ,i=1,2,\cdots,n)$が存在する。すなわち、<br/>
$\cup_{i=1}^{n}I_{\alpha_{i}}\supset I$　 <br/>
証明<br/>
$a = b$ ならば、定理は自明なので、$a \lt b$　と仮定して証明する。<br/>
次のような、$I$　の中の部分集合$M$を考える。<br/>
$ M = \{x \in I | [a,x]が有限個の部分被覆\mathcal{O_{f}}を持つ \}$<br/>
$ a \in M$ は自明、<br/>
Mは非空で上に有界な集合なので、実数の連続性の公理から、上限$m (\in I)$をもつ。<br/>
$m \gt a$　は自明である。<br/>
1)　$m = b$ のとき<br/>
$\mathcal{O}$は区間Iを被覆するので、ある開区間$I_{m}(\in \mathcal{O})$が存在して、<br/>
$ m \in I_{m}$<br/>
$m$は集合Mの上限なので、<br/>
ある数$\underline{m}\lt m,\quad \underline{m}\in I_{m}$が存在して<br/>
$[a,\underline{m}]$は有限部分被覆をもつ。<br/>
この有限部分被覆に$I_{m}$を加えた、$\mathcal{O}$　の有限部分集合族は
区間Iを被覆する。<br/>
２）$m \lt b$ と仮定する。この時矛盾が生じることを示す。<br/>
$a \lt m \lt b$ となるので、<br/>
ある正数 $\epsilon$が存在して、<br/>
$(m-\epsilon, m+\epsilon )\subset [a,b] \cap I_{m} $<br/>
正数$ \delta \lt \epsilon$　を選べば、<br/>
$[m-\delta, m+\delta] \subset (m-\epsilon, m+\epsilon )\subset [a,b] \cap I_{m} $<br/>
$m$は集合Mの上限なので、半開、半閉区間　$(m-\delta, m]$の中にある点　$\underline{m}$が存在して、<br/>
閉区間$[a,\underline{m}]$は有限個の部分被覆$\mathcal{O_{f}}$をもつ。<br/>
すると、$\mathcal{O_{f}}$に$I_{m}$を加えた有限部分集合族は閉区間$[a,m]$を被覆する。<br/>
式(a)から、この部分被覆は<br/>
$[a, m+\delta] $を被覆してしまう。<br/>
これは、m が有限部分被覆できる閉区間$[a,x]$の右端xの上限値であることに矛盾する。<br/>
$\qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \Box$<br/>
この定理はｎ次元ユークリッド空間の有界閉区間にも拡張できる。<br/>
２次元の場合のみ示す。<br/>
定理５<br/>
２次元の有界閉区間　$I^{2}= [a,b]\times [a',b']$　を考える。<br/>
もし、有限開区間の集合$\mathcal{O} = \{ I_{\alpha}=(a_{\alpha},b_{\alpha})\times (a'_{\alpha},b'_{\alpha})|\alpha \in \Lambda \}$が、有界閉区間$I^{2}$を被覆するならば、<br/>
(すなわち、$\cup_{\alpha \in \Lambda} I_{\alpha}\supset I^{2}$ならば)<br/>
$\mathcal{O}$　のなかに<br/>
$I^{2}$　を被覆する有限個の開集合の族$\mathcal{O_{f}}=\{ I_{\alpha_{i}}|\alpha_{i} \in \Lambda ,i=1,2,\cdots,n)$が存在する。すなわち、<br/>
$\cup_{i=1}^{n}I_{\alpha_{i}}\supset I^{2}$　 <br/><br/>
証明<br/>
一次元の場合と同様。省略。


====　点列コンパクト集合　====
定義<br/>
定理<br/>


====　コンパクト集合　====
定義<br/>
定理<br/>
次の条件は同等である。<br/>
１）<br/>
２）<br/>
３）<br/>
４）<br/>
証明<br/>

定理<br/>
コンパクト集合の上で連続な実数値関数は、この集合上で最大値と最小値をとる。<br/>
証明<br/>

定理<br/>
コンパクト集合上の連続関数は一様連続である。<br/>
証明<br/>

定理（ディニの定理）<br/>
証明<br/>

===　項別積分定理　　===
定理（一様収束の場合の項別積分定理）<br/>
証明<br/><br/>
一様収束という条件は大変厳しく、多くの例では各点収束という条件しか満たさない。<br/>
ルベーク積分では極限操作と積分操作は非常に緩い条件のもとで交換可能であり、
大きな武器になっている。<br/>
しかし、リーマン積分でも連続関数に限定すれば、以下の強力な定理が成り立つ。<br/>
アルゼラの定理（連続関数に各点収束する一様に有界な連続関数列の収束定理）<br/>
☆☆証明<br/>
[[wikipedia_ja:フェリックス・ハウスドルフ |ハウスドルフ]]による、高校と大学教養課程の数学だけを使った、技巧的な証明を紹介する（注参照のこと）。<br/>
（注）　出典は　岩波講座　基礎数学　解析入門Ⅱ　小平邦彦　pp.222～ 226

===　項別微分定理　　===
定理<br/>
==　級数と収束  ==
定義<br/>
===　上極限と下極限　===
=== 無限級数の収束性  ===

====　条件収束と絶対収束   ====
定義<br/>
定理（級数の収束と同等な条件）<br/>
証明<br/>

系<br/>
級数　$\sum_{n}a_{n}$　が収束すれば　$\lim_{n\to \infty}a_{n} = 0 $　<br/>

定理<br/>
級数が絶対収束すれば、条件収束する。<br/>
定義（級数の項の入れ替え）<br/>
定理<br/>
１）級数が絶対収束すれば、級数の和は、項の順番を入れ替えても変わらない。<br/>
２）条件収束する級数は、項の順番を入れ替えると和が変えられる。<br/>
====　収束条件　====
定理<br/>
１）条件収束する実級数は、項の順番の入れ替えで、任意の実数に収束させることができる。<br/>
２）条件収束する実級数は、項の順番の入れ替えで、$\pm \infty$に発散させられる。<br/>
=====　正項級数の収束条件　=====

== 整級数（幕級数）　==
===　整級数と収束　　===
====　収束半径　====
定理（コーシー・アダマールの定理）<br/>
====　項別微分定理　　====
====　整級数の微分可能性　　====
== 高階微分微分可能関数の整級数近似（テイラー展開） ==
微分可能な関数 $f(x)$ の導関数 $f'(x) (あるいは\frac{df(x)}{dx})$ が微分可能ならば、<br/>
その導関数　$(f')'(x) (あるいは\frac{d^{2}f(x)}{dx^2})$ が考えられる。<br/>
これをｆの2階の導関数という。<br/>
例えば、変数ｔの関数 $f(t)$ が時刻ｔの質点の位置とすると、<br/>
その導関数は速度、2階導関数は加速度を表すことを第2章の力学で学んだ。<br/>
さらに高階の微分が可能な関数を考え、その性質を考察しよう。<br/>
===　テイラー展開とテイラーの定理===
テイラー展開、テイラー級数についての入門書は
*[[wikibooks_ja:解析学基礎/テイラー級数|解析学基礎/テイラー級数（ウィキブックス）]]
より高度なテイラーの定理などは以下の記事を。但し証明はない。
*[[wikipedia_ja:テイラー展開 |ウィキペディア(テイラー展開)]]
*[[wikipedia_ja:テイラーの定理 |ウィキペディア(テイラーの定理)]]
そこでテイラーの定理について説明する。<br/>
===　テイラーの定理　 RT ===