[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
95(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/13(金) 11:24:41.66 ID:nJx1ApW/(4/7) AAS
>>94
つづき
7. ZFC
ここまで出てきた公理を列挙すると次のようになる。
8. クラス
ZFCでは内包公理は認められない。
しかし、ある概念(を定義した述語)P(x)があるならばそれに対応する集合{x|P(x)}について語るというのは数学でごく普通におこなわれることなので、集合論でもそのような言い方を使いたい。
そのために{x|P(x)}の形の式を集合とは呼ばずにクラスと呼ぶことにする。
クラスは集合論のファーストクラスオブジェクトではなく、構文上のマクロのようなものにすぎない。
集合論の基本的な述語は「=」と「∈」の二つ
クラス用の変数も導入できるのだけど、これも集合論の体系自体には含まれない一種の省略記法として扱われる。
9. 到達不能基数
置換公理によって「果てしなく続く段階」や濃度の非常に大きな集合の存在が出てくるのだけど、さらに「その先」を考えることもできる。
濃度(無限の大きさ)について考える。
（以下は、あんまり関係ないが（本当は正則性公理「sの要素の中で最も低い段階に現れるもの」の関連で調べた）、メモ貼る）
https://en.wikipedia.org/wiki/Upper_set
Upper set
(抜粋)
In mathematics, an upper set (also called an upward closed set or an upset) of a partially ordered set (X, ?) is a subset U of X such that if x is in U and x ? y, then y is in U.
The dual notion is a lower set (also called a downward closed set, down set, decreasing set, initial segment, or semi-ideal), which is a subset L of X such that that if x is in L and y ? x, then y is in L
(引用終り)
以上
96: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/13(金) 11:29:35.73 ID:nJx1ApW/(5/7) AAS
>>95 追加
なんか文字化けあるね
英文からのコピペ
貼付けの目視では、正常なんだが
投稿後見ると
化けている
a partially ordered set (X, ?)
おっと、専用ブラウザのプレビュー見ると
これ、文字化け分かるね
ずぼらしちゃ、いけないね
これ
a partially ordered set (X, <=)
なんだよ
これから、できるだけ
プレビュー確認するわ（＾＾；
まあ、今回は原文見てください
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s