20
$\begingroup$

Cross-posted from MSE.

Is there an infinite countable topological space $X$ with only countably many continuous functions to itself?

It cannot be a metrizable space. Another large class of examples that I know of are Alexandrov topologies, however each Alexandrov topology corresponds to a preorder, and the continuous maps between two Alexandrov topologies correspond to the morphisms between the preorders. An infinite countable preorder has always $2^{\aleph_0}$ endomorphisms, hence I cannot find a counterexample there either. It also cannot be a filter (+ the empty set), because any function which restricts to the identity on a set in the filter is continuous (thanks to Eric Wofsey for this last fact).

Using the $\pi$-Base, an online database of topological spaces inspired by the book Counterexamples in topology and expanding it, I obtained this list of possible spaces. I proved for every one of these spaces that there were too many continuous maps, except for the Relatively prime integer topology (also known as the Golomb space) and the Prime integer topology. The first one was proved to have too many continuous maps, and the second one is very similar to the first one, so I don't place much hope on it. We need to look somewhere else.

On MSE, Mirko indicated the existence of the following paper:
ADVANCES IN MATHEMATICS 29 (1978), 89-130
Constructions and Applications of Rigid Spaces, I
V. Kannan, M. Rajagopalan
https://www.sciencedirect.com/science/article/pii/0001870878900063

In it, it is proven (Theorem 2.5.6) that, for any cardinal $\kappa$, if $(2^\kappa)^+ < 2^{2^\kappa}$, then there is a Hausdorff topological space of cardinality $\kappa$ which is strongly rigid, i.e. such that any continuous endofunction is either constant or the identity, which is a lot stronger than what we are trying to prove.

$\endgroup$
7
  • 1
    $\begingroup$ Related: mathoverflow.net/questions/286785: for the Golomb space there's no non-identity self-homeomorphism but OP mentions that there are continuum many continuous self-maps (T. Banakh, J. Mioduszewski, S.Turek, On continuous self-maps and homeomorphisms of the Golomb space, Comment. Math. Univ. Carolin. 59:4 (2018) 423–442. arxiv.org/abs/1711.06749). For the Kirch space, see arxiv.org/abs/2006.12357 doi.org/10.1016/j.topol.2021.107782; I'm not sure what's known about self-maps. $\endgroup$
    – YCor
    Mar 21 at 17:40
  • $\begingroup$ @YCor the Golomb space has continuum many continuous self-maps, see dml.cz/handle/10338.dmlcz/147548 $\endgroup$ Mar 21 at 17:48
  • $\begingroup$ I know (I gave the reference!). I asked about the Kirch space. $\endgroup$
    – YCor
    Mar 21 at 17:50
  • $\begingroup$ @YCor haha sorry, I don't know how I missed that $\endgroup$ Mar 21 at 18:02
  • 4
    $\begingroup$ There is no infinite regular (Hausdorff) space with only countably many continuous maps to itself. Any space with only countably many such maps is countable (because constant maps are continuous) and, if Hausdorff, it cannot be compact (because it would then be metrizable). Therefore, if regular, it has a partition into infinitely many open-and-closed subsets. If D is an infinite discrete subset of the space, any function from the space to D which is constant on each element of the partition is continuous, and there are continuum many such functions. $\endgroup$
    – Anonymous
    Mar 26 at 11:45

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.