現代数学の系譜工学物理雑談古典ガロア理論も読む49

TOP カテ一覧スレ一覧 100～終まで 2ch元削除依頼
【大学院へ】 30過ぎて、数学の道へ　その２
痴漢バレて叩かれた腹いせに荒らすのはやめろ
遂に解かれた！AX+BY=CZ
フェルマーの最終定理証明したったwwww
\section{TeX の時間} %%% 第 XI 節 %%% Part.2
なんじゃこら哲也
【未解決問題】奇数の完全数が存在しないことの証明4
【未解決問題】奇数の完全数が存在しないことの証明
大学の線形代数学の質問。
フェルマーの最終定理の簡単な証明8

40 ：: >>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 ：: >>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 ：: >>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 には出来ない」？
これ、やっぱり元論文読まないと、イメージ湧かないな～（＾＾

まあ、ゆっくりやろうや

数理論理学（数学基礎論）　その12
現代数学の系譜11 ガロア理論を読む27
現代数学の系譜古典ガロア理論を読む36
数学難易度総合ランキング（偏差値）
中1の弟が数学好きなようだから先取りさせたい
キチガイR
高校数学の質問スレPart401
13×小学校のかけ算順序問題
惑星ニビルの衝突
線形代数学ムズすぎワロタw w w
--------------------
[愛人]パパ活女子アカウント16[総合]
【文春】沢尻エリカ氏逮捕「大河ドラマ撮り直ししなくてよい！」が多数派　その理由とは？―アンケート結果発表！
真・リアリティ・トランサーフィン　エピソードZERO
惣流アスカラングレーをイメージしたリュックが発売。知らない人にはただのオシャレなリュック、知ってる人はニヤリとできる良デザイン [738130642]
【現女子】高梨あい Part13【期待の新星】
祖父が夢枕に現れました【霊感？】
【悲報】グレタさん関連発言で大炎上のフルメタ原作者よりイラスト担当の方が重度のネトウヨだった [921615131]
【祝】サントリーホール【リニューアル】
【悪用厳禁】今ICレコーダー買うなら？Part44
いちご100、I's、ニセコイ、風夏、涼風と立て続けに読んだんだがwwwww
[グロテスク]林明大を予想して作っていこう 10[融合物]
南町田クラスティーナでは買うな！Part2
ドン・デリーロ　Don DeLillo
中国で買ったＣＤ－Ｒ・・・・・・・・
【椎名うみ】青野くんに触りたいから死にたい【アフタヌーン】 part3
夏ならではの料理
【２F】　自民・二階幹事長、中国を「親戚」に例え支援の意向　[01/29]
【速報】シャープ、家庭用ゲーム機に参入！Nintendo Switchおわったな
洋炉画像
欅坂のクイズ王は東大王の伊沢なのになんで乃木坂のクイズ王は堀を推してるキモデブなんだよ
TOP カテ一覧スレ一覧 100～終まで 2ch元削除依頼