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

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

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

313: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2018/01/09(火) 21:03:00.15 ID:Xw3gWI4S

>>312 つづき

で、
”Proposition 3.1. Let f be a function on R that is positive on the rationals and 0 on the irrationals.
Then there is an uncountable dense set of irrationals on which f is not differentiable.”

”As a corollary, no matter how quickly the sequence (ai) converges to zero (e.g., ai = 1/i^(i^i) ), there is always an uncountable dense subset on which T(ai ) is not differentiable.”

この論文の証明で論じているのは、Bf（無理数）に関係するB_N,Mではなく（∵つねに”0 on the irrationals”ですから、論じる必要もない）
Bf−R(有理数)に関する部分（”positive on the rationals ”）。

もっと言えば、Bf−R(有理数)側で、無理数ａに収束する閉区間 In+1 ｜ ”f (xn+1) >= |xn+1 ? x| ”∈ In+1 ですよ
f (xn+1)は、”positive on the rationals”側で、つまり、Bf−R(有理数)側

Bf−R(有理数)側のf (xn+1)が、早く減衰する場合でも、”uncountable dense subset”が、” not differentiable”
T（1/n^k）=1/n^k on the rationals, if x = m/n where m and n are coprime,
で、k<=2ではどこも微分不可、k > 2で、代数的数の集合で微分可、k=9でπなどほとんどの超越数で微分可。
但し、リュービル数は、ずっと微分不可で残る。

これらの議論中、Bf（無理数）での関数は、常に”0 on the irrationals”で、全く変化しないにも関わらず
指数ｋによって、Bf（無理数）側で、微分不可（各点リプシッツ連続でもない）から、至る所微分可になり、最後、リュービル数は、ずっと微分不可で残る。

これら、すべてBf−R(有理数)側の関数値ｆの変化が、Bf（無理数）側に影響を与えた結果ですよ
なので、論ずべきは、Bf−R(有理数)側の関数値ｆの変化であるべきでは？

以上

http://rio2016.5ch.net/test/read.cgi/math/1514376850/313

625: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2018/01/20(土) 22:36:34.15 ID:gQefYikW

>>574 補足

https://en.wikipedia.org/wiki/Littlewood_conjecture
Littlewood conjecture
(抜粋)
References
3 M. Einsiedler; A. Katok; E. Lindenstrauss (2006-09-01). "Invariant measures and the set of exceptions to Littlewood's conjecture". Annals of Mathematics. 164 (2): 513?560. arXiv:math.DS/0612721?Freely accessible. doi:10.4007/annals.2006.164.513. MR 2247967. Zbl 1109.22004.
(引用終り)

これ、arXiv:mathのリンクから下記に入ると、”Ann. of Math. (2) 164 (2006)”版が公開されているね〜（＾＾
https://arxiv.org/abs/math/0612721
https://arxiv.org/pdf/math/0612721.pdf
Invariant measures and the set of exceptions to Littlewood's conjecture
Manfred Einsiedler, Anatole Katok, Elon Lindenstrauss
(Submitted on 22 Dec 2006)
We classify the measures on SL (k,R)/SL (k,Z) which are invariant and ergodic under the action of the group A of positive diagonal matrices with positive entropy. We apply this to prove that the set of exceptions to Littlewood's conjecture has Hausdorff dimension zero.
Subjects: Dynamical Systems (math.DS); Number Theory (math.NT)
Journal reference: Ann. of Math. (2) 164 (2006), no. 2, 513--560
(抜粋)
Part 2. Positive entropy and the set of exceptions to Littlewood’s Conjecture
7. Definitions

11. The set of exceptions to Littlewood’s Conjecture

The following well-known proposition
gives the reduction of Littlewood’s conjecture to the dynamical question which
we studied in Section 10; see also [24, §2] and [46, §30.3]. We include the proof
for completeness.
Proposition 11.1. The tuple (u, v) satisfies
(11.1) liminf n→∞ n ||nu|| ||nv|| = 0,
if and only if the orbit A+τu,v is unbounded where A+ is the semigroup
（略）
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1514376850/625

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.037s