フレドホルムの交代定理

3行要約

1. 積分方程式において、解が存在するか、あるいは同次方程式が非自明な解を持つかの二択を示す。
2. 線形代数における「解があるか、核が存在するか」という関係を無限次元へ拡張したもの。
3. 境界値問題などの物理現象を記述する方程式の可解性を判断する基準となる。