17/10/02 21:37:47.35 QIEkx/Hn.net
>>24
(N~)個の箱に「どんな実数を入れるかはまったく自由」であれば
解答者は(箱を開けることなく)末尾「∞」番目の箱をとりのぞけばR^(N~)をR^Nにできる
R^Nの場合: 全ての元を自由に選ぶことができる = {有限数列 and R^Nの同値類}をうまく選ぶことができる
R^(N~)の場合: 全ての元を自由に選ぶことができる = {有限数列 and R^Nの同値類 and 末尾「∞」番目の実数}をうまく選ぶことができる
ｽﾚﾘﾝｸ(math板:761番)
> あれあれ？
> 時枝記事より「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.どんな実数を入れるかはまったく自由，」とありますです
記事は数当てができるという立場だからそのような条件は当然書いておかないといけない
>>28
> co-tail＝φ（空集合）を主張する人は、ここ（上記a)～f)）を決定的に勘違い
可算無限個をまとめて取り除くことができるから「co-tail＝φ（空集合）を主張 」
「一つずつ箱を」の極限が「可算無限個をまとめて」
ある決定番号dより大きな決定番号を可算無限個まとめたもの(取り除く可算無限集合)は無限公理により存在し
その集合の要素はsuc(n)=n+1を満たすから{d+1, d+2, ... , d+k, ... }である