合成関数の微分の証明についての質問ですが、”やさしく学べる微分積分”には以下のような式変形を経て証明しています。
g(u+k)-g(u)/k = g'(u)+O(k) (lim k→0 O(k)=0)
g(u+k)-g(u) = k{g'(u)+O(k)}
この式は、k=0のときも成立しkはどんな値でも良いため、
k=f(x+h)-f(x) とおけ、f(x+h)=f(x)+k,u=f(x)
ゆえに、
lim g(f(x+h))-g(f(x))/h=lim g(f(x)+k)-g(f(x))/h
=lim g(u+k)-g(u)/h=lim k{g'(u)+O(k)}/h
=lim f(x+h)-f(x)/h ・k{g'(u)+O(k)}
f(x)は微分可能で連続。ゆえにh→0 k→0
したがって、極限値は存在し、
=f'(x){g'(u)+0}=f'(x)g'(x)
ゆえに、y'=g'(x)f'(x) が成立する。
とあります。
私には、結局はf(x+h)=f(x)+k と置けて、コーシーの平均値の定理のように、平均値の定理のx軸をf(x)軸つまりはu軸のように考えて、
f(x)=uの置き換えをすれば、f(x+h)=u+kとおけ、今までの微分計算と同様に計算できるというふうにしか読めません^^;
でも、どうもg(u+k)-g(u) = k{g'(u)+O(k)}の式に
線形性なのかなんなのか、特別な関係を示す意味があるような気がするのですが、どなたか解説していただけませんでしょうか?
No.2ベストアンサー
- 回答日時:
たしかに、質問文の「ゆえに」からの流れはかなり端折ってますね。
(しかも質問文にはちょっと誤植がある気がします。「ゆえに」の段落の一番下の等号 f(x+h)-f(x)/h ・k{g'(u)+O(k)}のところ)ものすごく丁寧に書いてみましょう。
まず、ちょっとさきほどの回答は、厳密さを欠いていました。
ちゃんと書くと
k≠0のときは、
g(u+k)-g(u) = k{g'(u)+O(k)}
でO(k)を定義する。
k=0のときは、O(0)=0と定義します。
すると、
g(u+k)-g(u) = k{g'(u)+O(k)}
が、k=0のときも含めて、全てのkについて成立する。(この「k=0のときも含めて」というのが重要です。)
k=f(x+h)-f(x) とおけば、
lim[h→0] k = lim[h→0] {f(x+h)-f(x)} = 0
したがって、h→0とすると、k→0になるわけです。
ゆえに、
lim[h→0] {g(f(x+h))-g(f(x))}/h
= lim[h→0] {g(f(x)+k) - g(f(x))}/h … ( k=f(x+h)-f(x) と置いた )
= lim[h→0] {g(u+k)-g(u)}/h … ( u=g(x)より )
= lim[h→0] k{g'(u)+O(k)}/h
= lim[h→0] k/h・{g'(u)+O(k)}
= lim[h→0] {f(x+h)-f(x)}/h・{g'(u)+O(k)} … ( k=f(x+h)-f(x) より )
= lim[h→0] {f(x+h)-f(x)}/h lim[k→0] {g'(u)+O(k)} … ( 後述 )
= f'(x)・g'(u)
です。
【後述】の部分は、
lim[h→0] k=0 てのと、lim[h→0] {f(x+h)-f(x)}/h と、lim[k→0] {g'(u)+O(k)} がともに収束することからですね。
ちなみに、高校の教科書なんかでは、合成関数の微分の公式の証明を、
lim[h→0] {g(f(x+h))-g(f(x))}/h
= lim[h→0] {g(f(x+h))-g(f(x))}/{f(x+h)-f(x)} ・{f(x+h)-f(x)}/h
= lim[h→0] g(u+α)-g(u)}/α・{f(x+h)-f(x)}/h … ( α=f(x+h)-f(x)と置いた )
= g'(u)・f'(x)
としている場合がありますが、この証明は誤りです。
どこが間違っている分かりますか?
f(x)が、xの近傍で f(x+h)-f(x)=0 の場合はどうするんだ(0で割ってる)、ってところがおかしいわけです。
質問文の証明で、O(k)なんていうわけわからない関数を導入して、しかも
>g(u+k)-g(u) = k{g'(u)+O(k)}
>が、「k=0のときも含めて」成立する
なんてわざわざ断っているのは、この「f(x)がxの近傍で f(x+h)-f(x)=0をとる」場合にも論理が破綻しないようにするためです。
なるほど。ありがとうございます。だから、well-definedなのかな?
数学の公理?上、論理破綻しないようにするためにO(k)を使って表現しているということなんですね。
では、意味とか考え方としては高校の教科書の証明でも問題はないというか、直截に示せているという面があって、そっちの方がわかりやすいともいえるのでしょうか?
なんだか、2重3重に質問してもうしわけないですが、もしお暇でしたら教えてください。
懇切丁寧に説明していただけて、とてもよくわかりました。
ありがとうございました^^
No.1
- 回答日時:
いまいち、質問者さんが、何を疑問に思っていて、結局質問したいことが何なのか、がよくわかりませんが。
g(u+k)-g(u) = k{g'(u)+O(k)}
この式は、単に左辺を右辺のように書き換えてみた、と言っているだけです。
もっと正確にいえば、この式で、kの関数O(k)を定義した、ということです。つまり、
O(k) = {g(u+k)-g(u)}/k - g'(u)
と「定義」したわけです。前提として、g(x)はx=uで微分可能ということはすでにあるので、この定義は、well-definedです。
で、O(k)をこう定義すれば、g'(u)の定義から
lim k→0 O(k)=0
が成り立ちますよね。
この回答への補足
なるほど、左辺を右辺のように書き換えることができて、かつO(k)を定義したということなんですね。
多分、直観的にわからないので質問したんだと思います。
結局、k{g'(u)+O(k)}置けることは理解でき、かつ式変形していけば、lim k{g'(u)+O(k)}/hとなり、kがどんな値でも良いならば、微分上都合のいいようにk=f(x+h)-f(x)と置けば、極限を取ったとき、
=f'(x){g'(u)+0}=f'(x)g'(x)となる、これは流れを見ればわかります。
ただ、いまいちこれをどう解釈していいのかよくわからなかったんですね。そのまま考えると、h→0ならばlim k→0 O(k)=0が成り立つことが条件てことですかね。それともkは自由に決めることができるから、微分においては確率分野の事象の独立と同じような感じで、積の法則みたいなのが成り立つってことが言いたかったのか、何が言えるのか?が判然としないので聞いてみたかったわけです。勉強していると、どうも同時分布とか2変数の微分とか行列とかでも、直交、独立、積の法則などなんか同じような概念が目に付き、なんか関係があって、もっとすっきりするのではないかという気がしていたのです。
まあ、またもう少し先に進んで勉強してみます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 微分の意味ついて質問が有ります 4 2023/04/05 23:17
- 数学 微分可能 連続 わからない 3 2022/06/22 17:22
- 数学 2階微分で、②に①を代入する式がわかりません。 例えばf'(x + h)はどういった過程で f(x 2 2022/07/25 15:18
- 数学 f'(x)=g'(x)+2xsin(1/x)-cos(1/x) (x≠0) =g'(0) 2番は f 4 2023/04/19 00:47
- 数学 写真の式についてですが、いくつか質問があります。 ①赤丸部分と青丸部分についてですが、 f(g(x+ 1 2023/05/11 17:31
- 数学 接線の本数を求めたいときの与式の微分について FG例題206 f(x)=xe^-x とするとき、 実 4 2023/07/24 15:43
- 数学 以下の議論はどこがおかしいのでしょうか? また、それをどう直せばよいのでしょうか? 教えて下さい。よ 6 2022/05/04 15:42
- 数学 数学Ⅲの関数の極限、関数の連続・不連続に関しての質問でございます。 問題集には、次の関数の〔 〕内の 5 2022/05/19 10:43
- 数学 ①lim x→∞で1/xだった場合は発散しないため限りなく0に近い解が求められるのでしょうか? 例え 7 2022/05/16 19:27
- 数学 『Cの微分.2』 3 2023/02/15 19:47
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
f(x) g(x) とは?
-
次の等式を満たす関数f(x)を求...
-
数学の f(f(x))とはどういう意...
-
数学 fとf(x) の違いについて
-
eのx乗はeのx乗のまんまなのに...
-
数学の問題です。 f(x)=x^ne^-x...
-
原始関数
-
「次の関数が全ての点で微分可...
-
左上図、左下図、右上図、右下...
-
yとf(x)の違いについて
-
ほんとに何度もすみません。 ど...
-
フーリエ変換できない式ってど...
-
微分の公式の導き方
-
両辺の絶対値を外すとき
-
連続性のある関数を、中間値の...
-
三次関数が三重解を持つ条件とは?
-
積分する前のインテグラルの中...
-
√x分の1のグラフの書き方を具...
-
周期関数にはどんな種類のもの...
-
微分について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
f(x) g(x) とは?
-
数学の f(f(x))とはどういう意...
-
微小量とはいったいなんでしょ...
-
大学の問題です。
-
差分表現とは何でしょうか? 問...
-
微分について
-
"交わる"と"接する"の定義
-
f(x)=sin(x)/x って、とくにf(0...
-
どんな式でも偶関数か奇関数の...
-
数学II 積分
-
f(x)=|x-3|+|x-2|+|x-1|の最...
-
関数f(x)がC∞-級関数であること...
-
左上図、左下図、右上図、右下...
-
極限、不連続
-
三次関数が三重解を持つ条件とは?
-
数学 fとf(x) の違いについて
-
微分の公式の導き方
-
導関数の値が0=定数関数 ど...
-
数学についてです。 任意の3次...
-
大学への数学(東京出版)に書...
おすすめ情報