線形代数II/像・核・階数の変更点

更新

追加された行はこの色です。
削除された行はこの色です。
線形代数II/像・核・階数へ行く。
線形代数II/像・核・階数の差分を削除

[[線形代数Ⅱ]]
[[線形代数II]]

#contents
#katex

同型じゃないような線形写像について考える。

* 像 $\mathrm{Im}\,T$ [#n43982dd]

ある線形写像 &math(T:V\to V'); の像は、~
>&math(\Image T\equiv\set{\bm y\in V'|\exists \bm x\in V, \bm y=T\bm x});

として定義され、&math(\Image T=T(V)); とも書かれる。当然、&math(\Image T\subset V');

関数では定義域、値域と言ったが、その値域にあたる。

* 階数 [#oe674987]

ある線形写像 &math(T:V\to V'); の階数は、~
>&math(\dim (\Image T));

として定義される。

行列の階数との関係は後述。

練習：

&math(T: V\to V'); のとき、

&math(\dim (\Image T)\le \dim V);

&math(\dim (\Image T)\le \dim V');

を示せ。

* 核 $\mathrm{Ker}\,T$ [#naf8d1e7]

Counter: 2202 (from 2010/06/03), today: 1, yesterday: 3