TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【有効数字】9=9.0ってどうなの？【数学】
経済学は数学を誤用している
素人には 8÷2(2+2) を16と答える馬鹿が居るらしい
未だに数学で納得いかないこと挙げてけ4
現代数学の系譜 工学物理雑談 古典ガロア理論も読む49
Inter-universal geometry と ABC予想 26
プログラミングBASIC言語について。
Daniel Marcus Graph Theory を読む。
【新海誠】君の名は。
この掲示板いらんやろ
- 64 ：
- >>63 つづき
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理
無限公理（むげんこうり、英: axiom of infinity）とは公理的集合論におけるZF公理系を構成する公理の一つで、「無限集合の存在」を主張するものである。エルンスト・ツェルメロによって1908年に初めて提示された。
定義[編集]
ZF公理系における公式な定義は次の通りである。
空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する：
∃A(Φ∈A ∧ ∀x∈A(x∪{x}∈A))
解釈と帰結[編集]
上記定義では「無限」という言葉は用いられていないが、この公理によって（少なくとも1つの）無限集合の存在が保証されることになる。
まず定義中の集合 A は以下の性質を満たすことを確認できる。
略
各手続きで得られた集合を要素とする集合を B:={Φ ,{Φ},{Φ ,{Φ}},・・・}} とおくと、 B は A の部分集合である。
この手続きは何回でも繰り返すことができるが、もし有限回で終えた場合、 B は有限集合であり、 A not ＝ B である。
なぜならば定義により B ∪ {B} ∈ A であるが、 B ∪ {B}not∈ B となるからである。
一方 A が有限集合であれば、この手続きを繰り返すことで B が A よりも多くの要素をもつことができてしまう。 従って A は有限集合ではない（すなわち無限集合である）ため、無限公理を採用すれば直ちに無限集合の存在を認めることになる。
上記の手続きはペアノの公理における自然数の構成方法と同様である。ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。（可算集合）
(引用終り)
つづく
関東弁は下品なエビス言葉と認めるしかないのでは？
数学の洋書vol.2
33歳数学ど素人だが、フィールズ賞目指すスレ
Inter-universal geometry と ABC予想 30
教育学部から東大大学院理学部数学科を目指したい
SNS死神ムラカミ
数学科の就職って……
ｗｗｗｗｗ小説を読むスレｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
現代数学の系譜 工学物理雑談 古典ガロア理論も読む55
大学受験数学如きで挫折して文系に行くやつｗｗｗｗ
--------------------
東京に憧れる京女キャラっていないのか
はい次の方。
「花園ラグビー場」近鉄が大阪府などへ売却の意向
【袖ﾎﾟｹ廃止】Addict Clothes New Vintage【ﾁﾋﾞT】
ドラゴンボールのプラモデル part3 【三星球】
【MHW】 極ベビーモス ソロ撃破ｽﾚ 【機動破壊】
ダメ院生スレ608
◆ LaLa TV 5
BB弾総合スレだよ!3弾目
苫小牧東高等学校アイスホッケー部
【switch】ポッ拳 POKKEN TOURNAMENT DX 拳47発目
絵描きさん雑談スレ42
【小説家になろう】底辺作者が集うスレ504
スポーツ界の出来事
【名無し奥も○○奥も】気楽に井戸端会議 2201【みんな来い】
｢Dr.コトー診療所2006｣ 69
３Ｄ彼女 リアルガール 3DKANOJO REAL GIRL 【中条あやみ 佐野勇斗】
簡単に確実に税法免除可能な大学院
【画像】 NGT48中井りか＆荻野由佳が浴衣ショット 「美しすぎる」と話題騒然ｗｗｗｗｗｗ
【中川龍太郎 宮下奈都】静かな雨【仲野太賀 衛藤美彩】ﾜｯﾁｮｲなし
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
