Una dicotomía para ecuaciones lineales con operadores compactos (o de Fredholm): para un operador A de tipo Fredholm y un escalar λ, o bien (I − λA) es invertible y la ecuación inhomogénea tiene solución única para todo término derecho, o la homogénea tiene soluciones no triviales y la solvencia del problema inhomogéneo exige condiciones de compatibilidad (ortogonalidad) frente al núcleo del adjunto.

Principio

La teoría de Fredholm separa la solvencia en una obstrucción de dimensión finita (núcleo/cocokernel) y un complemento sobre el que el operador es invertible; las perturbaciones compactas de la identidad tienen índice cero y núcleos de dimensión finita.

Demostración

Análogo finito‑dimensional: para una matriz cuadrada M, o bien det M ≠ 0 y Mx = b tiene solución única para todo b, o bien det M = 0 y la solvencia exige que b pertenezca al espacio columna, equivalente a ser ortogonal al espacio nulo izquierdo.

Aplicación incorrecta

Aplicar la alternativa a operadores con espectro continuo o a operadores no‑Fredholm (p. ej. operadores no acotados sin resolvente compacto) donde el núcleo/cocokernel puede ser de dimensión infinita y no existe una condición de compatibilidad finita.

Consecuencia

Proporciona criterios explícitos de solvencia para ecuaciones integrales lineales y problemas elípticos con condiciones de contorno, reduce la solvencia en dimensión infinita a álgebra lineal de dimensión finita y da herramientas para análisis de bifurcación cerca de valores paramétricos singulares.

Inversión

El caso genérico invertible (sin núcleo) contrasta con el caso obstruido: invertir la afirmación pone de manifiesto cuándo faltan soluciones (soluciones homogéneas no triviales) en lugar de cuándo existen de modo único.

Límite

Requiere la condición de Fredholm (núcleo de dimensión finita e imagen cerrada de codimensión finita) o hipótesis de compacidad; no se aplica textualmente a operadores acotados generales en espacios de dimensión infinita que carezcan de estas propiedades.

Tensión semántica

Alternativa de Fredholm vs teoría general de solvencia: la alternativa enfatiza obstrucciones algebraicas de dimensión finita, mientras que la teoría operativa más amplia trata el espectro continuo, el espectro esencial y fenómenos de no compacidad sin tal dicotomía.

Síntesis

La alternativa de Fredholm reduce la solvencia lineal para operadores de Fredholm (o perturbaciones compactas) a una dicotomía: o la inversibilidad garantiza soluciones únicas para todos los datos, o un núcleo de dimensión finita impone condiciones de compatibilidad de ortogonalidad determinadas por el adjunto.