現代数学の系譜工学物理雑談古典ガロア理論も読む77

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

188: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/09/15(日) 07:31:30.80 ID:NNU+uf1a

さて
>>182
>XとYは集合として異なります

ええ、>>181で「４）袋X≠袋Ｙ です（素朴集合論として）」と自分でも書いていますよ
理解できないようなので、もう少し例を増やします（>>181の”・・・”は省きます）

１）素朴集合の元（要素）として
・大工道具セットの箱A（ノコギリ、金槌、ドライバー）
・釣り道具セットの箱B（釣り竿、釣り針、釣り糸）
・ケースに入れたノコギリ＝{ノコギリ} （一元集合とする（ノコギリはよく使うため））
・大工道具セットの箱C（金槌、ドライバーのみ）（ノコギリを出した）
２）４例
・集合X＝{A,B} （セットで入っている）
・集合Y＝{ノコギリ,金槌,ドライバー,釣り竿,釣り針,釣り糸} （バラバラに入っている）
・集合Z＝{A,C,{ノコギリ}} （{ノコギリ} （一元集合）として入っている）
・集合Z’＝{A,C,ノコギリ} （ノコギリが元として入っている）
３）ここで、X≠Y≠Z≠Z’です（念のため）
４）ノコギリに注目すると
・ノコギリ∈Y かつ ノコギリ∈Z’
・ノコギリ∈{ノコギリ}⊂Z
５）もしノコギリが集合だと考えると
・ノコギリ⊂{ノコギリ}⊂Z （包含関係）
　よって
・ノコギリ⊂Z
　つまり、ノコギリはZに包含されているのです
　ノコギリは、集合ではなく元だったので
・ノコギリ∈Z
６）まあ、上記５）で言いたいことは
・⊂と∈とは、よく似ているってこと
・⊂と∈との違いは、∈は集合の元（要素）に適用されるが、⊂は広く集合の元（要素）以外にも適用されること
・ところが、公理的集合論では、元（要素）もまた集合なので、⊂と∈との敷居は素朴集合論より低いのです
・上記４）の「ノコギリ∈Z」のように考える方が、正解なのです
　勿論、X≠Y≠Z≠Z’です
・こう考えないと、>>164の 酒井拓史 神戸大
「整礎的関係 Rを集合X 上の二項関係 基礎公理により，すべての集合X に対して，
　∈｜ X := {(x, y) ∈ X × X | x ∈ y} はX 上の整礎的な二項関係」
　は理解できないでしょう （特に”すべての集合X に対して”に対し、{{{{}}}}が反例になるが、それはおかしい（>>163-164ご参照））
以上

http://rio2016.5ch.net/test/read.cgi/math/1568026331/188

199: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/09/15(日) 10:03:55.55 ID:NNU+uf1a

（>>113より）
https://researchmap.jp/?action=cv_download_main&upload_id=212150
フォン・ノイマンと公理的集合論 渕野昌 28. Mai 2017
以下の文章は、 「現代思想」2013 年８月増刊号に，渕野昌，フォン・ノイマンと公理的集合論(2013), 208?223. として収録された論説である。
雑投稿／校正後の加筆訂正も含まれている。
誌掲載版では紙数の制限などのために削除した部分も再収録した。

上記を読むのに、下記が大変役に立ちました（＾＾
http://www.ivis.co.jp/text/20190619.pdf
代替集合論 （Alternative Set Theories）の調査 古賀明彦 2019年 6月 19日（水）

なお、追加でメモ貼り
https://martbm.hatenabloｇ.com/entry/20170723/1500777080
martingale & Brownian motion
2017-07-23
ＺＦＣの圏論での「代替」には意味があるのか？

新装版 集合とはなにか―はじめて学ぶ人のために (ブルーバックス)
作者: 竹内外史
出版社/メーカー: 講談社
発売日: 2001/05/18

現代集合論入門 (日評数学選書)
作者: 竹内外史
出版社/メーカー: 日本評論社
発売日: 1989/12/01

この本がいいところは、なぜ公理的集合論が「変」なのか。というか、どうしてこんなことになっているのかを、かなり細かく（つまり、啓蒙的に）書いてくれていることで、細かい証明を辿っていけば、「なるほど、こんなことになっているんだな」というのを理解してくれると思う。

ここで大事なポイントは、「これ」が「数学の基礎」として提示されているところにある。
ようするに、あまりに「人工的」な印象を受けるわけである。
もっと言えば、この公理は
強すぎる
のではないのか、という疑いが強いわけである。
なぜ、こんな公理が用意されたのか？
それは、上記の「矛盾」を回避するためであった。
つまり、いろいろと分かっている「矛盾」を回避しながら、かつ、
今ある「全て」の数学を成立させる
ための「基礎」となる公理はなんなのか、として「探された」結果として、この姿があるわけで、少しも「直感的」な理由から選ばれていないわけである。

