Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

I'm doing some self-study and I'm stuck on a problem involving inverse/projective limits. Although this is NOT a homework problem, I'd really appreciate some hints rather than a completely worked out solution.

The problem is from Dummit & Foote:

enter image description here

I'm having a rather difficult time figuring out how to prove part (b).

I think I need to establish that for every $a_{i}\in A_{i}$, there exists some

$$\alpha=(\,\alpha_{1},\alpha_{2},\ldots,\alpha_{j},\ldots)\in\prod_{i\in I}A_{i}$$

such that $\alpha\in P$ and $\mu_{i}(\alpha)=a_{i}$. I'm just not really sure how to do that.

share|cite|improve this question
up vote 1 down vote accepted

Let $a_m \in A_m$. To get what you want, you need to extend this to a sequence $(a_1, a_2, a_3, \ldots)$ such that $a_i = \mu_{j,i} (a_j)$ for all $i \le j$. Given the hypotheses, there's really only one way to proceed: by induction. If you're worried about set-theoretic details, then I will also point out that you will need the axiom of dependent choice.

share|cite|improve this answer

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.