HP https://toru3.gitlab.io/
X(Twitter) @Toru31415926535
Zだと稠密じゃないのでQにすると(1, √2) \cap Qは開集合となる。ここで、Q \ (1, √2)=((-∞, 1] \cup [√2, ∞)) cap Qは命題2.4より閉集合となるはずだが、Q \ (1, √2)からなる数列で√2に収束する列が存在する一方、√2 ∉ Q \ (1, √2) より閉集合でない。
Zだと稠密じゃないのでQにすると(1, √2) \cap Qは開集合となる。ここで、Q \ (1, √2)=((-∞, 1] \cup [√2, ∞)) cap Qは命題2.4より閉集合となるはずだが、Q \ (1, √2)からなる数列で√2に収束する列が存在する一方、√2 ∉ Q \ (1, √2) より閉集合でない。