[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
591(2): 2016/12/01(木)19:04 ID:i2ODE144(2/6) AAS
>>566
>>584を書き直すと次のようになる。
>さて、命題A：「Tran ∈ 超越数、 Algn ∈ 代数的数」→ 命題B：「Tran と Algnとは同じしっぽの同値類に属さない」 が言える
>∵無限少数展開のしっぽは一致しないから
>
>つまり、命題Aで、超越数や代数的数という情報を与えたから、命題Bが言えたのだ
>（ここが、ヴィタリ集合論と類似の議論（有理数、無理数という情報を与えてヴィタリ集合の存在を導く）だ)
>
>問題は、超越数や代数的数という情報が、与えられていないときに、命題Bが言えるのか？
>εはいくらでも小さく取れるから、頭からしっぽに近い部分まで、いくらでも一致させることはできる
省6
592(3): 2016/12/01(木)19:14 ID:i2ODE144(3/6) AAS
AA省
620: 2016/12/03(土)11:38 ID:mQeh06cb(1/6) AAS
>>604
>>600-602の議論が自然数変数 k≧2 の値を固定せずに上から評価したり、
y-c_0 の下からの評価が抜けていたりして杜撰だった。
しかし、そもそも、スレ主のいう問題に答える「だけを考える」場合は、
可算無限進小数展開なる概念が無意味だった。
>>583で述べたような一様分布の問題や正規数「だけ」を扱ったり考える
にあたっては、可算無限進小数展開なる概念は必要ない。
もし意味が生じたら、有理数体Qが実数体Rの商体で
Rの最小の部分体なることに反し矛盾が生じる。
この場合は、>>591-593の(1)までや、>>599の前半のxの無理性の判定
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.802s*