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.

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|improve this question

1 Answer 1

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|improve this answer

Your Answer

 
discard

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.