Is there a pair of continuous surjective functions say $f_1$ and $f_2$ from $\mathbb{Q}$ to itself such that for every $x, y \in \mathbb{Q}$, $f_1^{-1}(x) \cap f_2^{-1}(y)$ is non-empty?
$\begingroup$
$\endgroup$
4
-
2$\begingroup$ I guess that this question would better suited for math.stackexchange.com rather than MO. $\endgroup$– C.S.Nov 12, 2013 at 14:54
-
3$\begingroup$ what is the topology? $\endgroup$– Marc PalmNov 12, 2013 at 14:55
-
$\begingroup$ Marc, the topology on $\mathbb{Q}$ is derived from $\mathbb{R}$ and the one on $\mathbb{Q}^2$, is the topology derived from $\mathbb{R}^2$ $\endgroup$– Uday BhaskarNov 12, 2013 at 15:02
-
$\begingroup$ @MarcPalm I presume its metric topology. $\endgroup$– C.S.Nov 12, 2013 at 15:19
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
0
Take the two projections from ${\mathbb Q}\times{\mathbb Q}$ to ${\mathbb Q}$ and use the fact that ${\mathbb Q}\times{\mathbb Q}$ is homeomorphic to ${\mathbb Q}$.