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

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

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

(参考)時枝記事
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などは下付添え字

つづく

後出し論法

>>702
そもそも、箱入り無数目はランダムに入れた箱の中身を当てる方法ではないよ

そういう🐎🦌な勘違いをした上で
「そんなことはできないから間違ってる」
と発●する●違いがいるけど…痛々しいね

ですね

どすえ

>>702
>有限列だとしっぽ同値が定義できない、無限列での定義を無理やり移植してもうまく機能しない
>0の位がどこまでも続く無限小数を有限小数と見做すのとは違う
そうだろうか
∪[0,1]^n→F={s=(sn)∈[0,1]^N:∃m∈N,m<∀n∈N:sn=0}⊂[0,1]^N
（(s1,…,sn)→(s1,…,sn,0)→…→(s1,…,sn,0,…)）
で写して同値類（といっても(0,0,…)が代表元だけど）考えてるだけではないかな
(s1,…,sn)と(s1,…,sn,0)を同一視したくないかも知れないが
(s1,…,sn,0)∈[0,1]^(n+1)の中では測度0だから
確率考えるときはsn≠0である最後のnで考えたらいいような気がする（そういうnがないのが(0,0,…)）

ああそうか
[0,1]でなくて(0,1]から有限長の項を選んで（測度は同じ）
あとは全部0にって考え方であれば
Σ(0,1]^n（直和）→F={s=(sn)∈[0,1]^N:∃m∈N,m<∀n∈N:sn=0}⊂[0,1]^N
（(0,1]^0={φ}→F:φ→(0,0,…)）
(s1,…,sn)→(s1,…,sn,0)による同一視は無用で
(s1,…,sn)→(s1,…,sn,0,…)∈F
だけでいいか

>>689
確かに幾何分布なら数え上げ測度を適用できてそのσ代数はべき集合にできるから可測になるね。

>>694
>決定番号の分布が可測になる入れ方もOK
をクリアしても
>そしてその場合は、箱入り無数目が成立する
が言えるにはさらに「単独最大決定番号の列が列iである事象と回答者が列iを選ばない事象が独立である」が必要だね。
まぁ自然な条件だし仮定に追加することで良いと思うけど。

>>710
そこは{1,…,100}からランダムに選ぶ設定から自然に出るのでないの？

>>710
>「単独最大決定番号の列が列iである事象と回答者が列iを選ばない事象が独立である」が必要

それはその通り

で、力業で決定番号を可測とした上で
もし、列の決定番号分布が独立同分布だとしたら、
回答者の選ぶ列を固定しても、
それがどの列でも確率は同じになる筈

>>711
自然には出ないが、前提してもいいと思う

回答者の脳波が読めるかもしれないとかいいだすと厄介（笑）

一方が一様分布であることは他方との連動性を直ちに否定しないのでは？

なるほど、ヴィタリ類似の非可測性とかいうやつ、確率分布によっては適当な測度でクリアできるんだね

>その結果R^N →R^N/〜 の切断は非可測になる.
これ嘘？ｗ　非可測かどうかはσ代数次第だよね

ルベーグ測度を前提にしちゃってる気がする

R^Nだからルベーグ測度じゃなくボレル測度か

＞R^N →R^N/〜 の切断は非可測になる.

正確にいえば、非可測になるようなR^Nの確率測度もある、というところか

どうやってもそうなる、というわけではない

>>713
>自然には出ないが、前提してもいいと思う
そうかな
普通ある箱からくじを引く場合独立試行なら確率変数は独立なのでは（まあそれも設定だと言われればそうかもとは思うけれど）

>>718
いやいや
切断の1つを持ってきて
それで生成される
元4つのσ加法族とかで可測だ
とかにしても
何だかなあって思うだけでしょ

>それも設定だと言われればそうかもとは思うけれど
それも設定だということでしょう

>>720
非自明な反例があるってことでは？

>>719
>独立試行なら確率変数は独立
そこで定義される確率変数の独立性が
独立試行の定義なのかも？

>>722
今話してるのは
[0,1]^N/〜の切断の1つで
(0,0,…)の同値類の代表元として(0,0,…)で考えるってだけの話
[0,1]^N/〜の切断全体は[0,1]^Nで非可測じゃないかなあ

>>724
今日分のログ読んでみて

>>725
[0,1]^N/〜の切断の全体をS⊂[0,1]^Nとすると
S∩S+(a,0,…)=φ（a≠0）
でしょ（1超えたらぐるっと回す）
ということは
今考えてる[0,1]^Nの測度で
Sは非可測にならない？

>>726
＞今考えてる[0,1]^Nの測度

