很多情况下,我们也经常投影到平行垂直两个方向分析,下面是一个例子

阶正定矩阵, 证 , 等号成立当且仅当 是对角矩阵.

证明: 用归纳法, 假设 的时候结论成立. 设

. 注意 , 所以使用归纳假设即可. 等号成立的条件也不难证明.


实际上 这个量是也有它的几何解释的. 我们来这样分析: 记 张成的底面为 , 可以分解为属于 的分量的和与垂直于 的分量和

那么设

两边依次用 作内积, 我们得到这样一个方程组:

采用上面例题中的记号, 这个方程组就是 , 所以

根据勾股定理, , 我们就得到

定义, 的距离的平方,那么它当然必须大于 0, 同时小于等于 的长度的平方 。 这个结论的几何解释就是: 平行多面体的体积不大于各棱长的乘积, 当且仅当各棱垂直的时候等号成立.


下面我们介绍线性代数中极为重要的一种变换:Householder 反射(镜面反射),接下来我们从零开始,推导出这种变换的具体形式和表示矩阵

是一个 维欧氏空间,在 中取定一个非零向量 。由所有与 正交的向量组成的子空间:

是一个 维的子空间,也就是所谓的超平面。这个 就是我们的“镜面”,而 就是这个镜面的“法向量”。 对于空间中任意一个向量 ,我们将其分解为与 垂直的分量 以及与 平行的分量 ,于是

现在 经过镜面反射,变为了另一个向量 ,根据反射的定义,不难看出

设镜面变换为 ,即 ,于是我们就得到了 的表达式。接下来推导 的表示矩阵 ,将内积写为转置表示,得到

因此我们得到了Householder 矩阵(镜像矩阵) ,不难验证其满足以下性质

  1. 是对称矩阵
  2. 是正交矩阵
  3. 是对合矩阵( 两次镜面反射相当于没反射)
  4. 个特征值为 ,有 个特征值为 (用行列式的降阶公式不难得到)

下面看一个Householder 反射的应用

Householder 变换

维欧氏空间 中长度相等的两个向量, 证明: 必存在 的一个正交变换 , 使 .

证明:,则取 为恒同变换。若 ,令 ,则 。定义 的线性变换 如下:

于是 的一个镜面反射,即第二类的正交变换。因为 ,所以

代入变换公式可得:

上面构造的几何意义本质上可以看作在 中间放了一个镜子(超平面),而 是这个镜子的法向量。镜面反射将平行于镜子的向量保持不变,将垂直镜子的向量方向变反。事实上,按垂直和平行的方向进行投影:

于是经过反射后:

这就是上面的镜面变换。


为了进一步看出投影到平行垂直两个方向的好处,我们来看下面的几个例子

复旦习题集 2018A5

维实列向量, 试构造 阶方阵 , 满足以下两个条件: (1) (2) 对任一满足 维列向量 , 均有

构造具有明显的几何意义,将 分解为 即可,设 。把任意向量 分解为

于是

将这个表达式写成矩阵形式:

这意味着

例1

是单位矩阵, 维实列向量,并且 ,证明

证明 是正定矩阵

证明: 首先 显然为对称矩阵,要证明正定,即证明 ,我们将其写成内积形式

现在我们将 分解为 ,其中 ,于是 ,因此由勾股定理

因为 ,所以当 时,,当 ;当 时,不难验证 ,于是我们就完成了证明

例2

维非零实列向量,则 的充要条件是存在正定矩阵 使得

方法1:
充分性: 若 ,则由 的正定性, 必要性: 若 ,如果我们要构造一个正定矩阵 使得 ,此时也得满足 现在我们先来构造 满足 ,容易构造一个满足条件的 ,但 为秩一矩阵,正定性肯定是不满足的,我们需要另外增加一些项来使得 满足正定性,记上面得到的 现在假设我们增加 正定,并且 ,这就意味着 ,此时将 看作一个投影到 的投影矩阵(与镜面反射矩阵不同的是,这里将 直接投影为零向量了,而不是 ),不难写出

写出 的表达式,显然为对称矩阵

现在我们来计算 的值使得 正定,即证明

现在我们将 分解为 ,其中 ,于是 ,因此由勾股定理

因为 ,所以当 时,只要 ,就有 ,当 ;当 时,不难验证 ,因此我们就构造出了满足条件的矩阵


方法2: 只需证必要性. 考虑构造一个简单的正定矩阵 , 使得 正交合同, 则 是正定矩阵. 将 视为 的线性变换, 欲使 , 则 中的 不变子空间, 故只需 是分块对角矩阵, 其中 是二阶正定矩阵. 于是, 问题归结为: 根据 确定 的标准正交基 以及正定矩阵 , 使得限制变换 在基 下的矩阵为 , 即 . 因此, 有如下解法:

只证必要性. 若 线性相关, 则 . 由于 , 知 . 取 即可. 下设 线性无关, 考虑 的子空间 . 根据 Schmidt 正交化方法, 取非零向量

则向量组 的一个标准正交基, 且 . 因此, 当且仅当 . 欲使 , 且 为二阶实对称正定矩阵, 只需 , 即

其中 即可. 这就得到了正定矩阵 . 最后, 任取 的一个标准正交基 , 并构造正交矩阵 . 再令 , 即 . 显然, 是正定矩阵, 且 .