[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む46 (692ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
159(4): 2017/11/14(火)19:35 ID:IDi6PSmH(4/4) AAS
>>153
>>解答出てないよｗ
>勿論、分かっているさ〜（＾＾
どうだかなあ
>1/q^4くらいでどうかな？
どうかな？じゃなくて証明しろよ
>1/q^3でもいいかも知れない
かも知れない？じゃなくて証明しろよ
>Hurwitz's theorem
微分不能性ならそれでもいいが、
微分可能性なら不等号の向きを
逆にしないとダメだぞ
ついでにいうと1/q^2だと無理数のところで微分不能というのは
以下のDirichletのDiophantus近似定理から導かれる
”任意の無理数βに対し、
0<|β-p/q｜<1/q^2を満たす
無限に多くの有理数p/qが存在する”
外部ﾘﾝｸ:ja.wikipedia.org
164(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/14(火)20:42 ID:agSxZaXK(10/15) AAS
>>159
ガロア語録 "On jugera"：「証明は思いつくであろう」（＾＾
スレ4 2chｽﾚ:math
229 返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2012/05/11(金) 07:53:48.30
下記"On jugera"について
the crucial lemmaは、>>3では、第III節の定理で
"On jugera"：「証明は思いつくであろう」と守屋は訳している
”My opinion is in paragraph 37" (freely translated)”は、Edwards (著) Galois Theory>>174の序文 ページixの通りなので、この文はここから採ったのだろう
外部ﾘﾝｸ[html]:www2.ee.ufpe.br
A BIT OF HISTORY: GALOIS' LIFE.
ON THE STATEMENT "On jugera".
This famous passage is the one where Galois proves the crucial lemma stating that any rational function of the roots can be expressed as a rational function of the Galois resolvent.
Poisson (What about him?) had called Galois' prove insufficient. Galois, rather than elucidate his proof, laconically replied, "That remains to be seen.
My opinion is in paragraph 37" (freely translated).
It is easy to understand Poisson's position. Galois' proof can be regarded as as, at best, a sketch, and therefore is certainly "insufficient" if one is in any doubt as to the correctness of his theory and the accuracy of his reasoning.
In his report to the Academy, Poisson said of Galois' memoir as a whole that
<< We have made every effort to understand Mr. Galois' proof. His argument are not clear enough, nor developed enough, for us to be able to judge their correctness... >>.
つづく
168(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/14(火)21:22 ID:agSxZaXK(13/15) AAS
>>159
ありゃりゃ？？
”ついでにいうと1/q^2だと無理数のところで微分不能というのは
以下のDirichletのDiophantus近似定理から導かれる
”任意の無理数βに対し、
0<|β-p/q｜<1/q^2を満たす
無限に多くの有理数p/qが存在する””
それ、>>153引用の”Hurwitz's theorem”（下記）と同じだよ（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
フルヴィッツの定理 (数論)
(抜粋)
数論において，フルヴィッツの定理（英: Hurwitz's theorem）とは，アドルフ・フルヴィッツ (Adolf Hurwitz) の名に因んだ定理で，ディオファントス近似の上界を与える．
|ξ - m/n |< 1/(√5n^2 )
となるものが無限個存在する．ξ が無理数であるという仮定を外すことは出来ない．さらに，定数 √5 は最良のものである．
(引用終り)
169(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/14(火)22:00 ID:agSxZaXK(14/15) AAS
>>159 追加
ところで、おまえ、下記のThomae's functionの「f is not differentiable at all irrational numbers.」証明を読んでないみたいだから、引用しておくよ（＾＾
https:／／en.wikipedia.org／wiki／Thomae%27s_function
Thomae's function
(抜粋)
f(x)= 有理数ｒが既約分数p／qで表されるとき、1／q 無理数で0 （注：>>83同様）
f is not differentiable at all irrational numbers.
All sequences of irrational numbers (ai≠ x0)_（i=1〜∞ ） converging to the irrational point x0 imply a constant sequence (f(ai)=0)_（i=1〜∞ ）,
identical to 0,
and so lim _（i→ ∞ ）｜ (f(ai)-f(x0)）／（ai-x0））｜=0.
According to Hurwitz's theorem, there also exists a sequence of rational numbers (bi=ki／i)_（i=1〜∞ ）,
converging to x0, with (ki∈ Z ,i∈ N )） (ki∈ Z ,i∈ N )） coprime and |ki／i-x0|＜ 1／（√ 5）* i^2）.
Thus for all i,: ｜（f(bi)-f(x0)）／ （bi-x0）｜ ＞ （1／i - 0）／（1／(（√ 5）* i^2)））= √ 5* i ≠ 0 and so f is not differentiable at all irrational x0.
(引用終り)
170: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/14(火)22:14 ID:agSxZaXK(15/15) AAS
>>169 追加
Thomae's function なら、f(bi)＝1／i だから、√ 5* i ≠ 0
ハイラー、ヴァンナーの「解析教程」下なら、f(bi)＝1／i^2 だから、√ 5 ≠ 0
で、例えば、1/q^3 なら、f(bi)＝1／i^3 だから、√ 5/i → 0 （i → ∞）
つまり、1/q^n で、n >=3 なら、下限の√ 5 ≠ 0などが、外れるってこと
なので、”1/q^2だと無理数のところで微分不能”（>>159より）は、大した話じゃ無い
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.039s