[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
338(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/19(木) 07:52:36.81 ID:MSw7Rbq1(7/14) AAS
>>337
つづき
２）さて、下記のように考えてみよう
（参考）
https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/ 数学基礎論サマースクール 選択公理と連続体仮説
https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/sakai0.pdf
公理的集合論の基礎 酒井 拓史 神戸大学 2019 年 数学基礎論サマースクール
(抜粋)
P3
公理的集合論の枠組み
・集合論の言語L∈： 非論理記号は二項関係記号∈ のみ
遺伝的集合の集まりとそれら間の要素関係（∈-関係）
● 遺伝的集合： 要素もそのまた要素もすべて集合である集合
例： Φ，{Φ}，{Φ, {Φ, {Φ}}}
(引用終り)
上記神戸大酒井拓史先生の遺伝的というのが、空集合から初めて、冪集合を順々につくってもの
即ち、下記の二項関係の「先祖である」と同じと解してみよう
Φ∈{Φ}∈{Φ, {Φ}}∈{Φ, {Φ, {Φ}}}なのだが
Φが元で{Φ}を作って、{Φ}が元で{Φ, {Φ}}・・となる
さて、このような二項関係を示す記号を、∈Rと書こう
上記二項関係の”∈R”には、∈と類似のしかし、少しだけ異なる定義を与える
１）A∈Bのとき、二項関係 A ∈R B が成立っているとする
２）さらに、A∈B∈Cのとき、二項関係 A ∈R B とB ∈R C のみならず、A ∈R Cも成立っているとする（推移律）
くどいが、間にBを挟んだ間接的な場合にも、A ∈R Cも成立っているとする
３）∈と二項関係の”∈R”との違いについて説明すると、
∈は公理的集合論の集合を構成するカナメの記号だが
”∈R”は、出来上がった集合の二項関係を示すためだけの機能に限定するものとする（集合を構成する力はない）
（参考）
https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E9%96%A2%E4%BF%82
二項関係
(抜粋)
集合上の関係
集合 X 上の二項関係のいくつか重要なクラスとして、以下のようなものを挙げることができる：
・推移的 (transitive)
X の各元 x, y, z について、xRy かつ yRz ならば xRz となるとき、関係 R は推移的であるという。
「先祖である」という関係は推移的である。実際、x が y の先祖で、y が z の先祖ならば、x は z の先祖である。
(引用終り)
つづく
339(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/19(木) 07:55:39.86 ID:MSw7Rbq1(8/14) AAS
>>338
つづき
３）こう考えると、上記のwikipediaの単純な自然数構成でも
∈Rを使って
0 = {} ∈R {{}} ∈R {{{}}} ∈R {{{{}}}} = 3
と、二項関係∈Rで、綺麗な順序が構成できる
こうして構成した二項関係∈Rには、モストフスキ崩壊補題により
”推移的集合Mによる (M, ∈) と順序同型で、順序同型な順序数が一意に存在する” （>>261 近藤 友祐 神戸大学 ）
この考えによれば、二項関係∈Rの意味で
>>299のA社＝{第一事業部、第二事業部、第三事業部、AI研究所}で
第一事業部に属する社員は、またA社にも属する（∈Rの意味で）と言える
しかし、それは、A社＝{ a、第一事業部、第二事業部、第三事業部、AI研究所}を意味する訳では無い
この見方を支える一つの柱が、モストフスキ崩壊補題ですｗ（＾＾；
日常の自然言語における”所属”とか”属する”は、この意味ですね
で、繰返すが、確かに、
0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる
そして、この自然数の構成は、厳密な意味での推移的集合による構成ではないが、推移的集合による構成と順序同型になるってこと（モストフスキ崩壊）
以上
340: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/19(木) 08:02:35.41 ID:MSw7Rbq1(9/14) AAS
>>338 蛇足だが
(引用開始)
３）∈と二項関係の”∈R”との違いについて説明すると、
∈は公理的集合論の集合を構成するカナメの記号だが
”∈R”は、出来上がった集合の二項関係を示すためだけの機能に限定するものとする（集合を構成する力はない）
(引用終り)
公理的集合論の集合を構成するカナメの記号∈が、強力すぎる機能を持たせると
パラドックスを生じる危険性がある
だから、公理的集合論の中では、∈をできるだけ限定した機能として作用させているのだろう
しかし、日常の自然言語における”所属”とか”属する”は、公理的集合論に捕らわれず、我々は広い意味で使っている
その隙間を埋めるのが、モストフスキかもね（＾＾；
343: １３２人目の素数さん [sage] 2019/09/19(木) 19:33:56.19 ID:7GQwcv+X(6/9) AAS
>>338
> １）A∈Bのとき、二項関係 A ∈R B が成立っているとする
> ２）さらに、A∈B∈Cのとき、二項関係 A ∈R B とB ∈R C のみならず、A ∈R Cも成立っているとする（推移律）
> くどいが、間にBを挟んだ間接的な場合にも、A ∈R Cも成立っているとする
で？
まさか
「A ∈R C ならば A ⊂ C」
とかタワケたこと言わんだろうねｗ
君、A⊂Bの定義、知ってる？
∀x(x∈A⇒x∈B)
が成り立つ時だよ
決して
∀x(x ∈R A⇒x ∈R B)
が成り立つ時ではないからｗ
358(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/20(金) 06:37:57.14 ID:ihE7M+Qz(1/9) AAS
>>355
サル石はいるよ（>>2）
お前のこと
哀れな素人さんのスレ＊）に書いているかどうかとは無関係に、サル石はいる
＊） 現代数学はインチキだらけ
2chｽﾚ:math
>>356
>なんで集合Sの元が無限集合sだったら、
>集合Sも無限集合にならなければいけない
（定義）有限集合を、有限個の元からなり、その元の祖先をたどっていったとき、必ず有限集合かアトムからなる集合と定義する
それで終り。これは定義の問題だよ
これは、>>335の”「同じと見なす」ことの素晴らしさと難しさ”（hiroyukikojima）に通じる話
>>357
>「二つの集合A,Bで、A ∈ B → A ⊂ B」
それは、>>338に書いたように
∈と類似の二項関係の”∈R”に、類似のしかし、少しだけ異なる定義を与えれば
「二つの集合A,Bで、A ∈R B → A ⊂ B」と見ることができる
これも、>>335の”「同じと見なす」ことの素晴らしさと難しさ”（hiroyukikojima）に通じる話
これが分からないようじゃ、おサルには、大学数学は無理かもね（>>335より）（＾＾；
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s