>>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) )]
を仮定します。
この公理は一見わかりにくい形をしていますが、左辺の ∀x ∀y ∀z ( ( P(x, y) ∧ P(x, z) ) → y = z ) というのは、x と y に関する関係 P(x, y) が一価関係であるということ、言い換えると、与えられた x に対して P(x, y) を満たす y を対応させる対応が x の関数になっていることを意味します。
従って、上の置換公理の述べるところは、一価関係 P が表す関数による集合 a の像となる集合が存在する、ということを意味しています。このような集合 b は、外延性公理により唯一つであることが証明できます。
さて、この置換公理を仮定すると、変数 y を含まない任意の命題 R に対して R ∧ x = y という命題を P(x, y) と書けば、これは明らかに一価関係です。
ゆえに、置換公理によって ∀a ∃b ∀y [ y∈b ⇔ ∃x ( x∈a ∧ R ∧ x = y ) ] すなわち ∀a ∃b ∀x [ x∈b ⇔ ( x∈a ∧ R ) ] となって、これは分出公理に他なりません。すなわち分出公理は置換公理から導出できるのです。
(引用終り)
以上
現代数学の系譜 カントル 超限集合論
■ このスレッドは過去ログ倉庫に格納されています
182現代数学の系譜 雑談 ◆e.a0E5TtKE
2019/10/06(日) 20:20:45.85ID:d8OQiN+r■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領「耐え抜け」 関税発動でアメリカ国民に檄「これは経済革命、われわれは勝利する」 [Hitzeschleier★]
- 「トランプは退陣を」 米各地で抗議デモ、最大規模 ★5 [蚤の市★]
- 【芸能】上沼恵美子、中居正広氏に激怒「クズやな!」「女をモノ扱いにして」「最悪やわ」 [Ailuropoda melanoleuca★]
- 【大阪】ドラッグストア「コスモス」が謝罪、「無断駐車」警告は誤り 共用駐車場の認識不足が原因 ★2 [ぐれ★]
- 上沼恵美子 中居氏・フジ問題でファンに釘刺す「誘われて行った女性も悪い、とか言わんといてね!」 [ひかり★]
- 【動物】なぜ千葉で? 施設脱走し「キョン」大繁殖 8万頭超どう向き合う [ぐれ★]
- 𝒉𝒐𝒖𝒔𝒆🏡
- 【関税発動】トランプ大統領、アメリカ国民に檄、「耐え抜け」 [419054184]
- 【実況】博衣こよりのえちえちクロノトリガー🧪 ★4
- 【石破】 Yahoo ID、勝手に停止されて生活が詰む人が急増 [732912476]
- 【悲報】日本政府「関税がこんなに高いなんて寝耳に水だった。びっくりしている」びっくりしている模様 [673057929]
- 奈良市議会のハラスメント調査結果…「維新議員が怒鳴り込んできた」「赤旗の勧誘を禁止して」など悲痛な声 [481941988]