设V是数域F上的一个线性空间,W是V的一个子集合,如何判断W是否是域F. 上的一个线性子空间?
根据定理4.9(主教材p178),"W是V的一个子空间的充要条件是W关于V中的两种运算(加法与数量乘法)封闭".因此判断W是否是V的子空间,只要判断W关于V中的两种运算是否封闭.例如:
设V是复数域上的n维线性空间,是V的线性变换,且证明:
1)如果λ0是的一特征值,那么的不变子空间;
2)至少有一个公共的特征向量。
设V是数域F上一个有限维内积空间,配备了一个内积f,证明以下两条件等价:
(ii)f关于V的任意基的格拉姆矩阵非奇异。
满足上述条件的内积叫作非退化的。
设α是欧氏空间V中的一个非零向量,α1,α2,···,αp是V中p个向量,满足
证明:
1)α1,α2,···,αp线性无关;
2)n维欧氏空间中最多有n+1个向量,使其两两夹角都大于π/2。