[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 (658ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
53(1): 2017/12/29(金)01:42 ID:gcYWyS10(7/7) AAS
>>44
＞（言えるとしても、区間内にDini微分発散点が稠密に存在するという前提を押さえた証明がなされるべきと思うが）
他の点でのディニ微分の値がどうなっているかなんて、全く考える必要がない。
なぜなら、そのような情報とは無関係に(1)が導けていることが、機械的に容易に確認できるからだ。
実際、(1)を導くのに使ったのは、ほとんど limsup の定義のみである。
お前は証明の読み方が おかしい。
証明の中に盛り込まれてない別の情報Ｐとの整合性が お前にとって気になったのだとしても、
それはお前が自分の頭の中で解決すればいいだけの話であって、
「この証明は情報Ｐについての議論を盛り込むべきである」
なんていうことにはならない。その証明が情報Ｐとは無関係に進むことが機械的に確認できたなら、
その情報Ｐはお前にとっての単なる「杞憂」に過ぎなかったのであり、その証明は情報Ｐを盛り込む必要がどこにも無い。
上下前次1-新書関写板覧索設栞歴
あと 605 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.009s