線形写像 線形写像と行列 和の階数と階数の和、不等式、烈ベクトルによって生成されるベクトル空間、部分集合
解析入門(中) (松坂和夫 数学入門シリーズ 5) (松坂 和夫 (著)、岩波書店)の第15章(線形写像)、15.1(線形写像と行列)、問題8の解答を求めてみる。
A、 Bをm × n 型の行列とする。
によって生成されるベクトル空間とVとすると、 Vの次元は
以下である。
また、
によって生成されるベクトル空間をWとすると、
なので、 WはVに含まれる。
よって、
また、
である。
ゆえに、
である。
(証明終)