A solvability principle for linear compact or Fredholm operators stating that for a linear equation Lx = f either the homogeneous problem Lx = 0 has only the trivial solution and L is onto the codomain (so Lx=f solvable for every f), or the homogeneous problem has nontrivial solutions and Lx=f is solvable precisely when f is orthogonal to every element of the adjoint homogeneous solution space.

Principle

The organizing rule is the finite-dimensional dichotomy of kernel and cokernel for Fredholm operators: index(L)=dim ker L − dim coker L governs solvability; orthogonality to the adjoint kernel (Fredholm alternative condition) characterizes the range when kernel is nontrivial.

Demonstration

Integral equations of the second kind on a Hilbert space where L = I − K with K compact. If 1 is not an eigenvalue of K, (I−K) is invertible and (I−K)u = f has a unique solution for all f. If 1 is an eigenvalue, solvability requires f to be orthogonal to all solutions v of the adjoint homogeneous equation (I−K^*)v = 0.

Misapplication

Applying the Fredholm alternative to operators that are not Fredholm (for example operators with continuous spectrum or unbounded non-Fredholm operators), or treating orthogonality conditions as sufficient for uniqueness rather than mere existence, leads to errors.

Consequence

Provides a clear criterion separating existence and uniqueness questions, yields dimension-count relations for solution spaces, and guides construction of generalized inverses and solvability conditions in boundary-value and integral problems.

Reversal

In non-Fredholm settings (operators with essential spectrum or infinite-dimensional cokernel) there is no simple alternative: solvability depends on finer spectral measures, continuous spectrum behavior, or distributional obstructions rather than a finite orthogonality condition.

Boundary

Valid for Fredholm operators on Banach or Hilbert spaces and for compact perturbations of the identity; it excludes many unbounded differential operators without Fredholm property, operators with essential spectrum overlapping the parameter, and genuinely nonlinear problems without linearization.

Semantic Tension

Tension exists between the Fredholm alternative and other solvability frameworks: Riesz–Schauder theory for compact operators emphasizes discrete spectrum, while generalized inverse approaches emphasize parametrized solution families; practitioners must choose the correct perspective for the operator class.

Synthesis

The Fredholm Alternative is a dichotomous solvability statement for linear Fredholm/compact operators: either invertibility holds and all right-hand sides are solvable, or a finite-dimensional homogeneous solution space exists and solvability is exactly the adjoint-orthogonality condition.