射影定理：向量空间的直和分解

射影定理表明，对于一个向量空间$V$和它的一个子空间$W$，我们可以将$V$分解成$W$和$W$的补空间$W^/perp$的直和，即$V=W/oplus W^/perp$。这个定理可以用来证明线性代数中的很多重要结果，比如矩阵的秩定理、线性方程组的解空间等等。/n/n展开射影定理的过程可以分为以下几步：/n/n1. 定义投影映射：对于$V$中的一个向量$v$和$W$中的一个向量$w$，我们定义$v$在$W$上的投影为$w$，记作$proj_Wv=w$。投影满足以下性质：/n/n- 投影是线性映射，即$proj_W(av_1+bv_2)=a/,proj_Wv_1+b/,proj_Wv_2$；/n- 投影保留向量在$W$上的长度，即$||proj_Wv||=||v||/cos/theta$，其中$/theta$是$v$和$W$的夹角。/n/n2. 定义正交补空间：对于一个向量空间$V$和它的一个子空间$W$，我们定义$W$的正交补空间为$W^/perp=/{v/in V:/langle v,w/rangle=0/text{ for all }w/in W/}$。正交补空间满足以下性质：/n/n- $W^/perp$是$V$的子空间；/n- $W/cap W^/perp=/{0/}$，即$W$和$W^/perp$中没有非零向量同时属于两个集合；/n- $W/oplus W^/perp=V$，即任何向量$v/in V$都可以唯一地表示成$v=w+w^/perp$的形式，其中$w/in W$，$w^/perp/in W^/perp$。/n/n3. 证明射影定理：对于$V$中的一个向量$v$，我们将它分解成$v=w+w^/perp$的形式，其中$w=proj_Wv$是$v$在$W$上的投影，$w^/perp=v-w$是$v$在$W$的正交补空间$W^/perp$上的投影。我们需要证明以下三个结论：/n/n- $w$属于$W$，$w^/perp$属于$W^/perp$；/n- $v=w+w^/perp$；/n- $W/cap W^/perp=/{0/}$，即$W$和$W^/perp$中没有非零向量同时属于两个集合。/n/n证明过程：/n/n- 对于任意$w/in W$，我们有$/langle w^/perp,w/rangle=/langle v-w,w/rangle=/langle v,w/rangle-/langle w,w/rangle=0$，因此$w^/perp/in W^/perp$；同理，对于任意$w^/perp/in W^/perp$，我们有$/langle w,w^/perp/rangle=0$，因此$w=proj_Wv/in W$。证毕。/n- $v=w+w^/perp$显然成立。/n- 假设存在一个非零向量$v/in W/cap W^/perp$，则$/langle v,v/rangle=0$，因此$v=0$。证毕。/n/n综上所述，我们证明了射影定理：$V=W/oplus W^/perp$。/n/n展开射影定理的过程需要比较繁琐的推导和证明，但它是线性代数中一个非常重要的结果，可以帮助我们更好地理解向量空间和子空间之间的关系，以及线性方程组和矩阵的性质。