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

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

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

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

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

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

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

«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

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.