現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次 1-新

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

192(2): 現代数学の系譜11 ガロア理論を読む 2016/11/06(日)11:44 ID:ivLdkhn2(16/43) AAS
>>188

>・それはR^ωの元ではない。R^(ω2)の元です。
>・ωとω2は濃度としては可算無限で等しいですが、集合としては異なるものです。

話は逆で、R^ωの元から、R^(ω100)の元を作るのが、時枝記事だよ

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
「扱わない」という前提の話に対して「扱った場合」の結論を持ってくるアホｗ
何の反論にもなってないし、そもそも数学以前に日本語の問題ｗ
消滅定理が何だって？バカじゃねーの。

195(2): 2016/11/06(日)11:57 ID:HFEBVKW8(4/9) AAS
>>187
全く分かってないようなので具体的に教えてやろう

まず
3.14159265358979… 2718281828459…
なるものが未定義（これが定義できないというのがそもそもの問題）
にもかかわらずお前は
＞ここで、数列 2718281828459…をπ＝ xの後ろに連結すると
＞z ＝ 3.14159265358979…2718281828459…
などと訳の分からないことを言っている

そして仮に
省4

196(1): 2016/11/06(日)11:59 ID:0YhMgXeu(3/9) AAS
>>192
> 話は逆で、R^ωの元から、R^(ω100)の元を作るのが、時枝記事だよ

あのさぁ。

［時枝の話］
R^ωの元から100個のR^ωを作り、その100個のR^ωを扱う。

［スレ主の話］
R^ωの元から1個のR^(ω100）を作り、1個のR^(ω100）を扱う。

この二つが違うことくらい分かるでしょう？
省2

197(1): 2016/11/06(日)12:04 ID:6UoZYVsS(2/7) AAS
>>189
スレ主の使ってるSという関数は実数xに対してその10進数無限小数展開を対応させているものだ
nが自然数であるときπとe/10^nは実数として足すことができる。その演算結果を3.14 a_4 a_5 ...とすると
S(π+e/10^n)=3.14… a_4 a_5 …であって
3.14…37ではない
またスレ主はπの10進数小数展開において小数第n-1位で区切ったものをπ_nとしてS(π+e/10^n)=3.14…(n-3個の数字) 37とした。
これ自体は正しいがここから安易にlimというものを考えるには注意が必要となる
単なる10進表記として見る場合3.14…(n-3個の数字) 37のn→∞の極限は3.14…となりπそのものである
しかし3.14…(n-3個の数字) 37を単なる文字列として見た場合はそのn→∞の極限というのはまだ考えられていない
一つの解決策はn+2におけるnをωに取り替えてω+2と思うことだが、こうすると10進表記という元々の意味合いが失われる
省1

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

199(1): 2016/11/06(日)12:18 ID:0YhMgXeu(4/9) AAS
>>82で言ったとおり、

・自覚がないが悪意もない馬鹿（＝誤答おじさん）はマシ。

・非誠実で悪意のある馬鹿（＝スレ主）は最悪。

このスレ主の場合、単なる馬鹿ではなく、
スレを伸ばすために役者を演っている可能性もある。

いずれにせよ数学板で論理を解さない人間がデカイ顔をすると
どうにも始末に負えないという典型例。
省2

200(8): 現代数学の系譜11 ガロア理論を読む 2016/11/06(日)12:32 ID:ivLdkhn2(17/43) AAS
>>192 追加

>>188
>・それはR^ωの元ではない。R^(ω2)の元です。

そうそう、>>160と>>189に書いたが、e＝ 2.718281828459…の桁数を落として、２桁にした
だから、このモデルではR^(ω2)の元ではない。R^ωの元になるよ

lim(n→∞) で >>160のように
π＋e/10^n＝3 14159265358979…37 を表現する数列S(π＋e/10^n)=3 14159265358979…37
これは、明らかにR^ωの元（エクセルのround関数による定義は>>182で説明の通り）

e＝ 1.7に変更とすると
π＋e/10^n＝3 14159265358979…17 を表現する数列S(π＋e/10^n)=3 14159265358979…17
省9

201: 現代数学の系譜11 ガロア理論を読む 2016/11/06(日)12:33 ID:ivLdkhn2(18/43) AAS
>>195
上げるなって、プロ固定！

202(1): 現代数学の系譜11 ガロア理論を読む 2016/11/06(日)12:37 ID:ivLdkhn2(19/43) AAS
>>195
混乱している
普通に我々が実数をコーシー列で考えている場合は、自然にユークリッド距離が入る
ユークリッド距離を前提として
3.14159265358979… 2718281828459…はπに収束するよ

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^ωの元にならない。

204(2): 現代数学の系譜11 ガロア理論を読む 2016/11/06(日)12:39 ID:ivLdkhn2(20/43) AAS
>>196
じゃ、>>200はどうだ
すべて、R^ωの中だ

205(3): 現代数学の系譜11 ガロア理論を読む 2016/11/06(日)12:42 ID:ivLdkhn2(21/43) AAS
>>203
それは、極限lim(n→∞) を考えないという意味？
意味不明だね

円周率πを表現する数列は？
極限lim(n→∞) を考えない？

極限lim(n→∞) を考えないで
円周率πを表現する数列に関する同値類分類をどうやって実現するんだ？

206(1): 2016/11/06(日)12:42 ID:nJxS0NAD(7/20) AAS
>>204
＞すべて、R^ωの中だ
間違っている。「3 14159265358979…17」における末尾の「17」は、
"無限桁目" とでも表現すべき桁にしか出現しえないので、
R^ωの元にならない。

207: 現代数学の系譜11 ガロア理論を読む 2016/11/06(日)12:45 ID:ivLdkhn2(22/43) AAS
>>198
いみ分からん
話が哲学すぎて
論文書いてきくれ
100年待っている

追伸
>>200で、すべてR^Nに収まるモデルを作ったよ
なお>>205も見てね

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

209: 現代数学の系譜11 ガロア理論を読む 2016/11/06(日)12:46 ID:ivLdkhn2(23/43) AAS
>>206
つー、>>205

210(3): 現代数学の系譜11 ガロア理論を読む 2016/11/06(日)12:51 ID:ivLdkhn2(24/43) AAS
>>208

ふーん、>>182で書いた、エクセルのround関数を使った式がわからんと？

lim(n→∞)
π''''n=round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1) +e/10^n （単純な二つの式の和であることにご注意。ここにe＝ 3.7 ）　>>182

πがR^N の中で扱える
その通り
同じ理由で、3 14159265358979…17 もR^N の中で扱える

だって、lim(n→∞) しか使ってないから

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

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

あと 505 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.020s