定番書
を基に線形代数を学び直していく。
今日のまとめ
4. 線形空間
4.5 基底
元の数と基底
は自明でない解を持つ。これはが線形従属であることを意味する。
他方でが同型ならば、
の
個の単位ベクトル
に対応する
の
個のベクトルは線形独立である。したがって
である。同様に
でもあるから
である。この対偶を取ることで
ならば
は同型でない。
)
( 既に示したように
は
に同型である。したがって上述の定理から
個よりも多くのベクトルは線形従属である。
が
個の元からなる基底を持てば、
は
にも同型となるから、
でなければならない。
)
これは基底の取り方は一意ではなく様々な取り方があり得るものの、その個数は常に同じであることを意味する。そこで以下の概念を導入する:
上の線形空間
の2つの基底間にある関係を調べる。既に調べたように、線形空間が
個のベクトルからなる基底を持てば、
は
に同型であった。これはすなわち基底を定めることが
から
への同型写像を1つ定めることに他ならない。
を
の2つの基底とする。またこれらの基底が定める
から
への同型写像を
とする。
は
から
への同型写像であるから、これはとある
次正則行列
によって定まる
の線形変換
に等しい。したがって
が成り立つ。このような行列を基底の取り換え
の行列という。