15/03/18 15:58:59.98 /eYL1Gmz.net
>>558
あっ、>>563では最後に
>故に群の集合族{G(s)⊂C^{×}|s＞1}は非可算である。
と書く必要があるか。まあ、開区間(1,+∞)は非可算集合であることは、開区間(1,2)が非可算であることを
開区間(0,1)が非可算の証明に使ったカントールの対角線論法で同様に示し、それから(1,2)⊂(1,+∞)なることをいって示せる。
証明は殆ど同様の形になる。>>290を読む限りでは違う方法のようだ。
>６．(1＜)x1＜x2 なる実数からなる二つの最小の乗法群 G1とG2を考える。
>x1∉ G2 だから、G1≠G2となる。（細かい点は分かるだろうから省略）
だと、必ずしも(s＝)log(x_1)＝(a/b)・log(x_2)(＝(a/b)t)になるとは限らない。