[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 (625ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
127(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/16(土) 16:21:46.09 ID:/2xvBEHK(36/58) AAS
>>97-98
＜いままで読み込んだ調査文献からの暫定結論＞
１．>>110 "Let g be continuous and discontinuous on sets of points that are each dense in the reals."
↓
”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.)”
なので、”continuous and discontinuous”＆”each dense”は、本質で、これを、”リプシッツ連続とリプシッツ"不"連続”＆”each dense”に緩めることはできない
２．その理由は、”continuous and discontinuous”＆”each dense”の絡みで、”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."
が出るのであって、リプシッツ"不"連続に緩めたら、”a pointwise Holder condition, or even any specified pointwise modulus of continuity condition”は言えないだろうということ
（１と同じことの言い換えみたいだが・・、うまく書けないね（＾＾ ）
３．あと、まだ分らないのが、無理数と有理数に限定した、ruler-like functionsや下記の変形トマエ関数などで、関数の減衰で、無理数での微分可能点が増減するメカニズム
４．あと、”Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }と置く:
もしR−Bf が内点を持たない閉集合の高々可算和で被覆できる”
で、R上R−Bfが稠密になる関数が、反例として本当に構成できるかどうか？（可能と思うが・・）
（R−Bfは、リプシッツ"不"連続であって、通常の不連続とは違うという理解なのだが、それで良いかどうかも、そこがいまいち分らんが・・（＾＾ ）
まあ、もう少し調べるか（＾＾
つづく
128: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/16(土) 16:22:20.86 ID:/2xvBEHK(37/58) AAS
>>127 つづき
（参考）
スレ46 2chｽﾚ:math
＜引用＞
http://www.unirioja.es/cu/jvarona/downloads/Differentiability-DA-Roth.pdf
DIFFERENTIABILITY OF A PATHOLOGICAL FUNCTION,
DIOPHANTINE APPROXIMATION,
AND A REFORMULATION
OF THE THUE-SIEGEL-ROTH THEOREM
JUAN LUIS VARONA
This paper has been published in Gazette of the Australian Mathematical Society, Vol-
ume 36, Number 5, November 2009, pp. 353{361.
Received 29 February 2008; accepted for publication 6 October 2009.
(抜粋)
ここに
fν(x)
＝0 if x ∈ R - Q（無理数）
＝1/q^ν if x = p/q ∈ Q, irreducible （有理数で既約分数）
で
Theorem 1. For ν > 2, the function fν is discontinuous (and consequently not differentiable) at the rationals, and continuous at the irrationals.
With respect the differentiability, we have:
(a) For every irrational number x with bounded elements in its continued fraction expansion, fν is differentiable at x.
(b) There exist infinitely many irrational numbers x such that fν is not differentiable at x.
Moreover, the sets of numbers that fulfill (a) and (b) are both of them un-countable.
(引用終り)
以上
155(7): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/16(土) 23:46:40.92 ID:/2xvBEHK(54/58) AAS
>>127
＜いままで読み込んだ調査文献からの暫定結論（修正版）＞
１．（>>97より）
”定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }
と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、 f はある開区間の
上でリプシッツ連続である．
よって、 f は(a, b) 上でリプシッツ連続である．”
ここで、"Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }","R−Bf"において
「< +∞」の解釈が問題となる
２．"R−Bf"が、単純にリプシッツ”不”連続点ではなく、実質的に不連続点の集合と考えるならば、
「内点を持たない閉集合の高々可算和で被覆できる」は、つまり変形トマエ関数などの有理点での不連続点で、それは”孤立点のみから成る離散集合 (discrete set) ”とできる。
（繰返すが、この場合、上記定義のリプシッツ”不”連続は、実質通常の不連続点と解することができる。）
３．そうすると、>>110 の”THEOREM: Let g be continuous and discontinuous on sets of points that are each dense in the reals. 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.”
が適用できて
co-meager setは、リウヴィル数全体からなる集合と同様で、”非可算集合であり、実数内で稠密であるが、1次元ルベーグ測度は 0 ”となる
この場合、実数内で稠密であるから、”リプシッツ連続である区間(a, b) を取ること”はできない。
https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%97%E3%82%B7%E3%83%83%E3%83%84%E9%80%A3%E7%B6%9A
リプシッツ連続
(抜粋)
定義
実多変数の実数値函数に対して、これが成り立つのは、任意の割線の傾きの絶対値が K で抑えられるときであり、かつそのときに限る。函数のグラフ上の一点を通る傾き K の直線全体の成す集合は円錐を成すから、したがって函数がリプシッツ連続であるための必要十分条件は、その函数のグラフが至る所この錐のまったく外側にあることである。
(引用終り)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.126s*