それが唯一の測度ではないって分かる？

確率公理を満たせる測度の有無にいまフォーカスしてるから

>>727
別の測度の話ならまた別に何か出して

>>728
R^Nに何でも良いから確率測度入れるって話なら
これ濃度的には実数と同じなんだからなんでも入るでしょ
そのなかで「一様性」が担保できそうなヤツで
各項の選び方が上手く確率変数になりそうなということで
[0,1]^Nに件の確率測度を入れたんじゃないの
けど
この確率測度で考えようとしてるのは
(0,0,…)の同値類の中だけの話
[0,1]^N/〜の切断全部に「フォーカス」はしてないでしょ

>>730
今日分のログ読んでみて

>>730
サイコロ投げもわからん素人が考えるだけ無駄ｗ

俺がR^N上の確率測度を確率測度といったら拒否反応を示したくせに今頃になってどうしたｗ

まあいいや
ともかくも
I=[0,1)（1入れると面倒なのでS1に同一視できるよう1外してみた）
に一様測度を入れて（ルベーグで無くていいよμ[a,b)=b-aから決めるだけで良いはず）
I⊃A1,…,An:可測
と
k:{1,…,n}→N
k(i)<k(j) for i<j（つまり単調）
に対して
I^N⊃{f:N→I:f(k(i))∈Ai}
の生成する完全加法族を考えて
μ{f:N→I:f(k(i))∈Ai}=Πμ(Ai)
とするのが普通であるところ
ここでは有限長以降0の数列だけ考えて
I^N⊃F={f:N→I:∃n<∀m:f(m)=0}=∪Fn
Fn={f:N→I:n≦∀m:f(m)=0}
En=Fn-Fn-1={f:N→I:f(n-1)>0,n≦∀m:f(m)=0}
E0=F0={(0,0,…)}
F=ΣEn（直和）
（Enの元の決定番号がn）
に
μ({f:N→I:f(k(i))∈Ai}∩En)=(1-p)p^nΠ{μ(Ai):k(i)<n}
とするのかな？

コルモゴロフの拡張定理
有限次元と整合性を持った測度になる

何だかずいぶん前のスレで考えたのに似てきたな
ただ
前のスレではI=[0,1)でなくて有限集合Xだったけど

>>735
それが
＞μ{f:N→I:f(k(i))∈Ai}=Πμ(Ai)
＞とするのが普通であるところ
ね

素人のかまって爺さんか、マジレスして損したｗ

>>730
尻尾同値類の代表を決めれば
作った数列にこれを足し合わせることで
[0,1]^N/〜の切断全部に「フォーカス」できるね

でも今考えてるのは
F=ΣEn
上の確率測度だからそれじゃないよ

>>739
ただそれだと
0=(0,0,…)
の同値類に定義した確率をそのまま使えないのでは

>>733
一様なヤツをお願い

つまり、選ばれた列が

決定番号１　確率1/2
決定番号２　確率1/4
・・・
決定番号ｎ　確率1/2^n
・・・

となるような選び方を
無理矢理しちゃうわけだな

そうすれば、決定番号関数は可測になる

>>742
一様なんて、箱入り無数目には書いてない（笑）
どうでもいい、というから、すっごい恣意的な方法でもいい（笑）

>>741
>0=(0,0,…)
>の同値類に定義した確率をそのまま使えないのでは
言い方変だったかも
別の同値類には平行移動で確率を入れられるけど
そのような同値類の全体であるI^Nには無理だと思ったんだ

>今日分のログ読んでみて
を聞く耳持たない人が読まずにトンチンカンなこと言っててもめんどくさいので放置

>>744
もちろんだよ
大体数列は定数なだけで
確率空間から取ってくるなんて話ではないからね
今話してるのはそれをある意味「無理矢理」
確率空間から取ってくる話しにしてるだけ
しかもある意味「一様」なやつ
（第n項を取り出す確率変数が一様分布する）

>>746
君の下らない性格からして
放置はできない
に99/100の確率でベット

「決定番号関数が非可測だから」
と🐎🦌の一つ覚えのようにいうヤツがいるから
「じゃ、可測にすりゃいいんだな！」
と無理矢理可測にした奴がいるんでしょ

まあ、できなくはない、ってことで

先の例は幾何分布だったか
別に他の例でもできる筈

後から代表列を足し合わせれば
全部の列が現れるようにできる

綺麗にあしらう言葉が思いつかないから泥沼化するんじゃないかな？

彼の人に関してはもうとおにその段階は遙か彼方

為すべきこと
読まないこと
書かないこと

>>752
君も君で批判的な態度をとるから相手がより攻撃的になるんじゃない？

