16/05/14 07:09:23.13 WuiW+Tgn.net
>>60
(>>69の続き)
さて、元の問題に戻ろう。
それぞれの箱について、その箱に入れる実数の取り方は非可算無限通りあって、
実数体Rの集合族は非可算無限個存在する。問題で考えているのは、
それぞれの箱に、非可算無限通りあるような実数を入れる場合になる。
なので、正規数の視点からこの問題を考えると、選択公理を認める必要が生じて、
上のように lim_{n→+∞}N_S(w,n)=(+∞)・0=0 となり、矛盾が生じる。
なので、スレ主のような考え方は、根本的に出来ないということになる。
尚、>>69での「>>67の続き」は「>>68の続き」だな。
まあ、文脈からすればどっちでもいいんだが。