[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)

現代数学の系譜　カントル　超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

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

---

181: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/06(日) 20:20:14.94 ID:d8OQiN+r >>180 つづき 定義 5 (商集合).R を x 上の同値関係とする。このとき、「R による同値類がすべて属し、それ以外のモノが属さない集合」である {y∈P(x)?∃a[a∈x∧y=[a]R]} を商集合とよび x/R と書く。 商集合は直感的な内包的記法を使えば {[a]⊂x?a∈x} とも書けるだろう。こう書くほうがどのような集合かわかりやすいかもしれない (分出公理によって存在が保障されることはわかりにくいが)。 上で例示した ω 上の同値関係 M について考えると、その同値類は Mo と Me の2つであったので、商集合は ω/M={Mo,Me} となる。適当に代表元を定めて ω/M={[0],[1]} とも書ける。 http://home.p07.itscom.net/strmdrf/basic_com2.htm 数学の基礎 19．素朴集合論とZF集合論 　さて、集合の概念で、最も便利な性質、すなわち任意に命題 P が与えられたとき、P を満たす x 全体の集合、というものを考えたいのですが、これをそのまま公理にしたのでは、Russellのパラドクスにより矛盾が生じてしまいます。 　そこで、通常の数学で、このような集合を考えたいときには、いつもどのような状況にあるかということを考えると、既に集合であることがわかっている a の元のうち、P を満たすようなもの全体からなる集合、というものを考えていることがわかります。そこで、分出公理： ∀a ∃b ∀x [ x∈b U ( x∈a ∧ P ) ] を仮定しよう、という考え方があります。このような集合 b は、外延性公理により唯一つであることが証明できますから、これを { x∈a | P } と書きます。なお、ここで素直に「仮定します」と言わなかったのは、次のような、別の場面で必要となる公理があり、この分出公理はそこから導出できるからです。 つづく http://rio2016.5ch.net/test/read.cgi/math/1570237031/181

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.012s