Inter-universal geometry と ABC予想 (応援スレ) 74

Inter-universal geometry と ABC予想 (応援スレ) 74 (974ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

840: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/09/07(日) 15:56:05.42 ID:hvfvmXnW

>>807
>>”V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって”は、ノイマン宇宙でも同じでは？
>V_nって宇宙だろ？　だったら違うな

まあ、学部の数学では 宇宙は まず出てこないし
数学屋の中でも ”宇宙”の定番定義は ないだろうよ
下記の 薄葉 季路 (早大理工)氏 などが、これからの学会標準を作っていくのだろう

さて、ゲーデルの Constructible universe L（下記）がある
ノイマン宇宙V グロタンディーク宇宙Uで 集合の記号⊂を流用すると
L ⊂ V ⊂ U となる

あとは、各論文毎に用語”宇宙”の定義について
眉に唾しながら 見てゆくしかないだろうｗ　（＾＾
用語”宇宙”に目くじら立てるのは、基礎論ド素人だけだよｗ　；ｐ）

(参考)
https://www.mathsoc.jp/activity/video/2017spring/0324usuba.html
企画特別講演　2017年度年会 日本数学会
講演者
薄葉 季路 (早大理工)
講演題目
集合論の宇宙 —Universe と Multiverse—
動画 https://youtu.be/WQzlEj1g71M?t=1
https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf
講演資料
発表スライド『集合論の宇宙　Universe と Multiverse』

https://ja.wikipedia.org/wiki/%E6%A7%8B%E6%88%90%E5%8F%AF%E8%83%BD%E9%9B%86%E5%90%88
ゲーデルの構成可能集合（ constructible universe または Gödel's constructible universe）
構成可能集合全体のクラス L を構成可能宇宙と呼ぶ。
性質
L は全ての順序数を含む最小の ZFC のモデルである。
https://en.wikipedia.org/wiki/Constructible_universe
Constructible universe
In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted by
L, is a particular class of sets that can be described entirely in terms of simpler sets.
L is the union of the constructible hierarchy Lα.
It was introduced by Kurt Gödel in his 1938 paper "The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis".[1] In this paper, he proved that the constructible universe is an inner model of ZF set theory (that is, of Zermelo–Fraenkel set theory with the axiom of choice excluded), and also that the axiom of choice and the generalized continuum hypothesis are true in the constructible universe.
(google訳)
LはZFCの標準的な内部モデルである
Lは絶対的かつ最小である

http://rio2016.5ch.net/test/read.cgi/math/1755784703/840

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

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

ぬこの手ぬこTOP 0.029s