2
$\begingroup$

I'm puzzled by the definition of inverse limit in this Wolfram article.

I thought if an object was defined by a universal property it meant that the object is unique up to unique isomorphism. This would mean that in the article I linked, $\alpha$ should be a unique isomorphism not just a homomorphism as written in the article. Is this a typo?

And I have another question: if someone asks me what an inverse limit is, would I be giving a correct answer if I answered as follows:

The inverse limit of an inverse system $(X_i, f_{ij})$ is the unique pair $(X, \pi_i)$ (where $X$ is an object and $\pi_i$ are morphisms such that $f_{ij} \circ \pi_i = \pi_j$) such that for any pair $(Y, \pi_i^\prime)$ (with $f_{ij} \circ \pi_i^\prime = \pi_j^\prime$) there exists a unique isomorphism $u^{-1}: X \to Y$ such that the following diagram commutes:

enter image description here

Thanks for your help.

  • 0
    Dear @MartinSleziak, thank you very much for this. No, I don't follow meta. I am very grateful for pointing this out to me.2012-08-01

1 Answers 1

3

You are mixing two things here:

1) In general there is only a unique homomorphism not an isomorphism.

2) The inverse limit is still unique up to unique isomorphism.

The reason that you still have 2) is that if you had inverse limits $X$ and $Y$ then you had the universal property for both of them. So you have unique homomorphisms $X\to Y$ and $Y\to X$. You can show that their compositions are the identities (by invoking the universal property for a third time.)

Edit To clarify regarding the comments: You have the universal propery for an object $X$. Then you can test it for any objects $Y$ which comes with the according $\pi_i$. You get a homomorphism $f:Y\to X$. Note that $Y$ can be a fairly arbitrary object. Only if $Y$ also has the universal property you get a map in the other direction which then turns out to be an inverse.

Edit2: Your example is pretty good so I'll work with it. So let $X_n=[-\frac1n,\frac1n]$ with the obvious inclusions as maps between them. Which candidates for the inverse limit do we have? First note that $X$ comes with maps (i.e. inclusions) to all of the $X_n$, so $X$ is a subset of every $X_n$ and therefore a subset of the intersection. In our example $X$ can only be $\{0\}$ or $\emptyset$, since those are the only subsets of the intersection. Note that the class of all candidates at this point is the class of all "$Y$" at which we have to test in the next step.

Now we turn to the universal property: for any test-set $Y$ which is a subset of the intersection we want to have a morphism (inclusion) $Y\subset X$. Thus $X$ must be contained in the intersection (step 1) and also contain all other sets with this property (step 2), which leaves us with $X=\{0\}$.

This is somewhat the whole idea of what is going on there. In general $X$ has to be "small enough" to come with maps into all the $X_n$, and then it must be the "biggest" among all objects with this property.

  • 0
    (continued) I have one more question about this: in universal properties, the homo. sometimes goes out of the universal object or into it, depending on whether it's initial or terminal. Knowing not much category theory I find it hard to remember which direction the homo. goes. Is there an easy way to spot initial (terminal) objects so that I can remember which way it goes?2012-08-03