[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 (625ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
521(1): １３２人目の素数さん [sage] 2017/12/25(月) 00:05:24.76 ID:BjcfoCpO(1) AAS
>>520
> >>517 & >>519
>
> 定理の定義を、カントール集合まで拡張しようというのかね？
>
> （ https://www.axfc.net/u/3870548?key=Lipschitz 「定理1.7 (422 に書いた定理)」の証明PDF より）
> 「定義1.2 (X,Ｏ) は位相空間とする. S ⊆ X は, 高々可算無限個の閉集合Fi ⊆ X が存在して,
> 各Fiは内点を持たない,
> S ⊆ ∪iFi
> が成り立っているとする. このとき,「S は内点を持たない閉集合の高々可算和で被覆できる」と書くことにする.」
>
> だったよね？
>
> Fiとして、"一つのカントール集合"を許す？
>
> そうすると、”個数”の数え方があいまいになるだろ？
>
> ”S ⊆ ∪iFi”で、Sは集合濃度で連続まで許すのか？
会話が成り立たないにもホドがあるだろｗ
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.
つづく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s