TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
なぜ数学板は廃墟と化したのか
統計学Part17
数学はもうすぐ終わる学問って本当？
現代数学の系譜 工学物理雑談 古典ガロア理論も読む56
代数的解析幾何学
私立文系学部の入試にも数学を必須にすべき
■■■■■■■■■■■■■ 人工太陽
巨大数探索スレッド14
キチガイR
関孝和とかいう数学者wwwwww
- 36 ：
- >>31 訂正
７）「まったく別もの」ではないが、別もの
↓
７）「別もの」だが、「まったく別もの」ではない
かな（＾＾；
補足
繰り返すが、
・>>30での、筑波大 坪井先生
公理的集合論「x ∈ y の直観的な意味は，もちろん元x が集合y に属することであるが，x も一つの集合だと考える」
（”元x も一つの集合だと考える”とすると、直感的には、x ∈ y → x ⊂ y だろうと）
・（>>31より）∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ ｙ成立（∵推移性より）
だから、この場合は”x ∈ y → x ⊂ y ”成立
・∈−順序を認めないと、超限帰納法が適用困難になる（別の整礎関係（下記）の定義が必要になる）
・”x ∈ y → x ⊂ y ”を認めないと、素朴集合論のベン図に反例が出る
つまり、x ∈ yであるにも関わらず、xのある元 u ∈ x で、u not∈ y となると、素朴集合論のベン図が描けないｗ（＾＾；
・あと”モストウスキーの崩壊補題”との関係で、
普遍的な整礎関係：「クラス X 上の集合的な整礎関係 R に対し、クラス C が存在して、(X, R) が (C, ∈) に同型となる」
とあるので、 (C, ∈) つまり∈−順序は普遍的と考えてよいのかも
（そもそも、クラス Xとかクラス Cとか、学部の集合論を超えていると思うが（＾＾； ）
で、要するに、ベン図反例のある集合論もありのだろうが
（私は聞いたことはないが、理論的に否定できなければ存在するのだろう）、
現実の我々が日常接する集合（大学学部レベルで（それ以上は知らず））は、
∈−順序を認めて、素朴集合論のベン図が描けるものに限定して、良いのではないだろうか？（＾＾
参考
https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
整礎関係
(抜粋)
モストウスキーの崩壊補題 (Mostowski collapse lemma) によれば、集合要素関係 (set membership) は普遍的な整礎関係である。
つまり、クラス X 上の集合的な整礎関係 R に対し、クラス C が存在して、(X, R) が (C, ∈) に同型となる
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B9%E3%83%88%E3%83%95%E3%82%B9%E3%82%AD%E5%B4%A9%E5%A3%8A%E8%A3%9C%E9%A1%8C
モストフスキ崩壊補題
以上
- 37 ：
- >>36 追加
「モストフスキ崩壊補題」で、関連ありそうな箇所を、下記追加引用しておく
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B9%E3%83%88%E3%83%95%E3%82%B9%E3%82%AD%E5%B4%A9%E5%A3%8A%E8%A3%9C%E9%A1%8C
モストフスキ崩壊補題
(抜粋)
応用
ZFの集合モデルは集合状かつ外延的である。 モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である。
ZFのあるモデルの∈-関係が整礎的であるというのは、そのモデル内で正則性公理が成立するという主張よりも強いことに注意。
ZFは無矛盾であるとの仮定の下で、ZFのモデルMで、その論議領域にR-極小要素をもたない部分集合AをもつがAはそのモデル内で集合でないというものがある。
(Aの要素が全て議論領域内にあってもAはモデルの議論領域内に無い。)
もっと正確には、そうでない集合AにはMの要素xでA = R^-1 [x]となるものが存在する。
だからMは正則性公理を満たす(内部的には整礎的である)が、Rは整礎的関係でなく、この崩壊補題も適用できない。
(引用終り)
以上
- 38 ：
- >>37 補足
＞応用
＞ZFの集合モデルは集合状かつ外延的である。
”集合状”かｗ、これ意味わからんと思ったが（＾＾
”Every set model of ZF is set-like and extensional. ”の「set-like」の直訳だね（＾＾；
＜参考引用、該当英文箇所＞ (なお、Applicationも、”応用”より”適用”が適訳かもね。微妙だが)
https://en.wikipedia.org/wiki/Mostowski_collapse_lemma
Mostowski collapse lemma
(抜粋)
Application
Every set model of ZF is set-like and extensional.
If the model is well-founded, then by the Mostowski collapse lemma it is isomorphic to a transitive model of ZF and such a transitive model is unique.
Saying that the membership relation of some model of ZF is well-founded is stronger than saying that the axiom of regularity is true in the model.
There exists a model M (assuming the consistency of ZF) whose domain has a subset A with no R-minimal element,
but this set A is not a "set in the model" (A is not in the domain of the model, even though all of its members are).
More precisely, for no such set A there exists x in M such that A = R^-1 [x].
So M satisfies the axiom of regularity (it is "internally" well-founded)
but it is not well-founded and the collapse lemma does not apply to it.
(引用終り)
以上
現代数学の系譜11 ガロア理論を読む21
■初等関数研究村■
偶数である素数はただひとつであることを証明せよ
受験終わったから大学の数学に手を出したいんだけど
面白い問題おしえて〜な 26問目
数学の本 第83巻
現代数学の系譜 カントル 超限集合論2
大学学部レベル質問スレ 11単位目
確率論とそれに近い分野のスレ
Inter-universal geometry と ABC予想 51
--------------------
SDガンダムオペレーションズ part580
声優さんのメイク Part33
Иんこ
【関西】エクシオ 建築士 岸本晃 山本充 黒眼鏡【その３】
【FOMA SO902i 待受着信音】
Visual Studio Code / VSCode Part6
芸能界の闇
青春高校3年C組 Part.35（ﾜｯﾁｮｲIPなし）
デブ「なりたくてデブになった訳じゃない！」
【アホ菜】木下優樹菜、タピオカ屋を脅迫！！【バカ菜】 Part.5
許
タマゾーのアナル総合スレ
無限について語る
オリエンタルラジオのオールナイトニッポンＲ
【ブロッコリーランドリー】きぬもめ★大さじ10 【4Cも最高】
【チラシより】 カレンダーの裏 (IDなし) 349【大きめ】
最後まで新コロ感染が報告されない県を予想するｽﾚ２
【沖縄大会決勝】沖縄尚学vs興南
ラグビーは紳士のスポーツとかよくそんな大嘘をｗ
【プリモバ】シンプルスタイル★182 【プリスマ】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