Límite directo

Límite directo

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.

Contenido

Definición formal

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 \langle I,\le\rangle un conjunto direccionado. Sea \{A_i : i\in I\} una familia de objetos indexados por I\, y f_{ij}: A_i \rightarrow A_j es un homomorfismo para todo i \le j con las siguiente propiedades:

  1. f_{ii}\, es la identidad de A_i\,, y
  2. f_{ik}= f_{jk}\circ f_{ij} para todo i\le j\le k.

Entonces el par \langle A_i,f_{ij}\rangle se llama sistema directo sobre I\,.

El conjunto subyacente del límite directo, A\,, del sistema directo \langle A_i,f_{ij}\rangle se define como la unión disjunta de A_i\,'s módulo una cierta relación de equivalencia \sim\,:

\varinjlim A_i = \bigsqcup_i A_i\bigg/\sim.

Aquí, si x_i\in A_i y x_j\in A_j, x_i\sim\, x_j si hay algún k\in I tal que f_{ik}(x_i) = f_{jk}(x_j)\,. Heurísticamente, dos elementos de un conjunto disjunto son equivalentes si y sólo 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 mapas de un sistema direccionado , p.e. x_i\sim\, f_{ik}(x_i).

Se obtiene naturalmente de esto la definición morfismos canónicos \phi_i: A_i\rightarrow A enviando a cada elemento a su clase de equivalencia. Las operaciones algebraicas sobre A\, son definidas a esos mapas de manera obvia.

Una propiedad importante es que tomando 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 \mathcal{C} por medio de una propiedad universal. Sea \langle X_i, f_{ij}\rangle un sistema directo de objetos y morfismos en \mathcal{C} (la misma definición que anteriormente). El límite directo de este sistema es un objeto X\, en \mathcal{C} junto con morfismos \phi_i: X_i\rightarrow X que satisfacen \phi_i =\phi_j \circ f_{ij}. El par \langle X, \phi_i\rangle debe ser universal en el sentido que para cualquier otro par de \langle Y, \psi_i\rangle existe un único morfismo u:X\rightarrow Y que realiza que el diagrama

DirectLimit-01.png

conmute para todo i, j. El límite directo es a menudo denotado como

X = \varinjlim X_i

con el sistema directo, \langle X_i, f_{ij}\rangle, 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 \mathcal{C} admite una descripción alternativa en términos de funtores. cualquier conjunto parcialmente ordenado direccionado \langle I,\le \rangle puede ser considerado como una categoría pequeña \mathcal{I} donde los morfismos consisten en flechas i\rightarrow j si y sólo si i\le j. Un sistema directo entonces es justamente un funtor covariante \mathcal{I}\rightarrow \mathcal{C}.

Definición general

Sean \mathcal I y \mathcal C categorías. Sea c_X: \mathcal I\rightarrow \mathcal C un funtor constante para algún objeto fijado X\in \mathcal C . Se define para cada funtor F: \mathcal I\rightarrow \mathcal C el funtor

\lim_{\longrightarrow} F: \mathcal C \rightarrow \mathbf{Set}

el cual asigna a cada X\in \mathcal C el conjunto Hom(F,cX) de transformaciones naturales de F a cX. Si \lim_{\longrightarrow} F es representable, el objeto que se representa en \mathcal C es llamado límite directo de F y también se denota como \lim_{\longrightarrow }F .

Si \mathcal C es una categoría abeliana, entonces sumas directas arbitrarias (y también infinitas) de objetos existen (este es el axioma de Grothediecks AB3). Luego \lim_{\longrightarrow} F es representable para cada funtor F: \mathcal I\rightarrow \mathcal C y

\lim_{\longrightarrow}: \mathrm{Hom}(\mathcal I, \mathcal C)\rightarrow \mathcal C, F\mapsto \lim_{\longrightarrow} F

es un funtor aditivo exacto derecho de categorías abelianas.

Ejemplos

  • Una colección de subconjuntos Mi 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 \bigcup M_i.
  • 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 sólo 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
\mathrm{Hom} (\varinjlim X_i, Y) = \varprojlim \mathrm{Hom} (X_i, Y).
  • Considérese la sucesión {An, φn} donde An es una C*-algebra y φn : An → An + 1 es un *-homomorfismo. El C*-análogo de la construcción de límite directo proporciona una C*-algebra 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

  • Bourbaki, Nicolas (1968), Elements of mathematics. Theory of sets, Translated from the French, Paris: Hermann, MR0237342 .
  • Mac Lane, Saunders (1998), Categories for the Working Mathematician, Graduate Texts in Mathematics, 5 (2nd edición), Springer-Verlag .

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать реферат

Mira otros diccionarios:

  • Límite inverso — En matemáticas, el límite inverso (también llamado límite proyectivo) es una construcción que permite pegar varios objetos relacionados, la manera precisa del proceso de pegado es especificada mediante morfismos entre los objetos. Se pueden… …   Wikipedia Español

  • Límite (teoría de categorías) — En este artículo sobre matemáticas se detectaron los siguientes problemas: Necesita ser wikificado conforme a las convenciones de estilo de Wikipedia. Carece de fuentes o referencias que aparezcan en una fuente acreditada …   Wikipedia Español

  • Límite clásico — El límite clásico es la habilidad de una teoría física para aproximarse al comportamiento predicho por la mecánica clásica cuando el valor de cierto parámetro especial de estas teorías se aproxima un valor clásico ; se usa en las teorías físicas… …   Wikipedia Español

  • Trastorno límite de la personalidad — «Borderline» redirige aquí. Para otras acepciones, véase Borderline (desambiguación). Trastorno límite de la personalidad Clasificación y recursos externos …   Wikipedia Español

  • Ensayo de corte directo "in situ\ — Saltar a navegación, búsqueda El ensayo de corte directo in situ es uno de los ensayos in situ llevados a cabo para realizar el reconocimiento geotécnico de un terreno. Los ensayos de corte in situ obedecen a los mismos principios y metodologías… …   Wikipedia Español

  • Mercado directo — Esta página o sección está siendo traducida del idioma inglés a partir del artículo Direct market, razón por la cual puede haber lagunas de contenidos, errores sintácticos o escritos sin traducir. Puedes colaborar con Wikipedia continuand …   Wikipedia Español

  • Juventud al limite — Saltar a navegación, búsqueda Contenido 1 Serie en Latinoamerica 2 Capitulo 1 Barrio Hispano 3 Capitulo 2 Minot Technology Institute High School …   Wikipedia Español

  • Módulo plano — En álgebra conmutativa, y geometría algebraica, un módulo plano sobre un anillo R es un R módulo M tal que se preserva sucesiones exactas al tomar el producto tensorial sobre R con M. Un módulo es fielmente plano si al tomar el producto tensorial …   Wikipedia Español

  • Grupo profinito — En matemática, un grupo pro finito G es un grupo que, en cierto modo, está muy próximo a ser finito. Contenido 1 Definición 2 Ejemplos 3 Propiedades 4 Grupos Ind finitos …   Wikipedia Español

  • Cohomología de Čech — En matemáticas, específicamente la topología algebraica, la Cohomología de Čech es una teoría de cohomología basada en las propiedades de conjuntos abiertos y recubrimientos de espacio topológico. Se llama así por el matemático de la República… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”