TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
作用素環論
【あさひ】高校数学の質問スレPart397
「理論物理学のための幾何学とトポロジー」
自然対数eっていったい何者なの?
分からない問題はここに書いてね453
モンティホールの問題で絶対選び直す奴www
13×小学校のかけ算順序問題
教授はなぜ学部生にも数学を教えないとダメなのか?
素人には 8÷2(2+2) を16と答える馬鹿が居るらしい
数論幾何
29 :
ありがとう、おサル
もっと、踊っておくれ by サル回しのスレ主(^^

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 と順序同型
なものたち全体に限っても集合ではない.したがって,素朴集合論における通
常の構成法は厳密な議論には相応しくないので,別の構成法を考えなくてはならない.
基本的な考え方は,∈ がその上で整列順序になる集合たちのクラスを上手に
定義して,それに属する集合を順序数として定義すること」
(要するに、∈−順序な)

つづく

初等幾何学ってなに
プラスマイナスゼロ
ガロア優秀仮面理論についてwwwww
「数学って何の役に立つの?」へのお前らの答えを書くスレ
フーリエ変換・ラプラス変換
代数幾何を勉強するためのスレッド
(・∀・)ヤコビヤーン! 2
山口大学理学部数理科学科
面白い問題おしえて〜な 30問目
現代数学の系譜 古典ガロア理論を読む39
--------------------
【悲報】派遣社員の女さん、コロナに感染してIT企業をクビになってしまう なぜ非正規は責任感に乏しく、迷惑をかけてしまうのか? [257926174]
💰 bitcoin news ビットコインニュース
千葉県の高校野球 part698
【最強台風】大型で非常に強いスーパー台風19号 三連休に関東直撃へ 中心気圧は925hPa ★119
ガールズケイリン122
華麗なる誘惑(화려한유혹)
もの凄い勢いで誰かがアンケート系の質問に答えるスレ
でかい材木や鋼材をどうやって運ぶ?
同志社と法政は環境に恵まれないのに何故強いのか?
うざいラジコンクラブ〜復活1機め〜
【関西学生野球連盟Part34】関・関・同・立・神・京
韓日関係が悪化してる今こそ韓日スワップを再開して関係改善をするべきだと思う
【広島県】ピカッと黒焦げヒロシマ市ラーメン
【Vita/DS】風来のシレン5 plus 178F
土曜朝6時 木梨の会。  part3
【TDR】★TDR商品部★94品目
【秋葉原】ぎゃるるん part.2 【占い】
毒親育ちが語り合うスレ 111(ワッチョイあり)
◆◆◆魔神バンダー◆◆◆
飯田浩司のOKコージーアップ17
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