スレタイ箱入り無数目を語る部屋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などは下付添え字

つづく

>>728-733
ID:70F5iJtF は、御大か
赤ペン チェック ダメ出しの巡回ありがとうございます（＾＾
下記 よくカーラジオで聞く 文化放送
”「ドカンのコーナー」（正式名称：タフマン伊東の堪忍袋）”
を連想しますね
『リスナーから寄せられた日常生活での不条理な出来事や、思わず怒りを感じたエピソード（うっぷん）を紹介する名物コーナーです。伊東四朗さんがリスナーの「怒り」に対する共感度（腹立ち度合い）に応じて、「大・中・小」の3段階の雷（ドカンという効果音）を落として世の中に物申します』

今日は、大きな”ドカン”（雷）を 落としたということか（＾＾；

(参考)
https://ja.wikipedia.org/wiki/%E4%BC%8A%E6%9D%B1%E5%9B%9B%E6%9C%97_%E5%90%89%E7%94%B0%E7%85%A7%E7%BE%8E_%E8%A6%AA%E7%88%B6%E3%83%BB%E7%86%B1%E6%84%9B
『伊東四朗・吉田照美 親父・熱愛[3]』（いとうしろう よしだてるみ オヤジパッション）
1997年4月13日から放送されている文化放送制作のラジオ番組である。通称はオヤパツ。
コーナー
現在
・タフマン伊東の堪忍袋（15:30頃） … 『あっぱれ土曜ワイド』内の同名コーナーのオマージュ。リスナーから寄せられた、怒りのエピソードを紹介。その怒りの共感度に応じて、大・中・小の3つの雷のうち、1つが落とされる

AI による概要
文化放送のラジオ番組『伊東四朗 吉田照美 親父・熱愛』などで放送されている「ドカンのコーナー」（正式名称：タフマン伊東の堪忍袋）
コーナーの概要
リスナーから寄せられた日常生活での不条理な出来事や、思わず怒りを感じたエピソード（うっぷん）を紹介する名物コーナーです。伊東四朗さんがリスナーの「怒り」に対する共感度（腹立ち度合い）に応じて、「大・中・小」の3段階の雷（ドカンという効果音）を落として世の中に物申します。

あんたがた

>>727
ですね

>>569 もどる
>（グロタン宇宙はノイマン宇宙の中の集合の1つなんだけどね）

(ですね)人は、ほんと倒錯しているよね
なんにも分ってない
それじゃ 箱入りが分らないのも無理ない

(参考)
https://en.wikipedia.org/wiki/Grothendieck_universe
（部分google訳）
グロタンディークの宇宙

グロタンディーク宇宙は、あらゆる数学を実行できる集合を提供することを目的としています。実際、非可算なグロタンディーク宇宙は、自然な∈関係、自然な冪集合演算などを備えた集合論のモデルを提供します。グロタンディーク宇宙の要素は、小集合と呼ばれることもあります。宇宙の概念はアレクサンダー・グロタンディークによるもので、彼は代数幾何学における適切なクラスを回避する方法として宇宙を用いました。グロタンディークの当初の提案は、集合論の通常の公理に次の宇宙の公理を追加することでした。すべての集合に対して
Grothendieck’s original proposal was to add the following axiom of universes
to the usual axioms of set theory:
For every set s, there exists a universe
U that contains s, i.e., s∈U.

非自明なグロタンディーク宇宙の存在は、ツェルメロ・フレンケル集合論の通常の公理を超えており、特に、強く到達不可能な基数の存在を意味する。タルスキ・グロタンディーク集合論は、いくつかの自動証明システムで使用される集合論の公理的扱いであり、すべての集合がグロタンディーク宇宙に属する。グロタンディーク宇宙の概念は、初等トポスでも定義できる。[ 1 ]

Grothendieck universes and inaccessible cardinals
Since the existence of strongly inaccessible cardinals cannot be proved from the axioms of Zermelo–Fraenkel set theory (ZFC), the existence of universes other than the empty set and Vω cannot be proved from ZFC either.
However, strongly inaccessible cardinals are on the lower end of the list of large cardinals; thus, most set theories that use large cardinals (such as "ZFC plus there is a measurable cardinal", "ZFC plus there are infinitely many Woodin cardinals") will prove that Grothendieck universes exist.

つづく

つづき

https://en.wikipedia.org/wiki/Measurable_cardinal
Measurable cardinal
In mathematics, specifically in set theory, a measurable cardinal is a certain kind of large cardinal number. In order to define the concept, one introduces a two-valued measure on a cardinal
κ, or more generally on any set. For a cardinal
κ, it can be described as a subdivision of all of its subsets into large and small sets such that κ itself is large, the empty set and all singletons
{α} with α∈κ
are small, complements of small sets are large and vice versa. The intersection of fewer than
κ large sets is again large.[1]

It turns out that uncountable cardinals endowed with a two-valued measure are large cardinals whose existence cannot be proved from ZFC.[2]

The concept of a measurable cardinal was introduced by Stanisław Ulam in 1930.[3]

Real-valued measurable
A cardinal κ is called real-valued measurable if there is a
κ-additive probability measure on the power set of
κ that vanishes on singletons. Real-valued measurable cardinals were introduced by Stefan Banach (1930). Banach & Kuratowski (1929) showed that the continuum hypothesis implies that
c is not real-valued measurable. Stanislaw Ulam (1930) showed (see below for parts of Ulam's proof) that real valued measurable cardinals are weakly inaccessible (they are in fact weakly Mahlo). All measurable cardinals are real-valued measurable, and a real-valued measurable cardinal κ is measurable if and only if
κ is greater than c. Thus a cardinal is measurable if and only if it is real-valued measurable and strongly inaccessible. A real valued measurable cardinal less than or equal to
c exists if and only if there is a countably additive extension of the Lebesgue measure to all sets of real numbers if and only if there is an atomless probability measure on the power set of some non-empty set.

Solovay (1971) showed that existence of measurable cardinals in ZFC, real-valued measurable cardinals in ZFC, and measurable cardinals in ZF, are equiconsistent.
(引用終り)
以上

（グロタン宇宙は集合つまりノイマン宇宙の元なのにね）

（箱入り無数目は良く書けた記事なのにね）

箱を１００個用意する
出題者は、箱に１つずつ多項式を入れる
どんな多項式をいれても構わない
回答者は１００の箱のうち１つをランダムに選ぶ
他の９９個を開けて中の多項式の次数の最大値Ｄを得る
さて回答者はここで予言をする
「箱の中の多項式の次数はたかだかＤである」
さてこの予言があたる確率は？

テンプレです
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ
自然数nをAが選ぶ
選び方はAの自由
Aは2枚のカードにnとn+1を書いて箱に入れる
ここで
Bは箱の中からランダムにカードを1つ取り出す
Aは残った方を取る
偶数を引いた方が勝ち
さてA,Bの勝つ確率は？