[過去ログ]
現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716レス)
現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1477804000/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
33: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 15:34:13.61 ID:S5Jl1CaY 結局、質問に答えても分からんだろうし、そもそも小学生の学力レベルにどう答えろと? どう答えても、理解のレベル超えているだろ? (^^ http://rio2016.5ch.net/test/read.cgi/math/1477804000/33
34: 132人目の素数さん [] 2016/10/30(日) 15:35:49.25 ID:AAheDI1u 答えてみ? できるならw http://rio2016.5ch.net/test/read.cgi/math/1477804000/34
35: 132人目の素数さん [] 2016/10/30(日) 15:37:22.03 ID:AAheDI1u みんなお前のギャグを待ってるんだから早く答えろw http://rio2016.5ch.net/test/read.cgi/math/1477804000/35
36: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 15:41:16.34 ID:S5Jl1CaY https://www.jstage.jst.go.jp/article/sugaku1947/36/2/36_2_179/_pdf 書評 竹内外史:直観主義的集合論 (倉田令二朗) Vol. 36 (1984) No. 2 (抜粋) 直観主義化=位相化=層化.cHaのもっとも典型的な, もっとも重要な例は位相空間Xの開集合の全体0(X)の 作るcHaである.古典的なVが集合を基礎とした所に 位相がとって変る,V(Ω)はVの位相化といえる.とこ ろで現代数学の轡つの指標が位相化にあるとすれば直観 主義的数学は数理論理学と現代数学が交叉する豊かなフ ロンティアであると著者はいう.ここからして著者が 79年来日中にあちこちで唱えたスローガン‘アーベル群 や環の直観主義化はアーベル群の層,環の層である',`一 変数関数論の直観主義化は多変数関数に導く'等が生じ る. ところで逆にΩ 上の層A∈Sh(Ω)に対しV(Ω)の元 Aを対応させる関手S:Sh(Ω)→V(Ω)が作れ,このSは, 2つの圏の同値を与える.下田守がこれを示した(Part I 文献[56])。この関手が直観主義化=層化ということの 理論的根拠なのである. (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1477804000/36
37: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 15:42:04.69 ID:S5Jl1CaY あほ、プロ固定をおちょくるのは楽しいね。ばか晒しているよ(^^; http://rio2016.5ch.net/test/read.cgi/math/1477804000/37
38: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 15:43:00.11 ID:S5Jl1CaY ぼく、無限桁がわかりませんか・・・、ああ小学生レベルだね http://rio2016.5ch.net/test/read.cgi/math/1477804000/38
39: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 15:43:41.29 ID:S5Jl1CaY ゆび折ってかぞえろよ、あほプロ固定さん http://rio2016.5ch.net/test/read.cgi/math/1477804000/39
40: 132人目の素数さん [sage] 2016/10/30(日) 15:44:18.20 ID:KmB4VI1E 3.14 という有限小数と 2.71 という有限小数を「連接」するなら、 小数点を抜くことで 314 及び 271 を連接することになるから 314271 になることは分かる。しかし、π=3.14159265359… という無限小数と e=2.71828182846… という無限小数を「連接」するにはどうすればいいのか? 小数点を抜くことで、314159265359… と 271828182846… を連接することになるが、 これに自然な連接を定義することは 不 可 能 である。 まさか、連接した結果は 314159265359…271828182846… になると言いたいわけではあるまいな。この場合、「271828182846…」の部分は どれも無限桁目に並ぶことになるので、R^N の中の数列と見なすことができないのだ。 http://rio2016.5ch.net/test/read.cgi/math/1477804000/40
41: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 15:51:07.60 ID:S5Jl1CaY https://www.jstage.jst.go.jp/article/sugaku1947/40/4/40_4_365/_pdf 書評 Gaisi Takeuti:Proof Theory, Second Edition, North-Holland,1987年,496ページ ,25,000円(日本販売権,丸善). (倉田令二朗) SUGAKU Vol. 40 (1988) No. 4 Released: December 25, 2008 (抜粋) この本の初版は10年以上前の1975年だったが,たち まち証明論の古典と称せられるようになった.当然なが ら竹内さんの影響の強いわが国であるのに本誌で一度も 書評されなかったのは不思議である.某先生が書評を引 き受けておきながらおさぼりになったままになったらし い. 第2版では多くのことが追加された. 1.Chap 1.直観主義論理の完全性について. Heyting 値モデルとそれに関するRasiowa-Sikorskiの完全 性定理の証明,Kripke解釈との関係,完全性の概念そ のものの精密化と問題提起. (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1477804000/41
42: 132人目の素数さん [sage] 2016/10/30(日) 15:54:54.44 ID:KmB4VI1E ためしに、[0,9]^N の数列として、3つの数列 x,y,z ∈ [0,9]^N を 以下のように定義してみよう。 x = 314159265359… y = 271828182846… z = 314159265359…271828182846… もちろん、数列の解釈の仕方は 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 と解釈するのが自然である。では、z の方はどうなるのか?もちろん、 z_1=3, z_2=1, z_3=4, z_4=1, z_5=5, z_6=9, z_7=2, z_8=6, z_9=5, z_10=3, z_11=5, z_12=9 と解釈するべきであるが、この解釈の仕方では、「 271828182846… 」の部分が 数列 z_1, z_2, z_3, … のどの項にも出現しないのである。もし出現するとしたら、 z_∞ とでも表現されるべき無限桁目には出現し得るわけだが、[0,9]^N に無限桁目は存在しない。 従って、314159265359…271828182846… を [0,9]^N の数列と見なすことはできない。 では、π=3.14159265359… という無限小数と e=2.71828182846… という無限小数を 「連接」するにはどうすればいいのか? 俺は知らない。 http://rio2016.5ch.net/test/read.cgi/math/1477804000/42
43: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 15:55:27.24 ID:S5Jl1CaY >>40 ふーん では問う 1.R^Nの制約を外したらどうだ? 2.そもそもの問題の仮定 ”箱がたくさん,可算無限個ある”は、R^Nに含まれるのか? Y/Nで結構だ http://rio2016.5ch.net/test/read.cgi/math/1477804000/43
44: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 16:00:26.16 ID:S5Jl1CaY 時枝記事で 「問題に戻り,閉じた箱を100列に並べる.」だった 1.100列はすべて可算無限個か? 2.100列に並べた箱を、1列に並べ直す事は可能か? Y/Nで結構だ http://rio2016.5ch.net/test/read.cgi/math/1477804000/44
45: 132人目の素数さん [] 2016/10/30(日) 16:01:07.93 ID:AAheDI1u 未だわかってないのかw 頭ワルーw http://rio2016.5ch.net/test/read.cgi/math/1477804000/45
46: 132人目の素数さん [] 2016/10/30(日) 16:03:54.18 ID:AAheDI1u ていうかその答えは既に書いたぞ、お前が読んでないだけだ せっかく教えてやっても聞く耳持たないからお前は永久に馬鹿w http://rio2016.5ch.net/test/read.cgi/math/1477804000/46
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
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 664 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s