1
$\begingroup$

For any topological space $(X,\tau)$ we define $$R_{im}(X,\tau) := \{(x,y)\in X^2: (\exists f:X\to X) \text{ continuous and surjective with } f(x) = y\}.$$ Clearly, $R_{im}(X,\tau)$ is reflexive, and transitivity follows from the fact that the composition of two continuous surjective maps is continuous and surjective.

Is there a Hausdorff space $(X,\tau)$ such that $R_{im}(X,\tau)$ is not symmetric?

$\endgroup$

1 Answer 1

4
$\begingroup$

There are many such spaces.

For example $\omega_1+1= [0,\omega_1]$ with the order topology. A continuous map $f$ with $f(\omega_1)=0$ must be eventually constant, hence can have only countably many values.

But there is a continuous surjective selfmap $g$ mapping $0$ to $\omega_1$.

$\endgroup$
1
  • 2
    $\begingroup$ Or more simply, just take $\omega+1$. $\endgroup$ Commented Aug 12, 2015 at 8:06

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .