[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
295: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/12(土) 15:04:06.24 ID:0oc9Ztsl >>293 (引用開始) 仮定は Ω=x1∋x2∋‥‥∋xm なる形の列の長さに上限がないですね。 (引用終り) その記法は、混乱の元と思います もし、有限長さｍならば Ω=xm∋xm-1∋‥‥∋x2∋x1 と番号を付け直すべきですよ そうしないと、大変混乱するでしょうね 正則性公理は、「空でない集合 x には ∈ に関して極小となる元 z ∈ x があること」ですからね 極小となる元を、１番にすべきですね （参考） http://www.math.tsukuba.ac.jp/~tsuboi/ 坪井明人 http://www.math.tsukuba.ac.jp/~tsuboi/ 学群関係 http://www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf 数理論理学ＩＩ 坪井明人 筑波大 1.1.10 基礎の公理（正則性公理） x ≠ Φ → ∃y(y ∈ x ∧ ¬∃z(z ∈ x ∧ z ∈ y)). 空でない集合 x には ∈ に関して極小となる元 z ∈ x があること， を直観的には意味している． https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86 正則性公理 (抜粋) 以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。 ・任意の空でない集合xに対して、∃y∈x,x∩y=0 ・∀xについて、∈がx上well-founded ・∀xについて、無限下降列である x∋x1∋x2∋・・・ は存在しない。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1570237031/295
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 707 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s