[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
181(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/06(日)20:20 ID:d8OQiN+r(23/27) AAS
>>180
つづき
定義 5 (商集合).R を x 上の同値関係とする。このとき、「R による同値類がすべて属し、それ以外のモノが属さない集合」である
{y∈P(x)?∃a[a∈x∧y=[a]R]}
を商集合とよび x/R と書く。
商集合は直感的な内包的記法を使えば
{[a]⊂x?a∈x}
省14
182(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/06(日)20:20 ID:d8OQiN+r(24/27) AAS
>>181
つづき
数学の議論では、変数 i を含む項 T と、集合 I があるとき、i∈I に対する T 全体からなる“集合”を考える、ということがしばしばあります。
大抵の場合、i∈I のとき、T は i に無関係なある集合 A に属しているので、これを集合と見なすことは分出公理により正当化されるのですが、順序数の議論のような、集合論として“きわどい分野”での議論を行うときは、このような条件が成り立っていない場合があります。
ところで、この場合の項 T は、集合 I の元 i に対してある対象 T を表しており、i に T を対応させる関数が与えられたとみなすことができます。
そこで、集合 I の関数による像 { T | i∈I } となる集合が存在すると言う意味の置換公理：
[∀x ∀y ∀z ( ( P(x, y) ∧ P(x, z) ) → y = z ) ] → ∀a ∃b ∀y [ y∈b ⇔ ∃x ( x∈a ∧ P(x, y) )]
省7
183: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/06(日)20:24 ID:d8OQiN+r(25/27) AAS
>>181 補足
> さて、集合の概念で、最も便利な性質、すなわち任意に命題 P が与えられたとき、P を満たす x 全体の集合、というものを考えたいのですが、これをそのまま公理にしたのでは、Russellのパラドクスにより矛盾が生じてしまいます。
> そこで、通常の数学で、このような集合を考えたいときには、いつもどのような状況にあるかということを考えると、既に集合であることがわかっている a の元のうち、P を満たすようなもの全体からなる集合、というものを考えていることがわかります。そこで、分出公理：
思うに、分出公理とか置換公理を、あまり強力にして、なんでもできることにすると、
Russellのパラドクスのようなことを生じるおそれがある
だが、分出公理とか置換公理の力を制限すると、
選択公理のように、無限の集合を扱う公理を必要とするということだろうね（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.057s