弗雷德霍姆择一定理

弗雷德霍姆择一定理是对一个你为方阵所信任的事实在无穷维的拯救：对方阵 A 的方程组 A x = b，要么 A 可逆（每个 b 都有唯一解），要么不可逆（齐次方程组有非零解，且 b 必须满足相容性条件）。这条择一定理说，这种干净的二者择一在无穷维中对一类关键算子存活了下来——恒等算子减去一个紧算子。

精确地说：设 K 是希尔伯特（或巴拿赫）空间上的紧算子，考虑 T = I - K。则下列两种情形恰有其一成立。要么 T 可逆，于是 T x = y 对每个 y 都有唯一解；要么齐次方程 T x = 0 有非零解，此时其解空间是有限维的，伴随方程 T^* z = 0 的解空间有相同的有限维数，而 T x = y 恰好在 y 正交于 T^* z = 0 的每个解时可解。

为什么它是无穷维的秩-零化度：对 I - K，单射与满射重新变得等价——唯一性蕴含存在性，反之亦然，恰如方阵那样。移位算子表明这种等价对一般有界算子已经消亡；弗雷德霍姆择一定理表明它对恒等算子的紧扰动重生了。核与余核的维数相等，所以 I - K 的指标为零。

为什么重要：这是积分方程的脊梁。一个带良好核的方程 f(x) - integral K(x,y) f(y) dy = g(x)，恰好就是 K 紧的 (I - K) f = g，所以弗雷德霍姆择一定理精确告诉你它何时唯一可解，以及当它不唯一可解时 g 须满足的有限多个可解性条件。它是用积分方程方法求解边值问题的严格基础。