15/03/01 09:01:53.99 CQbZyxiT.net
>>212
(>>228の続き)
[第3段]：無理数の全体R＼Qが非可算無限集合であることを示す。
R＼Qが可算無限集合であったとすると、2つの可算無限集合Q、R＼Qの和
Q∪(R＼Q)＝Rが可算無限集合であることになるが、これはRが非可算無限集合であることに反する。
各無理数θ∈R＼Qに対して、集合T(θ)をT(θ)＝{e^{i(mθπ)}∈C^{×}|m∈Z}と定義する
と、T(θ)≠φ。a、
15/03/01 09:01:53.99 CQbZyxiT.net
>>212
(>>228の続き)
[第3段]：無理数の全体R＼Qが非可算無限集合であることを示す。
R＼Qが可算無限集合であったとすると、2つの可算無限集合Q、R＼Qの和
Q∪(R＼Q)＝Rが可算無限集合であることになるが、これはRが非可算無限集合であることに反する。
各無理数θ∈R＼Qに対して、集合T(θ)をT(θ)＝{e^{i(mθπ)}∈C^{×}|m∈Z}と定義する
と、T(θ)≠φ。a、