[過去ログ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
568
(2): 2016/11/27(日)16:31 ID:C7ghjjL/(6/11) AAS
>>548
>どうやって、無限数列のしっぽを見分けるのか? 
>(時枝記事の>>114 推移律チェックは、「無限数列のしっぽが見分けられたら」が前提であることを、再度注意しておくよ)”
Nで1以上の自然数全体の集合を表わす。xy平面 R^2 上で、すべての n∈N に対して、x座標がnの点 P(n) を通りx軸に垂直
な直線 L(n) を引く。直線 L(n) 上の1点から R^2 上の右側に向けx座標を増加させながら曲線 C(n) を引く。
いわゆる、幾何的には高校で習うような関数のグラフを考えることになる。すると、各 C(n) n∈N に対して、
数列空間 R^N の点 s=(s_1, s_2, s_3,…) の全体が構成される。そこでスレ主が>>548
>1)無限数列のしっぽを見分ける
> ↓
>2)しっぽの一致不一致が分かる
省8
569
(1): 2016/11/27(日)16:34 ID:C7ghjjL/(7/11) AAS
>>548
(>>568の続き)
スレ主のいうように1)と2)の実行が出来るかどうかを問題視するにあたっては、
文脈上と読解上「無限数列のしっぽを見分けられないこと」を前提とするしかない。
つまり、「無限数列のしっぽを見分けられない」として話を進めることになる。
3角関数のグラフの曲線のように、上下の値が有界であるような周期関数のグラフ C(n), ∃n∈N に対して、
C(n) との交点が可算無限個存在するような直線 l(n) を引いた場合も含めて考えることになる。
このような可算無限個の交点と l(n) の存在性は、周期関数の定義と周期関数の上下の有界性から幾何的にはすぐ分かる。
各 n∈N に対して L(n) と l(n) の交点のx座標を s_n とする。値が小さい方から s_1, s_2, … と並べて行く。
すると、R^N の点 s=(s_1, s_2, …) が構成出来る。このような R^N の点 s=(s_1, s_2, …) の構成は、
省13
570: 2016/11/27(日)16:35 ID:CnaRbCke(8/8) AAS
混沌のおっちゃんが現れたので本当に退散しますw
お勤めがんばってねスレ主さん
571: 2016/11/27(日)16:44 ID:C7ghjjL/(8/11) AAS
>>548
ぶっちゃけ、スレ主のいう問いかけは、スレ主が杉浦解析入門のような
微分積分の本を読んでいないことがバレバレになるだけの問いかけなんだよ。
572
(1): 2016/11/27(日)17:21 ID:C7ghjjL/(9/11) AAS
>>548
スレ主の趣旨に添うと、>>569
>C(n) との交点が可算無限個存在するような直線 l(n) を引いた場合も含めて考えることになる。
と書いた段階では、まだ「l(n)」は「直線」ではなく一般には「曲線」として考えているから、
「直線 l(n) を引いた」は「曲線 l(n) を引いた」に訂正しないといけないな。
ぶっちゃけ、数列や微分積分が分かる人にとっては、l(n) が直線であることは明らかなんだけど。
じゃ、疲れたから私も寝る。
573: 2016/11/27(日)17:33 ID:C7ghjjL/(10/11) AAS
>>548
>>572
>ぶっちゃけ、数列や微分積分が分かる人にとっては、l(n) が直線であることは明らかなんだけど。
はいい過ぎで、間違いだったから取り消し。反例があった。
それじゃ、私は寝る。
574: 2016/11/27(日)17:58 ID:C7ghjjL/(11/11) AAS
>>548
>>568
>すると、各 C(n) n∈N に対して、数列空間 R^N の点 …(略)…
の部分は
>すると、各 C(n) n∈N に対して、C(n) と L(n) との交点 (n, s_n) s_n∈R
>を考えることにより、数列空間 R^N の点 …(略)…
に訂正。じゃ、本当に寝る。
575
(2): 2016/11/27(日)18:02 ID:VHnvKcoU(1/2) AAS
>>560
>仮定が現実離れしていては意味がない
現実離れしていると?
なら、類別不可能であることを容易に証明できるわけだな?
さあ、証明してみてくれ
できないなら、お前は只のホラ吹きだ
576: 2016/11/27(日)18:49 ID:lTB4w9cF(1) AAS
> 無限数列のしっぽでの同値類分類:数列のしっぽが一致すれば同値=つまりは、数列の最後の数が一致するかどうか
> 有限数列であれば、なんの問題もない。だが、可算無限個の箱に入った数列ではどうか?

