# Anti-symmetric mappability relation

If $(X,\tau)$ is a topological space and $x,y\in X$ we say that $x$ is mappable to $y$ if there is a non-constant continuous map $f:X\to X$ with $f(x) = y$.

Is there a Hausdorff space $X$ with more than one point such that whenever $x\neq y\in X$ and $x$ is mappable to $y$, then $y$ is not mappable to $x$?

• Do you mean a non-constant continuous map? – user1688 Feb 2 '17 at 8:09
• mappable?--how about "$x$ pays attention to $y$" or "$x$ appreciates $y$" or .... – Włodzimierz Holsztyński Feb 2 '17 at 8:14
• @Anton, in topology it's common to assume that maps or mappings stand for continuous functions. – Włodzimierz Holsztyński Feb 2 '17 at 8:17
• The question seems about quasi-ordering not being a partial ordering(?). – Włodzimierz Holsztyński Feb 2 '17 at 8:22
• Is there a Hausdorff space (with more than one point) having no non-constant non-identity continuous self-maps? So every continuous self-map is either constant or the identity. Such a space would be an example. – Joel David Hamkins Feb 2 '17 at 14:09

As Joel points out in the comments, the property you describe, namely "$X$ has an anti-symmetric mappability relation", is strictly weaker than the property "$X$ is strongly rigid", where the latter is defined to mean that the only continuous functions from $X$ to itself are the identity map and the constant functions.
The paper mentioned in Ramiro's answer (available here) gives a hereditarily indecomposable continuum with this property. The construction is due to Howard Cook, and the fact that it has the desired property is expressed in Theorem 11 of his paper. (The theorem states that the identity is the only mapping of $M_2$ onto a non-degenerate subcontinuum of $M_2$ (where $M_2$ is a continuum constructed earlier). Here mapping means continuous function and non-degenerate subcontinuum means a closed connected set having more than one point. Since the continuous image of $M_2$ is always closed and connected, this theorem implies immediately that the only non-identity continuous functions from $M_2$ to itself are the constant maps.)