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

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む46 (692ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

575: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/26(日) 18:47:23.18 ID:1WQ1V5QH

>>398 補足

戻る
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 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.
(引用終り)

ここ、無理数を
(a) For every irrational number x with bounded elementsと、
(b) There exist infinitely many irrational numbers x such that fν is not differentiable at x.と
完全に２分したと読んだので、あとの測度論の下記Theorem 2

P6
Theorem 2. For ν > 2, let us denote
Cν = {f ∈ R : fν is continuous at x }
Dν = {f ∈ R : fν is differentiable at x }

Then, the Lebesgue measure of the sets R - Cν and R - Dν is 0, but the four
sets Cν, R - Cν, Dν, and R - Dν are dense in R.
(引用終り)

つづく

http://rio2016.5ch.net/test/read.cgi/math/1510442940/575

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.030s