6
$\begingroup$

A topological space $(X,\tau)$ is said to be homogeneous if for all $x,y$ there is a homeomorphism $\varphi:X\to X$ such that $\varphi(x) = y$.

Is there an infinite homogeneous Hausdorff space $(X,\tau)$ such that every continous map $f: X\to X$ is either a homeomorphism, or constant?

EDIT. I forgot to add "infinite" in the original question.

$\endgroup$
12
  • 4
    $\begingroup$ well, you should not change the question once there is already an answer. In this way a perfectly correct answer becomes a wrong one. Please write an edit, explaining the modifications you made. $\endgroup$ Mar 6, 2018 at 10:25
  • 4
    $\begingroup$ @FrancescoPolizzi I disagree with you. Even if this corresponds to the original formulation, this does not deserve an answer, but rather an comment saying that the question should be reformulated. If this were the intended question, it would be closed as off-topic. $\endgroup$
    – YCor
    Mar 6, 2018 at 13:06
  • 3
    $\begingroup$ @YCor I agree with you. Franceso's answer is - although correct - trivial and unfortunately can not be generalised to larger spaces. But of course it was my mistake not to exclude this example $\endgroup$ Mar 6, 2018 at 13:19
  • 2
    $\begingroup$ @YCor: of course you can disagree. At any rate, this was the question, it was unanswered, open for more than one hour and it also had un upvote. Sometimes it happens in life that people miss trivial counterexamples, this is not my fault. $\endgroup$ Mar 6, 2018 at 13:21
  • 4
    $\begingroup$ I guess a better place to discuss this topic is meta.MO: meta.mathoverflow.net/questions/3637/… $\endgroup$ Mar 6, 2018 at 13:30

2 Answers 2

10
$\begingroup$

Topological groups are homogeneous. In

J. van Mill, "A topological group having no homeomorphisms other than translations," Transactions of the AMS 280 (1983), pp. 491-498 (link),

Jan van Mill constructed an infinite topological group whose only self-homeomorphisms are group translations. Such a space is called "uniquely homogeneous" -- it is homogeneous, but for any pair of points there is exactly one self-homeomorphisms of the space witnessing homogeneity. Jan's group also has the amazing property that removing any point results in a rigid space.

In the same paper (section 4), van Mill shows that, assuming the Continuum Hypothesis, there is a topological group whose only continuous self-maps are either group translations or constant functions.

Thus the answer to your question is "consistently yes, and you can come close in ZFC." I do not know whether anyone else has come along and improved Jan's CH result to a ZFC result (but a quick glance through the papers citing Jan's seems to indicate that no one has).

$\endgroup$
7
  • $\begingroup$ Amazing - thanks for thinking of this group example @WillBrian, and for the link to this paper, which is completely new to me $\endgroup$ Mar 6, 2018 at 13:23
  • $\begingroup$ @DominicvanderZypen Very strange that this paper is completely new for you as it has been already mentioned in the (accepted) answer to another your question (mathoverflow.net/questions/285777/anti-fixed-point-property/…) $\endgroup$ Mar 10, 2018 at 17:10
  • $\begingroup$ @Will Brian Concerning your question on weakening of CH, yes, it can be weakened to $\acute{n}=\mathfrak c$, see (mathoverflow.net/questions/285777/anti-fixed-point-property). Concerning the cardinal $\acute{n}$, look at (mathoverflow.net/questions/285780/…) where you actively participated in the discussion. Probably you just forgot. $\endgroup$ Mar 10, 2018 at 17:14
  • $\begingroup$ @Will Brian This means that the results obtained during mathoverflow dscussions should be published in ordinary journals? Otherwise they are not searchable and can be forgotten even by participants of these discussions? Very surprising. Because at some moment I started to think that mathoverflow can substitute ordinary way of publishing (at least short) results in journals. $\endgroup$ Mar 10, 2018 at 17:17
  • 1
    $\begingroup$ @DominicvanderZypen The same paper of van Mill was also mentioned in another (accepted) answer to your question (mathoverflow.net/questions/209595/…). So, the same result of van Mill answers three your questions and you still write that it is completely new for you. What does it mean? That you do not read and analyse answers to your questions? Or have a short memory? Sorry for this comment. But I am just curious. $\endgroup$ Mar 10, 2018 at 17:35
3
$\begingroup$

Remark. This answer was written before the "infinite" assumption was added.

Take the discrete space with two points.

It is clearly homogeneous and Hausdorff, and its only self-maps are the two constant maps, the identity and the involution exchanging the two points.

$\endgroup$
2
  • $\begingroup$ The one point space, and the empty space, also work $\endgroup$ Mar 6, 2018 at 10:55
  • 1
    $\begingroup$ In the original question the assumption actually was $|X| >1$ :-) $\endgroup$ Mar 6, 2018 at 11:16

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.