大学数学の質問スレ Part1 (282ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
68: 07/16(水)09:07:46.92 ID:vJ8A76HI(2/7) AAS
>>66
確かに自明ではありますが、もっと自明な同様の命題に非常に長くくどい証明をつけています。（命題7.1の証明）
69: 07/16(水)09:14:22.92 ID:vJ8A76HI(3/7) AAS
>>66
松本さんは、本文中ではなく、節末に
S と T は同値な M の C^r 座標近傍系 ⇔ S から決まる M の C^r 級極大座標近傍系 = T から決まる M の C^r 級極大座標近傍系
という命題をわざわざ証明しています。
この命題の証明でキーとなるのは推移律ですが、その推移律は証明せずに自明のこととしています。
そして、残りの本当に自明でしかない部分を推移律を使って証明しています。
何がやりたいのか理解できません。
235(1): 07/31(木)17:46:36.92 ID:5t/NXspK(7/9) AAS
>>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 の方向微分を表わすということをはっきりと書いていません。
一体何がしたいんだという感じです。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.784s*