I am considering the space x in .
I know that is neither open nor closed in , so can I say that the cartesian product x is neither open nor closed in in ?
I found a proof:
PlanetMath: $\mathbb{R}^2 \setminus C$ is path connected if $C$ is countable
Thanks a bunch Plato...
The set is the set of all ordered pairs in that have at least one irrational coordinate. The is a point which has both coordinates irrational.
Suppose that is any other point. One of its coordinates is irrational, say it’s q.
Using the three points construct two line segments: .
Both line segments are subsets of because at least on coordinate of each point is irrational.
The first segment connects and the second connects .
Therefore the set is clearly pathwise connected.