例1、已知向量空间
V x1, x2, x3, x4 x1 x2 x3 x4 0, x2 x3 x4 0, x1, x2 , x3, x4 R
(1)求V的基和维数;
(2)求V的一组标准正交基。
解 由V的构成可知,V是4元齐次线性方程组
x1 x2
x2 x3
x3 x4 x4 0
证 (1)由加法的定义知 V1 V2 对加法封闭,并容 易验证加法满足交换律与结合律。且
设 1,2分别是V1,V2 中的零元,则1,2 是V1 V2 的
零元。
对1,2 V1 V2 , 存在 1, 2 V1 V2 , 使得
1,2 1, 2 1,2 .
其次由数乘的定义知 V1 V2 对数乘封闭,且
构成V的一个子空间,称之为由1,2, ,s 生成的子空
间,记为L 1,2, ,s .
验证线性空间V的非空子集W是否构成子空间,只 要验证W对于V的两种线性运算的封闭性。
2、线性子空间的有关结果
(1)如果数域P上的线性空间V的非空子集W对于V的
两种线性运算封闭,即对于任意, W 有 W ,又 对于任意 k P, W 有 k W ,则W是V的子空间。
a1, a2 , , an .
设1,2, ,s 是线性空间V中的一组元素,则
dim L 1,2, ,n r1,2, ,n
且元素组 1,2, ,s 的任一极大线性无关组都是生成
子空间 L 1,2, ,s 的基。
设W是数域P上 n 维线性空间V的一个m 维子空间,
1,2, ,m 是W的一组基,则这组元素必可扩充成V 的一组基。即在V中必可找到n m个元素m1,m2, ,n 使得1,2, m,m1, ,n 是V的一组基。
dimV . 即V 不是有限维线性空间。