[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
180: 2016/11/06(日)10:40 ID:nJxS0NAD(1/20) AAS
>>178
＞lim(n→∞) π''''n=a1. a2a3a4a5・・・an +e/10^n＝3.14159265358979… 37
このようなおかしな数列を「扱うか扱わないか」という話題と、
このようなおかしな数列が「Z^N の中で扱えるか」という話題とが
ごっちゃになってるな。
「扱うか扱わないか」で言えば、数列の空間を適切に構成すれば扱うことは可能。
ただし、Z^Nという空間の中に構成することはできない(理由は>>167そのもの)。
一方で、>>167がZ^Nにこだわっている理由は、スレ主が
＞なにが言いたいかというと、Z^NにおけるＮの集合の性質が、決定番号の集合Ｋに反映されるということ
＞だから、決定番号を暴れないように大人しく扱いたいと思ったら、その前の数列Z^Nを規制しないとうまく行かないよと
省8
185(1): 2016/11/06(日)10:55 ID:nJxS0NAD(2/20) AAS
>>182
補足もクソもない。そのようなおかしな数列は、R^N の中にも Z^N の中にも存在しえない
(扱うこと自体は可能だが、R^N や Z^N の中では扱えない)。
よって、そのようなおかしな数列が扱えるような適切な空間を構成するのが先。
スレ主はそこをすっ飛ばしているのでポエムにしかなってない。
＞だが、その定義では、最初の時枝記事で、箱が可算無限個あるとされる数列の中で、いったいどんな数列が生き残るのか？
N の元を添え字とする実数列(すなわちR^Nの元)が生き残り、
スレ主が提唱するおかしな数列だけが消滅する。
もともとおかしな数列であって単なるゴミだから、消滅しても全く問題ない。
193(1): 2016/11/06(日)11:46 ID:nJxS0NAD(3/20) AAS
>>189,191
何いってるんだこいつ。そこは
＞「"3.14159265358979… 37"の最後の"3","7"の添え字はNでは表せない」から、その数列は扱わない？？
＞そう定義するならそれもあり
＞だが、その定義では、最初の時枝記事で、箱が可算無限個あるとされる数列の中で、いったいどんな数列が生き残るのか？
これが話の前提であって、「スレ主が提唱するおかしな数列を扱わない場合には何が生き残るのか」
っていう話なんだから、生き残るのは R^N の数列だけだろ。
だって、そもそも扱わないという前提の話なんだから。
論文が何だって？お前、日本語が読めないのか？
194: 2016/11/06(日)11:50 ID:nJxS0NAD(4/20) AAS
「扱わない」という前提の話に対して「扱った場合」の結論を持ってくるアホｗ
何の反論にもなってないし、そもそも数学以前に日本語の問題ｗ
消滅定理が何だって？バカじゃねーの。
198(1): 2016/11/06(日)12:08 ID:nJxS0NAD(5/20) AAS
>>189,191
もしかしてこのバカは、
・「扱わない」という前提のもとでも「扱える」ことが帰着される
とでも言いたいのだろうか？
だとしたら矛盾が生じるから、スレ主は自滅する。
もし「扱える」ことが帰着されるのなら、最初から R^N の中で考えればいいのであり、
R^N で考えても「扱える」ことが帰着されることになる。
しかし、既に述べたように、R^N の中では「扱えない」ので矛盾する。
スレ主のおかしな数列を扱うには、スレ主自身が>>187で書いているように、
２つ添え字ijを使うなどして、R^Nから はみ出した別の空間を用意しなければならない。
省3
203(1): 2016/11/06(日)12:38 ID:nJxS0NAD(6/20) AAS
>>200
＞π＋e/10^n＝3 14159265358979…17 を表現する数列S(π＋e/10^n)=3 14159265358979…17
＞これも、明らかにR^ωの元 （上記に同じ）
eの方を2桁にしても無駄。これはR^ωの元にならないよ。
なぜなら、「3 14159265358979…17」における末尾の「17」は、
"無限桁目" とでも表現すべき桁にしか出現しえないから。
そのようなシロモノはR^ωの元にならない。
206(1): 2016/11/06(日)12:42 ID:nJxS0NAD(7/20) AAS
>>204
＞すべて、R^ωの中だ
間違っている。「3 14159265358979…17」における末尾の「17」は、
"無限桁目" とでも表現すべき桁にしか出現しえないので、
R^ωの元にならない。
208(1): 2016/11/06(日)12:45 ID:nJxS0NAD(8/20) AAS
>>205
バーーカ。
普通の10進法展開で普通にπを無限小数展開すると
π＝3 14159265358979…
となり、これに対応する R^N の中の数列を x とすると、これは
x_1＝3, x_2＝1, x_3＝4, x_4＝1, …
などとなり、R^N の中で扱える。一方で、お前が考える
「3 14159265358979…17」を R^N の中の数列として表現しようとすると、
それを y とでも置けば
省3
211(1): 2016/11/06(日)12:54 ID:nJxS0NAD(9/20) AAS
>>210
だからさあ、「3 14159265358979…17」という数列が R^N の元だと
言い張るのなら、具体的にこれを y∈R^N の表記で記述してみろよ。
y_1＝3, y_2＝1, y_3＝4, y_4＝1, …
こうなるしかないんだから、末尾の「17」を表現する y_i が i∈N の範囲では存在しないだろ。
お前の考える 「3 14159265358979…17」は R^N の中では存在し得ないんだよ。
もしかしてお前、
・ π ∈ R
・ (πの10進法展開に対応する数列) ∈ R^N
の2種類を混同してるんじゃないだろうな？
省2
213(1): 2016/11/06(日)12:57 ID:nJxS0NAD(10/20) AAS
>>210
＞πがR^N の中で扱える
＞その通り
＞同じ理由で、3 14159265358979…17 もR^N の中で扱える
＞だって、lim(n→∞) しか使ってないから
やっぱりお前、
R における極限値の意味での π ∈ R と、
(πの10進法展開に対応する数列) ∈ R^N とを
混同してるんじゃないのか？
ある数列が R^N の元であるか否かは、N から R への写像によって
省6
217(1): 2016/11/06(日)13:02 ID:nJxS0NAD(11/20) AAS
>>214-215
何いってるんだこいつ。
都合が悪いんじゃなくて、R^N の定義に照らし合わせると
3 14159265358979…17 ∈ R^N
が「成 り 立 た な い」と言ってるんだよ。もし
3 14159265358979…17 ∈ R^N
が成り立つと言い張るのなら、末尾の「17」を表現する y_i の「i」は
一体いくつなんだよ。i＝∞ とでも表現するしかないだろ。
そのような i は i∈N を満たしてないんだから、
3 14159265358979…17 ∈ R^N は成り立たないだろ。
省4
223(1): 2016/11/06(日)13:09 ID:nJxS0NAD(12/20) AAS
>>220
同値類は R^N の中で普通に定義可能だろｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
過去スレに何度も「〜」という記号で具体的な定義つきで貼られてただろｗｗｗｗｗｗｗｗｗｗｗ
お前も最初はヘンな数列を持ち出さずに R^N の中で普通に議論してただろｗｗｗｗｗｗｗｗｗｗｗ
227(2): 2016/11/06(日)13:19 ID:nJxS0NAD(13/20) AAS
>>225
以下の3行は、過去スレから拾ってきたものである。
＞実数列の集合 R^Nを考える.
＞s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう
＞(いわばコーシーのべったり版).
ほらね、R^N の中だけで普通に同値類が定義できてるじゃん。
これでスレ主は完全に論破された。
・ R^N の中だけで普通に同値類は定義できる。
・ 3 14159265358979…17 ∈ R^N は成り立たない。どの理屈を採用するかではなく、これは完全に成り立たない。
232(1): 2016/11/06(日)13:27 ID:nJxS0NAD(14/20) AAS
>>228
「 R^N の中だけで普通に同値類が定義できる」という話をしているのに、
「そこでは位相が定義されていない」という返答では意味が通らない。
まさか、同値類を定義するのに位相が不可欠だと勘違いしているのか？
同値類を定義するのに位相は全く必要ないよ。
だから、お前のレスは何の反論にもなってない。
240: 2016/11/06(日)13:42 ID:nJxS0NAD(15/20) AAS
>>235
お前は >>229 において、>>227 に対しても同一の >>228 を押してきただろ。
しかし、>228 は >227 に対する反論になってない、と言っているのだ。
なぜなら、>227 は「 R^N の中だけで普通に同値類が定義できる」という話であり、
一方で >228 は「そこでは位相が定義されていない」という返答だからだ。
これでは意味が通らない。
もう一度言うが、同値類を定義するのに位相は全く必要ない。
そして、>>227 において、R^N の中だけで普通に同値類が定義できている。
この明確な事実に対して、お前は何にも反論できてない。
243: 2016/11/06(日)13:47 ID:nJxS0NAD(16/20) AAS
>>233
＞３）無限数列のしっぽで同値類を分類するなど、従来の数学には無かったわけで、これを本当に扱えるかどうか
＞ lim(n→∞)の極限を考えている限り、コーシー列ならlim(n→∞) e/10^n→0で収束するが、しっぽの同値類では収束しないよ
従来から存在する普通の数学である。
また、R^N の中に lim(n→∞) の話は出てこない。
スレ主は、10進法展開 0.x_1x_2x_3…∈R を数列(x_1,x_2,x_3,…)∈R^N に対応させるところで
R と R^N を混同している。10進法展開 0.x_1x_2x_3… には R の位相が必要だが、
数列(x_1,x_2,x_3,…) に R^N の位相は全く必要ないのだ。
にも関わらず、なぜかスレ主は「 R^N にも位相が必要で、位相がなければ同値類すら定義できない」
と勘違いしている。
244(1): 2016/11/06(日)13:49 ID:nJxS0NAD(17/20) AAS
>>242
＞で、>>200だよ
その >>200 には間違った主張が含まれている。>>200 では
3 14159265358979…17 ∈ R^N が成り立つ
と言っているが、これは成り立たない。
どの理屈を採用するかではなく、これは完全に成り立たない。
都合がいいとか悪いとかではなく、数学的な事実として、
これは成り立たない。スレ主が間違えている。
250: 2016/11/06(日)13:54 ID:nJxS0NAD(18/20) AAS
>>233
＞２）しっぽでの分類と決定番号を考えると、単純に考えて、z ＝ 3.14159265358979…2718281828459… のようなキマイラ数列の扱いに困ることになる
＞ （可算無限個という単純な規定だけでは不十分で、キマイラ数列を排除する規定を加えないといけないよ）
R^N の中で考えれば全く困らない。
なぜなら、R^N の中にキマイラ数列は全く存在しないからだ。
もちろん、R^N の中で同値類を定義することは普通に可能だし、
そのときに位相は全く必要ない。時枝の記事は R^N の中で
普通に完結している話であり、キマイラ数列などという
ゴミを持ち出す必要性がない。
勘違いのないように補足しておくと、キマイラ数列が存在しない、
省6
251: 2016/11/06(日)13:56 ID:nJxS0NAD(19/20) AAS
>>247
3 14159265358979…17 ∈ R^N が成り立つと仮定する。
具体的に y∈R^N による表記で記述してみる。とりあえずは
y_1＝3, y_2＝1, y_3＝4, y_4＝1, …
と記述できる。では、末尾の「17」は、一体どの y_i で出現するのか？
明らかに、i∈N の範囲では「17」は出現しない。
しかし、y の添え字は N の元のみである。
よって、この y は
y ＝ 3 14159265358979…
しか表現できておらず、末尾の「17」を表現する手段が存在しない。よって、
省2
255: 2016/11/06(日)14:14 ID:nJxS0NAD(20/20) AAS
結局スレ主は、時枝の記事が R^N の中だけで完結されてしまうと困るんだろうな。
なぜなら、R^N の中には "キマイラ数列" が存在せず、スレ主が提唱するキマイラ数列の
出番がなくなるからだ。
我々の認識としては、
・ 時枝の記事は R^N の中だけで完結している。
・ キマイラ数列を提唱して時枝の記事を再考察したいなら勝手にどうぞ(バカじゃねーの)
という感じだが、これだとスレ主としては、
ハシゴを外された形になって気に食わないのだろう。だから、
・ R^N の中にもキマイラ数列は存在しており、キマイラ数列は時枝の記事に不可欠だ
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s