nLab directed limit

Redirected from "codirected limits".
Directed limits

Directed limits

Abstract definition

A directed limit (or codirected limit) is a limit limF\underset{\leftarrow}\lim F of a functor F:JCF\colon J \to C whose source category JJ is a downward-directed set.

More generally, for κ\kappa a regular cardinal say that a κ\kappa-directed set JJ is a poset in which every subset of cardinality <κ\lt \kappa has an upper bound. Then a limit over a functor JCJ \to C is called κ\kappa-directed limit.

If the directed set is an ordinal, one speaks of a sequential limit.

The dual notion is that of directed colimit, a colimit of a functor whose source is a upward-directed set.

Terminology

Note that the terminology varies. Especially in algebra, a directed limit may be called a ‘projective limit’ or ‘inverse limit’; it's also possible to distinguish these so that an inverse limit may have an arbitrary (possibly undirected) poset as its source. On the other hand, both terms are often used for arbitrary limits as an alternative to the ‘co-’ method of distinction. (The corresponding dual terms are ‘inductive limit’ and ‘direct limit’, with no ‘co-’ even though these are colimits.)

Directed (co)limits were studied in algebra (as projective and inductive limits) before the general notion of limit in category theory. The elementary definition still seen there follows.

Explicit definition

Let CC be a category.

A projective system in CC consists of a directed set II (which we will write directed-upward as usual), a family (A i) i:I(A_i)_{i: I} of objects of CC, and a family (f ij:A jA i) ij:I(f_{ij}: A_j \to A_i)_{i \leq j: I} of morphisms, such that: * f ii:A iA if_{ii}: A_i \to A_i is the identity morphism on A iA_i; * f ik:A kA if_{ik}: A_k \to A_i is the composite f ijf jkf_{ij} \circ f_{jk}.

Then a projective cone of this projective system is an object XX and a family of projections π i:XA i\pi_i: X \to A_i such that

π i=f ijπ j. \pi_i = f_{ij} \circ \pi_j .

Finally, a projective limit of the projective system is a projective cone lim iA i\underset{\leftarrow}\lim_i A_i (where both ff and π\pi are suppressed in the notation, each in its own way) which is universal in that, given any projective cone XX, there exists a unique morphism u:Xlim iA iu\colon X \to \underset{\leftarrow}\lim_i A_i such that

π i=π iu \pi_i = \pi_i \circ u

(where the left-hand π\pi is from the cone XX and the right-hand π\pi is from the limit).

Notice that a projective system in CC consists precisely of a directed set II and a contravariant functor from II (thought of as a category) to CC, while a projective cone or limit of such a projective system is precisely a cone or limit of the corresponding functor. So this is a special case of limit.

As with other limits, a projective limit, if any exists at all, is unique up to a given isomorphism, so we speak of the projective limit of a given projective system.

In algebra

A projective limit in algebra is usually defined as a subalgebra of a cartesian product. To be precise, lim iA i\underset{\leftarrow}\lim_i A_i consists of those elements (x i) i:I(x_i)_{i: I} of i:IA i\prod_{i: I} A_i such that:

x i=f ij(x j). x_i = f_ij(x_j) .

This can be seen as a special case of the construction of an arbitrary limit out of products and equalizers.

Examples

Directed limits over the codirected set (,)(\mathbb{N},\geq) of natural numbers, the tower-diagram,

lim nX(n) X(2) X(1) X(0) \array{ && && \lim_{\leftarrow_n} X(n) && \\ && &\swarrow& \downarrow & \searrow& \\ \cdots & \to & X(2) & \to & X(1) & \to & X(0) }

are extremely common. Classical examples occur in the theory of Postnikov towers and also in the definition of the solenoids.

A ring K[[x]] K [ [ x ] ] of formal power series (for KK a field) is a projective limit of the rings K[x]/x nK[x]/x^n (for nn a natural number). Here, CC is the category of rings, II is the directed set of natural numbers, A i=K[x]/x iA_i = K[x]/x^i, and f ij:A jA if_{ij}: A_j \to A_i is induced by the quotient map K[x]K[x]/x iK[x] \to K[x]/x^i (which must be proved well defined on K[x]/x jK[x]/x^j for iji \leq j).

Similarly, a ring Z p\mathbf{Z}_p of pp-adic integers (for pp a prime number) is a projective limit of the rings Z/p n\mathbf{Z}/p^n.

A set of infinite sequences is a projective limit of sets of finite sequences (which, at the level of sets, includes the above examples).

Last revised on July 29, 2017 at 18:18:55. See the history of this page for a list of all contributions to it.