・用語
「の周りで」とは, > が存在して,開区間で,という意味である.
とする.このとき
がで微分可能である
と書けることをいう.但し,は自由変項,はの周りで定義された関数で,で連続,をみたす(このときである).
(準備)
- 平均変化率
関数のからまでの平均変化率とは
(2.1)
をいう.
- 瞬間変化率と微分可能性
(2.1)でをに限りなく近づけたときの極限値がもし存在すれば,その極限値はでの瞬間変化率とよばれる.この瞬間変化率は点におけるの微分係数ともよばれ,と書く.すなわち
である.微分係数が存在するとき,はで微分可能である,という.
(証明)
()
がで微分可能である,と仮定し
但し
と書けることを示す.関数に対して
s.t.
s.t.
とする.いま与えられた関数がで微分可能であるので
である.また
()
∨
()
と定義すればはで連続である.なぜなら
に対して
< <
であるから
i.e.
i.e.
i.e.
i.e.
(による)
と書ける.
(⇐)
で表される,と仮定する.のときはより微分係数がであるから(),はで微分可能である.そこでを考える.このとき
i.e.
である.ここで極限操作をすれば
()
であり
- 課題
で連続
で微分可能
というようにであると言いながら,なぜを除いた場合のを考えることができるのか,がわからない.