15/03/01 10:37:22.49 CQbZyxiT.net
>>212
失礼、失礼。>>233は撤回。>>231の第5段は次のように訂正。
[第5段]：任意のs＞t＞1なるs、t∈R＼Qに対してT(s)≠T(t)であることを示す。
確かに任意のθ∈R＼Qに対して群T(θ)は定まる。
矛盾に導くため、或る異なるs、t∈R＼Qが存在して、T(s)＝T(t)であったとする。
すると、T(s)、T(t)は両方共に複素平面Cの単位円周上の部分集合だから、
或る(m,n)∈(N＼{0})^2が存在して、e^{i(msπ)}＝e^{i(ntπ)} …①であり、e^{i(msπ－ntπ)}＝1。
よって、偏角の不定性に注意し両辺に主値を取ると、或るk∈Zが存在して、
i(msπ－ntπ)＝i(kπ)から、ms－nt-k＝0…②、よってn≠0から、(m/n)s－t－k/n＝0。
故に2つの無理数s、tの集合{s,t}は有理数体Q上線型従属であり、t＝(m/n)s－k/n。
T(s)＝T(t)だから、T(t)＝T((m/n)s－k/n)。
ここで、群T(s)は＝{e^{i(m_1sπ)}∈C^{×}|m_1∈Z}と定義される。
また、群T(t)＝T((m/n)s－k/n)は、＝{e^{i(m_1((m/n)s－k/n)π)}∈C^{×}|m_1∈Z}と定義される。
e^{i(sπ)はm_1＝1のときのT(s)の点、e^{i(((m/n)s－k/n)π)}はm_1＝1のときのT(t)の点
であるから、e^{i(sπ)＝e^{i(((m/n)s－k/n)π)}…③ または e^{i(sπ)＝e^{-i(((m/n)s－k/n)π)}…④
のどちらか片方かつその一方に限り成り立つ。