[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 55 (1002ﾚｽ)
上下前次1-新

---

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

---

348: 2021/06/18(金)20:57 ID:ZHLrkwL7(4/8) AA×
>>347


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
348: [sage] 2021/06/18(金) 20:57:15 ID:ZHLrkwL7 >>347 つづき 正則性公理は，集合の要素として，それ以上要素を持たない「もの」としてΦ以外に 許すとき（そのような「もの」をアトム(atom)と言ったり，Urelementというが）， ∃ y∈x (x ∩ y = Φ) の形では言うことができない．例えば，a をアトムとして，「もの」 a の中には要素がないので，上のような y∈a の存在は言えない．小さいことを 言うようだが， set(x) → ∃ y∈x (x ∩ y = Φ) のように x が集合ならという条件 set(x) を付けることになる．また，その時の y は当然 x の 中の要素の最小値ということではなくなる．それは例えば，もうひとつアトム b をとって，x={a, b} としてみればよい． a と b の間に ∈ 関係はないのであるから，どちらが最小ということもない．ということで，正則性公理の上の形は， ZFC のようにすべてが Φ に還元される集合論とフォン・ノイマン順序数を順序の 基準に取っているとき役に立つことになる． 基礎の公理/正則公理の表現方法としては，もう少し素直に，∈の無限降下列が 存在しないという表現方法もあるようだ．ただし，無限降下列の定義も難しいので フォン・ノイマンのこの形の正則性公理は便利かつコンパクトな表現であるということは 言えると思う． (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1623558298/348
つづき 正則性公理は集合の要素としてそれ以上要素を持たないものとして以外に 許すときそのようなものをアトムと言ったりというが の形では言うことができない例えば をアトムとしてもの の中には要素がないので上のような の存在は言えない小さいことを 言うようだが のように が集合ならという条件 を付けることになるまたその時の は当然 の 中の要素の最小値ということではなくなるそれは例えばもうひとつアトム をとって としてみればよい と の間に 関係はないのであるからどちらが最小ということもないということで正則性公理の上の形は のようにすべてが に還元される集合論とフォンノイマン順序数を順序の 基準に取っているとき役に立つことになる 基礎の公理正則公理の表現方法としてはもう少し素直にの無限降下列が 存在しないという表現方法もあるようだただし無限降下列の定義も難しいので フォンノイマンのこの形の正則性公理は便利かつコンパクトな表現であるということは 言えると思う 引用終り 以上

---

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

---

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

---

ぬこの手 ぬこTOP 0.049s