15/04/18 21:36:52.36 YVNcus3n.net
「実数はコーシー列の同値類」という見方をするなら、
f∈AutQ(R) と実数 r=[{q_n}] (有理数列{q_n}の同値類) に対し
f([{q_n}])=[{f(q_n)}]
が成り立つか、ってことだね。
５．では [{q_n}] が有理数を表す場合は正しいということを言っている。
どんなコーシー列でも成り立つってのが６．なので、飛躍は５．→６．かも。
15/04/18 21:36:52.36 YVNcus3n.net
「実数はコーシー列の同値類」という見方をするなら、
f∈AutQ(R) と実数 r=[{q_n}] (有理数列{q_n}の同値類) に対し
f([{q_n}])=[{f(q_n)}]
が成り立つか、ってことだね。
５．では [{q_n}] が有理数を表す場合は正しいということを言っている。
どんなコーシー列でも成り立つってのが６．なので、飛躍は５．→６．かも。