TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
分布 distribution 超関数 hyperfunction一般化関数
現代数学の系譜 カントル 超限集合論2
小学校のかけ算順序問題×15
Inter-universal geometry と ABC 予想 45
お前ら数理工学に来ないか？
受験終わったから大学の数学に手を出したいんだけど
■初等関数研究村■
長谷川亮太スレ
世界史的数学難問を解いた佐野千遥を語るスレ
教育学部から東大大学院理学部数学科を目指したい
- 95 ：
- >>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
(引用終り)
以上
【数学検定】数学検定1級 合格4
耳栓をしたら世界が変わってワロタ
【激しく】解析と線型代数の本何がいい？【既出】11
奇数の完全数の存在に関する証明5
現代数学の系譜11 ガロア理論を読む33
数学はもうすぐ終わる学問って本当？
現代数学の系譜11 ガロア理論を読む23
分からない問題はここに書いてね456
現代数学の系譜11 ガロア理論を読む31
現代数学の系譜11 ガロア理論を読む18
--------------------
２ちゃんねる差し押さえ閉鎖騒動
大人になってからの武道・格闘技 その３
Toshl (TOSHI・龍玄とし) 270
サプリ板最強？夢サプリ 白金ナノコロイド
【PS4】PlayStation Store PSストア part4
マッチョほどではない筋肉質の美女の画像☆25
【信長】安土城は何故再建されないのか？【学徒閣下】
【ソロ専用】アナザーエデン 時空を超える猫 440匹目 【アナデン】
柴田柚菜「掛橋、悩むな。チビなんだから。」
この板の平均体重
日本軍戦車．装甲車模型統合スレ 其の十八
【インド占星術】清水俊介【セクハラ冤罪】
憎しみを込めて呪うスレッド 124呪殺目
【テンプレ必読】遊戯王のオリジナルカードを考えよう☆120
【公募】イラスト仕事情報交換スレ24【登録】
【JAL】グローバルクラブ47年目【JGC】
パティシエ 草野マサムネさん
【本スレ】SKE48★18364【本スレ】
京都の中学 その３
☆ネット・電話投票一般戦予想スレ☆312
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
