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

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

93: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/13(金) 11:23:43.18 ID:nJx1ApW/

>>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})。
もっとも単純な集合は、要素を何も含まない空集合Φである。空集合Φはもちろん存在してほしい。
またこの空集合を元にして、{Φ},{{Φ}},{{{Φ}}},{{{{Φ}}}},…とか{Φ,{Φ}},{Φ,{Φ},{{Φ}}},{Φ,{Φ},{{Φ}},{{{Φ}}}},…といった集合も存在していてほしい。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1568026331/93

139: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/09/14(土) 11:29:17.40 ID:QdZ5TU5n

>>138
つづき

(>>92-93)
https://lemniscus.hatenabloｇ.com/entry/20120616/1339838683#sec6-7
再帰の反復blog
2012-06-16
反復的集合観と公理的集合論
(抜粋)
整礎原理
自分自身を含んでいたり包含関係が循環することがないため、「∈」について順序関係が成立することになる。
つまり包含関係「∈」に基づく「より単純な集合」←→「より複雑な集合」という相対的な位置づけを与えることができる。しかも包含関係「∈」を内側にたどっていくと必ずどこかで終わるので、「より単純な集合」←→「より複雑な集合」のうち、「より単純な集合」の方向はどこかで終点に至る。
整礎原理の成り立つ集合世界では、もっとも単純な集合から始まってだんだん複雑な集合に向かっていくという整然とした秩序が存在する
(この秩序は集合の要素数の大小関係とは異なる。たとえば0∈N∈{N})。
もっとも単純な集合は、要素を何も含まない空集合Φである。空集合Φはもちろん存在してほしい。
またこの空集合を元にして、{Φ},{{Φ,{{{Φ},{{{{Φ,…とか{Φ,{Φ,{Φ,{Φ},{{Φ},{Φ,{Φ},{{Φ,{{{Φ,…といった集合も存在していてほしい。

（>>127）
https://researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=40760&metadata_id=12105
公理論的集合論（情報科学特別講義 III） 矢田部俊介 2013 年 2 月 17 日 京都大学文学部大学院文学研究科
Ｐ21
4.4 推移的モデルとモストウスキ崩壊
集合論のモデルを扱う場合、一口にモデルと言ってもいろいろなモデルがある。多くの場合、モデルが ∈ に
関し推移的である（x ∈ y ∈ M ならば x ∈ M）であると証明が楽である。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1568026331/139

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.031s