ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

純粋・応用数学・数学隣接分野（含むガロア理論）21

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>48 > >>43-47 > ふっふ、ほっほ > さすが、数学科入学１年の１日目の講義で > 目を白黒させて 詰んだ男だ > 君に欠落しているのは、囲碁でいうところの大局観だよ > > １）そもそも 公理的集合論は 素朴集合論があって > 　それを公理化しようとするものだ > 　（あたかも、古代ギリシャで ユークリッドが 平面幾何を 公理として整理して いろんな定理を証明した如くだ） > ２）さて、集合とはなにか？ > 　簡単にいえば、複数の要素を集めたものだね > 　そして 集合A ={a1,a2,a3}、集合B ={b1,b2,b3} > 　この二つの集合で 重なりがないとき > 　A+B ＝{a1,a2,a3,b1,b2,b3} > 　これが 出来ないと 話が始まらない > 　（だから これはこれで 公理を設けるとして） > ３）問題は AとB に重なりがある場合だ > 　集合A ={a1,a2,a3,c1,c2,c3,・・・} > 　集合B ={b1,b2,b3,c1,c2,c3,・・・} > 　このとき > 　U＝A∪B＝{a1,a2,a3,b1,b2,b3,c1,c2,c3,・・・} > 　I＝A∩B＝{c1,c2,c3,・・・} > 　だよね。具体例としてはね > 　これを、抽象的な公理として どう処理するのか？ だね > 　そういう問題 だよね > 　 > さて 繰り返しいうが > ・そもそも集合とは 複数の要素を集めたもの > ・二つの集合で 重なりがないときに、二つの集合の要素を集めて 一つの集合を作ることは当然可（これができなければ 話は始まらない） > ・問題は、二つの集合で 重なりがあるときに、抽象的な公理として どう処理するのか？ そういう問題でだね > ・そこで、ZFC公理系においては、和集合の公理をおいたってことだね > > 追伸 > 　>>42 U＝I+(As+Bs) ・・(2) の式において > I,As,Bsの３つ どれも重なりを持たない > だから、この場合は 単純に 要素を列挙すれば良いだけ > > これを > 公理系として どう実現するかを考えれば良い > まず、そこの文献を調べてみな オチコボレさんｗ　；ｐ）
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.006s