現代数学の系譜 工学物理雑談 古典ガロア理論も読む41 [無断転載禁止]©2ch.net

>>580 つづき

２．なお、ほぼ自明だが、
i) s = (s1，s2，s3 ，・・・,s_n0，s_n0+1，s_n0+2，・・・)とs'=(s'1， s'2， s'3，・・・,s’_n0，s’_n0+1，s’_n0+2，・・・ )で、s1= s’1, s2= s’2, s3= s’3,・・・の場合、s = s'
ii) s_t=(Φ，Φ，・・・, Φ，s_n0，s_n0+1，s_n0+2，・・・)とs_t’=(Φ，Φ，・・・, Φ，s_n0+k，s_n0+k +1，・・・) （ここに、k>=1） の場合、s_t ⊃ s_t’ の包含関係を生じる。
( 注：s_t’は、n0+k番目の直前の箱まで空で、n0+k番目のから箱の中の数がs_tと一致するものとする。)
iii) s_t, s_t’ ∈R^N が成り立つとする。

つづく