弗雷德霍姆擇一定理

弗雷德霍姆擇一定理是對一個你為方陣所信任的事實在無窮維的拯救：對方陣 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 須滿足的有限多個可解性條件。它是用積分方程方法求解邊值問題的嚴格基礎。