“二择一”定理与逻辑关系

围绕讨论非齐次线性方程组与对应的齐次线性方程组的解的情况,存在一个“二择一”判断定理——Fredrholm二择一定理。弄清该定理所反映的逻辑关系和该定理的证明与应用,对深刻理解这一教学内容和提高教学质量是很有益处的。笔者认为,既饶有趣味,也值得探讨。