[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
527(2): ｝現代数学の系譜 古典ガロア理論を読む 2017/08/08(火)22:52 ID:dwNxNtRp(26/27) AAS
>>526 つづき
＜言いたいこと＞
分かりやすくするために、都合で元の命題と対偶命題を入れ替える
元の命題
「nを整数とするとき、 n が4の倍数ならば、 n^2 は4の倍数である」を細かく分解すると
(公理など)大前提（全体集合）U：nを整数とするとき
条件(仮定) P：n が4の倍
結論 Q：n^2 は4の倍数
対偶命題
「nを整数とするとき、 n^2 が4の倍数でないならば、 n は4の倍数でない」を細かく分解すると
省8
528(6): ｝現代数学の系譜 古典ガロア理論を読む 2017/08/08(火)23:00 ID:dwNxNtRp(27/27) AAS
>>527 補足
>>129 より引用下記
”（命題A）
選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
（命題B）
「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
省20
536: ｝現代数学の系譜 古典ガロア理論を読む 2017/08/09(水)06:23 ID:bM/5YfPT(2/18) AAS
>>527 訂正
n が4の倍
↓
n が4の倍数
３箇所あり。まあ、”n が4の倍”のままでも意味分かるだろうが・・（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s