>>498
2chスレ:math の補足になるが
a0=1, a1=1.4, a2=1.41, a3=1.414, a4=1.4142, ... , a(D-1), aD=√2, √2, √2, √2, ...
b0=1, b1=4, b2=1, b3=4, b4=2, ... , b(D-1), bD={√2の小数点以下n桁目}, b(D+1)={√2の小数点以下n+1桁目}, ...
a0=2, a1=2.7, a2=2.71, a3=2.718, a4=2.7182, ... , a(D-1), aD=e, e, e, e, ...
b0=2, b1=7, b2=1, b3=8, b4=2, ... , b(D-1), bD={eの小数点以下n桁目}, b(D+1)={eの小数点以下n+1桁目}, ...

時枝記事の極限(べったり版)の場合だとa0はある項以降が全て同じ数字になってaD=√2, √2, √2, √2, ... であり
ある項以降が全て√2であることを(√2)^*で表せばa0=1, a1=1.4, a2=(√2)^*やa0=1, a1=1.4, a2=1.41, a3=1.414, a4=(√2)^*と書ける
省11
577: 2016/11/27(日)19:18 ID:PIO+92bt(1) AAS
古典ガロア理論の基礎の部分をもっとていねいに説明した方がいいと思う。例えば、対象となってるのは文字を使った有理式で、その文字に値が定義されているもの、なんだよね。だから式として同じなのか、値として同じなのか、読み分ける必要がある。
578: 2016/11/27(日)20:03 ID:VHnvKcoU(2/2) AAS
読み分けできないアホは読まないでよろしい
579
(1): 2016/11/27(日)22:00 ID:jM5y5Pjg(1/2) AAS
>>565
R^Nはヒルベルト空間だぞアホか
580
(1): 2016/11/27(日)22:02 ID:jM5y5Pjg(2/2) AAS
Nは自然数表してるのか。だとl_2の場合だけか
581: 2016/11/28(月)16:57 ID:gwm0EUHA(1) AAS
そんなことおっしゃいましても、数学ガールの結城先生だって誤解するんだから、ちゃんと説明してほしかったです。
582
(2): 2016/11/29(火)15:20 ID:D1PsVsDV(1) AAS
結城?
あれはトウシロウなんだがw
583
(2): 2016/11/29(火)17:35 ID:GlCgAQ0n(1/4) AAS
>>566
おっちゃんです。
スレ主の問題視していた点が少しは分かった。
nを任意の2以上の自然数とする。任意のn進無限小数展開表示された実数を r_n とする。
r_n の小数点以下の各桁を表すのに用いられ相異なる高々n個の数字(或いはその代わりとなる記号)
を k_0(r_n), k_1(r_n), …, k_{n-1}(r_n) とする。r_n に対して集合 K(r_n) を
K(r_n)={k_0(r_n), k_1(r_n), …, k_{n-1}(r_n)}
と定義する。このとき、r_n の小数点以下に現れる K(r_n) の元がどのような頻度で分布しているか
をスレ主は問題視していたのだろう。いわゆる、実数 r_n をn進無限小数展開表示するときに使われれる
K(r_n) の元の無限列 k'_1(r_n), …, k'_m(r_n), … ( K'_1(r_n)∈K(r_n), ∀i∈N\{0})
省8
584
(4): 2016/11/29(火)17:41 ID:GlCgAQ0n(2/4) AAS
>>566
あと、
>さて、命題A:「Tran ∈ 超越数、 Algn ∈ 代数的数」→ 命題B:「Tran と Algnとは同じしっぽの同値類に属さない」 が言える
>∵無限少数展開のしっぽは一致しないから
>
>つまり、命題Aで、超越数や代数的数という情報を与えたから、命題Bが言えたのだ
>(ここが、ヴィタリ集合論と類似の議論(有理数、無理数という情報を与えてヴィタリ集合の存在を導く)だ)
>
>問題は、超越数や代数的数という情報が、与えられていないときに、命題Bが言えるのか?
>εはいくらでも小さく取れるから、頭からしっぽに近い部分まで、いくらでも一致させることはできる
省13
585
(1): 2016/11/29(火)18:05 ID:GlCgAQ0n(3/4) AAS
>>556
>それでもなお、人類はいまだどの一つの超越数さえ、無限小数展開のしっぽを具体的にしらない!
ちなみにこれは半分嘘で、チャンパーノウン数とかいう超越数を10新無限小数展開して表示したときは
規則性というか或る種の法則があって、0.12345678910111213141516… と、小数点以下の桁の数字は、
有限個の数字を用いて10進表示された1以上の自然数 1, 2, 3, … が小数点第一位以下から順番に、
単調増加するように並んでいる。
586
(1): 2016/11/29(火)18:27 ID:GlCgAQ0n(4/4) AAS
AA省
587: 2016/11/29(火)20:53 ID:X7ZuZkX1(1) AAS
たとえ、しろうとでも、読者にわかったつもりになってもらおうと、頑張ってるわけですから。
1-
あと 129 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.018s