预解定理如下

      弗雷德霍姆二择一定理(Fredholm alternative theorem)是研究线性椭圆型方程的解存在问题的一个泛函分析定理，这个定理与含N个未知函数的N个方程的线性代数方程组中下列定理类似：

      当系数行列式等于零时，对应齐次方程组有非零解当系数行列式不等于零时，对任意的右端，非齐次方程组都有唯一解。