[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む46 (692ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
397(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/19(日)20:44 ID:W1ZiI7BV(30/34) AAS
>>393-394
おっちゃん、どうも、スレ主です。
>伊藤清「確率論」（岩波基礎数学選書)
>は、離散的な確率変数を持つ標本空間の事象を扱うことから始まって、
>途中から測度論を丁寧に導入している。サイコの事象は最初の方に出て来るね。
情報ありがとう！（＾＾
>区間 [0,1] において、xが有理数のとき不連続、x無理数のとき微分可能
>となるような[0,1] で定義された関数を f(x) を挙げる問題がスレ主は解けなかったか。
関数を f(x) を挙げるだけなら、出来た（>>153の通り）
が、証明はできなかったね（＾＾
ピエロのアップしたＰＤＦ（下記）に証明があるが、下記無理数を(a)連分数展開可能な無理数の点と、(b)そうでない無理数で微分出来ない点に分け、
(a)は微分可能で、”(a) and (b) are both of them un-countable.”だと。まあ、これは私の手では独力では証明できないと悟った
事実、筆者もP2 "Actually, a big part of this study has already
been done in the literature; see, for instance, [2, 3, 6, 7]. Here we present
some results that are already known (usually whith a dierent proof), and
some that seem to be new."とあって、何人ものプロ数学者の数十年の積み上げ成果だから、おれなんかがちょっと考えて解ける問題じゃないね
知識として、知っているか知らないかだ
なお、和文PDFかURLがないか探したが、見つからなかった（＾＾
なので、これは結構、日本では”ハナタカ”のような気がするね（＾＾
つづく
398(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/19(日)20:45 ID:W1ZiI7BV(31/34) AAS
>>397 つづき
＜引用＞
外部ﾘﾝｸ[pdf]:www.unirioja.es
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.
(引用終り)
418(1): 2017/11/20(月)11:35 ID:Brtx3QWc(1/5) AAS
>>397-398
おっちゃんです。
>関数を f(x) を挙げるだけなら、出来た（>>153の通り）
>が、証明はできなかったね（＾＾
残念でした。私が考えていた f(x) は>>153の関数ではございません。最初に想定していた
>区間 [0,1] において、xが有理数のとき不連続、xが無理数のとき微分可能
>となるような[0,1] で定義された関数 f(x) を挙げる問題
つまり本を正せば、>>75の
>Q3. [0,1]上の有理数で不連続、無理数で微分可能（当然連続）な関数を1つ示せ
というのは、
1)：実関数 f(x) は閉区間 I＝[0,1] を定義域とし、
2)：任意の点 x＝p/q∈Q∩I (p、qは互いに素) で f(p/q) は不連続で、
3)：任意の点 x∈(R＼Q)∩I で f(x) は微分可能である。
以上の1)、2)、3)の3条件を満たすような実関数 f(x) を挙げてε-δで示せ
というモノだったんだよ。>>75はそういう意味で出題されていたとも読み取れる。
条件2)や条件3)の「任意の」の部分を「或る」に変えたら
少なくともこの話よりは短く簡単になって、>>153で話は終了になる。
それに、>>153で話が済むなら、小平解析入門にも似たような話が書かれている。
11/14(火) の ID:jtNc+3xe は私ではない。スレ主の自演だろう。
419: 2017/11/20(月)11:54 ID:Brtx3QWc(2/5) AAS
>>397-398
まあ、>>418で私が書いた「>>153」は「>>146」とした方が適切だろうな。
427: 2017/11/20(月)19:16 ID:sVbA75bK(4/4) AAS
いや、a の値によっては、1点でのみ連続になり得るか。
・ a＜0 または a＞1 ならば、f は[0,1]上で不連続。
・ 0＜a＜1 ならば、f は[0,1]上のうち x＝a でのみ連続。
・ どの場合でも、f は[0,1]上の各点で全く微分できない。
いずれにしても、目標の関数からは程遠く、スレ主が
>>397-398で引っ張ってきた例の方が遥かにマシという。
535(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/24(金)17:27 ID:/ZSZ6Nly(2/4) AAS
>>397-398 自己訂正
(抜粋)
”下記無理数を(a)連分数展開可能な無理数の点と、(b)そうでない無理数で微分出来ない点に分け、
(a)は微分可能で、”(a) and (b) are both of them un-countable.”だと。まあ、これは私の手では独力では証明できないと悟った
外部ﾘﾝｸ[pdf]:www.unirioja.es
(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.”
(引用終わり)
ここ
＜訂正＞
(a)連分数展開可能な無理数の点
↓
(a)連分数展開で有界な要素を持つ無理数の点
注）”with bounded elements”が、全く読めていなかった
「有理数は有限連分数，無理数で代数的数の場合は無限循環連分数，超越数は無限非循環連分数になる．」（>>515より）
らしいから、おれ連分数展開がよく分かってなかったんだな（＾＾
(>>514より関連抜粋)
外部ﾘﾝｸ[pdf]:argent.shinshu-u.ac.jp
A. Ya. ヒンチン（Khinchin）著 連分数 （訳：乙部厳己）
(抜粋)
Ｐ36
有界な要素しか持っていない数に特有の近似性は次の命題で完全に言い表される。
そしてこれは、すでに述べたように、ほとんど明らかなことである。
定理23. 有界な要素を持つ任意の無理数R と十分に小さなc に対して、
(引用終わり)
つづく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.032s