A dichotomy for linear equations involving compact (or Fredholm) operators: for an operator A of Fredholm type and a scalar λ, either (I − λA) is invertible and the inhomogeneous equation has a unique solution for every right-hand side, or the homogeneous equation has nontrivial solutions and solvability of the inhomogeneous problem requires compatibility (orthogonality) conditions against the adjoint's kernel.

Principle

Fredholm theory separates solvability into a finite-dimensional obstruction (kernel/cokernel) and a complement on which the operator is invertible; compact perturbations of the identity have index zero and finite-dimensional nullspaces.

Demonstration

Finite-dimensional analogue: for a square matrix M, either det M ≠ 0 and Mx = b has a unique solution for all b, or det M = 0 and solvability requires b to lie in the column space, equivalently to be orthogonal to the left nullspace.

Misapplication

Applying the alternative to operators with continuous spectrum or to non-Fredholm operators (e.g., unbounded operators without compact resolvent) where the kernel/cokernel may be infinite-dimensional and no finite compatibility condition holds.

Consequence

Yields explicit solvability criteria for linear integral equations and elliptic boundary-value problems, reduction of infinite-dimensional solvability to finite-dimensional linear algebra, and tools for bifurcation analysis near singular parameter values.

Reversal

The generic invertible case (no kernel) contrasts with the obstructed case: reversing the statement isolates when solutions fail (nontrivial homogeneous solutions) rather than when they exist uniquely.

Boundary

Requires Fredholmness (finite-dimensional kernel and closed range with finite codimension) or compactness hypotheses; does not apply verbatim to general bounded operators on infinite-dimensional spaces lacking these properties.

Semantic Tension

Fredholm alternative vs general solvability theory: the alternative emphasizes algebraic finite-dimensional obstructions, whereas broader operator theory treats continuous spectrum, essential spectrum, and noncompactness phenomena without such a dichotomy.

Synthesis

The Fredholm alternative reduces linear solvability for Fredholm (or compact perturbation) operators to a dichotomy: either invertibility yields unique solutions for all data, or a finite-dimensional kernel imposes orthogonality compatibility conditions determined by the adjoint.