[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
51(8): 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)18:48 ID:S5Jl1CaY(37/44) AAS
>>46はプロ固定のageおじさん、>>50はTさんかな？
どっちも、カントールとヒルベルトの無限ホテル勉強してね
別におれが新しい無限集合の理論を作る気は無いからね。既存の集合論のテキストを勉強したら分かる話だ(いわゆる普通にある無限のパラドックスだよ（＝不思議だがそれが可算無限）)
１．モノイドの文字の連接に関する演算は、時枝問題とは別に、厳然と数学の理論がある。これは、時枝問題と無関係だ。だからR^Nなどの制約は受けない。これをはっきり宣言しておく
２．さてまず、カントールの有理数の可算無限の濃度証明（特に有理数について）を見て下さい（既知と思うが・・・）
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
yamineko20032003さん 2009/8/11
省10
52(6): 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)18:50 ID:S5Jl1CaY(38/44) AAS
>>51 つづき
さて、上記を踏まえて
１．当然現代数学は、無限集合を扱う。２項演算の対象も無限集合であっていい。例えば、集合Xと集合Yの和X∪Yは普通に定義される
２．二つの集合
X＝{x_1＝3, x_2＝1, x_3＝4, x_4＝1, x_5＝5, x_6＝9, x_7＝2, x_8＝6, x_9＝5, x_10＝3, x_11＝5, x_12＝9,・・・}
Y＝{y_1＝2, y_2＝7, y_3＝1, y_4＝8, y_5＝2, y_6＝8, y_7＝1, y_8＝8, y_9＝2, y_10＝8, y_11＝4, y_12＝6,・・・}
Z＝X∪Yとでもしようか？ （ここで、x_7＝2とy_9＝2となどは、区別して統合しないものとする）
省16
59(1): 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)19:54 ID:S5Jl1CaY(41/44) AAS
>>55
Tさん、モノイドもっと勉強してよ
>文字列の「連接」の定義としては不完全
文字列の「連接」の定義は、おれが定義するんじゃなくて、もうすでに世の中に存在するよ
それが、>>51の１項”モノイドの文字の連接に関する演算は、時枝問題とは別に、厳然と数学の理論がある。これは、時枝問題と無関係だ。だからR^Nなどの制約は受けない。これをはっきり宣言しておく”だよ。
単なるあなたの勉強不足
>(a＊b)＊c と a＊(b＊c) が全く違う番号づけになってしまい
省9
62(7): 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)20:09 ID:S5Jl1CaY(42/44) AAS
いいかい
>>52-53で示したこと、なにも新しい理論ではない
単に世間にあるモノイドの文字の連接が、可算無限数列においても可能だということを示しただけ
それも、わざわざ示すほどでもない、自明かつトリビアな話だ
「eの整数部分は小数第何位にくるんだ」というから、こう考えられると一つの可能性を示しただけ
ところで、>>51で引用した２項のカントールの可算無限集合論によれば、Nから（N,N）への全単射が存在する
だから、番号付けを、
省4
107(1): 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)10:38 ID:DzICE8Th(4/47) AAS
>>64
>＞単に世間にあるモノイドの文字の連接が、可算無限数列においても可能だということを示しただけ
>そのような連接が可能であることは俺も分かっている。
>しかし、君のやり方では不完全であり、かつ間違っており、
えーと、>>51-54だったね.
２つ添え字ijを使う頻出テクを使って書き直すよ
>>51の修正
省10
116(3): 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)10:54 ID:DzICE8Th(13/47) AAS
つづき
ところで、そもそも
時枝問題は、「箱がたくさん，可算無限個ある」から出発している
つまり、デデキント無限（下記）を前提として、可算無限個の箱を、可算無限個の１００列を形成することができるとしている
だから、途中の「R^N」を自分勝手に都合よく引用して、数列が有限の長さと主張することはおかしいだろうよ
外部ﾘﾝｸ:ja.wikipedia.org
デデキント無限
省12
117(2): 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)11:02 ID:DzICE8Th(14/47) AAS
つづき
繰り返すが、
１．出発点は、「箱が可算無限個ある」だ
２．そして、「閉じた箱を100列に並べる」だ。箱が可算無限個だったから、各100列も可算無限個。
３．だから、各100列の可算無限個の数列に対する同値類もまた、可算無限個からなる数列の同値類であるべき。
４．単純に、考えれば、キマイラ数列（上記の例 lim(n→∞) π'n=3.14159265358979… 2718281828459… ）が紛れ込む
５．それを数学的に排除するなら、可算無限個の数列の同値類をどう定義するのか？ もともとは、”まったく自由”とかいって、制約なしだっただろ？
省12
149(5): 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)20:58 ID:DzICE8Th(39/47) AAS
>>143
R^NのＮの定義と決定番号の集合をどう考えるか？
その定義と、無限定な時枝記事の「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.」>>114
「問題に戻り，閉じた箱を100列に並べる.」>>115
との整合性が求められる
これは、>>135に書いたように、N→100×Nと100×N→Nと両方可能だろうと
この文脈でR^NのＮの定義と決定番号の集合をどう考えるか？
省16
266(4): 現代数学の系譜11 ガロア理論を読む 2016/11/12(土)07:11 ID:CRbt3jrT(4/14) AAS
>>265 つづき
６）あきらかに、可算無限における”ヒルベルトの無限ホテル”>>51や”デデキント無限”>>116 の性質を使っている
７）さて、数列のしっぽによる同値類で、有限数列なら、最後の数Ａnが異なれば、つまりＡn≠Ａ'nなら、同じ同値類に属さない。極限 lim n→ ∞ を考えれば、可算無限数列に拡張できる
８）時枝記事の可算無限個ある箱から、先に３つ取っておく。名前を付ける。X,Y,Zと。
９）数列の先頭に、X 後ろにYZを置く。その間に順次残りの箱を入れて行く（数学的帰納法）。X ・・・YZという数列ができる。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s