>>714
>・n1,n2は確率変数になっていないから

追記
・思い出したのが、下記10年前に類似の議論
　確率変数は実は 可測関数である（下記）
　いまの札付きや 箱入り無数目のような 可算無限列を扱う集合では
　関数の可測性（関数の逆像の可測性）が担保されていない可能性がある
・即ち n1,n2 の逆像は、それぞれある可算無限列のしっぽ同値の n1,n2を生じる 同値類の集合の元たち
（可算無限列たち）だが、可算無限列は ふつうに無限次元空間になるから
　普通のルベーグ測度は 入らないだろう
・吉田大学 ”n1,n2は確率変数になっていないから”は、
　”確率変数”をキチンと勉強すれば分るという意味か
　なるほど・・・

(参考)
https://rio2016.5ch.io/test/read.cgi/math/1736907570/83 より
スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ)
https://ａｉ.２ｃｈ．ｓｃ/test/read.cgi/math/1475822875/456
現代数学の系譜11 ガロア理論を読む24 2016/10/16より
(引用開始)
532 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:15:17.47 ID:f9oaWn8A
>>530
>2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
残念だけどこれが非自明．
hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない
そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう
(引用終り)

https://en.wikipedia.org/wiki/Random_variable#Measure-theoretic_definition
Random variable （確率変数）
In the formal mathematical language of measure theory, a random variable is defined as a measurable function from a probability measure space (called the sample space) to a measurable space.
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]

https://ja.wikipedia.org/wiki/%E5%8F%AF%E6%B8%AC%E9%96%A2%E6%95%B0
可測関数
可測関数（かそくかんすう、英: measurable function）とは、（積分論を展開する文脈として自然なものである）可測空間の間の、構造を保つ写像である。具体的に言えば、可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測であることを言う（これは位相空間の間の連続関数の定義の仕方と似ている）。
この定義は単純なようにも見えるが、σ-代数も併せて考えているということに特別な注意が払われなければならない