[Math] “universal” connected compact metric space

gn.general-topologymetric-spaces

Fact 1. The Cantor set $K$ is "universal" among nonempty compact metric spaces in the following sense: given any nonempty compact metric space $X$, there exists a continuous surjection $f\colon K \to X$.

Fact 2. The closed interval $I$ has a similar "universal" property among nonempty compact connected and locally connected metric spaces: given any such space $X$, there exists a continuous surjection $f \colon I \to X$.

This makes me wonder: is there a compact connected metric space $J$ such that for any nonempty compact connected metric space $X$, there exists a continuous surjection $f \colon J \to X$?

Such a space $J$, if it exists, would be 'intermediate' between $I$ and $K$: there would need to be continuous surjections

$$ K \to J \to I $$

Fact 1 is sometimes called the Alexandroff–Hausdorff theorem, since appeared in the second edition of Felix Hausdorff’s Mengenlehre in 1927 and also in an article by Pavel Alexandroff published in Mathematischen Annalen in the same year. Fact 2 was proved by Hans Hahn in 1914 and reproved by him more nicely in 1928. For a nice history of these results, see:

One may rightly complain that "universal" is the wrong word above, since we're not claiming there exists a unique continuous surjection, and indeed there's usually not. A better term is versal. There can be two non-homeomorphic spaces having the same versal property. For example, $I^2$ would work just as well as $I$ in Fact 2, thanks to the existence of space-filling curves.

Nonetheless we can create a category in which these versal properties become universal, by a cheap trick. Let $\mathrm{CompMet}$ be the collection of all homeomorphism classes of nonempty compact metric spaces, and put a partial order on this where $[X] \ge [Y]$ iff there exists a continuous surjection $f \colon X \to Y$. The homeomorphism class of the Cantor set is the top element of the poset $\mathrm{CompMet}$. My question asks if the subset of $\mathrm{CompMet}$ coming from connected compact metric spaces has a top element.

I'd also appreciate any interesting information on this poset $\mathrm{CompMet}$.

For example, I think that there's a map sending each element of $\mathrm{CompNet}$ to its number of connected components, and I think that this is an order-preserving map from $\mathrm{CompMet}$ to the cardinals less than or equal to the continuum. But there also seems to be an order-preserving map sending each element of $\mathrm{CompNet}$ to its number of path-connected components. Are there other interesting maps like this?

Best Answer

There is no such continuum. See

Z. Waraszkiewicz, Sur un problème de M.H. Hahn, Fund. Math. 22 (1934) 180–205.

Waraszkiewicz constructed an uncountable family $W$ of continua in the plane called Waraszkiewicz spirals so that no continuum can be mapped continuously onto every continuum in $W$. Start with the space $X=S^1\cup [1,2]$ and consider the maps $f,g:X\to X$ where

  • $f(x)=x$ if $x\in S^1$, $f(x)=\exp(4\pi ix)$ for $1\leq x\leq \frac{3}{2}$, and $f(x)=2(x-1)$ for $\frac{3}{2}\leq x\leq 2$
  • $g(x)=x$ if $x\in S^1$, $g(x)=\exp(-4\pi ix)$ for $1\leq x\leq \frac{3}{2}$, and $g(x)=2(x-1)$ for $\frac{3}{2}\leq x\leq 2$

Now $W$ is the collection of all inverse limits of all inverse sequences $(X_i,h_i)$ where $X_i=X$ for all $i$ and $h_i\in\{f,g\}$.

For a short and readable description (where I found the construction) see:

W.T. Ingram, Concerning images of continua, Topology Proceedings 16 (1991) 89-93.

This non-existence results has been improved upon a few times, for instance in the following:

S.B. Nadler, The nonexistence of almost continuous surjections between certain continua, Topology and its Applications, 154 (2007) 1008-1014.

Related Question