很多情况下,我们也经常投影到平行和垂直两个方向分析,下面是一个例子
例
设 是 阶正定矩阵, 证 , 等号成立当且仅当 是对角矩阵.
证明: 用归纳法, 假设 的时候结论成立. 设
则 . 注意 , 所以使用归纳假设即可. 等号成立的条件也不难证明.
实际上 这个量是也有它的几何解释的. 我们来这样分析: 记 张成的底面为 , 可以分解为属于 的分量的和与垂直于 的分量和
那么设
两边依次用 作内积, 我们得到这样一个方程组:
采用上面例题中的记号, 这个方程组就是 , 所以
根据勾股定理, , 我们就得到
由 定义, 是 到 的距离的平方,那么它当然必须大于 0, 同时小于等于 的长度的平方 。 这个结论的几何解释就是: 平行多面体的体积不大于各棱长的乘积, 当且仅当各棱垂直的时候等号成立.
下面我们介绍线性代数中极为重要的一种变换:Householder 反射(镜面反射),接下来我们从零开始,推导出这种变换的具体形式和表示矩阵
设 是一个 维欧氏空间,在 中取定一个非零向量 。由所有与 正交的向量组成的子空间:
是一个 维的子空间,也就是所谓的超平面。这个 就是我们的“镜面”,而 就是这个镜面的“法向量”。 对于空间中任意一个向量 ,我们将其分解为与 垂直的分量 以及与 平行的分量 ,于是
现在 经过镜面反射,变为了另一个向量 ,根据反射的定义,不难看出
设镜面变换为 ,即 ,于是我们就得到了 的表达式。接下来推导 的表示矩阵 ,将内积写为转置表示,得到
因此我们得到了Householder 矩阵(镜像矩阵) ,不难验证其满足以下性质
- 是对称矩阵
- 是正交矩阵
- 是对合矩阵( 两次镜面反射相当于没反射)
- 有 个特征值为 ,有 个特征值为 (用行列式的降阶公式不难得到)
下面看一个Householder 反射的应用
Householder 变换
设 是 维欧氏空间 中长度相等的两个向量, 证明: 必存在 的一个正交变换 , 使 .
证明: 若 ,则取 为恒同变换。若 ,令 ,则 。定义 的线性变换 如下:
于是 是 的一个镜面反射,即第二类的正交变换。因为 ,所以
代入变换公式可得:
上面构造的几何意义本质上可以看作在 中间放了一个镜子(超平面),而 是这个镜子的法向量。镜面反射将平行于镜子的向量保持不变,将垂直镜子的向量方向变反。事实上,按垂直和平行的方向进行投影:
于是经过反射后:
这就是上面的镜面变换。
为了进一步看出投影到平行和垂直两个方向的好处,我们来看下面的几个例子
复旦习题集 2018A5
设 为 维实列向量, 试构造 阶方阵 , 满足以下两个条件: (1) (2) 对任一满足 的 维列向量 , 均有
构造具有明显的几何意义,将 分解为 即可,设 。把任意向量 分解为
于是
将这个表达式写成矩阵形式:
这意味着
例1
设 是单位矩阵, 是 维实列向量,并且 ,证明
证明 是正定矩阵
证明: 首先 显然为对称矩阵,要证明正定,即证明 ,,我们将其写成内积形式
现在我们将 分解为 ,其中 ,于是 ,因此由勾股定理
因为 ,所以当 时,,当 时 ;当 时,不难验证 ,于是我们就完成了证明
例2
设 是 维非零实列向量,则 的充要条件是存在正定矩阵 使得
方法1:
充分性: 若 ,则由 的正定性,
必要性: 若 ,如果我们要构造一个正定矩阵 使得 ,此时也得满足
现在我们先来构造 满足 ,容易构造一个满足条件的 ,但 为秩一矩阵,正定性肯定是不满足的,我们需要另外增加一些项来使得 满足正定性,记上面得到的
现在假设我们增加 后 正定,并且 ,这就意味着 ,此时将 看作一个投影到 的投影矩阵(与镜面反射矩阵不同的是,这里将 直接投影为零向量了,而不是 ),不难写出
写出 的表达式,显然为对称矩阵
现在我们来计算 的值使得 正定,即证明 ,,
现在我们将 分解为 ,其中 ,于是 ,因此由勾股定理
因为 ,所以当 时,只要 ,就有 ,当 时 ;当 时,不难验证 ,因此我们就构造出了满足条件的矩阵
方法2: 只需证必要性. 考虑构造一个简单的正定矩阵 , 使得 与 正交合同, 则 是正定矩阵. 将 视为 的线性变换, 欲使 , 则 是 中的 不变子空间, 故只需 是分块对角矩阵, 其中 是二阶正定矩阵. 于是, 问题归结为: 根据 确定 的标准正交基 以及正定矩阵 , 使得限制变换 在基 下的矩阵为 , 即 . 因此, 有如下解法:
只证必要性. 若 线性相关, 则 . 由于 , 知 . 取 即可. 下设 线性无关, 考虑 的子空间 . 根据 Schmidt 正交化方法, 取非零向量
则向量组 是 的一个标准正交基, 且 . 因此, 当且仅当 . 欲使 , 且 为二阶实对称正定矩阵, 只需 , 即
其中 即可. 这就得到了正定矩阵 . 最后, 任取 的一个标准正交基 , 并构造正交矩阵 . 再令 , 即 . 显然, 是正定矩阵, 且 .
评论
支持 Markdown 和 LaTeX 数学公式。