##  [Límite No Inyectivo](/es/node/63672) 

 Definición

Una patología de límites inversos (lim proj) en la que el functor límite inverso deja de ser exacto por la derecha, produciendo límites derivados no triviales (lim^1, lim^n) y rompiendo propiedades de exactitud o identificaciones esperadas.

 

 

 

 

 

 





## Principio

Principio

El límite inverso es exacto por la izquierda pero no necesariamente exacto; las obstrucciones aparecen como functores derivados lim^i. El comportamiento de límite no inyectivo surge en sistemas sin propiedades de Mittag‑Leffler u otras de estabilización, provocando que lim no preserve sobreyecciones o que aparezcan datos de extensión ocultos.

 

 

 

 

 





## Demostración

Demostración

Considerar un sistema inverso de grupos abelianos con mapas de transición sobreyectivos cuyos núcleos no se estabilizan; entonces lim^1 puede ser no nulo y sucesiones exactas de sistemas inversos no dan lugar a sucesiones exactas al tomar límites. Esto explica fenómenos como el fallo del paso de la cohomología a niveles finitos al límite.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Conmutar a ciegas el límite inverso con la cohomología o asumir que tomar límites preserva la exactitud sin comprobar los límites derivados conduce a identificaciones equivocadas, recuentos de dimensión erróneos o pérdida de información de extensión.

 

 

 

 

 





## Consecuencia

Consecuencia

Reconocer la patología de límite no inyectivo obliga a calcular límites derivados, usar sucesiones espectrales, imponer condiciones de Mittag‑Leffler o trabajar en pro‑categorías; aclara dónde colapsan los argumentos ingenuos por límites inversos y dónde clases de extensión persisten en el límite.

 

 

 

 

## Inversión

Inversión

Bajo hipótesis de estabilización (por ejemplo Mittag‑Leffler, pro‑cero de términos superiores) los límites derivados se anulan y el límite inverso se vuelve exacto en el rango relevante, invirtiendo la patología en un límite bien comportado.

 

 

 

 

 





## Límite

Límite

Esta noción se refiere a sistemas inversos y sus funtors derivados; no concierne a límites directos (colim) que tienen propiedades de exactitud distintas. Requiere álgebra homológica o teoría de categorías para definir lim^i y excluye argumentos ingenuos punto por punto.

 

 

 

 

 





## Tensión semántica

Tensión semántica

«Límite no inyectivo» compite con heurísticas intuitivas de «los límites conmutan con todo»: la tensión es entre comportamiento puntual/estable donde los límites funcionan y sistemas patológicos donde los límites derivados contienen datos de obstrucción esenciales.

 

 

 

 

 





## Síntesis

Síntesis

Un Límite No Inyectivo es la identificación del fallo de exactitud de límites inversos, registrado por lim^i no nulos; señala la falta de condiciones de estabilización y prescribe remedios derivados o pro‑categoríales para recuperar el comportamiento global correcto del límite.