◆ わからない問題はここに書いてね ２◆

もうちょっとだけまじめに書くと、
i_x : S -> S ∪ {x} (inclusion)＠｀ xはスロットで出る値
なる系列のdirect limit としてRになるでしょ、ということ。

>１回１回スロットを回す限り不可算にはならないでしょ。
不可算=非可算のことだろうけど、なんで？
上の系列は１回１回スロットを回しているモノとは言いたくない？
なんか、ますます設定がはっきりしない気がしてきた。

direct limit ってなんですか？

素人なのにこんな問題に首突っ込んで邪魔しちゃってるんでは
ないかと申し訳ない思いなんですが・・・。すみません。

上手くいえないけど、i_x のステップ自体が可算的だから、
Ｓ は非可算にはならないでしょう？ と言いたいんです。

一見どんな実数も Ｓ に含まれるように思えるけれども、
実際に全ての実数を Ｓ に含めるには、i_x のような
ステップでは、全てを覆い尽くせないと思うんです。