[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 (625ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
69: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/15(金) 23:21:02.39 ID:dUFtnfpO(13/14) AAS
>>66 補足
いや、当然、あの定理を考えた人は、真剣に定理が成り立つと思っているのでしょう
が、証明が公開されたあとの、他の人の反応がね・・・
静か過ぎる（＾＾
ひょっとすると、皆さん正しい答えを知っていて、私が間違うのを待っている可能性もあるかなと（＾＾
なので、自分で定理の正否について、
ある程度の確信が持てない限り、「証明論争には、うっかり乗れません」ということです（＾＾
84(1): １３２人目の素数さん [sage] 2017/12/16(土) 10:56:13.39 ID:w5clnf6m(1/3) AAS
時枝記事を理解できないわけだよ
証明を全然読めないんだから
258(2): １３２人目の素数さん [sage] 2017/12/19(火) 07:54:14.39 ID:F1UbN7QE(3/18) AAS
>>255
> おれは、「”R−Bf は内点を持たない閉集合で被覆できる”の証明は、どこかの標準テキストにあるのか？」と聞いたんだけど？
（もうひとつ横レスだが言わせてくれ）
オマエは
１）定理1.7『A⇒B』が成立するためには『Aが真でなければならない』と思っているのか？（呆）
それとも
２）Rの一点部分集合｛0｝やQが『内点を持たない閉集合で被覆できる』ことが分からないのか？（呆）
率直に言って、君は数学に向いてないぞ
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)｜ }”とが（＾＾
506(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/24(日) 20:59:06.39 ID:Q5UHveEY(12/18) AAS
>>497 関連
無理数で微分可能で、有理数のみ微分不可能という
函数の構成があったので、貼っておく（＾＾
http://www.mathcounterexamples.net/a-continuous-function-not-differentiable-at-the-rationals-differentiable-elsewhere/
ANALYSIS A CONTINUOUS FUNCTION NOT DIFFERENTIABLE AT THE RATIONALS BUT DIFFERENTIABLE ELSEWHERE NOVEMBER 30, 2014 JEAN-PIERRE MERX Math Counterexamples
(抜粋)
We build here a continuous function of one real variable whose derivative exists on R?Q and doesn’t have a left or right derivative on each point of Q.
As Q is (infinitely) countable, we can find a bijection n→rn from N to Q. We now reuse the function f defined here.
http://www.mathcounterexamples.net/a-differentiable-function-except-at-point-with-bounded-derivative
Recall f main properties:
略
This proves that hh is differentiable at aa with h′(a)=limn→+∞h′n(a). For a∈Q, we can find p∈N with a=rp.
Following a similar proof than above, the function lp:x→h(x)−up(x) is differentiable at a.
As f does not have left and right derivatives at 00, upup does not have left and right derivatives at a.
finally, the equality h=lp+up implies that hh also does not have left and right derivatives at a.
Conclusion:
the function h is differentiable at all irrational points but does not have left or right derivative at all rational points.
(引用終り)
580(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/26(火) 20:17:19.39 ID:IBTJ7HPw(5/13) AAS
>>579 訂正
おっと、このスレには書かないで下さい。
↓
おっと、このスレに直に証明は書かないで下さい。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s