Take the 2-minute tour ×
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.

Let $(X_i)$ be a projective system of topological spaces. Let $X$ be the projective limit of $X_i$.

Let $G$ be a topological space.

What does it mean for $G\to X$ to be continuous?

My guess is that there are continuous maps $G\to X_i$ which fit into some commutative diagrams.

Is that correct?

share|improve this question
I'm not sure what you want to know: do you want to know how to construct the projective limit of a system of topological spaces or do you want to know how to verify its universal property for a specific construction? Anyway: You do have continuous maps $X \to X_i$ by the very definition of the projective limit and by composition you get maps $G \to X_i$ compatible with the projective system, so it is necessary that those maps are continuous. On the other hand, the universal property ensures that there is a unique map $G \to X$ induced from the maps $G \to X_i$; this yields sufficiency. –  t.b. Apr 27 '12 at 10:51
yeah that's what i wanted to be sure of. –  Harry Apr 27 '12 at 15:46

Your Answer


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

Browse other questions tagged or ask your own question.