線型代数学の基本定理

数学の分野における線型代数学の基本定理（せんけいだいすうがくのきほんていり、テンプレート:Lang-en-short）とは、ベクトル空間に関するいくつかの定理である。それらの定理においては、ある m×n 行列 A の階数 r や、その特異値分解

$A=U\mathrm{\Sigma }{V}^T$

に関する内容が、具体的にまとめられている。はじめに、各行列 $A\in {𝐑}^{m\times n}$（行列 $A$ は $m$ 個の行と $n$ 個の列を持つ）は、「四つの基本部分空間」を導く。それらを次の表に示す：

部分空間の名前	定義	含まれる空間	次元	基底
列空間、値域あるいは像	$\mathrm{i}\mathrm{m}(A)$ あるいは $\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{g}\mathrm{e}(A)$	${𝐑}^m$	$r$（階数）	$U$ の初めの $r$ 列
零空間あるいは核	$\mathrm{k}\mathrm{e}\mathrm{r}(A)$ あるいは $\mathrm{n}\mathrm{u}\mathrm{l}\mathrm{l}(A)$	${𝐑}^n$	$n-r$（退化次数）	$V$ の最後の $(n-r)$ 列
行空間あるいは余像	$\mathrm{i}\mathrm{m}(A^T)$ あるいは $\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{g}\mathrm{e}(A^T)$	${𝐑}^n$	$r$（階数）	$V$ の初めの $r$ 列
左零空間あるいは余核	$\mathrm{k}\mathrm{e}\mathrm{r}(A^T)$ あるいは $\mathrm{n}\mathrm{u}\mathrm{l}\mathrm{l}(A^T)$	${𝐑}^m$	$m-r$（余階数）	$U$ の最後の $(m-r)$ 列

続いて、次が成立する：

1. ${𝐑}^n$ において、$\mathrm{k}\mathrm{e}\mathrm{r}(A)=(\mathrm{i}\mathrm{m}(A^T){)}^{\perp }$ である。すなわち零空間は、行空間の直交補空間である。
2. ${𝐑}^m$ において、$\mathrm{k}\mathrm{e}\mathrm{r}(A^T)=(\mathrm{i}\mathrm{m}(A){)}^{\perp }$ である。すなわち左零空間は、列空間の直交補空間である。

行列 A に関する四つの部分空間

各部分空間の次元は階数・退化次数の定理によって関連付けられており、上表の定理に従う。

また、これら全ての空間は、基底の選び方に依らず、本質的に定義される。そのような場合この定理は、抽象的ベクトル空間や作用素および双対空間として、$A:V\to W$ および $A^{*}:W^{*}\to V^{*}$ を用いて次のように言い直すことが出来る：$A^{*}$ の核および像は、$A$ の余核および余像に、それぞれ等しい。

関連項目

• 階数・退化次数の定理
• 閉値域の定理

参考文献

• Strang, Gilbert. Linear Algebra and Its Applications. 3rd ed. Orlando: Saunders, 1988.
• テンプレート:Citation

外部リンク

• テンプレート:Aut, MIT Linear Algebra Lecture on the Four Fundamental Subspaces at Google Video, from MIT OpenCourseWare