スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8ｗ)

前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

https://rio2016.5ch.io/test/read.cgi/math/1788330573/
前スレ スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)

(参考)時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目（数学セミナー201511月号の記事）の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目（数学セミナー201511月号の記事）の後

数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.io/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

２．続けて時枝はいう
　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字

つづく

>>559
(引用開始)
>> 546
>>>（グロタンディーク宇宙も否定されるので 圏論にも不都合）
>>これ本当？　ソース示して　また妄想じゃないでしょうね
>(参考) 下記読んで
どこに「グロタンディーク宇宙も否定される」と書かれてんの？　君、日本語読めないの？　じゃ小学校の国語からやり直しなよ
(引用終り)

おいおい
文盲か（放送禁止用語）

(経緯再録)
>> 527
>>（グロタンディーク宇宙も否定されるので 圏論にも不都合）
>これ本当？　ソース示して　また妄想じゃないでしょうね
>> 522
>アウトです
>「V=Lを仮定」は、多くの数学者は否定的です
>（グロタンディーク宇宙も否定されるので 圏論にも不都合）
これ本当？　ソース示して　また妄想じゃないでしょうね
(引用終り)

基礎論自慢のばかサル>>96が 基礎論でスベルかよｗｗｗ
（ですね）人 も、ばかサルに乗せられるか おいおい
＜しばらく 5ch離れて 一ヵ月くらい大学確率論の本よめ！ 自分のバカさ加減が分かるだろう＞
中高一貫校向けにハッキリ書いておく

１）用語の確認しよう 下記な（＾＾
２）記号の濫用で L ⊂ V* ⊂ U* と書く
　ここに ⊂ は、集合の包含関係を 宇宙に適用したもので 等号＝ 不成立とする
　L：（ゲーデル）Constructible universe （standard inner model of ZFC、absolute and minimal）
　V*：(素の)フォン・ノイマン宇宙 V （到達不能基数は考えない）
　U*：グロタンディーク宇宙 到達不能基数を考える
　補足(下記より)
　・L is a standard inner model of ZFC absolute and minimal
　・V* 真のクラス
　・U* 強到達不能基数κのグロタンディーク宇宙
３）まとめると Lは、強到達不能基数κのグロタンディーク宇宙Uを否定している
　また 下記のように"構成可能性の公理は真か偽かのどちらかだと考えている者のほとんどは、偽だと考えている"とある
　百回音読してね

(参考)
https://en.wikipedia.org/wiki/Axiom_of_constructibility
Axiom of constructibility
(google訳)
構成可能性の公理は、数学における集合論の公理の一つであり、すべての集合は構成可能であると主張する。この公理は通常、V = Lと表記される。
Vは、すべての整礎集合のフォン・ノイマン宇宙を表し、
Lは構成可能集合を表す
影響
構成可能性の公理は集合論上の多くの問題を解決するものの、ZFC 公理と同じように集合論の公理として一般的に受け入れられているわけではない。実在論的な傾向を持つ集合論者のうち、構成可能性の公理は真か偽かのどちらかだと考えている者のほとんどは、偽だと考えている。[ 3 ]これは、与えられた集合の特定の部分集合（例えば、0♯⊆ω 存在し得ない）[要出典]であり、これらが全てであると信じる明確な理由はありません。その理由の一つは、この公理が十分に強力な大きな基数公理によって矛盾するからです

https://en.wikipedia.org/wiki/Constructible_universe
Constructible universe
L is a standard inner model of ZFC
L is absolute and minimal

つづく

つづき

https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
フォン・ノイマン宇宙 V とは、遺伝的（英語版）整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。
Vと集合論
ω を自然数全体の集合とすると、Vω は遺伝的有限集合全体の集合であり、無限公理を持たない集合論モデルである。Vω+ω はordinary mathematicsの宇宙であり、ツェルメロ集合論のモデルである。
κ が到達不能基数ならば、VκはZFCのモデルである。そして、Vκ+1はモース-ケリー集合論のモデルである。
V は二つの理由によって、“全ての集合による集合” とは異なるものである。第一に、これは集合ではない。各階層Vα がそれぞれ集合でも、その和である V は真のクラスであるからだ。
第二に、略す

（絵がきれいで分かり易い）
https://en.wikipedia.org/wiki/Von_Neumann_universe
https://en.wikipedia.org/wiki/Von_Neumann_universe#/media/File:Von_Neumann_Hierarchy.svg
An initial segment of the von Neumann universe. Ordinal multiplication is reversed from our usual convention; see Ordinal arithmetic.

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ω
他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である:
略
グロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである:

グロタンディーク宇宙
Uに対して、|U| は零、ℵ0、もしくは強到達不能基数のいずれかとなる。また、
κ が零、ℵ0、もしくは強到達不能基数ならば、グロタンディーク宇宙
u(κ)が存在する。さらに、u(|U|)=Uかつ|u(|κ|)|=κとなる。
強到達不能基数の存在は ZFC からは証明できないため、空集合と
Vω 以外の宇宙の存在はどれも ZFC から証明することができない。

https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0
到達不能基数
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがある
略

つづく