A simple form of the Fredholm alternative states that for a square matrix A
The former holds when A–I is invertible and the latter when it is singular. The more general Fredholm alternative is an important result in functional analysis, where ℝn is replaced by an infinite-dimensional Hilbert space and A is replaced by a self-adjoint compact operator.