望んでる状況と自分のやってる行動が一致してないような

もっとやって

デジタルデトックスとは、
スマートフォンやパソコンなどのデジタル機器から
一定期間離れることで、脳と心を休ませる取り組みです。

デジタルデトックスの効果
脳疲労の軽減：情報の過負荷によるイライラや集中力低下を防ぎます。
睡眠の質の向上：ブルーライトを避けることで、自然な眠りを取り戻せます。
時間の余裕：趣味やリアルなコミュニケーションに使える時間が増えます。

具体的なやり方
利用時間を把握する：スマホの機能で1日の使用時間を確認します。
マイルールを作る：寝室にはスマホを持ち込まない、食事中は見ないなどを決めます。
通知をオフにする：不要なアプリの通知を切って、気を取られない環境を作ります。

>>754,755
どんな状況を望んでると思い込んでんだろなこの偽善者

>>758
1tHQd88tは、全体的には無駄なく本題について話してるように見えた
煽り合いを望んではなさそう

攻撃的な人はそもそも日常で批判に囲まれたせいでそうなってるのかもしれない
そして本人の態度が周りからの批判を煽って余計挑発的になるというループに囚われてる
異常なレベルの挑発癖だと。

>>759
それオレだけど？

>>760
またアホな思い込みしか書かないなこの偽善者

>>762
反抗挑戦症の話だよ一応

>>762
付き合ってどうこうなる相手じゃないだろうにずっと応対してるんだもの

能書きや高見の冷笑しかしないんじゃなくて
数学をヤレや数学を

>>764
お前が言うな偽善者

>>764
>付き合ってどうこうなる相手
それは彼の人のことを言っているのかな？

>>766
いや君が得してるなら好きにすればいいと思うけど

>>767
煽る人全般

数学の話を聞きたいんだよ。
それ以外の話をしても不毛になるだけだよ。

5ch民の大半と言ってもいい

板らしさを出していかないとね。

>>770
自分がやらずに人を批判するだけの偽残者

ルベーグを一応やってます。
今日は眠いなw

>>774
スレから出てくんな偽善者

>>774
いや
やってないね
書いてないからね

批判に虐待された人への優しさは
煽りをスルーして本題だけ話すこと

デジタルデトックスとは、
スマートフォンやパソコンなどのデジタル機器から
一定期間離れることで、脳と心を休ませる取り組みです。

デジタルデトックスの効果
脳疲労の軽減：情報の過負荷によるイライラや集中力低下を防ぎます。
睡眠の質の向上：ブルーライトを避けることで、自然な眠りを取り戻せます。
時間の余裕：趣味やリアルなコミュニケーションに使える時間が増えます。

具体的なやり方
利用時間を把握する：スマホの機能で1日の使用時間を確認します。
マイルールを作る：寝室にはスマホを持ち込まない、食事中は見ないなどを決めます。
通知をオフにする：不要なアプリの通知を切って、気を取られない環境を作ります。

学生やないんやから、そんなに数学ばっかりできたら凄いわw

まあ一応、箱入り無数目について語ったほうがいいんじゃないかな
数学の話をするなら

煽ってる点を差し引けばマトモなことを言ってる場合も多いからね

>>780,779,781
自分がやらずに人を批判するだけの偽残者

>>751
>綺麗にあしらう言葉が思いつかないから泥沼化するんじゃないかな？
こういうことしか書かずに
数学をまるでやらない
この板に不用な人格
偽善者ゲス爺

勝手にコピー貼るので 気にせず 議論を続けて下さい （＾＾

(google検索)
高校 確率分布の横軸は確率変数？
(AI による概要)
高校数学の確率分布において、横軸は確率変数がとる「具体的な値」を表します。
確率分布の軸の仕組み
・横軸: 確率変数 X がとりうる値（x）
・縦軸: 確率 P(X=x) または確率密度
確率変数 X 自体は「値が確率的に決まるという概念・変数名」ですが、グラフの横軸に目盛りとして書かれるのは、その確率変数が実際にとる個別の数値（サイコロの「1, 2, 3…」や、正規分布の変数 x など）です。

もしよろしければ、次の中から選んで教えてください：
・離散型（サイコロの目など）のグラフについて知りたい
・連続型（正規分布など）のグラフについて知りたい
さらに詳しく解説できます。

(参考)
https://asunaro-a.com/tips/how-to-study-hs/70571/
家庭教師のあすなろ関西
高校生の勉強方法
確率分布と統計的な推測｜高校数学のつまずきやすい単元を徹底解説！

