線形代数Ｉ/教科書定理/２．７

定理２．７ †

の部分集合 が線形写像 で の部分ベクトル空間 へ移ったならば、 は の部分ベクトル空間でなければならない。

証明 †

証明は定理２．６とほぼ同じ道筋になる。

ベクトル空間の部分集合が部分ベクトル空間であることを示すためには、 それがベクトルの加法と数乗法について閉じていることを示せばよい。

すなわち、

かつ から を導く。

まず、 と より、 である。

が部分ベクトル空間であることから、 が 成立するが、 が線形写像であれば、

となるため が得られ、 より を得る。