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$
  • 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$ – Francesco Polizzi Mar 6 '18 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 '18 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$ – Dominic van der Zypen Mar 6 '18 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$ – Francesco Polizzi Mar 6 '18 at 13:21
  • 4
    $\begingroup$ I guess a better place to discuss this topic is meta.MO: meta.mathoverflow.net/questions/3637/… $\endgroup$ – Dominic van der Zypen Mar 6 '18 at 13:30
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$
  • $\begingroup$ Amazing - thanks for thinking of this group example @WillBrian, and for the link to this paper, which is completely new to me $\endgroup$ – Dominic van der Zypen Mar 6 '18 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$ – Taras Banakh Mar 10 '18 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$ – Taras Banakh Mar 10 '18 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$ – Taras Banakh Mar 10 '18 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$ – Taras Banakh Mar 10 '18 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$
  • $\begingroup$ The one point space, and the empty space, also work $\endgroup$ – Pietro Majer Mar 6 '18 at 10:55
  • 1
    $\begingroup$ In the original question the assumption actually was $|X| >1$ :-) $\endgroup$ – Francesco Polizzi Mar 6 '18 at 11:16

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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