確率分布
確率変数と確率分布
確率変数とは、試行の結果によって、その値をとる確率が定まる変数のことです。確率変数とその値をとる確率との対応を示したものを確率分布といいます。確率変数Xの値をx1,x2,⋯,xnとして、それぞれに対応する確率をp1,p2,⋯,pnとすると、
p1≥0,p2≥0,⋯,pn≥0p1+p2+⋯+pn=1
といった確率Pに関することが成り立ちます。また、確率変数Xの確率分布は以下のような表で表されます。

https://asunaro-a.com/wp-content/uploads/2019/12/%E7%A2%BA%E7%8E%87%E5%88%86%E5%B8%83%E8%A1%A8.png
X x1 x2 ・・・ xn 計
P p1 p2・・・ pn 1

このとき、確率変数Xの値がaとなる確率をP(X=a)と表し、Xがa以上b以下の値となる確率はP(a≤X≤b)と表します。
この確率分布の特徴を表すのに、確率変数の平均（期待値）、分散、標準偏差というものがあります。これらは、平均値→分散→標準偏差 の順で求めることができます。

確率変数Xの確率分布が上の表のように与えられたとき、
x1p1+x2p2+⋯+xnpn
を確率変数Xの平均、または期待値といい、E(X)で表します。

>>784 追加

