TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
遂に解かれた！AX+BY=CZ
カス厨房が語る長寿記録
ユークリッド幾何学は中学・高校数学から撤廃すべき
「増田哲也→猫◆→狢◆→狸◆」 次は！？
丸2日考えたけど一様収束と各点収束の違いが分からない
モンティホールの問題で絶対選び直す奴www
不等式への招待 第９章
なぜ0^0=1なんですか？
現代数学の系譜11 ガロア理論を読む31
分からない問題はここに書いてね456
- 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
モストフスキ崩壊補題
以上
理系思考の残念な点
素数について教えていただきたいのですが
数学学習法
加藤毅は引用2
現代数学の系譜11 ガロア理論を読む28
現代数学の系譜 工学物理雑談 古典ガロア理論も読む43
３元数できたよ
Octaveやmaximaなどの数学系のフリーソフトのスレ
【悲報】大学1年生「TeXよりWord」
まだ中学生だけど大学の数学科に行きたい
--------------------
◆3人以上の子持ちさん 33人目◆ ©6ch.net
俵万智 さん、沖縄へ移住
NHK秋田放送局：中川安奈ちゃん応援スレ
【朝日新聞】 不動の文氏にしびれ 日韓関係、韓国側で改善へ動き続々 [05/23]
幻想神域 愚痴スレ Part12
若手人気俳優総合スレ950
義母と娘のブルース ダイジェスト
【CGI】 land.to 10鯖目 【SQL】
【鶴瓶が吉田茂に！】笑福亭鶴瓶、バカヤロー総理・吉田茂に テレ東SPドラマ「アメリカに負けなかった男」で生田斗真(白洲次郎役)と共演
牛寺同人ヲチ46
【薪ストーブ】冬キャンプをしよう12【初心者歓迎】
【海賊版サイト】「漫画村」捜査に着手 著作権侵害容疑 延べ約6億2千万人が利用 被害額は数千億円 福岡県警など★3
【学歴詐称疑惑】＜小池都知事＞「1976年に卒業」カイロ大学が声明 [Egg★]
【韓国】韓国で盗撮が社会問題に、想像を絶する被害、トイレの壁は穴だらけ―中国メディア
キノコホテル〜第13幕〜
ヤングダンスサークルに付いて語るスレ part4
【ジャ】ロボットが契約書をめくって自動で押印 手作業の負担を軽減 デンソーと日立が開発 [873113379]
【名無し奥も○○奥も】気楽に井戸端会議4077【みんな来い】
あの頃欲しかった物を書き出すスレ
ドライブレコーダー VIOFO 専用スレ
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
