[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 (625ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
460(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/23(土) 17:33:45.39 ID:lrnu6EUA(19/31) AAS
>>456-459
おっさん、必死で考えた言い訳がそれか？
まあ予想の範囲だよ（＾＾
「Af(x) においては絶対値つきで統括して いっぺんにlimsup を取ったような形になっていることを指して
「類似品」と書いた。実は
Af(x) ＝ max { ｜D^{-}f(x)｜, ｜D^{+}f(x)｜, ｜D_{-}f(x)｜, ｜D_{+}f(x)｜ }
が成り立つはずなので、この点からも、Af(x)はディニ微分の類似品であると言える。」
それが、実は定義だろ？
おっさんの
(>>303より)
”定理1.7 (422 に書いた定理)
f : R → R とする．
Bf(k) :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< k }”
これの定義と、”Af(x) ＝ max { ｜D^{-}f(x)｜, ｜D^{+}f(x)｜, ｜D_{-}f(x)｜, ｜D_{+}f(x)｜ }”とが（＾＾
464(2): １３２人目の素数さん [sage] 2017/12/23(土) 17:47:31.44 ID:ANqzVc/X(5/13) AAS
>>460
＞それが、実は定義だろ？
息を吐くように間違えるゴミクズ。
Af(x) ＝ max { ｜D^{-}f(x)｜, ｜D^{+}f(x)｜, ｜D_{-}f(x)｜, ｜D_{+}f(x)｜ }
という等式は定義ではなく、定理である。limsup と liminf の基本的な性質から出る。
＞Bf(k) :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< k }”
Bf(k) などという集合を定義した覚えはない。ただし、その集合を使えば
Bf＝∪[k＝1〜∞] Bf(k) と書けるので、Bf(k) を使っても問題はない。
>>461
＞おれ的には、最初から
＞定義、”Af(x) ＝ max { ｜D^{-}f(x)｜, ｜D^{+}f(x)｜, ｜D_{-}f(x)｜, ｜D_{+}f(x)｜ }”と、書いておけ！
＞ってことさ（＾＾
息を吐くように間違えるゴミクズ。
Af(x) の定義はあくまでも Af(x) ＝ limsup[y→x]｜(f(y)− f(x)) / (y − x)｜ である。
ただし、定理として Af(x) ＝ max { ｜D^{-}f(x)｜, ｜D^{+}f(x)｜, ｜D_{-}f(x)｜, ｜D_{+}f(x)｜ }
という等式は成り立つので、こちらを定義として採用しても理論上は問題は起きない。
ただし、こちらを採用した場合、例の pdf の「 補題1.5 」の証明が面倒くさくなるので、
Af(x) ＝ limsup[y→x]｜(f(y)− f(x)) / (y − x)｜ という最初の定義の方が すっきりする。
>>462
＞Af(x) ＝ max { ｜D^{-}f(x)｜, ｜D^{+}f(x)｜ } で、良いはずだろ？（＾＾
息を吐くように間違えるゴミクズ。その２種類だけじゃダメだよ。４種類すべてを使って初めて
Af(x) ＝ max { ｜D^{-}f(x)｜, ｜D^{+}f(x)｜, ｜D_{-}f(x)｜, ｜D_{+}f(x)｜ }
という等号が成り立つ。liminf も必要なんだよ。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.219s*