フレドホルムの定理

フレドホルムの定理 (英語 : Fredholm's theorems) とは、エリック・イヴァル・フレドホルム (Erik Ivar Fredholm) の積分方程式の理論であるフレドホルム理論から導かれる、有名ないくつかの結果のことをいう。それらの定理は互いに密接に関係し、いくつかの文脈、積分方程式や線形代数、バナッハ空間上のフレドホルム作用素で説明される。
フレドホルムの交代定理 () はフレドホルムの定理のひとつである。
線形代数.
線形代数におけるフレドホルムの定理とは、次のようなものである。
"M" が行列ならば、"M" の行空間の直交補空間は "M" の零空間 ker "M" である。
同様に、"M" の列空間の直交補空間は "M" のエルミート共役 (随伴) "M" * の零空間 ker "M" * である。
積分方程式.
積分方程式のフレドホルムの定理は次のように表される。
formula_3 を積分核 (kernel) とし、斉次方程式、
とその複素共役、
を考える。ここで、formula_6 は複素数 formula_7 の複素共役を表し、formula_8 は同様に積分核の複素共役を表す。
このとき、フレドホルムの定理は、いかなる formula_7 についても、これらの方程式は自明な解 formula_10 を持つか、同数の線形独立な解 formula_11 を持つことをいう。
積分方程式におけるフレドホルムの定理が成り立つための充分条件は、積分核 formula_3 が矩形 formula_13 の上で自乗可積分なことである。
ここでは、積分を実数軸上の一次元の積分として表しているが、フレドホルム理論の中では、リーマン多様体などを含む多次元空間上の積分作用素へと一般化される。
解の存在.
フレドホルムの定理はフレドホルムの交代定理と密接な関係がある。非斉次のフレドホルム積分方程式、
の解の存在を考えると、この方程式に解が存在するのは、対応する斉次な共役の方程式の解の完全系 formula_15 に対して関数 formula_16 が直交する場合に限られる。
ここで formula_18 は formula_19 の複素共役を表し、積分方程式、
の解の一つである。
この定理が成り立つ充分条件は formula_3 が矩形 formula_22 上で自乗可積分なことである。