矩阵论：子空间的交与和

最新推荐文章于 2024-07-31 00:01:58 发布

So Faraway

最新推荐文章于 2024-07-31 00:01:58 发布

阅读量1.8k

点赞数 2

分类专栏：矩阵分析文章标签：矩阵线性代数

本文链接：https://blog.csdn.net/Joker_Louis/article/details/127775919

版权

矩阵分析专栏收录该内容

3 篇文章

订阅专栏

矩阵论：子空间的交与和

前言：子空间的定义已经在上一篇文章中介绍过，此处不再重复。

一、关于子空间的几何理解

例题

$R^{3}$ 中的集合：
$V_{1} = \{(x,y,z)|3x+2y-5z=1\}$
$V_{2} = \{(x,y,z)|3x+2y+5z=0\}$
判断 $V_{1}$ 和 $V_{2}$ 是否为 $R^{3}$ 的子空间

$V_{1}$ 不是子空间，因为它对于数乘不封闭。反例： $\alpha = (\frac{1}{3}, 0,0)$ ， $\beta=2\alpha$ ，容易验证 $\alpha$ 在集合 $V_{1}$ 中而 $\beta$ 不在。
对于 $V_{2}$ ，可以将其看成一个齐次线性方程组的解空间，所以它是一个子空间。

定理

一般来说，有下面命题成立：

对于R上的线性空间 $R^{n}$ ，如果其子空间V几何上可以表示为过 $R^{n}$ 原点的超平面，则V是 $R^{n}$ 的子空间。

这一命题的含义实际上是：V是n元线性齐次方程的解空间。

二、空间的和运算

定理

如果是普通的集合中交、并的运算，我们有以下定理成立：

对于线性空间V的两个子空间 $V_{1}, V_{2}$ ， $V_{1}\cup V_{2}$ 不是V的子空间， $V_{1}\cap V_{2}$ 是V的子空间。

证明比较容易，这里省略。

定义

为了弥补集合并运算不能构造子空间的遗憾，我们定义子空间的“和运算”来作为与交运算相对的运算。

假设 $V_{1},V_{2}\subseteq V$ ，定义：
$V_{1}\cap V_{2}=\{\eta\in V| \eta\in V_{1}\wedge \eta\in V_{2}\}$
$V_{1}+V_{2}=\{\exists \eta_{1}\in V_{1}, \eta_{2}\in V_{2},s.t.\ \eta=\eta_{1}+\eta_{2}\}$

此时，有以下定理成立：

$V_{1}\cap V_{2}, V_{1}+V_{2}$ 是V的子空间，并且有： $V_{1}\cup V_{2}\subseteq V_{1}+V_{2}$ 成立。

对于和运算，有以下命题成立：

若 $V_{1}=L(\alpha_{1}, \alpha_{2},...,\alpha_{s}),\ V_{2}=L(\beta_{1},\beta_{2},...,\beta_{n})$ ，则： $V_{1}+V_{2}=L(\alpha_{1},\alpha_{2},...,\alpha_{s},\beta_{1},\beta_{2},...,\beta_{n})$ 。

证明
只要证明两边相互包含即可。
1.左边 $\subseteq$ 右边
根据和运算的定义，对空间 $V_{1}\cup V_{2}$ 有： $\forall \eta \in V_{1}+V_{2},\exists \eta_{1}\in V_{1},\eta_{2}\in V_{2},s.t \ \eta=\eta_{1}+\eta_{2}$ ，所以左边 $\subseteq$ 右边。
2.右边 $\subseteq$ 左边
对于 $L(\alpha_{1},\alpha_{2},...,\alpha_{s},\beta_{1},\beta_{2},...,\beta_{n})$ 内任一元素，可以用 $\alpha$ 和 $\beta$ 表示，所以右边 $s u b s e t e q$ 左边。
证毕

三、维数定理

假设 $V_{1},V_{2}\leq V$ ，有 $dim(V_{1}+V_{2})=dimV_{1}+dimV_{2}-dim(V_{1}\cap V_{2})$

证明：
推荐阅读此博客的证明。

例题

