フレドホルムの定理
線形代数におけるフレドホルムの定理とは、次のようなものである。 M が行列ならば、M の行空間の直交補空間は M の零空間 ker M である。
( row  M ) ⊥ = ker  M . {\displaystyle (\operatorname {row} M)^{\bot }=\ker M.}
同様に、M の列空間の直交補空間は M のエルミート共役 (随伴) M の零空間 ker M である。
( col  M ) ⊥ = ker  M ∗ . {\displaystyle (\operatorname {col} M)^{\bot }=\ker M^{*}.}