定理2.6 †
の部分ベクトル空間
が線形写像
で
の部分集合
へ移ったとする。このとき
は
の部分ベクトル空間となる。
証明 †
ベクトル空間の部分集合が部分ベクトル空間であることを示すためには、
それがベクトルの加法と数乗法について閉じていることを示せばよい。
すなわち、
かつ
から
を導く。
まず、
と
より、
,
となるような
が
少なくともひとつずつ存在する。
は部分ベクトル空間であるから、そのような
に対して
である。
したがって、
であるが、
が
線形写像であれば、
であり、ここから
を導くことができる。