生成子空间的交空间与和空间

1 生成子空间的定义

给定数域 P P P上的线性空间 V V V中的一组向量 α 1 , ⋯   , α r \alpha_1,\cdots,\alpha_r α1,,αr,我们希望得到一个 V V V的子空间 W W W,使得 W W W中包含向量 α 1 , ⋯   , α r \alpha_1,\cdots,\alpha_r α1,,αr, 那么 W W W应该是怎样的呢?

由线性空间对数乘运算的封闭性,我们知道,下面的这些向量应该在 W W W中: k i α i , i = 1 , 2 , ⋯   , r . k_i\alpha_i, i=1,2,\cdots, r. kiαi,i=1,2,,r.

又由于线性空间对加法封闭,所以 k 1 α 1 + k 2 α 2 + ⋯ + k r α r k_1\alpha_1+k_2\alpha_2+\cdots+k_r\alpha_r k1α1+k2α2++krαr也在 W W W中.

于是我们得到下面的集合:

W = { k 1 α 1 + k 2 α 2 + ⋯ + k r α r ∣ α i ∈ V , k i ∈ P } . W=\{k_1\alpha_1+k_2\alpha_2+\cdots+k_r\alpha_r|\alpha_i\in V,k_i\in P\}. W={k1α1+k2α2++krαrαiV,kiP}.

可以证明, W W W对加法和数乘封闭:

∀ α , β ∈ W , ∀ λ ∈ P , \forall \alpha,\beta \in W, \forall \lambda\in P, α,βW,λP, 不妨设,

α = ∑ i = 1 r k i α i , β = ∑ i = 1 r l i α i , \alpha=\sum_{i=1}^{r}k_i\alpha_i, \beta=\sum_{i=1}^{r}l_i\alpha_i, α=i=1rkiαi,β=i=1rliαi,

因为,

α + β = α = ∑ i = 1 r ( k i + l i ) α i ∈ W , \alpha+\beta=\alpha=\sum_{i=1}^{r}(k_i+l_i)\alpha_i\in W, α+β=α=i=1r(ki+li)αiW,
λ α = α = ∑ i = 1 r λ k i α i ∈ W , \lambda\alpha=\alpha=\sum_{i=1}^{r}\lambda k_i\alpha_i\in W, λα=α=i=1rλkiαiW,

所以, W W W对加法和数乘封闭,从而是满足条件的 V V V的子空间。

定义 给定数域 P P P上的线性空间 V V V中的一组向量 α 1 , ⋯   , α r \alpha_1,\cdots,\alpha_r α1,,αr,由这组向量的一切可能的线性组合构成的集合 W W W V V V的子空间,称之为由向量 α 1 , ⋯   , α r \alpha_1,\cdots,\alpha_r α1,,αr生成的子空间,记为 L ( α 1 , ⋯   , α r ) L(\alpha_1,\cdots,\alpha_r) L(α1,,αr) α 1 , ⋯   , α r \alpha_1,\cdots,\alpha_r α1,,αr称为 W = L ( α 1 , ⋯   , α r ) W=L(\alpha_1,\cdots,\alpha_r) W=L(α1,,αr)的一组生成元

2 生成子空间的交空间

例 1 R 3 R^3 R3中,设 i , j , k i,j,k i,j,k为直角坐标系 o x y z oxyz oxyz中三个坐标轴上的单位向量。令 V 1 = L ( i , j ) , V 2 = L ( j , k ) V_1=L(i,j), V_2=L(j,k) V1=L(i,j),V2=L(j,k), 则 V 1 ∩ V 2 = L ( j ) . V_1\cap V_2=L(j). V1V2=L(j).

直观解释: V 1 V_1 V1 x o y xoy xoy平面, V 2 V_2 V2 y o z yoz yoz平面, 而 V 1 ∩ V 2 = L ( j ) V_1\cap V_2=L(j) V1V2=L(j) y y y轴。

