next up previous
Next: この文書について... Up: トラスの力学 Previous: 相反性

付録:有限次元のFredholmのalternative

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

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

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



N. Nishimura
Sat Jul 4 16:13:59 JST 1998