https://en.wikipedia.org/wiki/Random_variable
Random variable
A random variable (also called random quantity, aleatory variable, or stochastic variable) is a mathematical formalization of a quantity or object which depends on random events. The term 'random variable' in its mathematical definition refers to neither randomness nor variability[1] but instead is a mathematical function in which
・the domain is the set of possible outcomes in a sample space (e.g. the set {H,T}
(which are the possible upper sides of a flipped coin heads H or tails T as the result from tossing a coin); and
・the range is a measurable space (e.g. corresponding to the domain above, the range might be the set {−1,1} if say heads H mapped to −1 and T mapped to 1). Typically, the range of a random variable is a subset of the real numbers.
(google訳)
確率変数（random variable、あるいは random quantity, aleatory variable, stochastic variable とも呼ばれる）とは、偶然の事象に依存する量や対象を数学的に定式化したものです。数学的な定義における「確率変数」という用語は、それ自体が「ランダムさ（無作為性）」や「変動性」を指すものではなく[1]、次のような数学的関数を指します。
・定義域は、標本空間における起こり得る結果の集合である（例：集合 {H, T}。これはコイン投げの結果として表（H）または裏（T）が出るという、起こり得る上面の状態に対応します）。
・値域は可測空間である（例：上記の定義域に対応して、もし表（H）を -1 に、裏（T）を 1 に対応させるならば、値域は集合 {−1, 1} となり得ます）。一般的に、確率変数の値域は実数の部分集合となります。

Definition
A random variable
X is a measurable function
X:Ω→E from a sample space
Ωas a set of possible outcomes to a measurable space
E. For the measurability of
X to be meaningful, the sample space Ω needs to belong to a probability triple (Ω,F,P) (see the measure-theoretic definition).
A random variable is often denoted by capital Roman letters such as X,Y,Z,T.[4]
The probability that X takes on a value in a measurable set S⊆E is written as P(X∈S)=P({ω∈Ω∣X(ω)∈S}).
(google訳)
定義
確率変数 $X$ とは、起こりうる結果の集合である標本空間 $\Omega$ から可測空間 $E$ への可測関数 $X: \Omega \to E$ のことである。
$X$ の可測性が意味を持つためには、標本空間 $\Omega$ が確率の三つ組 $(\Omega, \mathcal{F}, P)$ に属している必要がある（測度論的な定義を参照）。
確率変数は、しばしば $X, Y, Z, T$ といった大文字のローマ字で表される[4]。
$X$ が可測集合 $S \subseteq E$ の値をとる確率は、$P(X \in S) = P(\{\omega \in \Omega \mid X(\omega) \in S\})$ と表記される。

無駄にコピペ貼るのは頭良い・数学分かってると思われたいから？
みっともないからやめな

どうしても貼りたいなら自分のパソコンのメモ帳にでも貼りな
ここは議論の場であって君のメモ帳ではない

>>785
会話の4公理
量の公理: 必要十分な情報を提供し、多すぎたり少なすぎたりしないようにする。
質の公理: 嘘や、自分が確信していない不確かなことを言わない。
関連性の公理: その場の話題や目的に関係のあることだけを述べる。
様態の公理: 曖昧な表現を避け、簡潔かつ明確に順序よく話す。

人の会話は、協調性に端を発して、この4つの公理に従う。
違反すると聞き手は普通と異なる意図や背景などを推定する。

「協調の原理」としてwikiにも記載されている

>>788-790
いい書き込み

2chの公理とは、2ちゃんねるの創設者であるひろゆき（西村博之）氏が提唱した、ネット上の言説や嘘に関する有名な訓戒・前提です。
・「うそはうそであると見抜ける人でないと（掲示板を使うのは）難しい」
・情報は嘘であふれている：ネット上の書き込みは、最初から「嘘やデマが含まれているもの」として読むべきであるという前提。
・自己責任の原則：騙されたとしても、それは嘘を見抜けなかった本人の責任であり、発信者やプラットフォームのせいにはできないという考え方。
・リテラシーの要求：情報を鵜呑みにせず、複数のソースを検証したり、文脈を読み解いたりする能力（メディアリテラシー）が利用者に強く求められる。

>>792
その、ひろゆきは「実数は存在するけど虚数は存在しない」とか言ってるけどな
数に関して一方は存在しもう一方はそうでないとする判断基準がよくわからん
数なんて存在しないとか、数は考えられるから存在するとか、そういうことなら分かるけど

ひろゆきが言えない公理　「オレのいうことを信用するな」

実数と違って複素数は大小の比較ができないから、数っぽくない
という言い分はわかる　でもそれは存在するかどうかと別じゃね？

無理数は有理数と違って整数の比で表せないから、数っぽくない
というのは上記に比べると分かりにくい　
整数の比で表せたほうが気分がいい、というならわかるが

ひろゆきが何をいっても構わんのだが、
ヤツを信用するかしないかはこっちが決めること

2ちゃんねる（現5ちゃんねる）などの匿名掲示板で正しいことを言うと、反発されたり叩かれたりすることがよくあります。
なぜ叩かれるのか
・空気が重視される：掲示板には独特のノリや流れがあります。正しい意見でも、場の空気を壊すと嫌われます。
・正論は息苦しい：正論は相手を追い詰めるため、反感を買いやすくなります。
・カニンガムの法則が示すように、ネットでは正しい答えよりも間違った情報のほうが反応を得やすい側面もあります。

>>786
>無駄にコピペ貼るのは頭良い・数学分かってると思われたいから？
みっともないからやめな

？ >>784-785 は、確率変数についての 数学的定義と
説明を貼った

なぜか？ 議論の基礎として共通認識がないと
議論は噛み合わないだろう

さて、問う
Q1）>>747 （第n項を取り出す確率変数が一様分布する）
の表現は、確率変数の定義に照らして正しい表現か？
Q2）>>730 各項の選び方が上手く確率変数になりそうなということで
の表現は、確率変数の定義に照らして正しい表現か？
Q3）>>528 無意味だよ、箱の中身が確率変数でなく定数と言う設定である限り例えば 1,2,1,2,・・・ という列がサイコロで決められたのか出題者の好きな数字かその他の何か区別し様が無いから
任意の実数列という条件で証明されているのだから箱の中の値を持ち出してもギャップを示せるはず無いよ
の表現は、確率変数の定義に照らして正しい表現か？

全て答えよ
君の答えで 君の頭良さが分る

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

>>797
＞確率変数についての 数学的定義と説明を貼った

悪いけど、要らないよ
みな定義は知っている

＞議論の基礎として共通認識がないと議論は噛み合わないだろう

確率変数の定義が問題ではない
何を確率変数とするかが問題

だから定義と説明は不要

>>797
＞Q1）>>747 「（第n項を取り出す確率変数が一様分布する）」は、
＞確率変数の定義に照らして正しい表現か？
＞Q2）>>730 「各項の選び方が上手く確率変数になりそうなということで」
＞の表現は、確率変数の定義に照らして正しい表現か？

おかしな表現なのはわかるが
そもそも、>>635のやり方で決定番号を幾何分布にしている
そこは理解できてるかい？

＞Q3）>>528 「無意味だよ、…任意の実数列という条件で証明されているのだから箱の中の値を持ち出してもギャップを示せるはず無いよ」は、
＞確率変数の定義に照らして正しい表現か？

そもそも箱入り無数目では、
箱の中身の確率分布を全く与えてない
という事実は理解してるかい？

そこ理解せずに勝手に妄想しても狂うだけ

箱入り無数目で言ってないこと

１．箱の中身にランダムで数を入れること
２．箱の中身は独立同分布であること

箱入り無数目で導けないこと

３．各列の決定番号の分布、および、それが非可測であること
４．回答者が中身を当てる確率が算定できないこと

>>794
>実数と違って複素数は大小の比較ができないから、数っぽくない
>という言い分はわかる
それは「通常の大小関係」が無いだけでZFCなら整列順序は存在する。