對向量空間的定義
向量空間V的一組向量若滿足
1)線性無關
2)V中任一向量可由此向量線性表出,則稱該組向量V中的一個基(亦稱基底)。
一個向量空間的基有很多,但每個基所含向量個數卻是個定數。
定理
設 和均為向量空間W的基的向量。那么必有s=t。
證明
由基的定義,W的向量
均可由
線性表出,而
同理也可由
,因此兩個線性無關向量組等價,兩組線性無關的向量如果等價則所含向量個數相等。因此s=t。
對矩陣的定義
若B是矩陣A中n×n階可逆矩陣(非奇異矩陣,滿秩矩陣),即矩陣的行列式|B|≠0,則B是A的一個基。