ﾚｽ書き込み

現代数学の系譜工学物理雑談古典ガロア理論も読む76

PC,ｽﾏﾎ,PHSは ULA べっかんこ公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ

>>638
> >>633-637
> おまいら、根拠文典を読まずに踊っているのか？（＾＾
> きちんとさ、根拠文典を読まないと、”だめだめ”だよ
> 
> 下記の無限公理の説明で
> 「・（以下同様に繰り返す）
> 　各手続きで得られた集合を要素とする集合を  B:={Φ ,{Φ},{Φ ,{Φ}},・・・ } とおくと」
> ってあるよね
> ”（以下同様に繰り返す）”が、おれのいう”1つずつ増やす”
> に対応するわけだ
> QED （＾＾
> 
> あと、wikipediaの自然数、ペアノの公理も、きちんと読んでみな(>>627)
> ”（以下同様に繰り返す）”と同等の表現に、なっていま〜す！！（＾＾
> 
> （参考）
> https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
> 無限公理
> (抜粋)
> 定義
> ZF公理系における公式な定義は次の通りである。
> 空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する
> 解釈と帰結
> 上記定義では「無限」という言葉は用いられていないが、この公理によって（少なくとも1つの）無限集合の存在が保証されることになる。
> まず定義中の集合  A} A は以下の性質を満たすことを確認できる。
> ・ Φ ∈ A （空集合  Φ  は  A の要素である）
> ・ Φ ∪ {Φ}={Φ}∈ A （「空集合  Φ  を要素にもつ集合」は  A の要素である）
> ・ {Φ}∪ {Φ ∪ {Φ}}={Φ ,{Φ}}∈ A（「空集合」と「空集合を要素にもつ集合」の2つを要素にもつ集合は  A の要素である）
> ・（以下同様に繰り返す）
> 各手続きで得られた集合を要素とする集合を  B:={Φ ,{Φ},{Φ ,{Φ}},・・・ } とおくと、  B は  A の部分集合である。
> 
> この手続きは何回でも繰り返すことができるが、もし有限回で終えた場合、  B は有限集合であり、  A ≠ Bである。
> なぜならば定義により  B∪ {B}∈ A であるが、  B∪ {B} not∈ B となるからである。
> 一方  A が有限集合であれば、この手続きを繰り返すことで  B が  A よりも多くの要素をもつことができてしまう。
> 
> 従って  A は有限集合ではない（すなわち無限集合である）ため、無限公理を採用すれば直ちに無限集合の存在を認めることになる。
> 上記の手続きはペアノの公理における自然数の構成方法と同様である。
> ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。（可算集合）

ﾛｰｶﾙﾙｰﾙ SETTING.TXT

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

上下板覧索設栞歴

ぬこの手ぬこTOP 0.016s