16/02/05 22:48:18.30 6e17+VB1.net
大丈夫か
では、再掲
１． 開区間(0,1)の特に、主に無限小数となる超越数を考える。超越数αを一つとる。
２． 超越数αの少数部分を頭から（少数第一位から）、順に１桁の数字を箱に詰める。
（頭の方を「ねもと」、先の方を「シッポ」と呼ぶことのしよう。）
３． このモデルの場合、1列のパラメータ：列の長さL（箱の数）＝∞、箱に入る数の集合の濃度ｎ＝10である。
４． つまり、このモデルは、(0,1)のコーシー列類似モデルと言える。
５． (0,1)の有限小数qを一つとる。αのねもと部分をqで置換した数を、α∪qと書くことにしよう。この数で、同様に箱に数字を詰めると、シッポは一致するので、これは超越数αと同じ同値類に属する。
６． 有限小数qが、少数第ｎ位までの数であるとする。超越数αの属する同値類の代表がα∪qであったとする。