[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
181(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)00:02 ID:NNU+uf1a(1/16) AAS
>>175 補足
(引用開始)
>>171
>{}∈{{{}}} を仮定する。
>右辺の元は {{}} のみであるから {}={{}} が成立。
(引用終り)
檜山正幸さんにならって、”現場の素朴集合論”でのたとえ話をすると
省14
187(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)07:21 ID:NNU+uf1a(2/16) AAS
>>180
(引用開始)
ところで「分からない問題はここに書いてね456」にて
推移的集合に関する問題を出題してみたところ
2chｽﾚ:math
速攻で正しい回答が返ってきました
2chｽﾚ:math
省4
188(9): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)07:31 ID:NNU+uf1a(3/16) AAS
さて
>>182
>XとYは集合として異なります
ええ、>>181で「４）袋X≠袋Ｙ です（素朴集合論として）」と自分でも書いていますよ
理解できないようなので、もう少し例を増やします（>>181の”・・・”は省きます）
１）素朴集合の元（要素）として
・大工道具セットの箱A（ノコギリ、金槌、ドライバー）
省30
189(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)07:34 ID:NNU+uf1a(4/16) AAS
>>188 タイポ訂正
・上記４）の「ノコギリ∈Z」のように考える方が、正解なのです
↓
・上記５）の「ノコギリ∈Z」のように考える方が、正解なのです
分かると思うが（＾＾；
193(9): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)08:12 ID:NNU+uf1a(5/16) AAS
>>188 追加
(引用開始)
・⊂と∈とは、よく似ているってこと
・⊂と∈との違いは、∈は集合の元（要素）に適用されるが、⊂は広く集合の元（要素）以外にも適用されること
・ところが、公理的集合論では、元（要素）もまた集合なので、⊂と∈との敷居は素朴集合論より低いのです
・上記５）の「ノコギリ∈Z」のように考える方が、正解なのです
(引用終り)
省24
194(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)08:15 ID:NNU+uf1a(6/16) AAS
>>190
＞要素をたどっていく操作は必ず有限回でおわる
要素をたどっていく操作は、∈関係によります
QED
（＾＾；
199(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:03 ID:NNU+uf1a(7/16) AAS
（>>113より）
外部ﾘﾝｸ:researchmap.jp
フォン・ノイマンと公理的集合論 渕野昌 28. Mai 2017
以下の文章は、 「現代思想」2013 年８月増刊号に，渕野昌，フォン・ノイマンと公理的集合論(2013), 208?223. として収録された論説である。
雑投稿／校正後の加筆訂正も含まれている。
誌掲載版では紙数の制限などのために削除した部分も再収録した。
上記を読むのに、下記が大変役に立ちました（＾＾
省29
200(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:04 ID:NNU+uf1a(8/16) AAS
>>199
つづき
この問題に対して、おそらく数学の「歴史」は、今までのところ、あまりはかばかしい達成をあげていないんじゃないのかと思っている。
ただ、一つ。まあ、昔から知られている結果ではあるが、おもしろいアプローチが知られている。それが、
カテゴリー（圏論）
である。
集合論の圏論的な公理のうち評判のよいものを一つ選ぶと、形式ばらない要約は次のようになる。
省11
202(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:20 ID:NNU+uf1a(9/16) AAS
>>195
(引用開始)
偶数の集合 = {2} = {{1}}
1∈{1}⊂偶数の集合
スレ主によると
1∈偶数の集合
(引用終り)
省29
203(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:24 ID:NNU+uf1a(10/16) AAS
>>201
なんだｗ
「分からない問題はここに書いてね456」
（>>187ご参照）
に間違った回答を書いたのは
もう一匹だったか
それって、なれ合いのサクラ回答じゃんか！ｗ（＾＾；
204(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:31 ID:NNU+uf1a(11/16) AAS
>>200
>集合論ではない（「集合」と「属する」という「無定義用語」によって、公理系を記述していない。あくまで「圏論」流に、「対象Ａから対象Ｂへの射」という「無定義用語」しか本質的に使っていない。
”「集合」と「属する」という「無定義用語」によって”か
なるほど
「属する」（∈）は、「無定義用語」（未定義用語）だったか
確かに、公理を記述するとき、どうしても、「無定義用語」（未定義用語）は避けられない
それは、少ない方がいいのだが
省11
206(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:39 ID:NNU+uf1a(12/16) AAS
>>198
>＞集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
>ニワトリはN2⊂N’だと思い込んでるだろうけど、も・ち・ろ・ん、違うよｗ
？
（>>193より）
集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
(引用終り)
省3
207(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)11:00 ID:NNU+uf1a(13/16) AAS
>>205
(引用開始)
大間違いｗ
ノコギリ⊂{ノコギリ} を仮定すると
包含関係の定義により、∀x∈ノコギリ⇒x∈{ノコギリ} でなければならないが、
{ノコギリ} の元はノコギリのみだから、ノコギリ={ノコギリ} であることが必要。
これはサルの大好きな正則性公理から直ちに否定されるｗ
省23
210: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)11:14 ID:NNU+uf1a(14/16) AAS
>>204 補足
外部ﾘﾝｸ:researchmap.jp
酒井拓史 サカイ ヒロシ
経歴
2013年11月 - 現在
神戸大学 システム情報学研究科 准教授
2010年10月 - 2013年10月
省3
217: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)15:03 ID:NNU+uf1a(15/16) AAS
>>208
(引用開始)
> 集合N'は二つの元から成る有限集合か？
外部ﾘﾝｸ[pdf]:www.people.vcu.edu
p.13 Example 1.3, p.15 Example 1.4などを見て
Exercises for Section 1.3, 1.4あたりを解いてみれば？
(引用終)
省43
221(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)15:41 ID:NNU+uf1a(16/16) AAS
>>140
(引用開始)
集合Xに対してP(X)でXのべき集合を表す
V0={}
V1=P(V0)={{}}
V2=P(V1)={{},{{}}}
(引用終り)
省16
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s