线性变换的值域和核是正交的吗?

如果 A 是 n 维线性空间的一个线性变换,那么有:A的秩+A的零度=n A 的秩 + A的零度 = nA+A=n也就是(1)dimAV+dimA−1(0)=dimV=ndimAV + dimA^{-1}(0) = dimV = n\tag{1}dimAV+dimA1(0)=dimV=n(1)

看上去它们互补,但是看一个例子:

在线性空间 P[x]nP[x]_nP[x]n中,令Df(x)=f′(x),Df(x) = f'(x),Df(x)=f(x),那么D的值域为子空间P[x]n−1P[x]_{n-1}P[x]n1,维数为n-1;核为子空间PPP,维数为1。很明显,N(D)⊆R(D)。N(D)\subseteq R(D)。N(D)R(D)

有趣的是,A的核与ATA^TAT的值域构成了全空间的直和分解Rn=R(AT)+N(A)\R^n = R(A^T)+N(A)Rn=R(AT)+N(A)下面来证明:


首先,R(AT)R(A^T)R(AT)N(A)N(A)N(A)都是Rn\R^nRn的子空间,且满足维数公式:dimATV+dimA−1(0)=dimV=ndimA^TV + dimA^{-1}(0) = dimV = ndimATV+dimA1(0)=dimV=n这是因为A和行秩等于列秩,由(1)式直接得出。

其次,R(AT)R(A^T)R(AT)N(A)N(A)N(A)的交集只有零元素:
if    x∈{x∣x=ATz,∃z∈Rn}=R(AT),andx∈{x∣Ax=0}=N(A),if \;\;x \in \{x|x=A^Tz,\exist z\in\R^n\}=R(A^T), \\and\\ x\in\{x|Ax=0\}=N(A), ifx{xx=ATz,zRn}=R(AT),andx{xAx=0}=N(A),⇒xTx=zTAx=0⇒x=0\Rightarrow x^Tx = z^TAx=0\\\Rightarrow x=0xTx=zTAx=0x=0

最后,任意R(AT)R(A^T)R(AT)的向量和N(A)N(A)N(A)中的向量正交:∀x∈{x∣x=ATz,∃z∈Rn}=R(AT),\forall x \in \{x|x=A^Tz,\exist z\in\R^n\}=R(A^T), x{xx=ATz,zRn}=R(AT),∀y∈{y∣Ay=0}=N(A),\forall y\in\{y|Ay=0\}=N(A), y{yAy=0}=N(A),⇒xTy=zTAy=0\Rightarrow x^Ty = z^TAy=0xTy=zTAy=0
证毕。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

颹蕭蕭

白嫖?

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值