付録：有限次元のFredholmのalternative

有限次元のFredholmのalternativeとは次の主張のことである。

A を実 行列、 を の元とする。このとき、方程式 が について解けることと であることは同値である。解 は存在すれば の自由度を残して決まる。

証明は、線形代数の教科書ならどれにでも載っている線形方程式の 可解性定理を書き換えれば良い。