2
$\begingroup$

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?

$\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 Palm
    Nov 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$ Nov 12, 2013 at 15:02
  • $\begingroup$ @MarcPalm I presume its metric topology. $\endgroup$
    – C.S.
    Nov 12, 2013 at 15:19

1 Answer 1

8
$\begingroup$

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}$.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.