線形代数I/教科書定理/2.6 の変更点
更新- 追加された行はこの色です。
- 削除された行はこの色です。
- 線形代数I/教科書定理/2.6 へ行く。
- 線形代数I/教科書定理/2.6 の差分を削除
* 定理2.6 [#r2527b9e] &math(\bm{R}^n); の部分ベクトル空間 &math(E); が線形写像 &math(\phi); で &math(\bm{R}^m); の部分集合 &math(F); へ移ったとする。このとき &math(F); は &math(\bm{R}^m); の部分ベクトル空間となる。 * 証明 [#b390b593] ベクトル空間の部分集合が部分ベクトル空間であることを示すためには、 それがベクトルの加法と数乗法について閉じていることを示せばよい。 すなわち、 &math(\bm{x}, \bm{y} \in F); かつ &math(\bm{a}, \bm{b} \in \bm{K}); から &math(a\bm{x}+b\bm{y} \in F); を導く。 まず、&math(F=\phi(E)); と &math(\bm{x}, \bm{y} \in F); より、&math(\bm{x}=\phi(\bm{x}^\prime));, &math(\bm{y}=\phi(\bm{y}^\prime)); となるような &math(\bm{x}^\prime, \bm{y}^\prime \in E); が 少なくともひとつずつ存在する。 &math(E); は部分ベクトル空間であるから、そのような &math(\bm{x}^\prime, \bm{y}^\prime \in E); に対して &math(a\bm{x}^\prime+b\bm{y}^\prime \in E); である。 したがって、&math(\phi(a\bm{x}^\prime+b\bm{y}^\prime) \in F); であるが、&math(\phi); が 線形写像であれば、 &math(\phi(a\bm{x}^\prime+b\bm{y}^\prime)&= a\phi(\bm{x}^\prime)+b\phi(\bm{y}^\prime) \\ &=a\bm{x}+b\bm{y} ); であり、ここから &math(a\bm{x}+b\bm{y} \in F); を導くことができる。
Counter: 3377 (from 2010/06/03),
today: 2,
yesterday: 0