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

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

338: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/19(木) 07:52:36.81 ID:MSw7Rbq1

>>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 の先祖である。
(引用終り)

つづく

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

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

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

ぬこの手ぬこTOP 0.358s*