25/07/31 17:46:36.92 5t/NXspK.net
>>234
ちょっと何を言っているのか分かりませんが、いいたいことは、
Tuさんは、 (df)_p(X_p) が f, p, X_p の3変数の関数 g で点 p での X_p 方向の f の方向微分を表わすということさえ分かっていれば自明なことを色々と無駄に証明しているということです。
そして、 (df)_p(X_p) が f, p, X_p の3変数の関数 g で点 p での X_p 方向の f の方向微分を表わすということをはっきりと書いていません。
一体何がしたいんだという感じです。