[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 (625ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
526(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/25(月) 07:58:39.31 ID:R/y0B5bE(1/9) AAS
>>521-522
>>カントール集合で``1個''です
>”S ⊆ ∪iFi”で、Sは集合濃度で連続まで許すのか？
>当然ですよ
なんだよ（＾＾
早く言ってくれればよかったのに（＾＾
でな、下記
リウヴィル数は、非可算集合、実数内で稠密で、ルベーグ測度は 0 であるから、内点を持たない
リウヴィル数の各点は、閉集合だと思うが、それで良いかな？
で、いま問題のRuler Functionでは、リウヴィル数が鬼門で
”not Lipschitzian at the Liouville numbers, for every r > 0”なんだよ
つまり、r→∞にしても、リウヴィル数以外の無理数は、Lipschitzianになるが、at the Liouville numbersではだめだと
で、そうすると、定理1.7 (422 に書いた定理)の反例になってないか？
(>>151)
https://ja.wikipedia.org/wiki/%E3%83%AA%E3%82%A6%E3%83%B4%E3%82%A3%E3%83%AB%E6%95%B0
リウヴィル数
(抜粋)
・リウヴィル数全体からなる集合は非可算集合であり、実数内で稠密であるが、1次元ルベーグ測度は 0 である。
http://mathforum.org/kb/message.jspa?messageID=5432910 （>>35より）
Topic: Differentiability of the Ruler Function Dave L. Renfro Posted: Dec 13, 2006 Replies: 3 Last Post: Jan 10, 2007
(>>494)
(抜粋)
THEOREM 2: The function f^r is: (B) continuous but not Lipschitzian at the Liouville numbers, for every r > 0;
(>>492）
(抜粋)
Using ruler-like functions that "damp-out" quicker
than any power of f gives behavior that one would
expect from the above.
Let w:Z+ --> Z+ be an increasing function that
eventually majorizes every power function. Define
f_w(x) = 0 for x irrational, f_w(0) = 1, and
f_w(p/q) = 1/w(q) where p and q are relatively
prime integers.
** f_w is differentiable on a set whose complement
has Hausdorff dimension zero. Jurek [4] (pp. 24-25)
Interesting, each of the sets of points where these
functions fail to be differentiable is large in the
sense of Baire category.
つづく
527(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/25(月) 07:59:20.31 ID:R/y0B5bE(2/9) AAS
>>526 つづき
THEOREM: Let g be continuous and discontinuous on sets
of points that are each dense in the reals.
Then g fails to have a derivative on a
co-meager (residual) set of points. In fact,
g fails to satisfy a pointwise Lipschitz
condition, a pointwise Holder condition,
or even any specified pointwise modulus of
continuity condition on a co-meager set.
(Each co-meager set has c points in every interval.)
(引用終り)
以上
538(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/25(月) 19:43:55.64 ID:R/y0B5bE(3/9) AAS
>>535
>実際には、L 自体は全く閉集合ではない
出典は？
541(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/25(月) 20:18:59.66 ID:R/y0B5bE(4/9) AAS
>>539
>L は R 上で稠密なんだよ？もし L が閉集合なら、L の稠密性と合わせて
>L＝R
>になってしまって矛盾するだろうが。だから、L は閉集合では無いんだよバカタレ。
それなら、Qも閉集合ではないだろ
ならば、「系1.8 有理数の点で不連続、 無理数の点で微分可能となるf : R → R は存在しない」（>>498）
に適用して良いのか？
546(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/25(月) 21:00:53.16 ID:R/y0B5bE(5/9) AAS
>>542 >>544
どちらのレスでも良いけど・・
話を、区間[0,1]に取って
Q' = ｛q | 0<q<1 q∈Q} なる集合Q'を考える
Q' は閉集合ではないですか？
もし、Q' が開集合なら、その補集合 [0,1]−Q' （これは区間[0,1]内の無理数の集合と0と1から成る）が閉集合になりますから
どうでしょうか
548(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/25(月) 21:25:19.24 ID:R/y0B5bE(6/9) AAS
>>547
Q全体では、開集合だと言われましたね？
部分集合である区間(0,1)の有理数が、なぜ開集合にも閉集合にもなっていないのですか？
距離の取り方は、同じでしょ？
552(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/25(月) 23:45:06.17 ID:R/y0B5bE(7/9) AAS
>>549-550
>以上より、Q' は位相空間 ( (0,1), θ|_{(0,1)} ) において開集合にも閉集合にもなってない。
了解。下記（yahoo）だね
R中に稠密に分散されている場合は、「開集合にも閉集合にもならない」ってことだね
あなたは力があるね〜（＾＾
連続濃度まで許すということだったが（>>522）、
結局は、稠密にR中に分散されている場合は、
「内点を持たない閉集合の高々可算和で被覆」は、”孤立する１点から成る集合”（>>490）の被覆に戻るわけだ！（＾＾
ところで・・・・
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13160534703
(抜粋)
delyunoaloveさん2016/6/1600:35:49
有理数空間Ｑは開かつ閉集合ですか？
ベストアンサーに選ばれた回答
kousaku2038さん 2016/6/1612:21:16
全体が実数Rなら、有理数Qは開でも閉でもない。
普通に考えて開集合でないことは、qを有理数とし、それを含む開区間(q-ε,q+ε)を考えると、この区間には無理数が存在するので、Qに含まれることはない。
閉集合でないことは、√2に収束する有理数列が取れることから、すぐにわかる。
(引用終り)
つづく
553(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/25(月) 23:47:20.19 ID:R/y0B5bE(8/9) AAS
>>552 つづき
(>>303より)
”定理1.7 (422 に書いた定理)
・・・「R−Bf が内点を持たない閉集合の高々可算和」・・・”
で、「R−Bf が内点を持たない閉集合の高々可算和」とは、なんだろうかと考えていた・・、連続濃度まで許すということにもからんで
１）「R−Bf が内点を持たない閉集合の高々可算和」で、Rで稠密で無ければ・・、「f はある区間(a, b) 上でリプシッツ連続」は自明
２）「R−Bf が内点を持たない閉集合の高々可算和」で、Rで稠密であれば・・、「f はある区間(a, b) 上でリプシッツ連続」は取れない（このケースは不存在）
だから、定理1.7 (422 に書いた定理)の証明では、１）の場合の証明は、全く不要で
２）の場合を厚く書いて、何か矛盾が起きることをしっかり証明すべきだったのでは？
（例えば、そういう函数が存在しないか、あるいは、「R−Bf が内点を持たない閉集合の高々可算和」での被覆ができないとか）
重ねて言えば、２）の場合について、「定理1.7に抵触するので、不成立」では、循環論法ではないだろうか？
（例えば、証明中で、無造作に区間（y,x）を取ったり、いろんな計算をしているが、R−Bf が”Rで稠密”という条件下では、許されない計算をしていないかどうか・・？）
つづく
554(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/25(月) 23:48:58.79 ID:R/y0B5bE(9/9) AAS
>>553 つづき
さて、従来の定理との比較で
１）不連続点が、dense（稠密）の場合、http://mathforum.org/kb/message.jspa?messageID=5432910 （>>526）にあるように、
”g fails to have a derivative on a co-meager (residual) set of points. In fact, g fails to satisfy a pointwise Lipschitz condition,”とある
２）無理数で可微分、dense（稠密）な有理点のみ微分不可の函数は構成あり（>>506）
http://www.mathcounterexamples.net/a-continuous-function-not-differentiable-at-the-rationals-differentiable-elsewhere/
３）で、定理1.7 は、上記をリプシッツ連続（あるいはディニ微分）に、拡張した定理と見ることが出来る。
つまり、Bfが、リプシッツ連続（あるいはディニ微分可）で、
補集合たるR−Bfが稠密の場合、そういう函数が存在しないか、あるいは、（ １）のように）「R−Bf が内点を持たない閉集合の高々可算和」での被覆ができないとなるのだろうか？
なお、以前から言っているが、なぜ３）についての研究が、いままで無かったのか？
そのナゾもまだ解けない
（不成立？）
まあ、年末なので、ゆっくりやりましょう
１）の証明と対比して読まないといけないと思うので
（そうしないと、証明にギャップがあっても気付かないだろうね、おれの頭じゃ（＾＾ ）
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s