Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $X$ is path connected, locally path connected and semi-locally simply connected topological space and $x_0\in X$, consider the set $\chi =\{(X_{\alpha},x_\alpha) \} $ of covering spaces of $X$ with covering map $p_\alpha \colon X_\alpha \rightarrow X$, $p_\alpha (x_\alpha)=x_0$. (Clearly, this is a non-empty collection, $(X,x_0)\in \chi$ )

Put a partial ordering relation on this collection: $(X_\alpha,x_\alpha)\geq (X_\beta,x_\beta)$, if there is a covering map $q\colon X_\alpha \rightarrow X_\beta$ such that $p_\beta \circ q =p_\alpha$.

Can we use Zorn's lemma to prove existence of universal covering space of $X$ as maximal element of this collection?

If yes, are the conditions stated (path connected, etc.) in hypothesis are necessary (they are necessary when we prove existence, in usual topological way)?

share|cite|improve this question

One cannot prove this using Zorn's lemma, at least not in an obvious way. The problem is that I don't see how to show that if $(X_1,x_1) < (X_2,x_2) < \ldots$ is a totally ordered sequence, then there exists some upper bound $(Y,y)$ with $(X_i,x_i) \leq (Y,y)$ for all $i$. You have to come up with a space somehow, and I don't think you'll be able to bypass the usual construction.

It should be noted that the conditions "locally path connected" and "semilocally simply connected" are actually necessary for your space to have a universal cover (exercise : prove this!).

share|cite|improve this answer
@Adma: the conditions are necessary to hold lifting properties and for covering map to be "covering". – Marshal Kurosh Sep 12 '11 at 6:59
Well, the natural candidate for that space would be the limit $Y = \varprojlim X_n$, wouldn't it? I haven't checked but it seems to me that the natural maps from $Y$ should be covering maps. – t.b. Sep 12 '11 at 9:23
Dear @Theo, your idea is (as usual) quite interesting and elegant, but unfortunately I don't think it works. Consider the unit circle $S \subset \mathbb C$ and the system of morphisms of coverings of that circle $q_n:S_n=S \to S_{n-1}=S:z\mapsto z^n$ , where the $n$-th covering is given by $p_n:S\to S:z \mapsto z^{n!}$ . The projective limit is a compact (Tychonov!) solenoid, which is not a covering of $S$ and even less its universal cover. – Georges Elencwajg Sep 12 '11 at 11:23
@Georges: Dear Georges, thank you. You're right, of course. No need to make it sound better than it was, I should have thought at least a few minutes before posting. – t.b. Sep 12 '11 at 11:31
@Theo: Dear Theo, I stand by my judgment that your answers usually are interesting and elegant! – Georges Elencwajg Sep 12 '11 at 12:07

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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