En matemática, un límite directo (también llamado límite inductivo) es un colímite de una "familia directa de objetos". De manera general, se expondrá primero la definición para estructuras algebraicas como grupos y módulos, y luego la definición general, la cual puede ser usada en cualquier categoría.
Objetos algebraicos
En esta sección los objetos pueden ser entendidos como conjuntos con una estructura algebraica dada como pueden ser grupos, anillos, módulos (sobre algún anillo fijado), álgebras (sobre un cuerpo fijado), etc. Con esto en mente, los homomorfismos son entendidos en el correspondiente marco (homomorfismos de grupos, etc.).
Se comienza con la definición de un sistema directo de objetos y homomorfismos. Sea
un conjunto direccionado. Sea
una familia de objetos indexados por
y
es un homomorfismo para todo
con las siguientes propiedades:
es la identidad de
, y
para todo
.
Entonces el par
se llama sistema directo sobre
.
El conjunto subyacente del límite directo,
, del sistema directo
se define como la unión disjunta de
's módulo una cierta relación de equivalencia
:
![{\displaystyle \varinjlim A_{i}=\bigsqcup _{i}A_{i}{\bigg /}\sim .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/455b578f32186af1e8b745bc7cb91a2b98ddf0c9)
Aquí, si
y
,
si hay algún
tal que
.
Heurísticamente, dos elementos de un conjunto disjunto son equivalentes si y solo si "eventualmente se vuelven iguales" en el sistema directo. Una formulación equivalente que destaca la dualidad con el límite inverso es que un elemento es equivalente a todas sus imágenes bajo los morfismos de un sistema direccionado , i.e.
.
Se obtiene naturalmente de esto la definición morfismos canónicos
enviando a cada elemento a su clase de equivalencia. Las operaciones algebraicas sobre
son definidas a esos morfismos de manera obvia.
Una propiedad importante es que tomar límites directos en la categoría de módulos es un funtor exacto.
Límite directo sobre un sistema directo en una categoría
El límite directo puede ser definido en una categoría arbitraria
por medio de una propiedad universal. Sea
un sistema directo de objetos y morfismos en
(la misma definición que anteriormente). El límite directo de este sistema es un objeto
en
junto con morfismos
que satisfacen
. El par
debe ser universal en el sentido que para cualquier otro par de
existe un único morfismo
que realiza que el diagrama
![]()
conmute para todo i, j. El límite directo es a menudo denotado como
![{\displaystyle X=\varinjlim X_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31e6f29791ad217a429df308fe6d3278c03f7b5a)
con el sistema directo,
, se entiende.
A diferencia de los objetos algebraicos, el límite directo no puede existir en una categoría algebraica. Sin embargo, si lo hace, es único en un sentido fuerte: dado otro límite directo X′ existe un único isomorfismo X′ → X conmutando con los morfismos canónicos.
Nótese que un sistema directo en una categoría
admite una descripción alternativa en términos de funtores. cualquier conjunto parcialmente ordenado direccionado
puede ser considerado como una categoría pequeña
donde los morfismos consisten en flechas
si y solo si
. Un sistema directo entonces es justamente un funtor covariante
.
Definición general
Sean
y
categorías. Sea
un funtor constante para algún objeto fijado
. Se define para cada funtor
el funtor
![{\displaystyle \lim _{\longrightarrow }F:{\mathcal {C}}\rightarrow \mathbf {Set} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c724472d88b5552caba9dc4bda575a14da75d780)
el cual asigna a cada
el conjunto
de transformaciones naturales de F a
. Si
es representable, el objeto que se representa en
es llamado límite directo de F y también se denota como
.
Si
es una categoría abeliana, entonces sumas directas arbitrarias (y también infinitas) de objetos existen (este es el axioma de Grothediecks AB3). Luego
es representable para cada funtor
y
![{\displaystyle \lim _{\longrightarrow }:\mathrm {Hom} ({\mathcal {I}},{\mathcal {C}})\rightarrow {\mathcal {C}},F\mapsto \lim _{\longrightarrow }F}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0173ee200a80e82e2d391d00bc34fa02472e02c4)
es un funtor aditivo exacto derecho de categorías abelianas.
Ejemplos
- Una colección de subconjuntos
de un conjunto M puede ser parcialmente ordenado por inclusión. Si la colección es direccionada, su límite directo es la unión
.
- Sea I cualquier conjunto direccionado con un elemento mayor m. El límite directo de cualquiera de los sistema directos correspondientes es isomorfo a Xm y al morfismo canónico φm: Xm → X es un isomorfismo.
- Sea p un número primo. Considérese el sistema directo compuesto de los grupos Z/pnZ y de los homomorfismos Z/pnZ → Z/pn+1Z los cuales se inducen por la multiplicación por p. El límite directo de este sistema consiste en todas las raíces de la unidad de orden alguna potencia de p, y es llamado como grupo de Prüfer Z(p∞).
- Sea F un haz C-evaluado sobre un espacio topológico X. Fíjese un punto x en X. El entorno abierto x forma un poset ordenado por inclusión (U ≤ V si y solo si Ucontiene a V). El sistema directo correspondiente es (F(U), rU,V) donde r es el mapa de restricción. El límite directo en este sistema es llamado tallo de F en x, denotado como Fx. Para cada entorno U de x, el morfismo canónico F(U) → Fx asocia a la sección s de F sobre U un elemento sx del tallo Fx llamado germen de s en x.
- Los límites directos en la Categoría de espacios topológicos vienen dados mediante la colocación de la topología final sobre el límite directo subyacente de teoría de conjuntos.
- Los límites inductivos son enlazados con los proyectivos mediante
![{\displaystyle \mathrm {Hom} (\varinjlim X_{i},Y)=\varprojlim \mathrm {Hom} (X_{i},Y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d5517e2f99af2e75cc6379cc231d6ce3246a830)
- Considérese la sucesión {An, φn} donde An es una C*-álgebra y φn : An → An + 1 es un *-homomorfismo. El C*-análogo de la construcción de límite directo proporciona una C*-álgebra que satisface la propiedad universal anterior.
Construcciones relacionadas y generalizaciones
La categoría dual del límite directo se llama límite inverso (o límite proyectivo). Conceptos más generales son los límites y colímites de teoría de categorías. La terminología es algo confusa: los límites directos son colímites mientras que los límites inversos son límites.
Véase también
Referencias
Enlaces externos