[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 (658ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
19(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/28(木) 07:49:07.81 ID:IsA0R4yK(1/8) AAS
>>13
あなたは、力があるね（＾＾
だが、なにか、第一類集合と書けば、それが免罪符になっているように錯覚していないか？
第一類集合に、R中で稠密な場合と、稠密でない場合とあるとする。
場合分けが必要だろう？
補集合R-Bfが、R中で稠密な場合を仮定として置きながら、結論で”f は(a; b) 上でリプシッツ連続である”を導くのは、なんか変
それこそ、循環論法では？
20(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/28(木) 07:49:43.41 ID:IsA0R4yK(2/8) AAS
>>14-16
例えば、補題1.5
”∀y, z ∈ R [x − 1/M < y < x < z < x +1/M → ｜f(z) − f(y)｜ <= N(z − y)] が成り立つ”
で、あなたの反例関数を考えるなら、上記は成り立たないんじゃない？
あなたの関数に上記を適用してみて
38(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/28(木) 23:40:45.35 ID:IsA0R4yK(3/8) AAS
>>23-24
おっちゃん、どうも、スレ主です。
>場合分けをするのは証明においてそれをしたことで結論を導けるときで、
結論が分かれるときも、場合分けすべきだろうね
１）稠密でない場合は、どこかにリプシッツ連続な区間（a,b）がとれる
２）稠密である場合は、仮定を満たす関数は存在しない（空集合）
のようにね（＾＾
39(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/28(木) 23:41:21.42 ID:IsA0R4yK(4/8) AAS
>>25
沢山のレスがありがとう
年末は忙しいので、ゆっくり読む暇が無い
だが、あなたのレスはレベルが高いね
助かるよ
勉強になるな〜
貴方は力があるね〜
だが、あなたくらいレベルの高い友達が・・近くにいないんだね
それが、残念だね
40(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/28(木) 23:41:49.82 ID:IsA0R4yK(5/8) AAS
>>30
沢山のレスがありがとう
まあ、ゆっくりやろう
まだ、疑問に思っているのは
下記のDifferentiability of the Ruler Functionの記述と貴方の定理との整合性だ
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
(抜粋)
The ruler function f is defined by f(x) = 0 if x is
irrational, f(0) = 1, and f(x) = 1/q if x = p/q
where p and q are relatively prime integers with q > 0.
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.
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.)
つづく
41(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/28(木) 23:44:24.28 ID:IsA0R4yK(6/8) AAS
>>40 つづく
[13] Gerald Arthur Heuer, "Functions continuous at irrationals and discontinuous at rationals", abstract of talk given 2 November 1963 at the annual fall meeting of the Minnesota Section of the MAA, American Mathematical Monthly 71 #3 (March 1964), 349.
The complete text of the abstract follows, with minor editing changes to accommodate ASCII format.
Earlier results of Porter, Fort, and others suggest additional questions about the functions in the title. Differentiability and Lipschitz conditions are considered. Special attention ispaid to the ruler function (f) and its powers.
Sample results:
THEOREM:
If 0 < r < 2, f^r is nowhere Lipschitzian; f^2 is nowhere differentiable, but is Lipschitzian on a dense subset of the reals.
THEOREM:
If r > 0, f^r is continuous but not Lipschitzian at every Liouville number;
if r > 2, f^r is differentiable at every algebraic irrational.
THEOREM:
If g is continuous at the irrationals and not continuous at the rationals, then there exists a dense uncountable subset of the reals at each point of which g fails to satisfy a Lipschitz condition.
REMARK BY RENFRO:
The last theorem follows from the following stronger and more general result.
Let f:R --> R be such that the sets of points at which f is continuous and discontinuous are each dense in R.
Let E be the set of points at which f is continuous and where at least one of the four Dini derivates of f is infinite.
Then E is co-meager in R (i.e. the complement of a first category set).
This was proved in H. M. Sengupta and B. K. Lahiri, "A note on derivatives of a function",
Bulletin of the Calcutta Mathematical Society 49 (1957), 189-191 [MR 20 #5257; Zbl 85.04502]. See also my note in item [15] below.
(引用終り)
つづく
42(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/28(木) 23:46:02.50 ID:IsA0R4yK(7/8) AAS
>>41 つづき
ああ、いま改めて読むと
Bulletin of the Calcutta Mathematical Society 49 (1957) Senguptaより
”・・・ f is continuous and discontinuous are each dense in R.
Let E be the set of points at which f is continuous and where at least one of the four Dini derivates of f is infinite.
Then E is co-meager in R (i.e. the complement of a first category set).”
なんてありますね。”at least one of the four Dini derivates of f is infinite”が、貴方の定理に近いかな？
”Then E is co-meager in R (i.e. the complement of a first category set).”か・・
これか、これに近い文献を読まないことには、訳わからんな
えーと、Meagre setか・・
”E is co-meager in R”が、イメージできんな・・（＾＾
前提a)(連続不連続が稠密)を、b)(連続とディニ微分発散が稠密な組み合わせ)に、緩和しても・・
a) f is continuous and discontinuous are each dense in R.
↓
b) f is continuous and the E *) are each dense in R. ( *)the set of points at which f is continuous and where at least one of the four Dini derivates of f is infinite.)
a)Eは、co-meager
↓
b)Eは、meager
には出来ない？ それとも出来るの？
定理1.7成立なら、「 meager には出来ない」？
これ、やっぱり元論文読まないと、イメージ湧かないな〜（＾＾
まあ、ゆっくりやろうや
43: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/28(木) 23:46:59.66 ID:IsA0R4yK(8/8) AAS
>>42 つづき
（参考）
https://en.wikipedia.org/wiki/Meagre_set
Meagre set
Examples
Subsets of the reals
The rational numbers are meagre as a subset of the reals and as a space ? that is, they do not form a Baire space.
The Cantor set is meagre as a subset of the reals, but not as a space, since it is a complete metric space and is thus a Baire space, by the Baire category theorem.
https://ja.wikipedia.org/wiki/%E7%96%8E%E9%9B%86%E5%90%88
疎集合
数学の分野における、位相空間内の疎集合（そしゅうごう、英語: nowhere dense set）[* 1]とは、閉包の内部が空であるような集合のことである。
この言葉の順番が大事で、例えば、R の部分集合としての、有理数からなる集合は、その「内部の閉包が空である」という性質を持つが、疎集合ではなく、実際 R において稠密である。
注釈
1^ a b 「疎集合」という名称を meagre set のために用い、nowhere dense には「至る所疎」や「至る所非稠密」などの訳語を充てる流儀もある。
http://math.cs.kitami-it.ac.jp/~fuchino/notes/set-th-of-reals-kiso-no-kiso.pdf
例えば 渕野昌 (2002) (PDF), 実数の集合論の基礎の基礎
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s