Caso especial de colimit en la teoría de categorías.
En matemáticas , un límite directo es una forma de construir un objeto (normalmente grande) a partir de muchos objetos (normalmente más pequeños) que se juntan de una manera específica. Estos objetos pueden ser grupos , anillos , espacios vectoriales o en general objetos de cualquier categoría . La forma en que se juntan está especificada por un sistema de homomorfismos ( homomorfismo de grupo , homomorfismo de anillo o, en general, morfismos en la categoría) entre esos objetos más pequeños. El límite directo de los objetos , cuando abarca algún conjunto dirigido , se denota por . Esta notación suprime el sistema de homomorfismos; sin embargo, el límite depende del sistema de homomorfismos.![{\ Displaystyle A_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varinjlim A_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los límites directos son un caso especial del concepto de colimit en la teoría de categorías . Los límites directos son límites duales a inversos , que son un caso especial de límites en la teoría de categorías.
Definicion formal
Primero daremos la definición de estructuras algebraicas como grupos y módulos , y luego la definición general, que se puede utilizar en cualquier categoría .
Límites directos de objetos algebraicos.
En esta sección se entiende que los objetos constan de conjuntos subyacentes equipados con una estructura algebraica determinada , como grupos , anillos , módulos (sobre un anillo fijo), álgebras (sobre un campo fijo ), etc. Teniendo esto en cuenta, se entienden los homomorfismos. en el entorno correspondiente ( homomorfismos de grupo , etc.).
Sea un conjunto dirigido . Sea una familia de objetos indexados por y un homomorfismo para todos con las siguientes propiedades:![{\displaystyle \langle I,\leq \rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{A_{i}:i\en I\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle f_ {ij} \ dos puntos A_ {i} \ rightarrow A_ {j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\leq j}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es la identidad en , y![{\displaystyle A_{i}\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para todos .![{\displaystyle i\leq j\leq k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces el par se llama sistema directo sobre .![{\displaystyle \langle A_{i},f_{ij}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El límite directo del sistema directo se denota por y se define de la siguiente manera. Su conjunto subyacente es la unión disjunta del módulo de una determinada relación de equivalencia :![{\displaystyle \langle A_{i},f_{ij}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varinjlim A_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sim\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varinjlim A_{i}=\bigsqcup _{i}A_{i}{\bigg /}\sim .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Aquí, si y , entonces si y sólo si hay alguno con y tal que . Intuitivamente, dos elementos en la unión disjunta son equivalentes si y sólo si "eventualmente se vuelven iguales" en el sistema directo. Una formulación equivalente que resalta la dualidad hasta el límite inverso es que un elemento es equivalente a todas sus imágenes bajo los mapas del sistema directo, es decir siempre que .![{\ Displaystyle x_ {i} \ en A_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle x_ {j} \ en A_ {j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{i}\sim \,x_{j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k\en I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\leq k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle j\leq k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f_{ik}(x_{i})=f_{jk}(x_{j})\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{i}\sim \,f_{ij}(x_{i})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\leq j}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
De esta definición se obtienen funciones canónicas que envían cada elemento a su clase de equivalencia. Las operaciones algebraicas se definen de manera que estos mapas se conviertan en homomorfismos. Formalmente, el límite directo del sistema directo consta del objeto junto con los homomorfismos canónicos .![{\displaystyle \phi _{j}\colon A_{j}\rightarrow \varinjlim A_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varinjlim A_{i}\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle A_{i},f_{ij}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varinjlim A_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi _{j}\colon A_{j}\rightarrow \varinjlim A_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Límites directos en una categoría arbitraria.
El límite directo puede definirse en una categoría arbitraria mediante una propiedad universal . Sea un sistema directo de objetos y morfismos en (como se definió anteriormente). Un objetivo es un par donde hay un objeto y hay morfismos para cada uno de modo que cuando sea . Un límite directo del sistema directo es un objetivo universalmente repelente en el sentido de que es un objetivo y para cada objetivo existe un morfismo único tal que para cada i . El siguiente diagrama![{\displaystyle {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle X_{i},f_{ij}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle X,\phi _{i}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi _{i}\colon X_{i}\rightarrow X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\en I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi _{i}=\phi _{j}\circ f_{ij}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\leq j}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle X,\phi _{i}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle X,\phi _{i}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle Y,\psi _ {i}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle u\dos puntos X\rightarrow Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle u\circ \phi _{i}=\psi _{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
luego conmutará para todos i , j .
El límite directo a menudo se denota
![{\displaystyle X=\varinjlim X_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
entendiéndose el sistema directo y los morfismos canónicos .![{\displaystyle \langle X_{i},f_{ij}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi _{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
A diferencia de los objetos algebraicos, no todo sistema directo en una categoría arbitraria tiene un límite directo. Sin embargo, si es así, el límite directo es único en un sentido fuerte: dado otro límite directo X ′ existe un isomorfismo único X ′ → X que conmuta con los morfismos canónicos.
Ejemplos
- Una colección de subconjuntos de un conjunto se puede ordenar parcialmente mediante inclusión. Si la colección es dirigida, su límite directo es la unión . Lo mismo ocurre con una colección dirigida de subgrupos de un grupo determinado, o una colección dirigida de subanillos de un anillo determinado, etc.
![{\ Displaystyle M_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \bigcup M_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- La topología débil de un complejo CW se define como límite directo.
- Sea cualquier conjunto dirigido con un elemento mayor . El límite directo de cualquier sistema directo correspondiente es isomorfo y el morfismo canónico es un isomorfismo.
![{\displaystyle m}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{m}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi _{m}:X_{m}\rightarrow X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Sea K un campo. Para un entero positivo n , considere el grupo lineal general GL( n;K ) que consta de matrices n x n invertibles con entradas de K . Tenemos un homomorfismo de grupo GL( n;K ) → GL( n +1; K ) que amplía las matrices poniendo un 1 en la esquina inferior derecha y ceros en otras partes de la última fila y columna. El límite directo de este sistema es el grupo lineal general de K , escrito como GL( K ). Un elemento de GL( K ) puede considerarse como una matriz infinita invertible que difiere de la matriz identidad infinita sólo en un número finito de entradas. El grupo GL( K ) es de vital importancia en la teoría K algebraica .
- Sea p un número primo . Considere el sistema directo compuesto por los grupos de factores y los homomorfismos inducidos por la multiplicación por . El límite directo de este sistema está formado por todas las raíces de la unidad de orden alguna potencia y se denomina grupo de Prüfer .
![{\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} \rightarrow \mathbb {Z} /p^{n+1}\mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} (p^{\infty })}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Existe un homomorfismo de anillo inyectivo (no obvio) desde el anillo de polinomios simétricos en variables hasta el anillo de polinomios simétricos en variables. Al formar el límite directo de este sistema directo se obtiene el anillo de funciones simétricas .
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n+1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Sea F una gavilla con valor C en un espacio topológico X. Fijar un punto x en X . Las vecindades abiertas de x forman un conjunto dirigido ordenado por inclusión ( U ≤ V si y sólo si U contiene V ). El sistema directo correspondiente es ( F ( U ), r U , V ) donde r es el mapa de restricción. El límite directo de este sistema se llama tallo de F en x , denotado F x . Para cada vecindad U de x , el morfismo canónico F ( U ) → F x asocia a una sección s de F sobre U un elemento s x del tallo F x llamado germen de s en x .
- Los límites directos en la categoría de espacios topológicos se dan colocando la topología final en el límite directo subyacente de la teoría de conjuntos.
- Un esquema ind es un límite inductivo de esquemas.
Propiedades
Los límites directos están vinculados a los límites inversos mediante
![{\displaystyle \mathrm {Hom} (\varinjlim X_{i},Y)=\varprojlim \mathrm {Hom} (X_{i},Y).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una propiedad importante es que tomar límites directos en la categoría de módulos es un funtor exacto . Esto significa que si se comienza con un sistema dirigido de sucesiones exactas cortas y se forman límites directos, se obtiene una secuencia exacta corta .![{\ Displaystyle 0 \ a A_ {i} \ a B_ {i} \ a C_ {i} \ a 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0\to \varinjlim A_{i}\to \varinjlim B_{i}\to \varinjlim C_{i}\to 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Construcciones y generalizaciones relacionadas.
Observamos que un sistema directo en una categoría admite una descripción alternativa en términos de functores . Cualquier conjunto dirigido puede considerarse como una pequeña categoría cuyos objetos son los elementos y existe un morfismo si y sólo si . Un sistema directo over es entonces lo mismo que un functor covariante . El colímite de este functor es el mismo que el límite directo del sistema directo original.![{\displaystyle {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {I}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\leq j}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {I}}\rightarrow {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una noción muy relacionada con los límites directos son los colimits filtrados . Aquí comenzamos con un funtor covariante de una categoría filtrada a alguna categoría y formamos el colimit de este funtor. Se puede demostrar que una categoría tiene todos los límites dirigidos si y sólo si tiene todos los colimits filtrados, y un funtor definido en dicha categoría conmuta con todos los límites directos si y sólo si conmuta con todos los colimits filtrados. [1]
![{\displaystyle {\mathcal {J}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Dada una categoría arbitraria , puede haber sistemas directos que no tengan un límite directo (considere, por ejemplo, la categoría de conjuntos finitos o la categoría de grupos abelianos generados finitamente ). En este caso, siempre podemos incluirnos en una categoría en la que existen todos los límites directos; los objetos de se llaman objetos ind de . ![{\displaystyle {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\text{Ind}}({\mathcal {C}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\text{Ind}}({\mathcal {C}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El dual categórico del límite directo se llama límite inverso . Como se indicó anteriormente, los límites inversos pueden verse como límites de ciertos functores y están estrechamente relacionados con los límites de categorías cofiltradas.
Terminología
En la literatura se encuentran los términos "límite dirigido", "límite inductivo directo", "colimit dirigido", "colimit directo" y "límite inductivo" para el concepto de límite directo definido anteriormente. Sin embargo, el término "límite inductivo" es ambiguo, ya que algunos autores lo utilizan para el concepto general de colímite.
Ver también
Notas
- ^ Adamek, J.; Rosicky, J. (1994). Categorías localmente presentables y accesibles. Prensa de la Universidad de Cambridge. pag. 15.ISBN 9780521422611.
Referencias
- Bourbaki, Nicolas (1968), Elementos de las matemáticas. Teoría de conjuntos , Traducido del francés, París: Hermann, MR 0237342
- Mac Lane, Saunders (1998), Categorías para el matemático que trabaja , Textos de posgrado en matemáticas , vol. 5 (2ª ed.), Springer-Verlag