例 2 已知在4元有序数组空间 P 4 P^4 P4中,
α 1 = ( 1 , 2 , 1 , 0 ) T , α 2 = ( − 1 , 1 , 1 , 1 ) T , \alpha_1=(1,2,1,0)^T, \alpha_2=(-1,1,1,1)^T, α1=(1,2,1,0)T,α2=(1,1,1,1)T,

β 1 = ( 2 , − 1 , 0 , 1 ) T , β 2 = ( 1 , − 1 , 3 , 7 ) T , \beta_1=(2,-1,0,1)^T,\beta_2=(1,-1,3,7)^T, β1=(2,1,0,1)T,β2=(1,1,3,7)T,

L ( α 1 , α 2 ) ∩ L ( β 1 , β 2 ) L(\alpha_1,\alpha_2)\cap L(\beta_1,\beta_2) L(α1,α2)L(β1,β2)的基和维数。

分析: 找出交空间中的任意一个向量的表达式,可以看出它是有哪些向量生成的,就可以找到交空间的一组基。

解: ∀ α ∈ L ( α 1 , α 2 ) ∩ L ( β 1 , β 2 ) , \forall \alpha \in L(\alpha_1,\alpha_2)\cap L(\beta_1,\beta_2), αL(α1,α2)L(β1,β2),那么,

α = x 1 α 1 + x 2 α 2 = x 3 β 1 + x 4 β 2 , \alpha=x_1\alpha_1+x_2\alpha_2=x_3\beta_1+x_4\beta_2, α=x1α1+x2α2=x3β1+x4β2,

从而,

x 1 α 1 + x 2 α 2 − x 3 β 1 − x 4 β 2 = 0 , x_1\alpha_1+x_2\alpha_2-x_3\beta_1-x_4\beta_2=0, x1α1+x2α2x3β1x4β2=0,

为了解岀这个方程组,令其系数矩阵为,

A = ( α 1 , α 2 , − β 1 , − β 2 ) A=\begin{pmatrix}\alpha_1,\alpha_2,-\beta_1,-\beta_2\end{pmatrix} A=(α1,α2,β1,β2)

A = ( 1 − 1 − 2 − 1 2 1 1 1 1 1 0 − 3 0 1 − 1 − 7 ) → ( 1 0 0 1 0 1 0 − 4 0 0 1 3 0 0 0 0 ) , A=\begin{pmatrix}1&-1&-2&-1\\2&1&1&1\\1&1&0&-3\\0&1&-1&-7\end{pmatrix}\rightarrow\begin{pmatrix}1&0&0&1\\0&1&0&-4\\0&0&1&3\\0&0&0&0\end{pmatrix}, A=12101111210111371000010000101430,

所以,

( x 1 x 2 x 3 x 4 ) = t ( − 1 4 − 3 1 ) , t ∈ P . \begin{pmatrix}x_1\\x_2\\x_3\\x_4\end{pmatrix}=t\begin{pmatrix}-1\\4\\-3\\1\end{pmatrix},t\in P. x1x2x3x4=t1431,tP.

x 1 = − t , x 2 = 4 t x_1=-t,x_2=4t x1=t,x2=4t代入表达式 α = x 1 α 1 + x 2 α 2 , \alpha=x_1\alpha_1+x_2\alpha_2, α=x1α1+x2α2,

α = t ( − α 1 + 4 α 2 ) = t ( − 5 2 3 4 ) , \alpha=t(-\alpha_1+4\alpha_2)=t\begin{pmatrix}-5\\2\\3\\4\end{pmatrix}, α=t(α1+4α2)=t5234,

η = ( − 5 2 3 4 ) \eta=\begin{pmatrix}-5\\2\\3\\4\end{pmatrix} η=5234

由于 α \alpha α是交空间中的任意向量,它被表示成了一个向量 η \eta η的线性组合,于是 η \eta η 就是交空间 L ( α 1 , α 2 ) ∩ L ( β 1 , β 2 ) L(\alpha_1,\alpha_2)\cap L(\beta_1,\beta_2) L(α1,α2)L(β1,β2)的基,维数等于1。

