線形代数I/教科書定理/2.11
定理2.11 †
線形写像が1対1であれば任意の線形独立なベクトルは写った先でも線形独立である
また、その逆も成り立つ。つまり、
任意の線形独立なベクトルが線形写像により写された先でも線形独立であるならばその写像は1対1である
証明 †
から への線形写像 が1対1であるとする。
が線形独立であるにもかかわらず が線形従属であるならば
となるような ただし、ある に対して が 存在する。
は線形独立なので、この に対して
となるが、線形写像 が1対1であればこれは
のときしか起こりえず、矛盾を生じる。
したがって、まず前半が証明できたことになる。
逆に任意の線形独立なベクトルが により線形独立なベクトルに写るとしよう。
となる について のある基底 取り と表すと、 は 線形写像なので
とすることができる。
一方、基底 は線形独立なので も 線形独立であることになる
従って、上の式は の時にしか成り立たず、
すなわち、 であり、 が1対1写像である ことが導かれる。
これで後半が証明され、証明了。
Counter: 4813 (from 2010/06/03),
today: 1,
yesterday: 1