[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む36 [無断転載禁止]©2ch.net (679ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
526(1): 現代数学の系譜 古典ガロア理論を読む 2017/07/29(土)17:45 ID:GPYylyx3(11/16)調 AAS
>>524 つづき
＜選択公理説明３＞（「我々普通の人はZF に選択公理をつけ加えた公理系ZFC を使って数学をやる」）
過去スレ29 2chｽﾚ:math
25 返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/01/15(日)
(抜粋)
下記 戸松玲治先生の 数学IB演習 No.6 問題ＰＤＦの「8 選択公理」を見て下さい
（因みに、・・ここらは説明し出すときりがないので、自分で調べてね）
http://www.ma.noda.tus.ac.jp/
東京理科大 TopPage - Noda MA:
http://www.ma.noda.tus.ac.jp/u/rto/m1b/m1b.html
数学IB演習
http://www.ma.noda.tus.ac.jp/u/rto/m1b/M1B6.pdf
数学IB演習 No.6 問題 戸松玲治 東京理科大 2009冬学期
(抜粋)
例えば, ZF に「AC の否定」をプラスした公理系を使っても数学ができるのである. そうな
のであるが, 我々普通の人はZF に選択公理をつけ加えた公理系ZFC を使って数学をやる(数学基礎
論が好みな人ごめんなさい). ここではZF を理解しろとは言わないので, 普段何気なくやってる数学
もちゃんとした土台(ZFC) があるんだなと心に留めておいてほしい.
8.3 超絶技巧選択公理
さてもうちょっと選択公理の話題を続けよう. Λ = N の時に, 選択公理を使わなくても直積集合が
空でないことを示せた, と一瞬錯覚してしまう証明を紹介しよう.
選択公理とは, このような無限回の操作が可能であることを認める公理であるといえる. 我々には
不可能であるが, 当然のことのように思えるものだから, 公理として認めようというものである. つ
まり選択公理は超絶技巧なのであり, その武器を使用することを許したのである＊
注）＊当然, 認めない立場もあるし, 歴史的にも導入には強い批判が
起こった. しかし, 感覚的には受け入れやすいものであるし, 導入した方が数学体系としては豊富で広がりをもつものになると多くの人が考え
ている. Λ = N の場合の選択公理ぐらいは認めないと, まともな数学にならないであろう. まあ, これからもっと出遭うであろう無限に関する
不思議さの一端だと思っておいてほしい.
つづく
527(1): 現代数学の系譜 古典ガロア理論を読む 2017/07/29(土)17:46 ID:GPYylyx3(12/16)調 AAS
>>526 つづき
選択公理←→ Zorn の補題←→ 整列可能定理という定理に少し触れて, 次回かその次ぐらいで
素朴集合論を終えたい.
参考文献
[2] 森田茂之『集合と位相空間』朝倉書店
(引用終り)
戸松玲治先生はいま北大
http://www.math.sci.hokudai.ac.jp/~tomatsu/ 戸松 北大
つづく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s