##  [Fredholm Alternative](/fredholm-alternative) 

  ##  [Fredholm Alternative](https://natural.quantumdictionary.io/fredholm-alternative-0) 

  

 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)



**Natural & Formal Sciences Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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 adj

 

 

 

 

 





 

 



 ##  [Fredholm Alternative](https://mathlogic.quantumdictionary.io/fredholm-alternative-1) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

A linear algebraic/operator-theoretic dichotomy for equations of the form (I − K)x = y where K is a compact (or Fredholm) operator: either the homogeneous equation has only the trivial solution and the inhomogeneous equation is solvable for every y, or the homogeneous equation has a nontrivial finite-dimensional solution space and the inhomogeneous equation is solvable only for y orthogonal (or an

 

 

 

 

 





 

 



 ##  [Fredholm Alternative](https://puremath.quantumdictionary.io/fredholm-alternative-2) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.