叶卢庆的博客分享 http://blog.sciencenet.cn/u/Yaleking 这个博客不再更新.我的新博客在 blogmath.org

博文

秩-零化度定理

已有 5341 次阅读 2014-7-22 17:58 |个人分类:线性代数|系统分类:论文交流| 秩-零化度定理

有限维线性空间之间的线性映射最重要的特点可以用如下公式来反映: begin{equation} label{eq:1} operatorname{dim}(T(V))+operatorname{dim}(operatorname{Ker}T)=operatorname{dim}V. end{equation}

这个公式叫秩-零化度定理.其中 $T$是从 $m$ 维线性空间 $V$ 到 $n$维线性空间 $T(V)$ 的线性映射.$\operatorname{Ker T}$ 表示空间 $\{x\in V:T(x)=\mathbf{0}\}$.易得 $\operatorname{Ker}T$ 是线 性空间,并且 $\operatorname{Ker}T$ 是线性空间 $V$ 的子空间, 因此也是有限维的.通俗地讲,我们可以说 $\operatorname{Ker}T$是在线性映射 $T$ 的作用下消失了 的线性空间,因为 $\operatorname{Ker}T$ 在 $T$ 的作用下最后变成了零空间 $\{\mathbf{0}\}$.

 

下面我们来证明该公式.

 

设 $\{v_1,\cdots,v_m\}$ 是线性映射$V$ 的一组基.我们知道,这组基在线 性映射 $T$ 的作用下变成了 $T(V)$ 中的向量 组$\{T(v_1),\cdots,T(v_m)\}$.向量 组 $\{T(v_1),\cdots,T(v_m)\}$ 张成(span)了线性空间 $T(V)$.但是, $\{T(v_1),\cdots,T(v_m)\}$ 中的向量不一定是线性无关的.我们可以分离 出对张成线性空间 $T(V)$“没贡献”的 $j(j\geq 0)$ 个向量,不失一般性地,不 妨设这 $j$ 个向量分别是 $T(v_1),\cdots,T(v_j)$. 这 $j$ 个向量可以被 其余的 $n-j$ 个线性无关的向量线性表示.不妨设具体的线性表示方式 为 $\forall 1\leq k\leq j$, $$ T(v_k)=\sum_{i=j+1}^n\alpha_{k,i}T(v_{i}). $$ 于是,根据线性映射的性质,可知 $\forall 1\leq k\leq j$, $$ T\left(v_{k}-\sum_{i=j+1}^{n}\alpha_{k,i}v_i\right)=0. $$ 因此, $$ \left\{v_k-\sum_{i=j+1}^n\alpha_{k,i}v_i:k\in \{1,\cdots,j\}\right\}\subset \operatorname{Ker}T. $$ 形如$v_k-\sum_{i=j+1}^n\alpha_{k,i}v_i$ 的向量有 $j$ 个,且易得这 $j$个 向量线性无关(因为 $v_1,\cdots,v_m$ 线性无关.),因此 $\operatorname{Ker}T$ 至少是 $j$ 维线性空间.且易得集 合 $$ \left\{v_k-\sum_{i=j+1}^m\alpha_{k,i}v_i:k\in \{1,\cdots,m\}\right\}\bigcup \left\{v_{j+1},\cdots,v_n\right\} $$ 中的任意多个向量也线性无关,因此 $\operatorname{Ker}T$ 至多为 $j$ 维线 性空间.综上所述,$\operatorname{Ker}T$ 恰为 $j$ 维线性空间.QED.



https://wap.sciencenet.cn/blog-604208-813797.html

上一篇:向量的线性表出
下一篇:线性映射的复合
收藏 IP: 107.178.200.*| 热度|

1 Vetaren11

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2023-2-3 17:49

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部