19/02/08 20:08:27.25 rawv4ykn.net
>>230
>>Q(x)とQ(√(1-x^2))の間に包含関係がない
>やっぱり難しい・・・
√(1-x^2)は有理函数ではない、これはよろしいでしょう？
代数的に書くとCを複素数体とすると
√(1-x^2)\not∈C(x)ですが
当然、√(1-x^2)\not∈Q(x).
xと√(1-x^2)を入れ替えても"双対"なので
x\not∈Q(√(1-x^2)).
論理的に面白いのは、超越数ξ,不定元xに対して
Q(ξ) 同型 Q(x)ということですかね。
体をCまで拡げてしまうとC(ξ)=C
ですから、当然函数体とは同型になりませんけど。