ページ内コンテンツ
簡単な実験資料: \( 赤色の線が緑色の線に挟み撃ちにされて閉じ込められている事がグラフを見てわかる。このようにεδ論法のフレームワーク内にエラーが無ければ極限が正常に動くという事になっている 以上を踏まえて考えをまとめてみる
εδ論法の機能は以下の①②の手順を踏んでいる ①無限っぽい有限を定義 (虚数の情緒P424とP450~に詳しく書いている) 微分の公式の極限、εδを観察する資料: \( 積分のロジック資料: \(F\left( x \right) を微分したものがf\left( x \right) とする\\ \\ \int _{ a }^{ b }{ f\left( x \right) dx } \quad =\quad { \left[ F\left( x \right) \right] }_{ a }^{ b }\quad =\quad F\left( b \right) -F\left( a \right) \quad \cdots ①\\ \\ \lim _{ b\rightarrow a }{ \frac { F\left( b \right) -F\left( a \right) }{ b-a } } =f(a)\\ \\ h=b-a\quad \Leftrightarrow \quad b=a+h\quad \cdots ④\quad として\\ \\ \lim _{ h\rightarrow 0 }{ \frac { F\left( a+h \right) -F\left( a \right) }{ h } } =f(a)\quad \Leftrightarrow \quad \lim _{ h\rightarrow 0 }{ F\left( a+h \right) -F\left( a \right) } =f(a)\cdot h\quad \cdots ②\\ \\ f\left( x \right) のグラフを区分求積法を利用して和を求めるとする。②の左辺がF\left( a+h \right) -F\left( a \right) 、右辺がf(a)\cdot h。右辺に注目し\\ 区分間の幅をh、分割数をnと考えれば、このaを等差にして{ a }_{ n }=\left\{ a\quad ,\quad a+h\quad ,\quad a+2h\quad ,\cdots ,\quad a+\left( n-1 \right) h \right\} の総和をとれば面積が求められる\\ \\ \begin{matrix} \begin{eqnarray} F\left( a+h \right) -F\left( a \right) & \quad =\quad & f(a)\cdot h \\ F\left( a+2h \right) -F\left( a+h \right) & = & f(a+h)\cdot h \\ F\left( a+3h \right) -F\left( a+2h \right) & = & f(a+2h)\cdot h \\ F\left( a+4h \right) -F\left( a+3h \right) & = & f(a+3h)\cdot h \\ \vdots & = & \vdots \\ F\left( a+\left( n-1 \right) h \right) -F\left( a+\left( n-2 \right) h \right) & = & f(a+\left( n-2 \right) h)\cdot h \\ F\left( a+nh \right) -F\left( a+\left( n-1 \right) h \right) & = & f(a+\left( n-1 \right) h)\cdot h \end{eqnarray} \\ +)\_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \_ \\ F\left( a+nh \right) -F\left( a \right) \quad =\quad f(a)\cdot h+f(a+h)\cdot h+f(a+2h)\cdot h+\cdots +f(a+\left( n-1 \right) h)\cdot h\quad \cdots ③ \end{matrix}\\ \\ この③式の左辺にあるnhは分割数と区分幅を掛算したものでb=a+nh\quad \cdots ⑤と考えられる。従って③は\\ \\ F\left( b \right) -F\left( a \right) \quad =\quad \lim _{ h\rightarrow 0 }{ f(a)\cdot h+f(a+h)\cdot h+f(a+2h)\cdot h+\cdots +f(a+\left( n-1 \right) h)\cdot h } \quad となり、これに①を代入すると\\ \\ \int _{ a }^{ b }{ f\left( x \right) dx } \quad =\quad \lim _{ h\rightarrow 0 }{ f(a)\cdot h+f(a+h)\cdot h+f(a+2h)\cdot h+\cdots +f(a+\left( n-1 \right) h)\cdot h } \\ \\ となる。\\ \\ <補足>\\ ④は微分内の考えであり⑤は積分内で考えている点に留意\\ つまり④のhは総和される前の幅であり、⑤のnhは総和された幅\) 微分のロジック\( \lim _{ h\rightarrow 0 }{ \frac { f\left( b \right) -f\left( a \right) }{ b-a } } =f'\left( a \right) \\ \\ b-a=h\quad \Leftrightarrow \quad b=a+h\quad ,\quad a=x\\ \\ \lim _{ h\rightarrow 0 }{ \frac { f\left( x+h \right) -f\left( x \right) }{ h } } =f'\left( x \right) \\ \\ 代数的な微分\quad { x }^{ n }\quad \mapsto \quad n{ x }^{ n-1 }\\ その使用例:f\left( x \right) ={ x }^{ 2 }\quad \mapsto \quad f'\left( x \right) =2{ x }\quad \quad ,\quad \quad f\left( t \right) ={ 4.9t }^{ 2 }\quad \mapsto \quad f'\left( t \right) =9.8t\\ \\ このこの微分への記号的操作による変換の根拠は以下の方程式を解くことで確かめられる\\ \\ \begin{cases} f\left( x \right) =x^{ n }\quad \cdots ① \\ \lim _{ h\rightarrow 0 }{ \frac { f\left( x+h \right) -f\left( x \right) }{ h } } =f'\left( x \right) \quad \cdots ② \end{cases}\\ \\ ①を②に代入\\ \\ \lim _{ h\rightarrow 0 }{ \frac { \left( x+h \right) ^{ n }-x^{ n } }{ h } } =f'\left( x \right) \\ \\ \left( x+h \right) ^{ n }の部分を二項定理\quad { \left( a+b \right) }^{ n }=_{ n }{ C }_{ r }{ a }^{ n-r }b^{ r }\quad を利用して展開する\\ \\ \lim _{ h\rightarrow 0 }{ \frac { \left( x+h \right) ^{ n }-x^{ n } }{ h } } =f'\left( x \right) \quad \Leftrightarrow \quad \lim _{ h\rightarrow 0 }{ \frac { { _{ n }{ C }_{ 0 }x^{ n } }+{ _{ n }{ C }_{ 1 }x^{ n-1 }h }+{ _{ n }{ C }_{ 2 }x^{ n-2 }h^{ 2 } }+{ _{ n }{ C }_{ 3 }x^{ n-3 }h^{ 3 } }+\cdots +{ _{ n }{ C }_{ n-1 }xh^{ n-1 } }+{ _{ n }{ C }_{ r }h^{ n } }-x^{ n } }{ h } } =f'\left( x \right) \\ \quad \Leftrightarrow \quad \lim _{ h\rightarrow 0 }{ \frac { { x^{ n } }+{ nx^{ n-1 }h }+{ _{ n }{ C }_{ 2 }x^{ n-2 }h^{ 2 } }+{ _{ n }{ C }_{ 3 }x^{ n-3 }h^{ 3 } }+\cdots +{ nxh^{ n-1 } }+{ h^{ n } }-x^{ n } }{ h } } =f'\left( x \right) \\ \quad \Leftrightarrow \quad \lim _{ h\rightarrow 0 }{ \frac { { nx^{ n-1 }h }+{ _{ n }{ C }_{ 2 }x^{ n-2 }h^{ 2 } }+{ _{ n }{ C }_{ 3 }x^{ n-3 }h^{ 3 } }+\cdots +{ nxh^{ n-1 } }+{ h^{ n } } }{ h } } =f'\left( x \right) \quad \quad \quad \cdots 式を整理\\ \quad \Leftrightarrow \quad \lim _{ h\rightarrow 0 }{ { \quad nx^{ n-1 } }+{ _{ n }{ C }_{ 2 }x^{ n-2 }h }+{ _{ n }{ C }_{ 3 }x^{ n-3 }h^{ 2 } }+\cdots +{ nxh^{ n-2 } }+{ h^{ n-1 } } } =f'\left( x \right) \quad \quad \quad \cdots 分母を払う\\ \quad \Leftrightarrow \quad { \quad nx^{ n-1 } }+{ _{ n }{ C }_{ 2 }x^{ n-2 }0 }+{ _{ n }{ C }_{ 3 }x^{ n-3 }0 }+\cdots +{ nx0 }+0=f'\left( x \right) \quad \quad \quad \cdots 極限を取る\\ \quad \Leftrightarrow \quad { \quad nx^{ n-1 } }=f'\left( x \right) \\ \\ 微分の本質に二項定理が深く関係している事がよくわかる \) ネイピア数を求める際にも、テイラー展開やマクローリン展開する際でも「無限が関わってくる指数計算では」ほぼ必ず関係してくる |