TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【自称数学者】三鷹の大類昌俊 Part8【つどい出禁】
数学板の住民は全員、東大数学解けるんだよね？
ジョン・ナッシュ氏が交通事故で死去
荻野暢也
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
分布 distribution 超関数 hyperfunction一般化関数
【自称数学者】三鷹の大類昌俊 Part7【つどい出禁】
統計学Part17
♂♂♂♂♂♂♂♂♂♂♂ 生物実験 １４
【数学者】ID:JtmyZOC7【解析】
- 93 ：
- >>92
つづき
しかし内包公理を取らない立場では、aとbが等しいかどうかを判断するためには何らかの新しい原理が必要になる。
そして、そのような新たな原理を積極的に提案するよりも初めから自分自身を含むような集合を排除して考えようということになる
(この場合必ずしも自分自身を含む集合は存在しないと強く主張する必要はなくて、そういうものは排除した範囲で考えようという立場かもしれない)。
いずれにしても自分自身を含む集合を認めないなら、同様の理由で
a∈b∈aとかa∈b∈c∈aとなるような集合も認められない。もっと一般的に
a1∋a2∋a3∋a4∋a5∋…
となるようなものは認められない(自分自身を含む集合はa∋a∋a∋…となりこれに反している)。
「まず要素があってから集合がある」という考え方によればこのような集合は存在しないし、このような集合の同一性は外延公理だけでは決まらないので。
このような集合が存在しないことを整礎原理と呼ぶことにする。
整礎原理
a1∋a2∋a3∋a4∋a5∋…とどこまでも続くような集合は存在しない。
整礎原理は、どんな集合が存在するのかについては積極的に主張していないけれど、ここから集合の間に成立している秩序が見えてくる。
まず自分自身を含んでいたり包含関係が循環することがないため、「∈」について順序関係が成立することになる。
つまり包含関係「∈」に基づく「より単純な集合」←→「より複雑な集合」という相対的な位置づけを与えることができる。しかも包含関係「∈」を内側にたどっていくと必ずどこかで終わるので、「より単純な集合」←→「より複雑な集合」のうち、「より単純な集合」の方向はどこかで終点に至る。
整礎原理の成り立つ集合世界では、もっとも単純な集合から始まってだんだん複雑な集合に向かっていくという整然とした秩序が存在する
(この秩序は集合の要素数の大小関係とは異なる。たとえば0∈N∈{N})。
もっとも単純な集合は、要素を何も含まない空集合Φである。空集合Φはもちろん存在してほしい。
またこの空集合を元にして、{Φ},{{Φ}},{{{Φ}}},{{{{Φ}}}},…とか{Φ,{Φ}},{Φ,{Φ},{{Φ}}},{Φ,{Φ},{{Φ}},{{{Φ}}}},…といった集合も存在していてほしい。
つづく
大学学部レベル質問スレ 11単位目
現代数学の系譜11 ガロア理論を読む31
自然対数ｅっていったい何者なの？
【生保・損保】アクチュアリー資格試験スレ【年金】
現代数学の系譜 古典ガロア理論を読む39
SNS死神ムラカミ
痴漢バレて叩かれた腹いせに荒らすのはやめろ
自然対数ｅっていったい何者なの？
10以外で一番10に近い数を挙げたやつ優勝
【親切】理想の質問【丁寧】パート❷
--------------------
朝日新聞と中国との関係 その１６
☆★☆小池里奈ちゃん応援スレpart43☆★☆
【ｽﾉｽﾄ解禁】Jr.総合ファンスレPart23【西禁】
【物流】日本郵便、当日の再配達中止
新規に伝えたいこのメンバーだけはやめとけってメンバー
Sonny Rollins ソニー・ロリンズ
【徹底討論】松坂桃李氏はなぜ山崎愛生の虜になったのか【🐼】
名無しの道化たんはうっかり可愛い 70うっかり
●山口県の寿司屋●
Roland SC、GSシリーズ総合スレPart 16
【覚醒】2世3世が学会のおかしさに気がついたこと92
ゴジラ映画総合 GODZILLAPart154
【BlackDesert】 黒い砂漠 赤戦スレ Part4
日本人三階級制覇 本物→八重樫、穂積 偽者→井岡 ハリボテ屑→亀田
1レスごとにクロウ・ブルーストの借金が増えるスレ2
【大阪維新】日本維新の会２９２【大阪都再始動】
【ロンゲ】サワサキヨシヒロ！【メガネ】
【1000】ナカミチ好きな人のスレ！13【DRAGON】
離婚問題に直面している人集まれ！その124
【激】「絶対に潰れろ」と願っているネカフェ【怒】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