これが「数学の基礎」と言うには、あまりに「人工的」なんじゃないのか？
という、気持ち悪さが残っているわけである。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1568026331/199

202: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/09/15(日) 10:20:21.72 ID:NNU+uf1a

>>195
(引用開始)
偶数の集合 = {2} = {{1}}
1∈{1}⊂偶数の集合
スレ主によると
1∈偶数の集合
(引用終り)

素朴集合論のロジックと、公理的集合論のロジックとを、
意図して混用しているね（まあ、おれもやっているけどねｗ（＾＾； ）
素朴集合論のロジックでは、
２はアトムであって、集合ではないよ

>>196
>ｓ⊂N　s⊂N2　だが、s⊂N'ではない

「包含関係は順序関係」（下記）なので
s⊂N2⊂N’なので、下記の推移律から
s⊂N’成立
QED
（＾＾；

（参考）
https://wiis.info/math/set/set/subset-is-ordering-relation/
ワイズ
包含関係は順序関係 2019年1月20日
(抜粋)
要旨：包含関係は反射律、推移律、反対称律を満たす順序関係です。
包含関係⊂は以下の性質を満たします。
命題（包含関係は順序関係）
任意の集合X,Y,Zについて以下が成り立つ。
(a) X⊂X
(b) (X⊂Y ∧ Y⊂Z) ⇒ X⊂Z
(c) (X⊂Y ∧ Y⊂X) ⇒ X=Y
性質(a)は、任意の集合は自身の部分集合であることを意味します。包含関係が満たすこのような性質を反射律（reflexive law）と呼びます。
性質(b)は、XがYの部分集合であり、YがZの部分集合であるならば、XはZの部分集合であることを意味します。包含関係が満たすこのような性質を推移律（transitive law）と呼びます。
性質(c)は、XがYの部分集合であり、YがXの部分集合であるならば、XとYは等しい集合であることを意味します。包含関係が満たすこのような性質を反対称律（antisymmetric law）と呼びます。

包含関係がこれらの性質を満たすことは、包含関係が順序関係（ordering relation）と呼ばれる二項関係（binary relation）であることを意味します。
二項関係や順序関係については追って説明します。
包含関係は全順序関係ではない

http://rio2016.5ch.net/test/read.cgi/math/1568026331/202

217: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/15(日) 15:03:33.18 ID:NNU+uf1a

>>208
(引用開始)
> 集合N'は二つの元から成る有限集合か？
https://www.people.vcu.edu/~rhammack/BookOfProof/BookOfProof.pdf
p.13 Example 1.3, p.15 Example 1.4などを見て
Exercises for Section 1.3, 1.4あたりを解いてみれば？
(引用終)

見たけど、そのPDF Edition 2.2 2013で ちょっと古い
いま、Edition 3.1 2018(下記)
それで、p.13 Example 1.3 は、p.14 Example 1.6
になっているけど、これ、素朴集合論ベースでしょ
例えば
・” 1 not⊆{1,{1}} . . .because 1 is not a set ”とか
　1は集合ではなく、集合を構成する元だという
　しかし、日本の普通の公理的集合論ZFCでは、集合を構成する元も実は集合ですよね
・”Φ not∈ N . . . . because the set N contains only numbers and no sets”も、いま議論している
　公理的集合論ZFCによる自然数の構成とは、立場が異なる
（参考）
https://www.people.vcu.edu/~rhammack/
Richard Hammack
https://www.people.vcu.edu/~rhammack/BookOfProof/
BOOK OF PROOF Third Edition
https://www.people.vcu.edu/~rhammack/BookOfProof/Main.pdf
Book of Proof Edition 3.1 2018 Richard Hammack
Department of Mathematics & Applied Mathematics Virginia Commonwealth University
(抜粋)
P14
Example 1.6
2. 1 not⊆{1,{1}} . . .because 1 is not a set
9. Φ not∈ N . . . . because the set N contains only numbers and no sets

（>>207より参考）
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
他にも自然数の定義は無限にできる
例えば、0 := {}, suc(a) := {a} と定義したならば
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる
(引用終)

（参考）
https://mathtrain.jp/setsnotation
高校数学の美しい物語 20170214
集合の記号の意味まとめ
(抜粋)
A⊆B ：集合 A は集合 B の部分集合である
A⊂B ：集合 A は集合 B の真部分集合（部分集合であるが等しくはない）である
注：部分集合，真部分集合の記号についてはいくつか流儀があるので注意が必要です

http://rio2016.5ch.net/test/read.cgi/math/1568026331/217

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.041s