[過去ログ]
現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716レス)
現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1477804000/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
47: 132人目の素数さん [sage] 2016/10/30(日) 16:26:47.93 ID:KmB4VI1E >>43 >1.R^Nの制約を外したらどうだ? >2.そもそもの問題の仮定 ”箱がたくさん,可算無限個ある”は、R^Nに含まれるのか? 時枝記事では、R^N と同一視するのが標準的な定式化の方法である。 それ以外の、非標準的な方法で「可算無限個の箱」というものを定式化したいのなら、 それは ID:S5Jl1CaY 本人が自発的に提唱すべきことであり、他人に質問するようなことではない。 君は「可算無限個の箱」というものをどのように定式化したいのだね? それは他人に聞くことではなくて、君自身が自発的に発信すべきことだろう? http://rio2016.5ch.net/test/read.cgi/math/1477804000/47
48: 132人目の素数さん [sage] 2016/10/30(日) 16:31:22.18 ID:KmB4VI1E ちなみに、俺は R^N もしくは [0, 9]^N のままでいいと思っている。 もちろん、それでは π*e を自然に定義することが不可能になってしまうわけだが(>>40, >>42)、 そもそも π*e などという頭の悪い概念を定義する必要性が全くないので、 俺にとっては R^N もしくは [0, 9]^N のままでも何の問題もないのである。 しかし、ID:S5Jl1CaY にとっては非常に問題がある。 なぜなら、π*e を持ち出したのは君自身だからだ。 π*e を自然に定義するためには、R^N もしくは [0, 9]^N のままでは 非常にマズイのである(あくまでも、君にとっては)。 では、そんな君に対して質問をする。 君は、「可算無限個の箱」というものをどのように定式化したいのだね? π*e の定義が上手く行くような定式化とは、どのようなものなんだ? それは他人に聞くことではなくて、君自身が自発的に解決すべき、君自身の課題だろう? π*e を持ち出したのは君自身なんだからね。 http://rio2016.5ch.net/test/read.cgi/math/1477804000/48
49: 132人目の素数さん [sage] 2016/10/30(日) 17:32:44.90 ID:GFHnwp1M √2もπも小数第n位の数は?と問えばその値は確かに定まる π*eなる文字列のn番目の文字にeの数字が来ることはあるの? http://rio2016.5ch.net/test/read.cgi/math/1477804000/49
50: 132人目の素数さん [sage] 2016/10/30(日) 18:37:49.14 ID:KmB4VI1E >>49 eの数字が来ることはない。>>40,>>42で既に指摘済み。 しかし、それでは ID:S5Jl1CaY 本人が困るので、 R^N 以外の非標準的な方法で「可算無限個の箱」というものを 定式化しなければならない。 もちろん、我々には定式化の義務はない。 π*e なる概念を言い出したのは ID:S5Jl1CaY だけだから、 困っているのは ID:S5Jl1CaY だけであり、 その問題を解決すべきなのも ID:S5Jl1CaY 本人だけ。 要するにこいつは自爆してるわけだ。 http://rio2016.5ch.net/test/read.cgi/math/1477804000/50
51: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 18:48:34.20 ID:S5Jl1CaY >>46はプロ固定のageおじさん、>>50はTさんかな? どっちも、カントールとヒルベルトの無限ホテル勉強してね 別におれが新しい無限集合の理論を作る気は無いからね。既存の集合論のテキストを勉強したら分かる話だ(いわゆる普通にある無限のパラドックスだよ(=不思議だがそれが可算無限)) 1.モノイドの文字の連接に関する演算は、時枝問題とは別に、厳然と数学の理論がある。これは、時枝問題と無関係だ。だからR^Nなどの制約は受けない。これをはっきり宣言しておく 2.さてまず、カントールの有理数の可算無限の濃度証明(特に有理数について)を見て下さい(既知と思うが・・・) http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1229311902 yamineko20032003さん 2009/8/11 次の集合が可算であることを示せ。(1) 整数(2) 有理数(3) x-y平面上の有理点 ベストアンサーに選ばれた回答 mamanii32さん 2009/8/11 (略) http://www.math.chs.nihon-u.ac.jp/~ichihara/Labo/Notes/2011/3rd/0519.pdf 可算無限集合 平原 健太 日大 平成23 年6 月9 日 (抜粋) 定理1.9 証明すべきことは、正の有理数の集合Q+が可算無限集合 3.次にヒルベルトの無限ホテル https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88%E3%81%AE%E7%84%A1%E9%99%90%E3%83%9B%E3%83%86%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 ヒルベルトの無限ホテルのパラドックス (抜粋) 例えば、1号室の客を2号室へ、2号室の客を4号室へ、3号室の客を6号室へ、…、n 号室の客を 2n 号室へ、…と移せば、1号室、3号室、5号室、…つまり奇数号室は空室になるから、無限の客を新たに泊めることができる。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1477804000/51
52: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 18:50:45.53 ID:S5Jl1CaY >>51 つづき さて、上記を踏まえて 1.当然現代数学は、無限集合を扱う。2項演算の対象も無限集合であっていい。例えば、集合Xと集合Yの和X∪Yは普通に定義される 2.二つの集合 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となどは、区別して統合しないものとする) 3.集合Zの元をどう並べるかだけの話でしょ? それを連結と考える Z={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_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,・・・} でなんの不都合もない 4.ならべ変えると Z={x_1=3, y_1=2,x_2=1, y_2=7,x_3=4, y_3=1,x_4=1, y_4=8,x_5=5,y_5=2, x_6=9,y_6=8, x_7=2,y_7=1, x_8=6y_8=8, x_9=5,,y_9=2, x_10=3, y_10=8,x_11=5,y_11=4, x_12=9, y_12=6,・・・・・・} 5.ところで、奇数列と偶数列とを利用すれば、下記にできる Z'={z_1=3, z_3=1, z_5=4, z_7=1, z_9=5, z_11=9, z_13=2, z_15=6, z_17=5, z_19=3, z_21=5, z_23=9,・・・ z_2=2, z_4=7, z_6=1, z_8=8, z_10=2, z_12=8, z_14=1, z_16=8, z_18=2, z_20=8, z_22=4, z_24=6,・・・} 6.Z'→X'∪Y'とみて二つの集合に分ける X'={z_1=3, z_3=1, z_5=4, z_7=1, z_9=5, z_11=9, z_13=2, z_15=6, z_17=5, z_19=3, z_21=5, z_23=9,・・・} Y'={z_2=2, z_4=7, z_6=1, z_8=8, z_10=2, z_12=8, z_14=1, z_16=8, z_18=2, z_20=8, z_22=4, z_24=6,・・・} 7.番号をつけ直して 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,・・・} つづく http://rio2016.5ch.net/test/read.cgi/math/1477804000/52
53: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 18:51:42.99 ID:S5Jl1CaY >>52 つづき 8.これら操作は、ZFCの中で可能ということは認めて貰うとして、二つの集合X'=X、Y'=Y も(集合として合同)認めていいだろう。 そこで、y_1=2の動きについて見ると、y_1=2→ z_2=2→ y'_1=2と変わったわけだ。それが、数学理論で禁止されているわけでも、数学理論に矛盾するわけでもない むしろ、カントールの有理数の可算無限の濃度証明や、ヒルベルトの無限ホテルでの操作の範疇だ こで分からなければ、カントールとヒルベルトの無限ホテルをじっくり勉強してくれ。大学の集合論で役に立つよ http://rio2016.5ch.net/test/read.cgi/math/1477804000/53
54: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 18:54:55.16 ID:S5Jl1CaY >>53 訂正 こで分からなければ、カントールとヒルベルトの無限ホテルをじっくり勉強してくれ。大学の集合論で役に立つよ ↓ これで分からなければ、カントールとヒルベルトの無限ホテルをじっくり勉強してくれ。大学の集合論で役に立つよ http://rio2016.5ch.net/test/read.cgi/math/1477804000/54
55: 132人目の素数さん [sage] 2016/10/30(日) 19:28:45.74 ID:KmB4VI1E >>52 >Z={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_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,・・・} >でなんの不都合もない 不都合ありまくり。その定式化の場合、π*e と e*π が同じ集合で 表されることになり、π*e = e*π と解釈されてしまうので、 文字列の「連接」の定義としては不完全ww >5.ところで、奇数列と偶数列とを利用すれば、下記にできる >Z'={z_1=3, z_3=1, z_5=4, z_7=1, z_9=5, z_11=9, z_13=2, z_15=6, z_17=5, z_19=3, z_21=5, z_23=9,・・・ > z_2=2, z_4=7, z_6=1, z_8=8, z_10=2, z_12=8, z_14=1, z_16=8, z_18=2, z_20=8, z_22=4, z_24=6,・・・} これはもっとダメ。奇数列と偶数列を利用する場合、 (a*b)*c と a*(b*c) が全く違う番号づけになってしまい、 Z' という集合で考えてもイコールにならず、結果として (a*b)*c = a*(b*c) が全く成り立たなくなるので、 モノイドが満たすべき性質を持っていないwww http://rio2016.5ch.net/test/read.cgi/math/1477804000/55
56: 132人目の素数さん [sage] 2016/10/30(日) 19:31:10.50 ID:TR/wtniI スレ主は集合も分かってないことが判明 http://rio2016.5ch.net/test/read.cgi/math/1477804000/56
57: 132人目の素数さん [] 2016/10/30(日) 19:39:48.03 ID:AAheDI1u 高校生に笑われるぞスレ主 お前は中学からやり直しだ http://rio2016.5ch.net/test/read.cgi/math/1477804000/57
58: 132人目の素数さん [sage] 2016/10/30(日) 19:45:03.28 ID:h3zoFqvH スレ主がアホ過ぎてみてられんわ http://rio2016.5ch.net/test/read.cgi/math/1477804000/58
59: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 19:54:37.15 ID:S5Jl1CaY >>55 Tさん、モノイドもっと勉強してよ >文字列の「連接」の定義としては不完全 文字列の「連接」の定義は、おれが定義するんじゃなくて、もうすでに世の中に存在するよ それが、>>51の1項”モノイドの文字の連接に関する演算は、時枝問題とは別に、厳然と数学の理論がある。これは、時枝問題と無関係だ。だからR^Nなどの制約は受けない。これをはっきり宣言しておく”だよ。 単なるあなたの勉強不足 >(a*b)*c と a*(b*c) が全く違う番号づけになってしまい それは単に途中経過だけの話でしょ 最終的には、番号づけは外すよ そもそも、自由モノイドでは番号付けはない単なる文字列だからね 但し、「eの整数部分は小数第何位にくるんだ」>>6などというから、別にそんなことで、上記数学で世間で定義されているモノイドの連接の定義は揺るぎもしないけど 一つの可能性として、こう考えられるとしたわけだ(なお、可能性は一つで十分だよ) 繰り返すが、番号付けができないから、モノイドの連接ができないなんて話は、数学じゃないよ そもそも、番号付けなんて、時枝記事の決定番号から来ている個別の事情でさ、モノイド理論と無関係だよ 繰り返すが、”モノイドの文字の連接に関する演算は、時枝問題とは別に、厳然と数学の理論がある” 番号付けとや時枝の決定番号とは無関係 Tさん、モノイドもっと勉強してよ http://rio2016.5ch.net/test/read.cgi/math/1477804000/59
60: 132人目の素数さん [] 2016/10/30(日) 20:02:01.70 ID:AAheDI1u お前はモノイド以前なんだよ、わからんか? わからんならさっさと中一の教科書買ってこい http://rio2016.5ch.net/test/read.cgi/math/1477804000/60
61: 132人目の素数さん [sage] 2016/10/30(日) 20:06:40.30 ID:h3zoFqvH 調子のいい男だな。 決定番号が無限大になる例として連結を持ち出したのは自分だろう。 http://rio2016.5ch.net/test/read.cgi/math/1477804000/61
62: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 20:09:54.43 ID:S5Jl1CaY いいかい >>52-53で示したこと、なにも新しい理論ではない 単に世間にあるモノイドの文字の連接が、可算無限数列においても可能だということを示しただけ それも、わざわざ示すほどでもない、自明かつトリビアな話だ 「eの整数部分は小数第何位にくるんだ」というから、こう考えられると一つの可能性を示しただけ ところで、>>51で引用した2項のカントールの可算無限集合論によれば、Nから(N,N)への全単射が存在する だから、番号付けを、 集合Xについては、(1,1),(1,2),・・・・(1,n),・・・ 集合Xについては、(2,1),(2,2),・・・・(2,n),・・・ とでも2次元の添え字を使えば、そういうやり方もある。2つ添え字ijを使うなど、大学数学では頻出テクでありまして 「eの整数部分は小数第何位にくるんだ」と悩む話でもないでしょ、大学数学では http://rio2016.5ch.net/test/read.cgi/math/1477804000/62
63: 132人目の素数さん [sage] 2016/10/30(日) 20:12:19.56 ID:KmB4VI1E >>59 >文字列の「連接」の定義は、おれが定義するんじゃなくて、もうすでに世の中に存在するよ そのような、世の中に既に存在する文字列の「連接」の定義において、 a*b=b*a は一般的には成り立たないのだよ。 しかし、君の定義では常に a*b=b*a になってしまうので、 連接の定義としては不完全なんだよ。 >それは単に途中経過だけの話でしょ >最終的には、番号づけは外すよ それもアウト。番号づけの外し方は統一的にしなければならない。 すると、a*(b*c) の番号づけで Z' を得たあとに a,b,c を復元すると、 もともとの a,b,c が復元されなくなるwww このような現象は結局のところ、 >(a*b)*c と a*(b*c) が全く違う番号づけになってしまい、 という性質が原因で起こる。つまり、奇数列と偶数列のやり方は 根本的に採用不可能なんだよ。 http://rio2016.5ch.net/test/read.cgi/math/1477804000/63
64: 132人目の素数さん [sage] 2016/10/30(日) 20:17:20.32 ID:KmB4VI1E >>62 >単に世間にあるモノイドの文字の連接が、可算無限数列においても可能だということを示しただけ そのような連接が可能であることは俺も分かっている。 しかし、君のやり方では不完全であり、かつ間違っており、 ちっとも可能であることが示されていない、ということを 俺は指摘しているだけ。 そもそも、モノイドを構成するのにカントールの話が出てくること自体がおかしい。 カントールの話は、集合の濃度だけを問題にしているので、 それらの集合がどのような構造を備えているかは無視される。 一方で、モノイドを定義しようと思ったら、モノイドが満たすべき 代数的な性質がきちんと再現できるように、うまい定義を模索しなければならない。 カントール的な考え方で安易に番号づけをしても、モノイドの構造は再現できない。 実際に君は失敗している。特にマズイのは奇数列と偶数列のやり方。 これは根本的にアウト。 http://rio2016.5ch.net/test/read.cgi/math/1477804000/64
65: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 20:17:52.99 ID:S5Jl1CaY >>62 訂正 集合Xについては、(2,1),(2,2),・・・・(2,n),・・・ ↓ 集合Yについては、(2,1),(2,2),・・・・(2,n),・・・ http://rio2016.5ch.net/test/read.cgi/math/1477804000/65
66: 132人目の素数さん [sage] 2016/10/30(日) 20:37:52.51 ID:h3zoFqvH あの単純なモノイドの定義をここまで分かってないのもスゴい http://rio2016.5ch.net/test/read.cgi/math/1477804000/66
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 650 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.013s