blue271828's misc :-)

合成写像

合成写像とは

写像 f:ABf:A\to B と写像 g:CDg:C\to D が与えられたとき、BCB\sube C なら元 aAa\in A に対して g(f(a))g(f(a)) が定義できる。このとき、この写像 f,gf,g により対応付けられる写像 fgf\circ g合成写像 (英:composite map) という。また f,gf,g の値域が何かしらの数の集合であるとき、fgf\circ g合成関数 (英:composite function) とも呼ばれる。

(fg)(A)=f(g(A)) (f\circ g)(A) = f(g(A))

合成関数の微分

[f(g(x))]=f(g(x))g(x) \big[f(g(x))\big]^\prime = f^\prime(g(x))g^\prime(x)


合成関数の微分の導出:

[f(g(x))]=limΔx0f(g(x+Δx))f(g(x))Δx=limΔx0[f(g(x+Δx))f(g(x))g(x+Δx)g(x)g(x+Δx)g(x)Δx]=limΔy0f(y+Δy)f(y)ΔylimΔx0g(x+Δx)g(x)Δxy=g(x),Δy=g(x+Δx)g(x)=f(y)g(x)[f(g(x))]=f(g(x))g(x) \begin{aligned} \big[f(g(x))\big]^\prime &= \lim_{\varDelta x\to 0}\frac{f(g(x+\varDelta x))-f(g(x))}{\varDelta x} \\ &= \lim_{\varDelta x\to 0}\left[\frac{f(g(x+\varDelta x))-f(g(x))}{g(x+\varDelta x)-g(x)}\cdot\frac{g(x+\varDelta x)-g(x)}{\varDelta x}\right] \\ &= \lim_{\varDelta y\to 0}\frac{f(y+\varDelta y)-f(y)}{\varDelta y}\lim_{\varDelta x\to 0}\frac{g(x+\varDelta x)-g(x)}{\varDelta x} \\ &\qquad\qquad\qquad\qquad \because y=g(x),\varDelta y = g(x+\varDelta x)-g(x) \\ &= f^\prime(y)g^\prime(x) \vphantom{\int} \\ \\ \therefore \big[f(g(x))\big]^\prime &= f^\prime(g(x))g^\prime(x) \vphantom{\int} \\ \end{aligned}

関連記事

Tags

#Ansible (3) #Bash (1) #Docker (1) #Git (2) #Hugo (2) #Molecule (1) #Python (1) #WSLtty (1) #アルゴリズム (4) #ビジネス用語 (1) #プログラミング (1) #位相空間論 (8) #初等数学 (20) #初等関数 (1) #実解析 (1) #幾何学 (3) #微分積分学 (18) #情報理論 (4) #抽象代数学 (14) #数理モデル (2) #数理論理学 (21) #機械学習 (3) #正規表現 (1) #測度論 (3) #特殊関数 (4) #確率論 (18) #組合せ論 (5) #統計学 (12) #線型代数学 (18) #複素解析学 (4) #解析学 (15) #論理学 (6) #順序集合論 (9)