|
|
| (間の43版分が非表示) |
| 1 行: |
1 行: |
| - | = 極限と微分 =
| |
| - | 本テキストで使う数学について、紹介する。
| |
| - | ==集合==
| |
| - | 集合論の初歩の知識は前提にして記述するので、<br/>
| |
| - | なじみのない方は、下記を参考に、<br/>
| |
| - | 集合の素朴な定義、集合の表記法、集合の和集合や共通集合、集合の包含関係<br/>
| |
| - | などについて学習してほしい。
| |
| - | *[[wikipedia_ja:集合 |ウィキペディア(集合）]]
| |
| | | | |
| - | == 実数の連続性と極限 ==
| |
| - | 実数の連続性は、色々な極限の存在の根拠を与えるもので、<br/>
| |
| - | 実数の持つ最も重要な性質の一つである。
| |
| - | ===上界、下界と有界集合===
| |
| - | ${\bf R}$を、全ての実数を要素とする集合とし、<br/>
| |
| - | $A$をその部分集合とする。<br/>
| |
| - | 実数$u$が$A$の'''上界'''(upper bound)とは、<br/>
| |
| - | 任意の$a \in A$に対して、$a \leq u$がなりたつこと。<br/>
| |
| - | 実数$l$が$A$の'''下界'''(lower bound)とは、<br/>
| |
| - | 任意の$a \in A$に対して、$l \leq a$がなりたつこと。<br/>
| |
| - | $U_A$を$A$の上界をすべて集めた集合、<br/>
| |
| - | $L_A$を$A$の上界をすべて集めた集合とする。<br/>
| |
| - | $U_A$が空集合$\emptyset$でない（すなわち、$A$の上界が少なくとも一つ存在する）とき、<br/>
| |
| - | $A$は'''上に有界'''であるといい、<br/>
| |
| - | $L_A\neq \emptyset$の時、$A$は'''下に有界'''であるという。<br/>
| |
| - | 上に有界で、下にも有界な集合($\subset {\bf R})$は、'''有界'''という。
| |
| - |
| |
| - | ===実数の連続の公理と上限、下限===
| |
| - | $A \subset {\bf R}$とする。<br/>
| |
| - | 実数の連続性の公理<br/>
| |
| - | もし、$U_A \neq \emptyset$ならば、$U_A$は、最小元を持つ。<br/>
| |
| - | もし、$L_A \neq \emptyset$ならば、$L_A$は、最大元を持つ。<br/><br/>
| |
| - | 上限と下限の定義<br/>
| |
| - | $U_A$の最小元を$A$の'''上限(supremum)'''あるいは'''最小上界(least upper bound)'''という。<br/>
| |
| - | また、$L_A$の最大元を$A$の'''下限(infimum)'''あるいは'''最大下界(greatest lower bound)'''という。<br/><br/>
| |
| - |
| |
| - | 命題１<br/>
| |
| - | $u$が$A(\subset {\bf R})$ の上限となるための必要十分条件は、<br/>
| |
| - | ⅰ）$u$は$A$の上界。すなわち任意の$a\in A$にたいして$a \leq u$ <br/>
| |
| - | ⅱ）$x<u$である任意の$x$は$A$の上界ではない。すなわち、$x<a$となる$a\in A$が存在。<br/>
| |
| - | ⅲ）$A$が最大値を持つ場合には、上限は最大値と一致する。<br/>
| |
| - | 同様に、$l$が$A$ の下限となるための必要十分条件は、<br/>
| |
| - | ⅰ）$l$は$A$の下界。すなわち任意の$a\in A$にたいして$l\leq a$ <br/>
| |
| - | ⅱ）$l<x$である任意の$x$は$A$の下界ではない。すなわち、$a<x$となる$a\in A$が存在。<br/>
| |
| - | ⅲ）$A$が最小値を持つ場合には、下限は最小値と一致する。<br/><br/>
| |
| - | $A$ の上限を$\sup A$、下限を$\inf A$と書く。<br/><br/>
| |
| - | 証明は、上限、下限の定義から、明らかなので省略する。<br/>
| |
| - | 例；$A=(0,1)$のとき、$\sup A=1$,$\inf A=0$。<br/>
| |
| - | これらは、ともに$A$の要素でないので、<br/>
| |
| - | 上限１は$A$の最大元(最大値)ではなく、下限０は$A$の最小元(最小値)ではない。<br/>
| |
| - | $A=[0,1]$のとき、$\sup A=1$,$\inf A=0$。<br/>
| |
| - | これらは、ともに$A$の要素なので、<br/>
| |
| - | 上限は最大限であり、下限は最小限となる。<br/>
| |
| - |
| |
| - | 命題２<br/>
| |
| - | $A \subset B \subset {\bf R}$で、$B$は有界集合とする。<br/>
| |
| - | このとき、$\inf B \leq \inf A \leq \sup A \leq \sup B$<br/>
| |
| - | 証明は容易である。<br/><br/>
| |
| - |
| |
| - | 関数$y=f(x)$が連続でない時は、区間上で最大値や最小値を取らないことがある。<br/>
| |
| - | この場合も考慮して、最大値を上限に、最小値を下限に置き換えて、<br/>
| |
| - | $m(f;V_i)=\inf\{f(x)\mid x\in V_i\},M(f;V_i)=\sup \{f(x)\mid x\in V_i\}$で定義すれば、<br/>
| |
| - | 有界関数に対して、これらは常に定義され、今までの議論はすべて成り立つ。
| |
| - |
| |
| - | ===実数列の極限 ===
| |
| - | *[[wikipedia_ja:極限 |ウィキペディア(極限)]]
| |
| - | ==== 極限の性質====
| |
| - |
| |
| - | == 内積とノルム==
| |
| - | 内積とノルムは物理学では良くつかわれるので
| |
| - | 本テキストで必要となる命題と証明を紹介する。<br/>
| |
| - | 以下では、<br/>
| |
| - | $\vec a,\vec b,\vec c$は、すべて同じ次元（２か３）のベクトルとし、 $\alpha$は実数とする。<br/>
| |
| - | なお、全ての命題は、4次元以上のベクトルに対しても成り立つが省略する(注参照）。<br/>
| |
| - | 座標成分表示が必要な命題では、直交座標系表示を用いる。<br/>
| |
| - | （注）ｎ次元(＞３）も含めた一般のｎ次元ベクトルの内積は、後述の命題２
| |
| - |
| |
| - | ===ノルムと内積の定義===
| |
| - | ベクトル$\vec a$のノルムとは、<br/>
| |
| - | $\|\vec a\|:=\sqrt{\sum_{i}a_{i}^2}$のことで、<br/>
| |
| - | ベクトルの長さ(大きさ）を表す。<br/>
| |
| - | ベクトル$\vec a,\vec b$の内積とは<br/>
| |
| - | $ \vec a \cdot \vec b:=\|\vec{a}\|\|\vec{b}\|\cos\theta$<br/>
| |
| - | ここで、$\theta$は、ベクトル$\vec a,\vec b$のなす角($0\le \theta \le \pi$ )である。<br/>
| |
| - | この定義から、<br/>
| |
| - | $\vec a \cdot \vec a=\|\vec{a}\|^2 $<br/>
| |
| - | であることが分かる。
| |
| - |
| |
| - | ===内積とノルムの性質===
| |
| - | 命題１<br/>
| |
| - | $\vec a \cdot \vec b =\vec b \cdot \vec a$<br/>
| |
| - | 証明；内積の定義から明らか。 <br/><br/>
| |
| - | 命題２<br/>
| |
| - | $\vec a \cdot \vec b =\sum_{i}a_ib_i$
| |
| - | ここで$a_1,b_1$はそれぞれ$\vec a,\vec b$のx座標成分、同様に、添え字２はy座標成分、３はz座標成分<br/>
| |
| - | 直交座標系はどんなものでも良い。しかしすべてのベクトルは同じ座標系で座標成分表示しなければならない。<br/>
| |
| - | 証明<br/>
| |
| - | 次の三角形の余弦定理を利用する。<br/>
| |
| - | 三角形の[[wikipedia_ja:余弦定理|第２余弦定理]];<br/>
| |
| - | 図のような$\triangle {ABC}$を考える。<br/>
| |
| - | 頂点A,B,Cの対辺の長さをそれぞれ$a,b,c$とし、$\angle{ACB}=\theta$とする。<br/>
| |
| - | すると、$c^2=a^2+b^2-2ab\cos\theta$<br/>
| |
| - | 余弦定理の証明；頂点$A$から対辺$BC$におろした垂線の足を$H$とする。<br/>
| |
| - | [[wikipedia_ja:ピタゴラスの定理 |ピタゴラスの定理]]により、<br/>
| |
| - | $c^2=\overline{BH}^2+\overline{AH}^2$。$\qquad$ 右辺の第2項に、再び、ピタゴラスの定理を適用して、<br/>
| |
| - | $=\overline{BH}^2+(b^2-\overline{CH}^2)$ $\qquad$ $\overline{BH}=a-\overline{CH}$を代入すると、<br/>
| |
| - | $=(a-\overline{CH})^2+(b^2-\overline{CH}^2)=a^2+b^2-2a\overline{CH}$,$\quad$ $\overline{CH}=b\cos\theta$なので、代入すると<br/>
| |
| - | $=a^2+b^2-2ab\cos\theta$ <br/>
| |
| - | 証明終わり。<br/>
| |
| - | 命題２の証明 <br/>
| |
| - | ベクトル$\vec a $と$\vec b $を、<br/>
| |
| - | 始点が点$C$である有向線分で表現し、その終点を$B$,$C$で表す。<br/>
| |
| - | すると$\vec a=\vec{CB}$, $\vec b=\vec{CA}$である。<br/>
| |
| - | ベクトル$\vec c=\vec a-\vec b$を導入すると、<br/>
| |
| - | $\vec c=\vec a-\vec b=\vec{CB}-\vec{CA}=\vec{CB}+\vec{AC}=\vec{AB}$<br/>
| |
| - | ３角形$\triangle {ABC}$を考え、第２余弦定理を適用しよう。<br/>
| |
| - | $\angle{ACB}=\theta$とおく。すると、<br/>
| |
| - | $\|\vec c\|^2=\|\vec a\|^2+\|\vec b\|^2-2\|\vec a\|\|\vec b\|\cos{\theta}$<br/>
| |
| - | $=\|\vec a\|^2+\|\vec b\|^2-2\vec a \cdot \vec b$が得られる。<br/>
| |
| - | この式を変形して$\vec a \cdot \vec b$だけを左辺に置くと、<br/>
| |
| - | $\vec a \cdot \vec b=(\|\vec a\|^2+\|\vec b\|^2-\|\vec c\|^2)/2$ 。<br/>
| |
| - | $\vec c=\vec{AB}=\vec{AC}+\vec{CB}=-\vec b+\vec a$なので、<br/>
| |
| - |
| |
| - | $\vec a \cdot \vec b=(\|\vec a\|^2+\|\vec b\|^2-\|\vec a-\vec b\|^2)/2 $ <br/>
| |
| - | この右辺を、ベクトルの直交座標成分で表すと、次式が得られる。 <br/>
| |
| - | $\vec a \cdot \vec b=(\sum_{i}a_i^2+\sum_{i}b_i^2-\sum_{i}(a_i-b_i)^2 )/2 $<br/>$=\sum_{i}a_i b_i$ <br/>
| |
| - | 命題２の証明終わり。 <br/><br/>
| |
| - |
| |
| - | 命題３<br/>
| |
| - | $(\vec a +\vec b) \cdot \vec c =\vec a \cdot \vec c+\vec b \cdot \vec c$ <br/>
| |
| - | 証明<br/>
| |
| - | ある一つの直交座標系をさだめ、両辺を、命題(２)を利用して、座標成分であらわす。両辺が等しいことが分かる。<br/><br/>
| |
| - | 系； $\vec a \cdot (\vec b+\vec c) =\vec a \cdot \vec b+\vec a \cdot \vec c$ <br/>
| |
| - | 証明；命題１を利用して、左辺の項の順番を入れ替え、命題３を適用し、再び命題１を用いればよい。<br/><br/>
| |
| - | 命題４<br/>
| |
| - | $(\alpha \vec a)\cdot \vec b =\vec a \cdot (\alpha \vec b)=\alpha (\vec a \cdot \vec b)$ <br/>
| |
| - | が成り立つ。 <br/>
| |
| - | 証明<br/>
| |
| - | 同様に、３つの式を、座標成分表示すれば、みな等しいことが、簡単に分かる。 <br/> <br/>
| |
| - | 命題５ <br/>
| |
| - | $\|\vec a \cdot \vec b\| \leq \|\vec a\|\|\vec b\|$<br/>
| |
| - | $0\leq |\cos\theta|\leq 1$なので内積の定義から、ただちに分かる。 <br/> <br/>
| |
| - | 命題６ ノルムの三角不等式 <br/>
| |
| - | $\|\vec a + \vec b\| \leq \|\vec a\| + \|\vec b\|$<br/>
| |
| - | 証明 <br/>
| |
| - | $\|\vec a + \vec b\|^2=(\vec a + \vec b)\cdot (\vec a + \vec b)$<br/>
| |
| - | 命題３を使って計算すると、<br/>
| |
| - | $=\vec a \cdot \vec a +\vec b \cdot \vec b +2\vec a \cdot \vec b$<br/>
| |
| - | 命題５より、<br/>
| |
| - | $\leq \vec a \cdot \vec a +\vec b \cdot \vec b +2\|\vec a\|\|\vec b\|
| |
| - | =\|\vec a\|^2+\|\vec b\|^2+2\|\vec a\|\|\vec b\|=(\|\vec a\|+\|\vec b\|)^2$<br/>故に$\|\vec a + \vec b\|^2 \leq (\|\vec a\|+\|\vec b\|)^2$<br/>
| |
| - | 両辺の平方根をとれば所要の不等式を得る。<br/>
| |
| - |
| |
| - | == ベクトル積 ==
| |
| - | 本節での全ての命題で、<br/>
| |
| - | $ \vec{a}, \vec{b}, \vec{c}$は3次元ベクトル<br/>
| |
| - | $\alpha$を実数とする。<br/><br/>
| |
| - |
| |
| - | 命題１． $ \quad \vec{a} $ を, $\vec{c} $と垂直な成分$ \vec{a_\perp}$ と,平行な成分$\vec{a_\parallel}$ の和に分解するとき、 <br/>
| |
| - | $\quad \vec{a} \times \vec{c}= \vec{a_\perp} \times \vec{c}$ <br/>
| |
| - | $\quad \vec{a_\parallel} \times \vec{c}= 0$ <br/>
| |
| - | 証明；ベクトル積の定義から、容易に示せる。<br/>
| |
| - | ２つのベクトルの作る平行四辺形の面積と方向・向きを考えれば良い。<br/>
| |
| - |
| |
| - | 命題２．$ \quad \vec{a} \times \vec{b}= -\vec{b} \times \vec{a}$ <br/>
| |
| - | 証明；２つのベクトルを入れ替えても、それらが作る平行四辺形の面積は変わらず、この四辺形に直交する直線の方向も変わらない。<br/>
| |
| - | しかし、ベクトル積の向きは、逆向きになる。<br/>
| |
| - | ベクトル積の定義から、$\quad \vec{a} \times \vec{b}= -\vec{b} \times \vec{a}$ が示せた。<br/><br/>
| |
| - | 命題３ <br/>
| |
| - | $(\alpha\vec{a})\times \vec{b}= \alpha(\vec{a} \times \vec{b})= \vec{a}\times (\alpha\vec{b})$ <br/>
| |
| - | 証明；実数$\alpha$ が正、零、負の場合に分けて考える。<br/>
| |
| - | いずれの場合にも,
| |
| - | ベクトル積の定義とベクトルと実数の積の命題から、容易に証明できる。<br/>
| |
| - |
| |
| - | 命題４．$ \quad (\vec{a}+ \vec{b})\times \vec{c}= \vec{a} \times \vec{c} + \vec{b} \times \vec{c}$ <br/>
| |
| - | 証明；<br/>
| |
| - | この証明には少し工夫が必要である。<br/>
| |
| - | ベクトル積の命題の中でも、もっとも大切なものなので、詳しく説明しよう。<br/>
| |
| - | ① $ \vec{a}, \vec{b}$ と$\quad \vec{c}\quad$ が直交する場合。図参照のこと<br/>
| |
| - | ・議論をやさしくするため、ベクトルを、空間の原点$O$ を始点とする有向線分で代表させる。<br/>
| |
| - | ・$ \vec{c}$ と直交し$O$ を通る平面を$H$とする。<br/>
| |
| - | ・仮定より$ \vec{a},\quad \vec{b}$は、ともに平面$H$上のベクトルである。<br/>
| |
| - | ・$\vec{a} \times \vec{c} ,\quad \vec{b} \times \vec{c}$も、<br/>
| |
| - | ベクトル積の定義により、共に$ \vec{c}$ と直交するので、$H$上のベクトルである。<br/>
| |
| - | これら四つのベクトルはすべて平面$H$上にあるので、今後の議論はこの平面上で進める。<br/>
| |
| - | ⅰ）$\vec{a} \times \vec{c}, \vec{b} \times \vec{c}$ の張る平行四辺形は, <br/>$\vec{a}, \vec{b}$の張る平行四辺形を、$\| \vec{c}\|$倍し,原点周りに９０度回転したものになることを、示そう。<br/><br/>
| |
| - | ・$\vec{a} \times \vec{c} $は、ベクトル積の定義から、$ \vec{a}$ と直交する。<br/>
| |
| - | そのため、$\vec{a}$ を平面$H$上で、原点まわりに、９０度右回りか、左回りすれば、方向と向きが一致する。<br/>
| |
| - | ・$\vec{b} \times \vec{c} $も、同様に考え、$\vec{b}$ を平面$H$上で、原点まわりに、９０度右回りか、左回りすれば、方向と向きが一致することが分かる。<br/>
| |
| - | ・どちら周りの回転になるかは、ベクトル積の定義によって決まるが、<br/>
| |
| - | 後者の回転の向きが、前者の回転の向きと一致することが分かる。<br/>
| |
| - | ・$\vec{a}\times \vec{c}$ の大きさは、<br/>
| |
| - | $\|\vec{a}\times \vec{c}\|=\|\vec{a}\|\|\vec{c}\|\cos(\pi/2)=\|\vec{a}\|\|\vec{c}\|$ なので、$\vec{a}$ の大きさの$\|\vec{c}\|$倍になる。<br/>
| |
| - | 同様に、$\vec{b}\times \vec{c}$ の大きさは、$\vec{a}$ の大きさの$\|\vec{c}\|$倍になる。<br/>
| |
| - | ・以上の結果より、所望の結果は示された。<br/><br/>
| |
| - | ⅱ）$ \qquad (\vec{a}+ \vec{b})\times \vec{c}= \vec{a} \times \vec{c} + \vec{b} \times \vec{c}$を示そう。<br/>
| |
| - | ・ ⅰ)と同じ議論により、<br/>
| |
| - | $(\vec{a}+ \vec{b}) \times \vec{c}$は$\vec{a}, \vec{b}$の張る平行四辺形の対角線を、原点周りに９０度、同じ向きに回転させ、$\|\vec{c}\|$倍させたものであることが分かる。<br/>
| |
| - | ・すると、ⅰ)で示したことから、$(\vec{a}+ \vec{b}) \times \vec{c}$は<br/>
| |
| - | $\vec{a} \times \vec{c}, \vec{b} \times \vec{c}$ の張る平行四辺形の対角線$\vec{a} \times \vec{c}+\vec{b} \times \vec{c}$ に等しいことが分かる。<br/>
| |
| - | ・以上で①が示せた。<br/>
| |
| - |
| |
| - | ② 一般の場合。<br/>
| |
| - | 命題1より、$\perp$ を$\vec{c}$と垂直な成分を表すとすると、 $ (\vec{a}+ \vec{b})\times \vec{c}= (\vec{a}+ \vec{b})_\perp \times \vec{c} \qquad \qquad \qquad $(1)<br/>
| |
| - | $(\vec{a}+ \vec{b})_\perp =\vec{a}_\perp +\vec{b}_\perp$なので、(1)式は、<br/>
| |
| - | $ = (\vec{a}_\perp +\vec{b}_\perp) \times \vec{c}$ <br/>
| |
| - | ①より、<br/>
| |
| - | $ = \vec{a}_\perp \times \vec{c}+\vec{b}_\perp\times \vec{c}=\vec{a} \times \vec{c}+\vec{b} \vec{c}$ $ \qquad $ 命題４の証明終わり。<br/>
| |
| - |
| |
| - |
| |
| - | 命題４の系 <br/>
| |
| - | $ \quad \vec{a} \times (\vec{b}+ \vec{c})= \vec{a} \times \vec{b} + \vec{a} \times \vec{c}$<br/>
| |
| - | $ \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}$<br/>
| |
| - | 証明；<br/>
| |
| - | 命題２より、<br/>
| |
| - | $\vec{a} \times (\vec{b}+ \vec{c})= -\left((\vec{b}+ \vec{c})\times \vec{a}\right) $ 命題３から <br/>
| |
| - | $=\left(-(\vec{b}+ \vec{c})\right)\times \vec{a}$
| |
| - | 命題４より、<br/>
| |
| - | $= -(\vec{b} \times \vec{a}+ \vec{c} \times \vec{a})$ <br/>
| |
| - | 再び命題２より、<br/>
| |
| - | $=\vec{a} \times \vec{b} + \vec{a} \times \vec{c} \quad $前半の証明終わり <br/>
| |
| - | 命題２より、<br/>
| |
| - | $ (\vec{a}+ \vec{b}+\vec{c})\times \vec{d}=(\vec{a}+ \vec{b})\times \vec{d}+\vec{c})\times \vec{d}$ <br/>
| |
| - | 再び命題２より、<br/>
| |
| - | $ =\vec{a}\times \vec{d}+\vec{b}\times \vec{d}+\vec{c}\times \vec{d}$
| |
| - | $\quad$証明終わり。<br/>
| |
| - |
| |
| - |
| |
| - | 命題５．$\quad (\vec{e_1},\vec{e_2}, \vec{e_3})$ を<br/>
| |
| - | それぞれ大きさ(長さ)１で互いに直交し、[[wikipedia_ja:右手系|右手系]]をなす、ベクトル(右手系をなす正規直交基底)とする。<br/>
| |
| - |
| |
| - | この時、<br/>
| |
| - | $ \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}$<br/>
| |
| - | 証明；ベクトル積と$(e_1,e_2,e_3)$ の定義から明らかである。<br/>
| |
| - |
| |
| - | 命題６．ベクトル$\vec a, \vec b$を,命題５で用いた基底$ (\vec{e_1},\vec{e_2}, \vec{e_3})$ で決まる座標の座標成分で表示しておく。<br/>
| |
| - | すると$\vec a \times \vec b=(a_yb_z-a_zb_y,a_zb_x-a_xb_z,a_xb_y-a_yb_x)$ <br/>
| |
| - | 証明；$\vec a=a_x\vec{e_x}+a_y\vec{e_y}+a_z\vec{e_z}$, <br/>
| |
| - | $\vec b=b_x\vec{e_x}+b_y\vec{e_y}+b_z\vec{e_z}$と表せるので、<br/>
| |
| - | $\vec a \times \vec b=(a_x\vec{e_x}+a_y\vec{e_y}+a_z\vec{e_z})\times \vec b$
| |
| - | 命題３の系から<br/>
| |
| - | $=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)<br/>
| |
| - |
| |
| - | 式(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}$
| |
| - | を代入して、命題３の系を使って変形すると、<br/>
| |
| - | $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) <br/>
| |
| - | 命題４と命題５を使うと、<br/>
| |
| - | $a_x\vec{e_x}\times b_x\vec{e_x}
| |
| - | =a_x b_x\vec{e_x}\times \vec{e_x}
| |
| - | =\vec 0$ 。<br/>
| |
| - | 同様の計算を行うと、<br/>
| |
| - | $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}$ <br/>
| |
| - |
| |
| - | $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}$ <br/>
| |
| - |
| |
| - | 式(2)にこれらを代入して、<br/>
| |
| - | $a_x\vec{e_x}\times \vec b
| |
| - | =a_x b_y\vec{e_z} - a_x b_z\vec{e_y} $ $\qquad$ (3)<br/>
| |
| - |
| |
| - | 式(1)の第２項、第３項も同様に計算すると、<br/>
| |
| - | $a_y\vec{e_y}\times \vec b
| |
| - | =a_y b_z\vec{e_x} - a_y b_x\vec{e_z} $ $\qquad$ (4)<br/>
| |
| - |
| |
| - | $a_z\vec{e_z}\times \vec b
| |
| - | =a_z b_x\vec{e_y} - a_z b_y\vec{e_x} $ $\qquad$ (5)<br/>
| |
| - |
| |
| - | 式(3),(4),(5) を、式 (1)に代入すると、<br/>
| |
| - | $\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}$ <br/>
| |
| - | $ =(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}$ <br/>
| |
| - | 命題６の証明終わり。<br/>
| |
| - |
| |
| - | 命題７の証明；<br/>
| |
| - | $ \quad (\vec{a} \times \vec{b})\cdot \vec{c}= (\vec{c} \times \vec{a})\cdot\vec{b}$を証明しよう。<br/>
| |
| - | 残りも、同様に証明出来るので各自試みてください。<br/>
| |
| - | 右手系をなす一つの直交座標を決める。<br/>
| |
| - | ３つのベクトルを、この座標の成分で表示して、命題６と内積の命題を使えば、左右が等しいことが証明できる。<br/>
| |
| - | 概略をスケッチしよう。<br/>
| |
| - | $ \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$ <br/>
| |
| - | $ \quad (\vec{c} \times \vec{a})\cdot\vec{b}$も、これと同じように計算する。<br/>これら両式を整頓すると、同じものであることが分かる。<br/>
| |
| - |
| |
| - |
| |
| - | 命題７．<br/>
| |
| - | $(\vec{a} \times \vec{b})\cdot \vec{c}= (\vec{c} \times \vec{a})\cdot\vec{b} =(\vec{b} \times \vec{c})\cdot\vec{a}$ <br/>
| |
| - | 証明<br/>
| |
| - | $(\vec{a} \times \vec{b})\cdot \vec{c}= (\vec{c} \times \vec{a})\cdot\vec{b}$を証明しよう。<br/>
| |
| - | 残りも、同様に証明出来るので各自試みてください。<br/>
| |
| - | 右手系をなす一つの直交座標を決める。<br/>
| |
| - | ３つのベクトルを、この座標の成分で表示して、命題６と内積の命題を使えば、左右が等しいことが証明できる。<br/>
| |
| - | 概略をスケッチしよう。<br/>
| |
| - | $(\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$ <br/>
| |
| - | $ \quad (\vec{c} \times \vec{a})\cdot\vec{b}$も、これと同じように計算する。<br/>これら両式を整頓すると、同じものであることが分かる。<br/>
| |
| - | 命題７の証明終わり。<br/>
| |
| - | ==数ベクトル空間${\bf R^n}$ ==
| |
| - | [[wikipedia_ja:数ベクトル空間 |ウィキペディア(数ベクトル空間)]]
| |
| - |
| |
| - | == 関数の連続性 ==
| |
| - | 関数の連続性の定義；<br/>
| |
| - | 実数値関数 $f(x)$ がある点''' $x_0$で連続'''であるとは、<br/>
| |
| - | $x$が$x_0$ に限りなく近づくならば、$f(x)$ が $f(x_0)$ に限りなく近づく<br/>
| |
| - | ことを言う。<br/>
| |
| - | $\lim_{x\to x_0} f(x) = f(x_0)$と記す。<br/>
| |
| - |
| |
| - | これはイプシロン-デルタ論法(ε-δ論法)を用いれば次のように定式化できる。<br/>
| |
| - | （小さな）正の数 ε が任意に与えられたとき、<br/>
| |
| - | （小さな）正の数 δ をうまくとってやれば、<br/>
| |
| - | $x_0$ と δ 以内の距離にあるどんな $x$ に対しても、<br/>
| |
| - | $f(x)$ と $f(x)$ の差が ε より小さいようにすることができる。<br/>
| |
| - |
| |
| - | 関数 $f(x)$ がある'''区間$I$ で連続'''であるとは、<br/>
| |
| - | $I$ に属するそれぞれの点において連続であることを言う。<br/>
| |
| - |
| |
| - | == 実数値関数とベクトル値関数の微分 ==
| |
| - | このテキストを理解するための必要最小限のことを記述する。<br/>
| |
| - | 以下の文献も必要に応じて参考にしてください。<br/>
| |
| - | 一冊では不十分な内容なので色々あげてある。
| |
| - | *[[wikibooks_ja:高等学校数学II 微分・積分の考え|ウィキブックス（高等学校数学II 微分・積分の考え）]]
| |
| - | *[[wikibooks_ja:高等学校数学III 微分法|ウィキブックス（高等学校数学III 微分法）]]
| |
| - | *[[wikibooks_ja:物理数学I 解析学|ウィキブックス（物理数学I 解析学）]]
| |
| - | *[[wikibooks_ja:物理数学I ベクトル解析|ウィキブックス（物理数学I ベクトル解析）]]
| |
| - |
| |
| - | === 実数値関数の微分 ===
| |
| - | 実数の開区間$I=(a,b)$上で定義された実数値関数$y=f(x)$を考える。<br/>
| |
| - | 定義;微分可能性<br/>
| |
| - | 関数$f$が$s\in I$で微分可能であるとは、極限<br/>
| |
| - | $\lim_{h \to 0,h\neq 0}\frac{f(s+h)-f(s)}{h}=c \qquad \qquad (1)$<br/>
| |
| - | が存在することである。<br/>
| |
| - | この時$c$を$f$の$s$における微分係数あるいは導値といい、<br/>
| |
| - | $f'(s)、\frac{df}{dt}(s)、(Df)(s)$<br/>
| |
| - | などと書く。<br/>
| |
| - | $I=(a,b)$の各点で$f$が微分可能であるとき、$f$は'''微分可能関数'''(あるいは
| |
| - | 微分可能）という。<br/>
| |
| - | この時、任意の$s\in I$に対して、$f'(s)\in I$が定まるので、<br/>
| |
| - | 関数$f'$が定まる。これを$f$の${\bf 導関数}$(derivative)という。<br/>
| |
| - |
| |
| - |
| |
| - | ==== 微分係数の意味 ====
| |
| - | (1)$\frac{f(s+h)-f(s)}{h}$は、区間$[s,s+h]$における関数値の平均変化率である。<br/>
| |
| - | その極限である微分係数$f'(s)$は、関数値の$s$における瞬間的な変化率と考えられる。<br/>
| |
| - | (2)2次元空間(平面のこと)に直交座標座標系$O-xy$をいれ、<br/>
| |
| - | 関数$y=f(x)$のグラフ$G=\{(x,y)\mid x\in I,y=f(x)\}$を書く。<br/>
| |
| - | すると、<br/>
| |
| - | $f'(s)$が存在することは、$x=s$においてグラフ$G$が接線をもつことと同等であり、<br/>
| |
| - | 接線の方程式は<br/>
| |
| - | $y=f'(s)(x-s)+f(s)$である。<br/>
| |
| - | これは、[[wikipedia_ja:接線 |接線]]の定義からただちに分かる。<br/>
| |
| - | (3）$h$を零に近づけていったときの極限の意味をさらに深めるため<br/>
| |
| - | 微分可能の定義を、それと同等の別の表現に変換しよう。<br/>
| |
| - | (1)式の右辺の定数を左辺に移行すると<br/>
| |
| - | $\lim_{h \to 0,h\neq 0}\frac{f(s+h)-f(s)-ch}{h}=0$<br/>
| |
| - | 次に、<br/>
| |
| - | $o_{s}(h):=\frac{f(s+h)-f(s)-ch}{h}\qquad \qquad (2)$<br/>
| |
| - | という、変数ｈの関数を定義する。<br/>
| |
| - | すると関数$f$が$s\in I$で微分可能で、微分係数が$c$である必要十分条件は<br/>
| |
| - | $\lim_{h \to 0,h\neq 0}o_{s}(h)=0$<br/>
| |
| - | である。<br/>
| |
| - | (2)式を変形すると<br/>
| |
| - | $f(s+h)=f(s)+ch+o_{s}(h)h$<br/>
| |
| - | ゆえに次の命題が証明できた。<br/>
| |
| - | 命題；<br/>
| |
| - | 次の３つの条件は同等である。<br/>
| |
| - | １）関数$f$は$s\in I$で微分可能で、微分係数は$c$である<br/>
| |
| - | ２）関数$f$は、<br/>
| |
| - | $f(s+h)=f(s)+ch+o_{s}(h)h \qquad \qquad (3)$<br/>
| |
| - | と表現できる。<br/>
| |
| - | ここで、$o_{s}(h)$は<br/>
| |
| - | $\lim_{h \to 0,h\neq 0}o_{s}(h)=0 \qquad \qquad (4)$<br/>
| |
| - | を満たす関数<br/><br/>
| |
| - | 3) 関数$f$は、<br/>
| |
| - | $s$の近傍の点$x$で
| |
| - | $f(x)=f(s)+c(x-s)+\left(o_{s}(x-s)\right)(x-s) \qquad \qquad (3)$<br/>
| |
| - | ここで、$o_{s}(x-s)$は<br/>
| |
| - | $\lim_{x \to s,x\neq s}o_{s}(x-s)=0 \qquad \qquad (4)$<br/>
| |
| - | を満たす関数<br/><br/>
| |
| - |
| |
| - | この定理の3）により、<br/>
| |
| - | 「関数が$s$で微分可能であり、微分係数がｃであること」は、<br/>
| |
| - | 「この関数が$s$の近傍の点$x$で直線$y=f(s)+c(x-s)$で近似でき、<br/>
| |
| - | 誤差$|f(x)-(f(s)+c(x-s))|=|\left(o_{s}(x-s)\right)(x-s)| $が,<br/>
| |
| - | $x$を$s$に近づけていくとき、$h=x-s$より高次で０に収束する(注参照)<br/>
| |
| - | ことと同等であることが分かる。<br/>
| |
| - | (注)$\lim_{h\to 0,h\neq 0}\frac{o_{s}(h)h}{h}=0$
| |
| - | 命題の系；関数が$s$で微分可能であれば、$s$で連続である。<br/>
| |
| - | 証明；命題の２）を用いると、<br/>
| |
| - | $f(s+h)=f(s)+ch+o_{s}(h)h $<br/>
| |
| - | この式から、$|f(s+h)-f(s)|=|(c+o_{s}(h))h|$<br/>
| |
| - | $\lim_{h \to 0,h\neq 0}o_{s}(h)=0$なので$\lim_{h \to 0,h\neq 0}|(c+o_{s}(h))h|=0$。<br/>
| |
| - | ゆえに、$\lim_{h \to 0,h\neq 0}|f(s+h)-f(s)|=0$<br/>
| |
| - | これは、関数が$s$で連続であることの定義そのものである。
| |
| - | ====導関数の性質====
| |
| - | （１）$f,g$が$I=(a,b)$上で定義された、微分可能な実数値関数ならば<br/>
| |
| - | $\alpha f+\beta g$、$fg(s):=f(s)g(s)$は微分可能で<br/>
| |
| - | それらの導関数の間には、<br/>
| |
| - | $(\alpha f+\beta g )'=\alpha f'+\beta g'$（線形性）ここで$\alpha,\beta$は任意の実数。<br/>
| |
| - | (２) $(fg)'=f'g+fg'$<br/>
| |
| - | 証明は、微分の定義式と極限の性質から容易に導ける。
| |
| - | ===ベクトル値関数の微分===
| |
| - | 実数の開区間$I=(a,b)$上で定義され,ｎ次元の実ベクトル($\in {\bf R^n}$)に
| |
| - | 値をとる関数$\vec f$を考える。<br/>
| |
| - | 定義;微分可能性<br/>
| |
| - | 実数値関数の場合と同じである。<br/>
| |
| - |
| |
| - | 導関数の線形性の性質も成り立つ。<br/>
| |
| - | ==== ベクトル値関数の微分とその成分関数の微分の関係====
| |
| - | 関数値$\vec f(s)$は${\bf R^n}$の要素なので<br/>
| |
| - | $\vec f(s)=(f_1(s),f_2(s),\cdots f_n(s))$<br/>
| |
| - | と表示できる。<br/>
| |
| - | すると$\vec f$のｎ個の成分関数<br/>
| |
| - | $f_i,(i=1,2,\cdots n)$<br/>
| |
| - | が得られる。<br/>
| |
| - | 命題；<br/>
| |
| - | $\vec f$が$s\in I$で微分可能$\Leftrightarrow$$f_i(i=1,2,\cdots n)$が$s\in I$で微分可能。<br/>
| |
| - | この時、${\vec f}'(s)=({f_1}'(s),{f_2}'(s)\cdots {f_n}'(s))$<br/>
| |
| - |
| |
| - | ====ベクトル積の微分 ====
| |
| - | 命題<br/>
| |
| - | $ \vec{a(t)} $ と $\vec{b(t)} $は、開区間Ｉ上で定義され、
| |
| - | 微分可能なベクトル値関数とする。すると、<br/>
| |
| - | $ \quad \vec{a(t)} \times \vec{b(t)}$ は微分可能で、<br/>
| |
| - | $ \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)})$
| |
| - | 証明<br/>
| |
| - | すでにこのテキストで紹介した、ベクトル値関数の微分の定義<br/>
| |
| - | $ \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) <br/>
| |
| - | を用いて証明する。<br/>
| |
| - | この極限が存在し、<br/>
| |
| - | $\frac{d}{dt}\vec{a(t)} \times \vec{b(t)}+\vec{a(t)}\times \frac{d}{dt}\vec{b(t)}$<br/>
| |
| - | になることを示せば命題は証明できたことになる。<br/>
| |
| - | 極限の計算が進むよう、右辺の式の分母は変形しよう。<br/>
| |
| - | 関数の積の微分公式の証明と同じ技巧を用いる。<br/>
| |
| - | $ \vec a(t+\delta t)\times \vec{b(t+\delta t)}
| |
| - | - \vec{a(t)} \times \vec{b(t)}$ <br/>
| |
| - | $ = \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)}$ <br/>
| |
| - | ベクトル積の命題３を利用すると、 <br/>
| |
| - | $ = \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) $
| |
| - |
| |
| - | この式を式(１)の右辺の分子の項に代入し整頓すると<br/>
| |
| - | $ \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}$ <br/>
| |
| - | $=\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}
| |
| - | $ <br/>
| |
| - | ベクトル積の命題４を使い、<br/>
| |
| - | $=\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)$ <br/>
| |
| - | 極限の命題を使って、<br/>
| |
| - | $=\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}
| |
| - | $ <br/>
| |
| - | 式中の極限は、$\vec a,\vec b$が、微分可能なので存在し、 <br/>
| |
| - | $\lim_{\delta t \to 0} \frac{\vec a(t+\delta t) -\vec a(t)}{\delta t}
| |
| - | =\frac{d\vec a(t)}{dt}$ <br/>
| |
| - | $\lim_{\delta t \to 0} \frac{\vec b(t+\delta t) -\vec b(t)}{\delta t}
| |
| - | =\frac{d\vec b(t)}{dt}$
| |
| - | ==== $C^{1}$級の関数====
| |
| - | $I=(a,b)$上の関数 $f$ が連続的微分可能（continuously differentiable）であるとは,<br/>
| |
| - | $I$上で導関数 $f'$ が存在して、しかも$f'$ が$I$上で連続であることをいう。<br/>
| |
| - | $I=(a,b)$上で連続的微分可能である関数を$C^{1}$級関数という。<br/>
| |
| - |
| |
| - |
| |
| - | ===多変数の実数値関数の微分 ===
| |
| - | ${\bf R^n}=\{(x_1,x_2,,,x_n) \mid x_i\in{\bf R},i=1,2,\cdots n\}$
| |
| - | の開区間
| |
| - | $I^n=\prod_{i=1}^{n}(a_i,b_i)$上で定義された実関数$y=f(x_1,x_2,,,x_n)$
| |
| - | を考える。
| |
| - | 一変数関数の議論から類推しやすくするため、以後<br/>
| |
| - | ${\bf x}:=(x_1,x_2,,,x_n)$とおき、$y=f({\bf x})$と書くこともある。<br/>
| |
| - | この上で定義された実数値関数$y=f({\bf x})=f(x_1,x_2,,,x_n)$の微分について説明する。<br/>
| |
| - | 最初に思いつくのは、一変数のときと同じ定義をもちいることであり<br/>
| |
| - | $\lim_{{\bf h} \to 0,{\bf h}\neq 0}\frac{f({\bf s}+{\bf h})-f({\bf s})}{{\bf h} }=c$<br/>
| |
| - | が存在するときｓで微分可能と定義すること。<br/>
| |
| - | しかし、<br/>
| |
| - | ${\bf h}$はｎ次元ベクトルなので割り算は不可能。
| |
| - | ====方向微分と偏微分====
| |
| - | そこで、${\bf h_0}\in {\bf R^n}$を用いて、
| |
| - | *[[wikipedia_ja:偏微分 |ウィキペディア(偏微分)]]
| |
| - |
| |
| - | ====微分(全微分） ====
| |
| - | 定義１；微分可能(全微分可能ともいう）、導値(微分係数）、導関数<br/>
| |
| - | 定理１；<br/>
| |
| - | 微分可能ならば、偏微分可能<br/><br/>
| |
| - | 定理２<br/>
| |
| - | $C^{1}$級の関数は微分可能<br/>
| |
