19/08/24 08:24:18.46 9gk+t9xe.net
>>741 補足
(引用開始)
m=max(n1,n2)として、自明に、n1<=m かつ n2<=m
ところで、「n1とn2と、どちらが大きいか」という議論は、自然数N中の部分集合で「m以下の集合」での議論になっている
それって、実は、自然数Nから見て、部分集合の「m以下の集合」は零集合なのです
(∵ 自然数Nは可算無限で、「m以下の集合」は有限だから )
(引用終り)
類似の議論で、代数学で、自然数nの代数的性質を扱うなら、問題なく議論できる
しかし、ことが確率論になると、可測性が問題になり、零集合の中の議論で、「はい、QED、 おしまい」とはならないのです
まあ、おサルには理解出来ないと思うが w(^^;