もしも微分が陰関数基準で表記されたら のバックアップソース(No.2)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• バックアップ を表示
• もしも微分が陰関数基準で表記されたら へ行く。
  • 1 (2017.0329 (水) 1032.1100)
  • 2 (2017.0329 (水) 1131.0800)
  • 3 (2017.0329 (水) 1222.3800)
  • 4 (2017.0329 (水) 1249.0200)
  • 5 (2017.0330 (木) 0055.4600)
  • 6 (2017.0330 (木) 1617.5200)

////////////////////////////////////////////////////////////////
%indent
/もし微分が陰関数を基準で表記されたら【編集中】
////////////////////////////////////////////////////////////////

* 概要 [#m3ec6e81]

;,凌宮数学では、$$ \ppd{x}{y} $ \ppd{y}{z} $ \ppd{z}{x} $ = $ -1 $$ ⇒ $$ \Big(\! \iro[ak]- \ffd{k_y}{k_x} \!\Big) $$を$$ \Big(\! \iro[ak]- \ffd{k_z}{k_y} \!\Big) $ \Big(\! \iro[ak]- \ffd{k_x}{k_z} \!\Big) $ = $ \iro[ak]-1 $$と読み替えて約分している。
;,しかし約分とは、$$ \ffd{\cancel{\partial x}}{\cancel{\partial y}} $ \ffd{\cancel{\partial y}}{\cancel{\partial z}} $ \ffd{\cancel{\partial z}}{\cancel{\partial x}} $ = $ 1 $$になる操作である。
;,このため、約分しているのは飽くまでも読み替えた後の係数であって、読み替える前の微分とは言えない。

;,ところが、もしも$$ \ffd{{\mathfrak d}x}{{\mathfrak d}y} $ \equiv $ \iro[ak]- $ \ppd{x}{y} $$と定義されたら(($$ \mathfrak d $$はドイツ文字の「d」。))、
;,オイラーの連鎖式は$$ \ppd{x}{y} $ \ppd{y}{z} $ \ppd{z}{x} $ = $ \Big(\! \iro[ak]- \ffd{{\mathfrak d}x}{{\mathfrak d}y} \!\Big) $ \Big(\! \iro[ak]- \ffd{{\mathfrak d}y}{{\mathfrak d}z} \!\Big) $ \Big(\! \iro[ak]- \ffd{{\mathfrak d}z}{{\mathfrak d}x} \!\Big) $ = $ \iro[ak]-1 $$となり、
;,負の印を祓って、$$ \ffd{\cancel{\mathstrut{\mathfrak d}x}}{\mathstrut\cancel{{\mathfrak d}y}} $ \ffd{\cancel{\mathstrut{\mathfrak d}y}}{\cancel{\mathstrut{\mathfrak d}z}} $ \ffd{\cancel{\mathstrut{\mathfrak d}z}}{\cancel{\mathstrut{\mathfrak d}x}} $ = $ 1 $$と書けるようになる。

%bodynote
////////////////////////////////////////////////////////////////
* 極限による負の微分係数の形式的定義 [#qab1094c]

;,一般に、偏微分の定義と言えば、２変数関数$$ z $ = $ f(x,y) $$についての：
#ceq(e)
  $$ \ppd{z}{x} $ = $ \lim_{\epsilon \to 0} $ \ffd{f(x + \epsilon, y) - f(x,y)}{\epsilon} $$
#ceq(d)

;,すると、上記の$$ \ffd{{\mathfrak d}x}{{\mathfrak d}y} $ = $ \iro[ak]- $ \ppd{x}{y} $$を偏微分の定義式に代入すると、負の微分係数の定義式が得られる：
#ceq(e)
  $$ \ffd{{\mathfrak d}x}{{\mathfrak d}y} $ = $ \lim_{\epsilon \to 0} $ \ffd{f(x,y) - f(x + \epsilon, y)}{\epsilon} $$
#ceq(d)
;,もしくは、$$ f(x,y) $$基準に拘るなら、次のように改めても良い：
#ceq(e)
  $$ \ffd{{\mathfrak d}x}{{\mathfrak d}y} $ = $ \lim_{\epsilon \to 0} $ \ffd{f(x \iro[ak]- \epsilon, y) - f(x,y)}{\epsilon} $$
#ceq(d)

%bodynote
////////////////////////////////////////////////////////////////
* [#jee66c00]


////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////