0881132人目の素数さん
2021/12/28(火) 00:06:00.67ID:IQKnQwAx>V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈ . . . ∈ V_n ∈ . . . ∈ V
>をもって何を言いたかったのかは私には理解できません
下記のグロタンディーク宇宙 V_ωのことでしょ、多分
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
グロタンディーク宇宙と到達不能基数
グロタンディーク宇宙の2つの簡単な例がある:
・空集合
・すべての遺伝的有限集合 の集合 V_ω。
他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。
>>V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈ . . . ∈ V_n ∈ . . . ∈ V
>nがどんな自然数だとしても∈有限下降列ですね、お疲れ様です
nは全ての自然数を尽くして、V_ωになる
つまり、グロタンディーク宇宙で、無限上昇列(降下列では、ない)