TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
代数的解析幾何学
分からない問題はここに書いてね458
人工知能・機械学習のスレッド＠数学板
現代数学の系譜 工学物理雑談 古典ガロア理論も読む41
数学で一番美しい数ってなんだと思う？
丸2日考えたけど一様収束と各点収束の違いが分からない
【大学院へ】 30過ぎて、数学の道へ その２
【虚数乗法論】 志村五郎 【志村多様体】
ベイズの統計学を学び始めたんだけど
ゲーデルの不完全性定理を論破する方法
- 338 ：
- >>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 の先祖である。
(引用終り)
つづく
サイコロはどの目も出る確率が6分の1←根拠は？
【生保・損保】アクチュアリー資格試験スレ【年金】
虚数とか複素数ってなんですか？
面白い問題おしえて〜な 26問目
増田芳雄が増田哲也にしたことは躾か虐待か決着を
キチガイR
Inter-universal geometry と ABC予想 (応援スレ) 44
純粋・応用数学
フェルマーの最終定理の簡単な証明その２
分からない問題はここに書いてね478
--------------------
…西東京市の一人暮らし…6
指原莉乃さん専用 ゆく時代くる時代〜平成最後の日SP〜
[雑談]断罪のマリア ラ・カンパネラ[攻略]
創価学会中心の集団ストーカーテロを暴くスレ７
劇場版 響け！ユーフォニアム総合♪40
背の高い男しか恋愛対象にならない
流通経済大学ラグビー部 Part53
【大行満】釜堀浩元【大阿闍梨】
虎糊は賢い！賢い奴しかやらない仕事
ダークソウル3アイテムプリケツスレＰart16
モトカレマニア 4・1％
フェミさん「女体として性的な目で見られ消費されるのが、耐え難い屈辱であることを何故男は理解できないのか？」 [899382504]
( ＾ω＾ )きみはひとりじゃないお part39
おにぎり弁当1953
【上抜】 エンジンオイルDIY交換 4回目 【下抜】
【NJPW】新日本プロレスワールド part.523
京都最強だった
毒親あるある
【東李苑】ri(・o・`)n応援スレ【アズマリオン】 [転載禁止]©2ch.net
102期生スレッド その6
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
