15/04/18 21:15:09.40 xIwU7Wpr.net
>>160
6→7に論理の飛躍あり。
x∈R が 有利数列(q_n∈Q)によって x=lim[n→∞]q_n と表せたとする。
f∈AutQ(R) が f(q_n)=q_n を満たしたとしても、
f(x)=f(lim[n→∞]q_n)=lim[n→∞]f(q_n)=lim[n→∞]q_n=x
は直ちには言えない。二つ目の等号が成り立つにはfがRで連続であることが必要。
15/04/18 21:15:09.40 xIwU7Wpr.net
>>160
6→7に論理の飛躍あり。
x∈R が 有利数列(q_n∈Q)によって x=lim[n→∞]q_n と表せたとする。
f∈AutQ(R) が f(q_n)=q_n を満たしたとしても、
f(x)=f(lim[n→∞]q_n)=lim[n→∞]f(q_n)=lim[n→∞]q_n=x
は直ちには言えない。二つ目の等号が成り立つにはfがRで連続であることが必要。