24/07/07 15:43:42.48 KZWz9FOc.net
線形空間は
「元同士の和＋と体の元との積・という２つの演算をもつ代数系」
として定義される（詳細は以下のリンクを見られたし）
URLﾘﾝｸ(ja.wikipedia.org)
線形空間の元の集まりが線形独立だという性質は
「元の線形結合が零ベクトルになるのは線形結合の係数が全部零になる場合に限る」
と定義される
線形空間の基底は
「線形空間の任意の元を生成する線形独立な元の集まり」
と定義される
線形写像は
「線形空間の代数構造を保存する写像」
として定義される（詳細は以下のリンクを見られたし）
URLﾘﾝｸ(ja.wikipedia.org)
定理
線形空間Vがｎ個の元からなる基底をもつとする
VからV自身への線形写像Aが、自己同型写像、つまり全単射である条件は
Aによって零ベクトルに写る元の全体が零ベクトルのみの単元集合であるとき、そのときに限る
VからVへの任意の線形写像が自己同型写像になるわけじゃないんだよ