Dicotomía de álgebra lineal/teoría de operadores para ecuaciones de la forma (I − K)x = y con K operador compacto (o de Fredholm): o bien la homogénea tiene solo la solución trivial y la inhomogénea es solucionable para todo y, o bien la homogénea tiene un espacio de soluciones no trivial y de dimensión finita y la inhomogénea solo es solucionable para y que sean ortogonales (o anulados) por el núcleo del adjunto. Vincula la solvencia a las propiedades del problema adjunto.

Principio

La solvencia de ecuaciones lineales con perturbaciones compactas está gobernada por la interacción entre núcleo e imagen: la compacidad implica núcleos y conucleos de dimensión finita, produciendo una dicotomía entre solvencia completa y solvencia modulo condiciones de ortogonalidad determinadas por el adjunto.

Demostración

Para una ecuación integral con núcleo continuo en un dominio acotado, el operador asociado K es compacto y satisface la alternativa de Fredholm: si (I−K)u = f tiene solución para todo f entonces el homogéneo (I−K)u=0 tiene solo la solución trivial; si el homogéneo tiene soluciones no triviales, la solvencia del problema inhomogéneo exige que f pertenezca al complemento ortogonal (o al aniquilador) del núcleo del adjunto.

Aplicación incorrecta

Usar la alternativa de Fredholm cuando el operador no es compacto o no es Fredholm (por ejemplo, en presencia de espectro esencial o operadores no acotados) puede dar conclusiones falsas sobre solvencia; confundir el adjunto en espacios de Banach no hilbertianos (ortogonalidad vs. anuladores) es otro mal uso común.

Consecuencia

Permite reducir las cuestiones de solvencia a un problema de dimensión finita, proporciona criterios de existencia u obstrucción y sustenta la teoría del índice para operadores de Fredholm; posibilita la parametrización de los conjuntos de soluciones y la determinación de condiciones de compatibilidad en problemas integrales y de contorno aplicados.

Inversión

La afirmación inversa ingenua — que la existencia para todos los términos independientes implica núcleo adjunto trivial sin hipótesis de compacidad — puede fallar; la dicotomía depende de la estructura de compacidad/Fredholm y se deshace en contextos de operadores generales.

Límite

Requiere que K sea compacto o, en general, que (I−K) sea operador de Fredholm; la formulación por ortogonalidad se expresa más directamente en espacios de Hilbert (mediante ortogonalidad) y debe reinterpretarse mediante anuladores en espacios de Banach. Quedan excluidos operadores no acotados generales, problemas dominados por el espectro esencial y muchos entornos no lineales.

Tensión semántica

Relacionado pero distinto de la invertibilidad y de la noción de índice: la alternativa de Fredholm trata la solvencia y las obstrucciones en un entorno de codimensión finita, mientras que la invertibilidad exige núcleo trivial y sobreyectividad; también se aproxima a la reducción de Lyapunov–Schmidt y a la teoría del índice de Fredholm.

Síntesis

La Alternativa de Fredholm organiza las ecuaciones lineales con operadores compactos en una dicotomía de solvencia: la compacidad genera obstrucciones de dimensión finita que o bien se anulan (solvencia para todo término independiente) o bien imponen condiciones de compatibilidad/ortogonalidad determinadas por el adjunto, reduciendo problemas de dimensión infinita a comprobaciones de dimensión finita.