[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む21 [無断転載禁止]©2ch.net (808ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

11(2): 現代数学の系譜11 ガロア理論を読む 2016/07/15(金)21:56 ID:A9zfkBNj(11/26) AA×
>>538>>533

ID:Vo9e95n/
外部ﾘﾝｸ:ja.wikipedia.org

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
11: 現代数学の系譜11 ガロア理論を読む [] 2016/07/15(金) 21:56:24.19 ID:A9zfkBNj 624 自分：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/07/09(土) 13:04:56.43 ID:Vo9e95n/ [14/35] >>538 補足 >確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので， ここを自分なりに補足すると、下記可算選択公理が使えるってことだろう >>533の「選択公理を捨ててソロヴェイの公理仮定しろよ」をさりげなく否定していると見た https://ja.wikipedia.org/wiki/%E5%8F%AF%E7%AE%97%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 可算選択公理 (抜粋) ACωとも表記される。名前の通り、選択公理を可算集合族に限定したものになっている。 応用 実数論においては選択公理ではなく可算選択公理で事足りる場合が多い[1]。 例えば集積点が極限点であること、すなわち「 xが実数 R の部分集合 S の集積点ならば、 x に収束する S ? { x } の数列が存在する」という命題を証明したい場合にはACωを用いれば十分である。 また、距離空間論において、可分距離空間の任意の部分集合が可分であることを示す際にも用いられる[1]。 他の公理との関係 選択公理が成り立たないソロヴェイのモデル（英語版）においても、可算選択公理は成り立つ。 ポール・コーエンはACωがZF集合論から証明できないことを示した。 (引用おわり) http://rio2016.5ch.net/test/read.cgi/math/1468584649/11
自分現代数学の系譜 ガロア理論を読む 投稿日土 補足 確率変数の独立性というのは可算族に対してはもも同値となるので ここを自分なりに補足すると下記可算選択公理が使えるってことだろう の選択公理を捨ててソロヴェイの公理仮定しろよをさりげなく否定していると見た 可算選択公理 抜粋 とも表記される名前の通り選択公理を可算集合族に限定したものになっている 応用 実数論においては選択公理ではなく可算選択公理で事足りる場合が多い 例えば集積点が極限点であることすなわち が実数 の部分集合 の集積点ならば に収束する の数列が存在するという命題を証明したい場合にはを用いれば十分である また距離空間論において可分距離空間の任意の部分集合が可分であることを示す際にも用いられる 他の公理との関係 選択公理が成り立たないソロヴェイのモデル英語版においても可算選択公理は成り立つ ポールコーエンはが集合論から証明できないことを示した 引用おわり

---

上下前次1-新書関写板覧索設栞歴

---

あと 797 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.045s