TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
「数学って何の役に立つの?」へのお前らの答えを書くスレ
【速報】円周率と自然対数の底を足すと超越数になることが証明された【数学】
5次方程式の解を表現できる数体系
■初等関数研究所■
数列 総合スレ
有理数であることも無理数であることも証明できない実数
【万年】黒木玄を語ろう【助教】 その2
低能サラリーマンking様の弟子と雑談できちゃうスレ
【大学院へ】 30過ぎて、数学の道へ その2
Inter-universal geometry と ABC予想 (応援スレ) 47
30 :
>>21
うん、それね、おれ間違っているね(^^;
スレ76 https://rio2016.2ch.sc/test/read.cgi/math/1566715025/845
引用
>>842
>Ω ⊂ R^N と Ω ∈ R^N はまったく別ものである
「まったく別もの」ではない
詳しくは、>>832の「ZFC公理系について:その1(及び2)」を読んでみな
簡単に書くと
1)二つの集合A,Bで、A ∈ B → A ⊂ B
 ∵ 集合Aの全ての元aは、集合Bの元だから
2)二つの集合A,Bで、A ⊂ B → A ∈ B
 ∵ 集合B中で、集合Aの全ての元aを集めて、内部に集合Aを構成できるから
3)”A ∈ B → A ⊂ B” & ”A ⊂ B → A ∈ B”が成立つから、二つは同値
(引用終り)

1)まず、上記2)は、スレ76 https://rio2016.2ch.sc/test/read.cgi/math/1566715025/865
 に自分で書いたように、正則性公理から反例 x not∈ x (x ⊂ xであるにも関わらす)が出るから間違い
 (それ以外にも、反例はあるな。後述)
2)では、上記1)は、どうだろうか?
 下記の筑波大 坪井先生の数理論理学IIをベースに考えてみよう
 P5 公理的集合論「x ∈ y の直観的な意味は,もちろん元x が集合y に属することであるが,x も一つの集合だと考える.」
 ”元x も一つの集合だと考える”とすると、x ∈ y → x ⊂ y だろうと
 しかし、ZFC公理系から導けると思って、トライしたが、残念ながらできなかった(^^;
 (そういう文典も探したが、見つけられなかった)
3)しかし、我々の通常接する素朴集合論に近い議論では、”x ∈ y → x ⊂ y ”を認めた方が良いという結論に至った
4)その一つの理由が、P11の「1.3 順序数」の、
「素朴集合論では同値類 X/〜 を(一つの)順序数とよぶ.
しかし整列順序の全体は(大きすぎて)集合にはならない.X と順序同型
なものたち全体に限っても集合ではない.したがって,素朴集合論における通
常の構成法は厳密な議論には相応しくないので,別の構成法を考えなくてはならない.
基本的な考え方は,∈ がその上で整列順序になる集合たちのクラスを上手に
定義して,それに属する集合を順序数として定義すること」
(要するに、∈−順序な)

つづく

♂♂♂♂♂♂♂♂♂   暗号解読
雑談はここにかけ!【54】
数学科の就職って……
【大数】大学への数学 学コン考察
(負の数)×(負の数)=(正の数)になる理由って中学生に説明できる?
高校数学は暗記科目
【悲報】大学1年生「TeXよりWord」
数学の本第78巻
現代数学の系譜 工学物理雑談 古典ガロア理論も読む81
指数定理
--------------------
【神奈川県知事】東京都はまだ感染爆発の手前。昨日はドーンときたけれど、それがドドドッっていくのか収まるのかわからない
常総学院Part86
アニメBDMVハッシュスレ 13 [無断転載禁止]©2ch.net
ショパン最高傑作【前奏曲】スレッド9835;
行列のできるエベレスト山頂 12時間待ちで8人死亡
【福岡】「大麻オイル」密輸容疑 自作ストロー片70個飲み込む 福岡県警
【2020年4月】加熱式と電子式タバコの扱い5 【原則屋内禁煙】
【封神演義】普賢真人を語るスレ【オバケじゃないよ】Ver10.51
自衛隊入隊希望です。質問があります
年収100万〜200万以下の一人暮らし65
【ILLUSION】幻覚アレルギー Vol.-B-【ALLERGY】
川*^∇^)<熊井友理奈のファンスレPART2
【関東】銭湯のオフ会【温泉、プール、サウナ】
機動戦士ガンダム Vol.35 【 ソロモン攻略戦 】
【経済】4〜6月期決算 9・8%増益 前半ピーク 製造業好調 円安も一因
【詐欺?】国際結婚ハーモニー【国民生活センター】
天野明@家庭教師ヒットマンREBORN!109発目
【引退】修行をやめたらカキコするスレ【決別】
【日本語不自由】Eclipse Pleiades プラグイン
【大阪】カジノ収益、都構想4特別区に「均等配分」 大阪知事【大阪都構想】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