[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
528: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/29(金)07:52 ID:KnsCfpdu(1/4) AAS
>>523
ご苦労様です
おめでとうございます（＾＾
頑張ってださい
529(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/29(金)08:00 ID:KnsCfpdu(2/4) AAS
>>510
追加引用ｗ（＾＾；
https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E9%9B%86%E5%90%88
有限集合
(抜粋)
有限性の必要十分条件
ツェルメロ＝フレンケルの集合論 (ZF) では、以下の条件は全て等価である。
1. S は有限集合である。すなわち、S の元はある特定の自然数未満の自然数の集合の元と一対一対応する。
2. S は、空集合を始点として元を1つずつ追加していく数学的帰納法で証明可能な全属性を持つ。（カジミェシュ・クラトフスキ）
基礎付け問題
興味深いことに、ZFCにおいて有限集合を集合全般から区別する様々な特性は、より弱い体系であるZFや直観主義的集合論の場合とは論理的に等価ではないことが判っている。
よく知られている有限性の定義として、リヒャルト・デーデキントの定義とカジミェシュ・クラトフスキの定義がある。
省7
530(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/29(金)08:02 ID:KnsCfpdu(3/4) AAS
>>529 補足
＞空集合と単集合から生成した半束を K(S) と記し、S が K(S) に属する場合、S をクラトフスキ有限集合と呼ぶ。
単集合＝シングルトンですな ｗ（＾＾；
531(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/29(金)08:05 ID:KnsCfpdu(4/4) AAS
>>530
（>>510より）
なるほど
”Kuratowski finiteness”の定義では、
CやRやQやNのシングルトン
{C}や{R}や{Q}や{N} 達は
有限集合にはならんな！
思った通りだったな！ｗｗ（＾＾；
そして、
（>>529より）
有限性の必要十分条件
ツェルメロ＝フレンケルの集合論 (ZF) では、以下の条件は全て等価である。
1. S は有限集合である。すなわち、S の元はある特定の自然数未満の自然数の集合の元と一対一対応する。
2. S は、空集合を始点として元を1つずつ追加していく数学的帰納法で証明可能な全属性を持つ。（カジミェシュ・クラトフスキ）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s