注: 事实上, L ( α 1 , α 2 ) ∩ L ( β 1 , β 2 ) = L ( η ) . L(\alpha_1,\alpha_2)\cap L(\beta_1,\beta_2)=L(\eta). L(α1,α2)L(β1,β2)=L(η).

3 生成子空间的和空间

例 3 已知在4元有序数组空间 P 4 P^4 P4中,
α 1 = ( 1 , 2 , 1 , 0 ) T , α 2 = ( − 1 , 1 , 1 , 1 ) T , \alpha_1=(1,2,1,0)^T, \alpha_2=(-1,1,1,1)^T, α1=(1,2,1,0)T,α2=(1,1,1,1)T,

β 1 = ( 2 , − 1 , 0 , 1 ) T , β 2 = ( 1 , − 1 , 3 , 7 ) T , \beta_1=(2,-1,0,1)^T,\beta_2=(1,-1,3,7)^T, β1=(2,1,0,1)T,β2=(1,1,3,7)T,

求和空间 L ( α 1 , α 2 ) + L ( β 1 , β 2 ) L(\alpha_1,\alpha_2)+ L(\beta_1,\beta_2) L(α1,α2)+L(β1,β2)的基和维数。

分析: 由和空间的公式: L ( α 1 , α 2 ) + L ( β 1 , β 2 ) = L ( α 1 , α 2 , β 1 , β 2 ) , L(\alpha_1,\alpha_2)+L(\beta_1,\beta_2)=L(\alpha_1,\alpha_2,\beta_1,\beta_2), L(α1,α2)+L(β1,β2)=L(α1,α2,β1,β2), 所以和空间 L ( α 1 , α 2 ) + L ( β 1 , β 2 ) L(\alpha_1,\alpha_2)+ L(\beta_1,\beta_2) L(α1,α2)+L(β1,β2)的基和维数就可以转化为求 L ( α 1 , α 2 , β 1 , β 2 ) L(\alpha_1,\alpha_2,\beta_1,\beta_2) L(α1,α2,β1,β2)的一组基和维数。

解: 因为 L ( α 1 , α 2 ) + L ( β 1 , β 2 ) = L ( α 1 , α 2 , β 1 , β 2 ) , L(\alpha_1,\alpha_2)+L(\beta_1,\beta_2)=L(\alpha_1,\alpha_2,\beta_1,\beta_2), L(α1,α2)+L(β1,β2)=L(α1,α2,β1,β2), 为了求 L ( α 1 , α 2 , β 1 , β 2 ) L(\alpha_1,\alpha_2,\beta_1,\beta_2) L(α1,α2,β1,β2)的一组基,令

A = ( α 1 , α 2 , β 1 , β 2 ) , A=\begin{pmatrix}\alpha_1,\alpha_2,\beta_1,\beta_2\end{pmatrix}, A=(α1,α2,β1,β2),

A = ( 1 − 1 2 1 2 1 − 1 − 1 1 1 0 3 0 1 1 7 ) → ( 1 − 1 2 1 0 1 1 7 0 0 1 3 0 0 0 0 ) , A=\begin{pmatrix}1&-1&2&1\\2&1&-1&-1\\1&1&0&3\\0&1&1&7\end{pmatrix}\rightarrow\begin{pmatrix}1&-1&2&1\\0&1&1&7\\0&0&1&3\\0&0&0&0\end{pmatrix}, A=12101111210111371000110021101730,

所以, r ( A ) = 3 r(A)=3 r(A)=3, A A A的极大无关组为 α 1 , α 2 , β 1 \alpha_1,\alpha_2,\beta_1 α1,α2,β1,即

和空间 L ( α 1 , α 2 ) + L ( β 1 , β 2 ) L(\alpha_1,\alpha_2)+ L(\beta_1,\beta_2) L(α1,α2)+L(β1,β2)的一组基为 α 1 , α 2 , β 1 \alpha_1,\alpha_2,\beta_1 α1,α2,β1,维数为3。


更多内容,欢迎用微信扫描下图中的二维码,或搜索“大哉数学之为用”,免费关注微信公众号“大哉数学之为用”进行阅读。
在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值