1
$\begingroup$

Given a set $X$, is there a topology $\tau$ such that the identity $\text{id}_X$ on $X$ is the only continuous injective self-map?

(This is Joel David Hamkins's recent question in the category $\mathbf{Top}^\text{op}$.)

$\endgroup$
2
  • 5
    $\begingroup$ It seems to me that Adam Przeździecki's answer at the other question (where we ask for surjectivity) also applies to this question (for sets of size at least continuum), since the Vopěnka-Pultr-Hedrlin result does not require surjectivity. $\endgroup$ Commented Aug 18, 2015 at 13:42
  • $\begingroup$ Oh - that's right, thanks for your comment. Let's focus on sets with cardinality $< 2^{\aleph_0}$. $\endgroup$ Commented Aug 18, 2015 at 14:54

0

You must log in to answer this question.

Browse other questions tagged .