Inter-universal geometry と ABC予想 (応援スレ) 74 (895ﾚｽ)
上
下
前
次
1-
新
792
:
現代数学の系譜 雑談 ◆yH25M02vWFhP
09/06(土)19:28
ID:JgP2aXhR(8/14)
AA×
外部ﾘﾝｸ:ja.wikipedia.org
[
240
|320|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
792: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/06(土) 19:28:55.30 ID:JgP2aXhR つづき (参考) https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99 グロタンディーク宇宙 宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。 グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）。 性質 例として、簡単な命題を証明する。 命題. もし x∈U かつ y⊆x ならば y∈U. 証明. 略 同様に、グロタンディーク宇宙 U が以下のようなものを含むことが容易に証明される: U の各元のすべてのシングルトン。 U の元によって添え字付られた U の元のすべての族のすべての積。 U の元によって添え字付られたU の元のすべての族のすべての直和。 U の元によって添え字付られたU の元のすべての族のすべての共通集合。 U の2つの元の間のすべての関数。 濃度が U の元となる U のすべての部分集合。 グロタンディーク宇宙と到達不能基数 グロタンディーク宇宙が到達不能基数と同値 強到達不能基数 κ 巨大基数の公理 (C) から宇宙の公理 (U) が導かれることを示す 任意のグロタンディーク宇宙はある κ に対し u(κ) の形となる。これはグロタンディーク宇宙と強到達不 能基数の間の別の同値性を与えるものである: 強到達不能基数の存在は ZFC からは証明できない (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1755784703/792
つづき 参考 グロタンディーク宇宙 宇宙のアイデアはアレクサンドルグロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する グロタンディーク宇宙はすべての数学が実行可能な集合を与える実際には集合論のためのモデルを与える 性質 例として簡単な命題を証明する 命題 もし かつ ならば 証明 略 同様にグロタンディーク宇宙 が以下のようなものを含むことが容易に証明される の各元のすべてのシングルトン の元によって添え字付られた の元のすべての族のすべての積 の元によって添え字付られた の元のすべての族のすべての直和 の元によって添え字付られた の元のすべての族のすべての共通集合 のつの元の間のすべての関数 濃度が の元となる のすべての部分集合 グロタンディーク宇宙と到達不能基数 グロタンディーク宇宙が到達不能基数と同値 強到達不能基数 巨大基数の公理 から宇宙の公理 が導かれることを示す 任意のグロタンディーク宇宙はある に対し の形となるこれはグロタンディーク宇宙と強到達不 能基数の間の別の同値性を与えるものである 強到達不能基数の存在は からは証明できない 引用終り 以上
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 103 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.039s