已知 $A=\begin{pmatrix} 1&1&1&1\\1&-1&2&2\\3&1&4&4\end{pmatrix},B=\begin{pmatrix}1&2&1&1\\2&1&2&2\end{pmatrix},V_{1}=\{x\in F^{4}|Ax=\theta\},V_{2}=\{x\in F^{4}|Bx=\theta\}$ ，求 $V_{1}\cap V_{2},V_{1}+V_{2}$ 的基和维数。( $\theta$ 表示零向量）

思路：
先求 $V_{1}\cap V_{2}$ 的基和维数。利用分块矩阵将空间 $V_{1}\cap V_{2}$ 的基写作 $\begin{pmatrix}A\\B\end{pmatrix}x=\theta$ 。

定义

设 $V_{1},V_{2}\leq V$ ，若 $\forall \eta \in V_{1}+V_{2},\exists$ 唯一的 $\eta_{1}\in V_{1},\eta_{2}\in V_{2}$ 使得 $\eta=\eta_{1}+\eta_{2}$ 。则称 $V_{1}+V_{2}$ 是直和，记作 $V_{1}\oplus V_{2}$ .

定理

设 $V_{1},V_{2}\leq V$ ，则下述命题是等价的
1. $V_{1}\oplus V_{2}$ 是直和
2. $\theta$ 的表示方式是唯一的
3. $V_{1}\cap V_{2}=\theta$
4. $dim(V_{1}+V_{2})=dimV_{1}+dimV_{2}$
5.将 $V_{1},V_{2}$ 的基合在一起就是 $V_{1}\oplus V_{2}$ 的基

下面给出部分证明：
$2\rightarrow3$ ：假设 $\eta \in V_{1}\cap V_{2}$ ，由于 $V_{1},V_{2}$ 都是子空间，所以有 $\eta\in V_{1},-\eta\in V_{2}$ ，所以得到零向量的表达方式： $\theta=\eta + (-\eta)$ ，由于零向量的表达方式是唯一的，所以 $\eta = \theta$ 。
$3\rightarrow4、4\rightarrow3$ ：由于 $dim\{\theta\}=0$ ，根据维数定理可知其成立。
$3\rightarrow1$ ：假设存在 $\alpha_{1} \in V_{1},\beta_{1} \in V_{2}; \alpha_{2}\in V_{1},\beta_{2}\in V_{2}$ ，使得 $\alpha_{1}+\beta_{1}=\alpha_{2}+\beta_{2}$ 。移项得 $\alpha_{1}-\alpha_{2}=\beta_{1}-\beta_{2}$ ，由于 $V_{1}\cap V_{2}=\{\theta\}$ ，可知 $\alpha_{1}=\alpha_{2},\beta_{1}=\beta_{2}$ 。

例题

已知 $F^{n\times n}$ 的子空间
$V_{1}=\{A|A^{T}=A\},V_{2}=\{A|A^{T}=-A\}$ ，证明： $F^{n\times n}=V_{1}\oplus V_{2}$

证明：
首先需要证明 $V_{1},V_{2}$ 的和是直和，可以使用 $V_{1}\cap V_{2} =\{\theta\}$ 证明。然后证明 $F^{n\times n}=V_{1}\oplus V_{2}$ 时，可以采用两边互为子集的方式，注意此处有公式： $\frac{1}{2}(A+A^{T})+\frac{1}{2}(A-A^{T})$

设 $A\in F^{n\times n}$ ，且 $A^{2}=A$
$V_{1}=\{x\in F^{n}|Ax=\theta\},V_{2}=\{x\in F^{n}|Ax=x\}$
证明 $F^{n}=V_{1}\oplus V_{2}$

证明：
还是首先证明 $V_{1},V_{2}$ 是直和，再证明两个互为子集。此处有公式： $\eta=(\eta-A\eta)+A\eta$

四、多个子空间的直和

定义

设 $V_{1},V_{2},...,V_{s}\leq V$ ，若 $\forall \eta\in V_{1}+V_{2}+...+V_{s},\exist$ 唯一的 $\eta_{i}\in V_{i},i=1,2,...,s$ ，使得 $\eta = \sum_{i=1}^{s}\eta_{i}$ ，则称 $V_{1}\oplus V_{2}\oplus ... \oplus V_{s}$ 是直和

定理

设 $V_{1},V_{2},...,V_{s}\leq V$ ，则下面命题是等价的：
1. $V_{1}+V_{2}+...+V_{s}是直和$
2. $\theta$ 的表示方式是唯一的
3. $V_{j}\cap\sum_{i\neq j}=\{\theta\}$
4. $dim\sum_{i=1}V_{i}^{s}=\sum_{i=1}^{s}dimV_{i}$
5.将 $V_{1},V_{2},...,V_{s}$ 的基合在一起就是 $V_{1}+V_{2}+...+V_{s}$ 的基

注意此处不能把命题三改成对任意 $i\neq j, V_{i}\cap V_{j}=\{\theta\}$ ，下举例说明。
如果考虑在xOy平面上，x轴、y轴和y=x三条直线上点构成的三个子空间，虽然满足条件 $i\neq j, V_{i}\cap V_{j}=\{\theta\}$ ，但它们的和并不是直和。