15/12/26 16:43:19.16 02nKI8Hx.net
>>384-385>>388
どうも。スレ主です。
早速のレスありがとう
１．数セミ 11月号P36 前段で、実数列の同値類を使っている。そして、「決定番号」なるものを使っている>>377
２．同値類は、「ある番号から先のしっぽ一致する∃n0：n?n0→sn=s'nのとき同値S～S'と定義しよう（いわばコーシーのべったり版）」という
３．箱は可算無限ある。簡単のために、区間(0,1)の間の超越基底を１０１個取る。t1,t2,・・・,t101
４．各t1,t2,・・・,t101に、５つの数+0.1,+0.11,+0.111,・・・,+0.11111を加えて、505個からなる実数列を101列つくる。このあとは、各＋０として無限列の101列とする
（例えば、t1+0.1,t1+0.11,t1+0.111,・・・,t1+0.11111,t1＋０,・・・となる）
５．そうすると、超越基底の定義から、この101列は、それぞれ同値類にはならない（∵各t1,t2,・・・,t101は代数的に独立）
６．この101列を100列に並べるとすると、うまく並ばない列ができるのでは？ その列では、「決定番号」は存在しないと
７．そもそも、時枝先生の記事の最初の設問と、途中の同値類・決定番号と、最後の閉じた箱を100列に並べることと、話が整合していない気がする