9 内积空间

§ 9.1 基本概念

9.1.1 内积空间的定义

1. 欧氏空间

是实数域上的线性空间,若存在某种规则,使对 中任意一对向量 , 都对应一个实数 ,适合如下性质:

(1) ;

(2) ;

(3) 为任一实数;

(4) ,等号当且仅当 时成立,

则称 上定义了一个内积. 实数 称为向量 的内积. 若 维空间, 则称 维欧氏空间.

2. 酉空间

是复数域上的线性空间,若存在某种规则,使对 中任意一对有序向量 ,都对应一个复数 ,适合如下性质:

(1) ;

(2) ;

(3) 为任一复数;

(4) ,等号当且仅当 时成立,

则称 上定义了一个内积. 复数 称为向量 的内积. 若 维空间, 则称 维酉空间.

欧氏空间和酉空间统称为内积空间.

3. 向量范数或长度

是内积空间, 中的向量,定义 的范数 (长度) 为

  1. 距离

是内积空间 中的向量,定义 之间的距离为 .

5. 向量之间的夹角

是内积空间 中的向量,定义 之间的夹角 的余弦为

  1. 正交

是内积空间 中的向量,若 ,则称 正交,记为 .

7. 定理

是内积空间, 中的向量, 是任意常数,则

(1) ;

(2)

(3) .

9.1.2 正 交 基

1. 正交基

维内积空间,若 有一组基两两正交,则称这组基为 的正交基. 又若每个基向量的长度都等于 1 , 则称之为标准正交基.

2. 定理

维内积空间中两两正交的非零向量组必线性无关; 任意一个 维内积空间必有标准正交基.

3. Gram-Schmidt 正交化方法

维内积空间, 个线性无关的向量,令

是一组正交向量.

4. 正交补

维内积空间, 是子空间,则和 正交的全体向量组成 的一个子空间,称为 的正交补空间,记为 .

5. 正交直和

维内积空间, 是子空间. 假定 两两正交且 的和空间,则称 的正交直和,记为 .

6. 定理

维内积空间, 是子空间,则

(1) ;

(2) 的任意一组标准正交基都可以扩张为 的一组标准正交基.

9.1.3 伴

1. 定理

维内积空间, 上的线性变换,则存在 上唯一的线性变换 , 使对任意的 ,都有

上述 称为线性变换 的伴随.

2. 伴随的表示矩阵

维内积空间, 上的线性变换, 的一组标准正交基,假定 在这组基下的表示矩阵为 . 若 是欧氏空间,则 在这组基下的表示矩阵为 ; 若 是酉空间,则 在这组基下的表示矩阵为 ,即为 的共轭转置.

3. 伴随的性质

维内积空间, 上的线性变换, 是某个常数,则

(1)

(2)

(3) ;

(4) .

9.1.4 正交变换与酉变换

1. 定义

维内积空间, 上的线性变换,若 保持内积,即对任意的 ,则当 是欧氏空间时,称 上的正交变换; 当 是酉空间时,称 上的酉变换.

2. 正交矩阵和酉矩阵

阶实矩阵 称为正交矩阵,若 阶复矩阵 称为酉矩阵, 若 .

3. 定理

欧氏空间上的线性变换 是正交变换的充要条件是,它在任意一组标准正交基下的表示矩阵是正交矩阵; 酉空间上的线性变换 是酉变换的充要条件是,它在任意一组标准正交基下的表示矩阵是酉矩阵.

9.1.5 正 规 算 子

1. 自伴随算子

维内积空间 上的线性变换,若 ,则称 上的自伴随算子. 当 是欧氏空间时, 是自伴随算子的充要条件是 在任意一组标准正交基下的表示矩阵是对称矩阵; 当 是酉空间时, 是自伴随算子的充要条件是 在任意一组标准正交基下的表示矩阵是 Hermite 矩阵.

注 当 是欧氏空间时,自伴随算子又称为对称变换; 当 是酉空间时,自伴随算子又称为 Hermite 变换.

2. 定理

维内积空间 上的自伴随算子,则存在 的一组标准正交基 ,使 在这组基下的表示矩阵是实对角矩阵,因此该对角矩阵的主对角线上的元素就是 的特征值,每个基向量 都是 的特征向量.

3. 定理

实对称矩阵和 Hermite 矩阵的特征值都是实数.

4. 定理

任意一个实对称矩阵 都正交相似于对角矩阵,即存在正交矩阵 ,使 是对角矩阵,且该对角矩阵的主对角线上的元素是 的特征值. 任意一个 Hermite 矩阵 都酉相似于对角矩阵,即存在酉矩阵 ,使 为对角矩阵,且该对角矩阵的主对角线上的元素是 的特征值.

5. 正规算子与正规矩阵

是内积空间 上的线性变换,若 ,则称 是正规算子.

阶复矩阵 若适合 ,则称为复正规矩阵; 阶实矩阵 若适合 ,则称为实正规矩阵.

6. 定理

维酉空间 上的正规算子,则存在 的一组标准正交基 , ,使 在这组基下的表示矩阵是对角矩阵,因此该对角矩阵的主对角线上的元素就是 的特征值,每个基向量 都是 的特征向量.

7. 推论

任一复正规矩阵均酉相似于复对角矩阵.

  1. 推论

任一 阶酉矩阵均酉相似于下列形状的对角矩阵:

其中 为模长等于 1 的复数.

9. 定理

维欧氏空间, 上的正规算子,则存在 的一组标准正交基, 使 在这组标准正交基下的表示矩阵为下列分块对角矩阵:

其中 是实数, 为形如 的二阶实矩阵.

  1. 定理

阶实正规矩阵,则存在正交矩阵 ,使

其中 是实数, 为形如 的二阶实矩阵.

11. 定理

阶正交矩阵,则存在正交矩阵 ,使

其中 为形如 的二阶实矩阵.

12. 定理

阶实反对称矩阵,则存在正交矩阵 ,使

其中 为形如 的二阶实矩阵. 特别,实反对称矩阵的特征值为零或纯虚数.

9.1.6 谱分解和极分解

1. 谱分解定理

维内积空间, 上的线性变换,当 是欧氏空间时假定 是自伴随算子,当 是酉空间时假定 是复正规算子. 又设 的所有不同的特征值, 的特征子空间,则 是诸 的正交直和. 又若记 的正交投影,则

2. 极分解定理

维酉 (欧氏) 空间, 上的线性变换,则存在 上的酉变换 (正交变换) 以及 上的半正定自伴随算子 ,使 ,其中 唯一确定, 当 是可逆线性变换时, 也唯一.

3. 矩阵的极分解

阶实矩阵,则存在 阶正交矩阵 和半正定实对称矩阵 ,使 . 若 阶复矩阵,则存在 阶酉矩阵 和半正定 Hermite 矩阵 , 使 . 上述分解式当 是可逆矩阵时是唯一的.

9.1.7 奇异值分解

1. 定理

分别为 维欧氏空间 (酉空间), 是线性映射,则存在唯一的线性映射 ,使对任意的 ,总有

上述 称为线性映射 的伴随.

2. 奇异值

分别为 维欧氏空间 (酉空间), 是线性映射,若存在非负实数 以及非零向量 ,使

则称 的奇异值, 分别称为 关于 的右奇异向量与左奇异向量.

3. 奇异值分解定理

分别为 维欧氏空间 (酉空间), 是线性映射,则存在 的标准正交基,使 在这两组基下的表示矩阵为

其中 的非零奇异值.

4. 矩阵的奇异值分解

实矩阵 (复矩阵),则存在 阶正交矩阵 (酉矩阵) 阶正交矩阵 (酉矩阵) ,使

其中 的非零奇异值.

例题解析

9.2.1 内积空间与 Gram 矩阵

如果实线性空间 (或复线性空间) 上附加了一个满足对称性 (共轭对称性)、 第一变量线性以及正定性的二元运算 ,则这个二元运算就称为 上的内积, 而带有内积结构的实线性空间 (或复线性空间) 就称为实内积空间 (复内积空间). 我们可把线性空间 看成是底空间,而把内积看成是附加在 上的度量结构,因此 的维数和基,以及 上的线性变换等都是由底空间的线性结构诱导出来的,而本章将重点阐述的是,在添加了内积结构之后, 上的线性变换具有的进一步的性质以及相关的应用等.

下面的例题给出了常见线性空间上的内积结构.

例 9.1 证明下列线性空间在给定的二元运算下成为内积空间:

(1) 设 维实列向量空间, 阶正定实对称矩阵,对任意的 ,定义 ;

(2) 设 维实行向量空间, 阶正定实对称矩阵,对任意的 ,定义 ;

(3) 设 维复列向量空间, 阶正定 Hermite 矩阵,对任意的 ,定义 ;

(4) 设 维复行向量空间, 阶正定 Hermite 矩阵,对任意的 ,定义 ;

(5) 设 为闭区间 上的连续函数全体构成的实线性空间,对任意的 ,定义 ;

(6) 设 为实系数多项式全体构成的实线性空间,对任意的 ,定义 ,其中 ;

(7) 设 阶实矩阵全体构成的实线性空间,对任意的 , 定义 ;

(8) 设 阶复矩阵全体构成的复线性空间,对任意的 , 定义 .

证明 (1) 首先注意到 是一个数, 是实对称矩阵,故它们都等于自身的转置,从而 ,即得对称性; 其次由矩阵乘法的性质可得第一变量的线性; 最后由 的正定性可知, ,等号当且仅当 时成立,即得正定性,因此上述二元运算是 上的内积,称为由正定实对称矩阵 定义的内积. 当 时,上述内积称为 上的标准内积.

(2) 类似于 (1) 的证明可得. 当 时,上述内积称为 上的标准内积.

(3) 首先注意到 ,故 ,即得共轭对称性; 其次由矩阵乘法的性质可得第一变量的线性; 最后由 的正定性可知, ,等号当且仅当 时成立,即得正定性,因此上述二元运算是 上的内积,称为由正定 Hermite 矩阵 定义的内积. 当 时,上述内积称为 上的标准内积.

(4) 类似于 (3) 的证明可得. 当 时,上述内积称为 上的标准内积.

(5) 对称性显然成立; 由积分运算的线性可得第一变量的线性; 由连续函数的性质可得正定性,因此上述二元运算是 上的内积.

(6) 容易验证对称性、第一变量的线性和正定性都成立.

(7) 参见第 2 章 ,由求迹运算的对称性、线性和正定性即得上述二元运算的对称性、线性和正定性,因此它是 上的内积,(8) 的证明是类似的. 这两种由矩阵的迹定义的内积称为矩阵空间上的 Frobenius 内积.

内积空间 中向量 的范数 (长度) 定义为 ,因此由内积的正定性可得范数的正定性,即 ,等号当且仅当 时成立. 的定理 7 还给出了范数其他重要的性质, 例如 Cauchy-Schwarz 不等式和三角不等式等. 作为内积正定性的另一个应用, 我们有如下简单实用的技巧.

例 9.2 设 为内积空间,求证:

(1) 若 对任意的 都成立,则 ; 若 对任意的 都成立,则 ;

(2) 设 的一组基,若 对任意的 都成立, 则 ; 若 对任意的 都成立,则 .

证明 (1) 若 对任意的 都成立,令 ,可得 , 由内积的正定性即得 . 同理可证另一情形.

(2) 若 对任意的 都成立,则对任一 ,设 ,故由第二变量的共轭线性可得 ,再由 (1) 即可结论. 同理可证另一情形.

注 由实内积的对称性可推出第二变量的线性, 然而复内积的共轭对称性只能推出第二变量的共轭线性, 这是实内积和复内积的区别之一, 请读者务必注意. 因为实数的共轭等于它自身, 所以实内积空间的定义相容于复内积空间的定义. 在后面很多例题的叙述和解答的过程中, 除非题目已标明是哪一类内积空间, 否则我们一般都按照复内积空间的情形来处理.

是内积空间 的一组基,令 ,则 称为内积空间 关于基 的 Gram 矩阵或度量矩阵. 设 在上述基下的坐标向量分别为 ,则有

进一步,由内积的对称性 (共轭对称性) 和正定性可知 是正定实对称矩阵 (正定 Hermite 矩阵),于是 上的一个内积结构对应于一个 阶正定实对称矩阵 ( 阶正定 Hermite 矩阵) . 反之,一个 阶正定实对称矩阵 ( 阶正定 Hermite 矩阵) 按照 (9.2) 式可以定义 上的一个内积结构 (验证方法与例 9.1 (1) 和 (3) 类似). 因此,若取定 维实 (复) 线性空间 上的一组基,则 上的内积结构全体与 阶正定实对称矩阵 ( 阶正定 Hermite 矩阵) 全体之间存在着一个一一对应. 正是在这个意义下, 线性空间上的内积结构的研究等价于 Gram 矩阵的研究, 即等价于正定实对称矩阵 (正定 Hermite 矩阵) 的研究, 这也是我们在第 8 章研究正定阵的重要原因.

我们也可以考虑另一个方向的问题: 若取定 维实 (复) 线性空间 上的一种内积结构, 使之成为实 (复) 内积空间, 那么不同基的 Gram 矩阵之间会有怎样的关系呢? 下面的例题告诉我们, 它们之间是合同 (复相合) 的关系.

例 9.3 设 维内积空间, 分别是 的两组基. 设基 的 Gram 矩阵为 ,基 的 Gram 矩阵为 ,从基 到基 的过渡矩阵为 . 求证: 若 为欧氏空间,则 ; 若 为酉空间,则 .

证明 设 为酉空间, ,则 ,于是

上式左边是 的第 元素,右边是 的第 元素,从而结论得证.

例 9.4 设 维实 (复) 内积空间, 是一个 阶正定实对称矩阵 (正定 Hermite 矩阵),求证: 必存在 上的一组基 ,使它的 Gram 矩阵就是 .

证明 任取 的一组基 ,设其 Gram 矩阵为 ,这也是一个 阶正定实对称矩阵 (正定 Hermite 矩阵),于是 合同 (复相合),即存在 阶非异阵 ,使 . 令 , 则由 非异可知 的一组基,并且从基 到基 的过渡矩阵恰为 ,再由例 9.3 可知,基 的 Gram 矩阵就是 .

例 9.4 告诉我们,若给定一个 维实 (复) 内积空间 ,则从 所有的基构成的集合到所有 阶正定实对称矩阵 ( 阶正定 Hermite 矩阵) 构成的集合有一个满映射,它将 的一组基映为这组基的 Gram 矩阵. 这个映射当然不会是单映射,请读者自行思考其中的原因.

Gram 矩阵的概念还可以推广到内积空间中的任一向量组, 我们来看如下例题 (酉空间的情形同理可得).

例 9.5 设 是欧氏空间 个向量,矩阵

称为向量 的 Gram 矩阵. 求证:

(1) 是半正定实对称矩阵;

(2) 向量组 线性无关当且仅当 是正定阵,也当且仅当 是可逆矩阵.

证明 (1) 由内积的对称性可知 是实对称矩阵. 对任意的实列向量 ,令 ,则有

因此 是半正定阵.

(2) 注意到半正定阵 是正定阵当且仅当 是非异阵,故两个充要条件只要证明其中一个即可. 我们用两种方法来证明它们.

证法 1 若 线性无关,则对任意的非零实列向量 , ,从而 ,故 是正定阵. 若 线性相关,则存在非零实列向量 , 使 ,从而 ,故 不是正定阵.

证法 2 假定 线性相关,则存在不全为零的数 , 使 . 将 乘以 的第 行后求和得到

因此 不是可逆矩阵. 反之,若 不可逆,则 个行向量线性相关,所以存在不全为零的数 ,使 (9.3) 式成立. 因此

,从而 线性相关.

注 向量组 的 Gram 矩阵的几何意义是,这 个向量张成的平行 体的体积等于其 Gram 矩阵的行列式的算术平方根:

利用内积与正定实对称矩阵 (正定 Hermite 矩阵) 之间的关系, 我们可以用代数方法来解决几何问题, 也可以用几何方法来处理代数问题, 下面是几个典型的例题.

例 9.6 设 维欧氏空间, 的一组基, 个实数,求证: 存在唯一的向量 ,使对任意的 .

证明 设 ,则 等价于如下线性方程组:

注意到上述方程组的系数矩阵是基 的 Gram 矩阵,故其行列式非零, 从而上述方程组有唯一解,于是满足条件的 存在且唯一.

例 9.7 设 是实数域上全体多项式构成的实线性空间,设

证明: 如下定义的二元运算是 上的内积:

证明 容易验证 ,故由例 9.1 (5) 即得结论. 因为 中一组线性无关的向量,所以由例 9.5 知其 Gram 矩阵 是一个正定阵,这也给出了例 8.27 (2) 的几何证明.

例 9.8 设 阶半正定实对称矩阵,求证: 对任意的 维实列向量 , 有

证法 1 由例 8.40 可知,对任意正实数 都是正定阵,这决定了 维列向量空间 上的一个内积,故由 Cauchy-Schwarz 不等式可得

注意到上式两边都是关于 的连续函数,同时取极限,令 ,即得结论.

证法 2 由于 半正定,故存在实矩阵 ,使得 . 考虑 维列向量空间 上的标准内积,由 Cauchy-Schwarz 不等式可得

证法 3 因为 是半正定阵,故对任意的实数 ,有

上述关于 的二次方程恒大于等于零当且仅当其判别式小于等于零,由此即得要证的结论.

本节的大部分结论都有实和复对应的两个版本, 但实内积空间和复内积空间之间还是存在着一些差异, 我们来看下面的例题.

例 9.9 证明: 在 (取标准内积) 中存在一个非零线性变换 ,使 对一切 成立,但是在 (取标准内积) 中这样的非零线性变换不存在.

证明 任取一个 阶非零实反对称阵 ,定义 ,则对任意的 , 由例 2.3 可得 .

的情形,我们用反证法来证明,设在 (取标准内积) 中存在满足条件的非零线性变换 . 首先,我们证明 的特征值全部为零. 设 的特征值, 是对应的特征向量,则 ,由于 ,故只能是 . 其次,由 Jordan 标准型理论可知,存在 的一组基 ,使得 在这组基下的表示矩阵为 . 若 不可对角化, 则必存在某个 ,不妨设 ,于是 . 由 可得 ,再由 可得 ,从而 ,这与假设矛盾,于是 可对角化. 最后,由 的 Jordan 标准型是零矩阵可知 , 这与假设矛盾. 因此在 中满足条件的非零线性变换不存在.

9.2.2 Gram-Schmidt 正交化方法和正交补空间

维内积空间,则由例 9.4 可知,任一 阶正定实对称矩阵 (正定 Hermite 矩阵) 都能成为 的某一组基的 Gram 矩阵. 特别地,取 ,则存在 的一组基 ,使得它的 Gram 矩阵是单位矩阵 , 即 的一组标准正交基. 由例 9.3 我们也可具体地构造出一组标准正交基,以下不妨设 是欧氏空间. 首先,任取 的一组基 ,设其 Gram 矩阵为 ,则 是正定实对称矩阵. 其次,我们可以通过对称初等变换法将 化为单位矩阵 ,即存在 阶非异实矩阵 ,使得 . 最后,令

,其中 ,则 的一组基,并且它的 Gram 矩阵就是 . 从上述过程不难看出,当 时,过渡矩阵 有无穷多种选法,从而可以构造出 的无穷多组标准正交基.

然而从几何的层面上看, 上述构造标准正交基的代数方法虽然简单, 但缺乏几何的直观和意义. 不过, Gram-Schmidt 方法却是一个从几何直观入手的向量组的正交化方法, 具有重要的几何意义. Gram-Schmidt 方法 (具体公式请参见 ) 粗略地说就是,如果前 个向量 已经两两正交,那么只要将第 个向量 减去其在 张成的子空间上的正交投影,即可得到与 都正交的向量 . 特别地,若 是欧氏空间 的一组基,则通过 Gram-Schmidt 方法可得到一组正交基 ,再将每个基向量标准化, 即可得到 的一组标准正交基 . 这 3 组基之间的关系为

其中 是主对角元素全为 1 的上三角矩阵, 是主对角元素全为正实数的上三角矩阵. 设 分别是对应的 Gram 矩阵, 则 是正定实对称矩阵, 是正定对角矩阵,由例 9.3 可得 的如下分解:

这就是例 8.10 中关于正定实对称矩阵 的两种分解,再由例 8.10 后面的注可知上述分解的唯一性. 因此基 的 Gram 矩阵的分解 一一对应于通过 Gram-Schmidt 方法得到的正交基 ,而 Gram 矩阵的 Cholesky 分解 则一一对应于通过 Gram-Schmidt 正交化和标准化得到的标准正交基 .

例 9.10 设 为次数小于等于 的实系数多项式构成的欧氏空间,对任意的 ,其内积定义为 (参见例 9.1 (5)). 设 . 求证: 从基 出发,由 Gram-Schmidt 正交化方法得到的标准正交基为 ,它们被称为 Legendre 多项式.

证明 由 Gram-Schmidt 正交化方法,从 可得标准正交基中前 3 个基向量分别为 ,读者不难验证这就是 Legendre 多项式的前 3 个多项式. 不过这样的计算过程很难推广到一般的情形, 但我们可以通过验证 是一组正交基以及 Cholesky 分解与 Gram-Schmidt 正交化和标准化之间的一一对应来证明结论.

首先注意到,对任意的 ,有 ,故由分部积分可得

不断做下去可知,当 时, . 注意到 是一个 次多项式且首项系数为 ,由上述结果并且经进一步的计算可知,对任意的 ,有

因此 的一组标准正交基. 设从基 到基 的过渡矩阵为 ,基 的 Gram 矩阵为 ,则 是一个主对角元素全大于零的上三角矩阵,且由例 9.3 可得 ,从而 是 Cholesky 分解. 由 Cholesky 分解的唯一性以及它与 Gram-Schmidt 正交化和标准化之间的一一对应可知, 就是从基 出发由 Gram-Schmidt 正交化方法得到的标准正交基.

列向量组的 Gram-Schmidt 正交化还给出了矩阵的 分解,这可以看成是 Gram-Schmidt 正交化方法的另一个应用.

例 9.11 设 阶实 (复) 矩阵,则 可分解为 ,其中 是正交 (酉) 矩阵, 是一个上三角矩阵且主对角线上的元素全大于等于零,并且若 是可逆矩阵, 则这样的分解必唯一.

证明 设 阶实矩阵, 的列分块. 考虑 维实列向量空间 ,并取其标准内积,我们先通过类似于 Gram-Schmidt 方法的正交化过程,把 变成一组两两正交的向量 ,并且 或者是零向量或者是单位向量.

我们用数学归纳法来定义上述向量 . 假设 已经定义好,现来定义 . 令

,则令 ; 若 ,则令 . 容易验证 是一组两两正交的向量, 或者是零向量或者是单位向量,并且满足:

由上式可得

其中 是一个上三角矩阵且主对角线上的元素依次为 ,全大于等于零,并且由 (9.4) 式可知,如果 ,则 的第 行元素全为零.

假设 是其中的非零向量全体,则可将它们扩张为 的一组标准正交基 ,其中 . 令 ,则 是正交矩阵. 注意到若 ,则 的第 行元素全为零, 此时用 代替 仍然可使 (9.5) 式成立,因此

从而得到了 分解.

若可逆实矩阵 有两个分解 ,则上三角矩阵 的主对角元素全大于零,且 . 因为正交矩阵之积仍是正交矩阵,上三角矩阵之积仍是上三角矩阵,故 是正交上三角矩阵,从而是对角矩阵. 又因为正交对角矩阵的主对角元素只能是 1 或 -1,而 的主对角元素全大于零,故 ,从而 . 复矩阵情形的证明完全类似.

例 8.10 和例 8.47 的证法 2 因为半正定阵 是正定阵当且仅当 是可逆矩阵, 所以由可逆性和例 8.47 的结论很容易推出例 8.10 的结论, 下面只证明例 8.47 .

: 因为 半正定,故存在实矩阵 ,使得 . 设 分解,其中 是正交矩阵, 是主对角元素全大于等于零的上三角矩阵, 则 . 由例 9.11 的证明可知,若 的第 元素 ,则 的第 行元素全为零. 令 , 而 定义为: 若 ,则 ; 若 ,则 ,其中 是 Kronecker 符号. 容易验证 是主对角元素全等于 1 的上三角矩阵且 .

都是显然的.

注 事实上,正定阵的 Cholesky 分解和非异阵的 分解从某种意义上看是等价的. 上面的证明即是由非异阵的 分解推出正定阵的 Cholesky 分解. 反之, 对任一非异实矩阵 是正定阵,设 是 Cholesky 分解,其中 是主对角元素全大于零的上三角阵,令 ,则 ,即 是正交矩阵,从而 分解. 从几何的层面上看,上述两种矩阵分解都等价于 Gram-Schmidt 正交化过程加上标准化过程, 所以它们之间的等价性是自然的.

在内积空间中使用标准正交基通常可以简化问题的讨论. 例如, 因为标准正交基的 Gram 矩阵是单位矩阵 ,故通过坐标向量表示内积的 (9.2) 式就变成了列向量空间中的标准内积, 这为我们讨论进一步的问题 (如保积同构、伴随算子等) 提供了方便. 下面的例题推广了例 9.4 , 利用标准正交基可以简化其证明过程.

例 9.12 设 维欧氏空间, 阶半正定实对称矩阵且 , 求证: 必存在 上的向量组 ,使得其 Gram 矩阵就是 .

证明 采用与例 9.3 类似的讨论可证明: 若向量组 , 满足 ,即 , 其中 ,则有

因为 是秩为 阶半正定阵,由第 8 章解答题 3 可知,存在 实矩阵 , 使得 . 取 的一组标准正交基 ,令

则由上面的结论即得

下面 3 个例题反映了 Gram-Schmidt 正交化方法对向量组的 Gram 矩阵的影响.

例 9.13 证明: 若用 Gram-Schmidt 方法将线性无关的向量组 变成正交向量组 ,则这两组向量的 Gram 矩阵的行列式值不变,即

证明 由 Gram-Schmidt 正交化过程可得

其中 是一个主对角元素全为 1 的上三角矩阵,再由例 9.12 的证明过程可得

注意到 是主对角元素分别为 的对角矩阵, 故上式两边同取行列式即得结论.

例 9.14 证明下列不等式:

后一个等号成立的充要条件是 两两正交或者某个 .

证明 由例 9.5 可知 是一个半正定实对称矩阵,故由例 8.17 可知 . 对第二个不等式,我们分情况讨论. 若 , 是非正定的半正定阵,则 ,并且等号成立的充要条件是某个 . 若 是正定阵,则由例 9.5 可知 线性无关. 由 Gram-Schmidt 正交化过程可得

再由勾股定理可得 ,最后由例 9.13 可得

等号成立当且仅当 ,也当且仅当 ,从而当且仅当 两两正交.

例 9.15 设 阶实矩阵,证明下列 Hadamard 不等式:

证明 设 个列向量,则 可以看成是 , 的标准内积下的 Gram 矩阵. 由例 9.14 可得

注 (1) 例 9.13 和例 9.14 的结论对复内积空间也成立, 不过证明中有两个细微之处需要修改,请读者自行完成. 因此对 阶复矩阵 ,用相同的方法可以证明 .

(2) 事实上, 利用第 8 章发展起来的正定阵和半正定阵的相关性质可以证明: 若 阶半正定实对称矩阵,则 ,等号成立的充要条件是 是对角矩阵或某个 . 证明思路是,分 是非正定的半正定阵和 是正定阵两种情况讨论, 后一种情况引用例 8.34 即可. 因此例 9.14 和例 9.15 也可由上述论断直接得到, 具体细节请读者自行完成.

因为有限维内积空间 是任一子空间 与其正交补空间 的正交直和,所以我们经常利用正交补空间配合数学归纳法证明关于内积空间及其线性算子的某些重要命题. 关于正交补空间的验证, 常常利用有限维空间中的维数关系, 它可使证明更加简洁.

例 9.16 设 维内积空间 的子空间,求证:

(1) ;

(2) ;

(3) ;

(4) .

证明 (1) 因为 ,因此 . 另一方面,显然有 ,因此 .

(2) 显然 ,因此 . 反过来若 . 记 ,其中 ,则

因此 .

(3) 由 (1) 及 (2),有 .

(4) 显然.

例 9.17 设 维内积空间 的子集,证明:

(1) 的子空间;

(2) 等于由 生成的子空间.

证明 (1) 结论是显然的,只证明 (2). 设 生成的子空间为 ,由例 9.16 (1) 知道只须证明 . 显然 . 另一方面,若 ,将 表示为 中元素的线性组合, . 因为 ,故 , 即 . 于是就得到结论.

例 9.18 设线性空间 是齐次线性方程组 的解空间,求 适合的线性方程组.

解 设 实矩阵,则 可以看成是 维实列向量空间的子空间. 假定 的秩为 ,则 有一组基 . 令 , ,由例 9.17 (2) 的证明可得 ,因此 适合的线性方程组为 .

9.2.3 伴

伴随是内积空间理论中最重要的概念之一. 在处理有关伴随的问题时, 除了运用直接验证法外,常常采用矩阵方法. 在同一组标准正交基下如果线性变换 的表示矩阵为 ,则其伴随 的表示矩阵为 (在欧氏空间时为转置). 这就使我们可以用矩阵来讨论有关问题. 例 9.21、例 9.22 和例 9.23 是非常典型的例子. 例 9.24 是正规算子及其伴随的基本性质, 它在后面有重要用途. 这个命题也可以用矩阵方法证明, 读者不妨一试.

例 9.19 设 维内积空间, 上的线性变换,求证: .

证明 由例 9.16 可知,只要证明 即可. 一方面,任取 ,则对任一 ,于是 . 另一方面,任取 ,则对任一 ,令 或由例 9.2 即得 ,即 ,于是 ,因此结论得证.

下面的例题提供了处理内积空间中相关问题的归纳基础.

例 9.20 设 是内积空间, 上的线性变换, 的不变子空间,求证: 的不变子空间.

证明 设 ,由 即得结论. [

例 9.21 设 是有限维内积空间, 上的线性变换, 是常数,求证:

(1) (2) ;

(3) (4)

(5) 若 可逆,则 也可逆,此时 .

证法 1 设 的一组标准正交基下的表示矩阵为 ,则 在同一组标准正交基下的表示矩阵为 . 由线性变换和矩阵的一一对应,我们只要验证矩阵的共轭转置满足上述 5 条性质即可, 而这些都是显然的.

证法 2 我们也可以直接用伴随的定义来证明, 下面以 (3) 为例进行证明, 其余的留给读者自行验证. 对任意的 ,有

由伴随的唯一性即得 .

例 9.22 设 是有限维内积空间 上的线性变换,求证: 若 的全体特征值为 ,则 全体特征值为 .

证明 取 的一组标准正交基,记 的表示矩阵,则无论 是酉空间还是欧氏空间, 的表示矩阵总可写为 . 由假设

,则有

故结论成立.

例 9.23 证明: 若内积空间 上线性变换 的极小多项式是 ,则 的伴随 的极小多项式为 的系数是 的共轭.

证明 用矩阵法. 设 的一组标准正交基下的表示矩阵为 ,则 在这组基下的表示矩阵为 . 注意到 当且仅当 ,故结论成立.

例 9.24 设 维内积空间, 上的正规算子, 中的非零向量, 求证: 属于其特征值 的特征向量的充要条件是 属于特征值 的特征向量.

证明 先证明对任意的 中向量 ,有 . 因为 是正规算子, 故

又因为 ,且 ,因此 也是正规算子. 于是

对任意的 成立. 所以 当且仅当 .

下面我们来看几个求伴随算子的具体例子.

例 9.25 设 并取 Frobenius 内积 (参见例 9.1 (7)), 上的线性变换 定义为 .

(1) 试求 的伴随 ;

(2) 若 都是可逆矩阵,求证: 是自伴随算子的充要条件是存在非零实数 ,使得 ;

(3) 若 都是可逆矩阵,求证: 是正交算子的充要条件是存在非零实数 , 使得 .

解 (1) 对任意的 ,由矩阵迹的性质可得

定义 上的线性变换 ,则上式即为 . 由伴随的唯一性即得 .

(2) 若 是自伴随算子,即 ,则由 (1) 可知, 对任意的 成立. 由 的非异性可得 对任意的 成立. 令 可得 ,因此上式即言 与任意的 均可交换,于是存在实数 ,使得 的可逆性保证了 ,由此即得结论成立. 充分性显然成立.

(3) 若 是正交算子,即 ,则由 (1) 可知, 对任意的 成立. 由 的非异性可得 对任意的 成立. 令 可得 ,因此上式即言 与任意的 均可交换,于是存在实数 ,使得 的可逆性保证了 ,由此即得结论成立. 充分性显然成立.

第 2 章解答题 15 的证法 2 我们把数域限定在实数域上,并取 上的 Frobenius 内积,则 . 设 上的线性变换,则题目条件可改写为 对任意的 成立,于是 是正交算子, 从而由例 9.25 (3) 即得结论.

例 9.26 设 并取 Frobenius 内积 (参见例 9.1 (7)), 上的线性变换 定义为 ,求证: 是自伴随算子的充要条件是 为对称矩阵; 是正交算子的充要条件是 为正交矩阵.

证明 由例 9.25 可得 ,于是 是自伴随算子,即 当且仅当 对任意的 成立,即当且仅当 是正交算子,即 当且仅当 对任意的 成立,即当且仅当 .

例 9.27 设 阶实对称矩阵组成的实线性空间,并取 Frobenius 内积.

(1) 求出 的一组标准正交基;

(2) 设 是一个 阶实矩阵, 上的线性变换 定义为 ,求证: 是自伴随算子的充要条件是 为对称矩阵或反对称矩阵.

证明 (1) 记 阶基础矩阵,则容易验证下列矩阵构成了 的一组标准正交基:

(2) 先证充分性. 若 为对称矩阵或反对称矩阵,则由例 9.25 可知, 对任一 成立,故 是自伴随算子.

再证必要性. 若 是自伴随算子,则同上理由可得 对任意的 成立. 设 ,令 代入上述等式可得

对一切 都成立. 令 ,则可得

对一切 都成立. 进一步令 ,则可得 对一切 都成立,因此 . 假定有某个 ; 又有某个 , 则从 可推出 . 这时若 ,则从 可推出 ,矛盾. 若 ,则在 (9.6) 式中令 ,仍可推出 , 依然矛盾. 于是或者 对一切 成立,或者 对一切 成立, 即 或者是对称矩阵,或者是反对称矩阵.

有限维内积空间上的线性算子必存在伴随算子, 然而下面的例题告诉我们, 无限维内积空间上线性算子的伴随算子可能不存在. 这一事实也反映了有限维内积空间与无限维内积空间之间的区别.

例 9.28 设 ,取例 9.1 (6) 中的内积. 任取 ,若设某些系数为零,则可将它们都写成统一的形式: ,

(1) 线性变换 定义为 ,试求 的伴随;

(2) 线性变换 定义为 , 求证: 的伴随不存在.

证明 (1) 经简单计算可知, .

(2) 注意到 ,也就是说 的内积就是 项系数. 用反证法来证明,设 的伴随算子 存在,我们来推出矛盾. 对任意的 , 我们有 ,故 对任意给定的 以及所有的 都成立,这说明 有无穷多个单项的系数不为零,这与 是多项式相矛盾. 因此 的伴随不存在.

9.2.4 保积同构、正交变换和正交矩阵

是实 (复) 内积空间之间的线性同构,若 保持内积,则称为保积同构. 若两个线性空间之间存在线性同构, 则它们具有相同的线性结构, 从而在考虑线性问题时可将它们等同起来. 同理, 若两个内积空间之间存在保积同构, 则它们具有相同的内积结构, 从而在考虑内积问题时也可将它们等同起来. 例如, 在欧氏空间 (酉空间) 中取定一组标准正交基,容易验证将任一向量映射为它在这组基下的坐标向量的线性同构 实际上也是一个保积同构. 因此我们可以把抽象的欧氏空间 (酉空间) 上的问题转化为具体的取标准内积的列向量空间 上的问题来解决,这也是研究保积同构的意义所在. 我们先来看两个保积同构的例子.

例 9.29 试构造下列内积空间之间的保积同构:

(1) (取 Frobenius 内积) 与 (取标准内积); (取 Frobenius 内积) 与 (取标准内积);

(2) (取 区间的积分内积) 与 (取例 9.1 (6) 中的内积).

解 (1) 取 中基础矩阵 构成的标准正交基,则将任一 映射为在上述基下的坐标向量 的线性映射 是线性同构. 对任意的 ,我们有

是保积同构. 同理可证复矩阵的情形.

(2) 设线性无关向量组 区间的积分内积下的 Gram 矩阵为 ,其中 . 由例 9.5 可知, 是正定阵,取其 Cholesky 分解 ,其中 是主对角元全大于零的上三角矩阵. 我们先构造一个线性同构 ,对任意的 ,定义

. 容易证明 的第 个顺序主子阵的 Cholesky 分解恰由 的第 个顺序主子阵决定 (这仍然是一个上三角矩阵). 若取线性无关向量组 ,则按照上述方法定义出来的 与已定义的 的前面部分总是相同的. 因此 的定义不依赖于 的选取,并且容易验证 的线性映射. 再由 的非异性容易证明 是线性同构. 任取 ,若设某些系数为零,则可将它们都写成统一的形式: . 记 ,则由内积的定义可得

因此 是保积同构.

注 (2) 中的保积同构可以让我们把例 9.28 (2) 中的线性算子 拉回到 上,即有 上的线性算子 ,它在 区间的积分内积下不存在伴随算子.

两个维数相同的欧氏空间 (酉空间) 之间的线性映射 是保积同构当且仅当 保持内积或保持范数,当且仅当 的某一组 (任一组) 标准正交基映为 的一组标准正交基. 我们已经知道一组基的 Gram 矩阵完全决定了内积结构, 因此也有如下保积同构的判定准则.

例 9.30 设 都是 维欧氏空间, 分别是 的一组基 (不一定是标准正交基). 上的线性映射且 . 求证: 是保积同构的充要条件是这两组基的 Gram 矩阵相等, 即

证明 的一组基映为 的一组基保证了 是线性同构. 若 保持内积,则 ,从而它们的 Gram 矩阵相同. 反之,若它们的 Gram 矩阵相同,任取 ,设它们在基 下的坐标向量分别为 ,则 在基 下的坐标向量也分别为 ,于是

是保积同构.

接下来我们考虑例 9.30 关于向量组的推广. 我们已经知道向量组 Gram 矩阵的许多性质, 而下面的例题告诉我们, 向量组的 Gram 矩阵不仅决定了向量之间的内积关系, 也决定了向量之间的线性关系.

例 9.31 设 维欧氏空间, 是一组向量, , 是其 Gram 矩阵.

(1) 求证: 是极大无关组的充要条件是 的第 行、列构成的主子式非零,且对任意的 的第 行、 列构成的主子式等于零;

(2) 称为向量组 的线性关系集合,容易验证它是 的线性子空间. 求证: 是线性方程组 的解空间;

(3) 设 线性无关, 是由 Gram-Schmidt 方法得到的标准正交向量组. 设上述两组向量之间的线性关系由可逆矩阵 定义, 即 ,求证: 唯一确定.

证明 (1) 是极大无关组当且仅当 线性无关,且对任意的 线性相关,故由例 9.5 (2) 即知结论成立.

(2) 由内积的正定性可知, 当且仅当 0,即 ,再由例 8.44 可知,这也当且仅当 ,即 是线性方程组 的解.

(3) 由例 9.12 的证明过程可得

从而 为 Cholesky 分解. 由 Cholesky 分解的唯一性可知, 唯一确定.

例 9.32 设 是欧氏空间 中的向量,其 Gram 矩阵为 ,其中

试求 的一组极大无关组,以及由这一极大无关组通过 Gram-Schmidt 方法得到的标准正交向量组.

解 设 为列分块,利用分块初等变换容易验证 的列向量的极大无关组,再利用 Cauchy-Binet 公式可得 , 但 ,故由例 9.31 (1) 可知 是一组极大无关组,其 Gram 矩阵为

经计算可得 的 Cholesky 分解为

故由例 9.31 (3) 可知,经 Gram-Schmidt 正交化方法从 得到的正交标准向量组 之间的线性关系为

.

  • 例 9.33 设 都是 维欧氏空间, 分别是 中的向量组. 证明: 存在保积同构 ,使

成立的充要条件是这两组向量的 Gram 矩阵相等.

证明 必要性类似于例 9.30 的必要性的证明,下证充分性. 设向量组 , 有相同的 Gram 矩阵, . 设 是向量组 的极大无关组,若设 ,则由例 9.31 (2) 可得 ,从而 ,即 线性无关; 又对任意的 ,若设 ,则由例 9.31 (2) 可得 ,从而 也是向量组 的极大无关组,于是 分别是 的一组基. 定义线性映射 ,则由例 9.30 的充分性可知, 是保积同构. 对任意的 ,

从而 . 注意到 ,故可取 的一组标准正交基 的一组标准正交基 ,定义线性映射 ,则 也是保积同构. 下面定义线性映射 ,对任一 ,其中 , ,定义 ,容易验证 是线性同构. 我们还有

保持范数,从而是满足题目条件的保积同构.

注 若设 是向量组 的极大无关组,则由例 9.31 (1) 可直接得到 也是向量组 的极大无关组. 另外,例 9.30、例 9.31 和例 9.33 对 是酉空间的情形也成立,我们把相关细节留给读者自己完成.

例 9.33 具有十分明显的几何意义, 并且它的证明是构造性的, 从而可用来构造满足某些条件的保积同构, 下面是两个具体的应用.

例 9.32 的解法 2 取 上的标准内积, 为列分块,于是 就是 的 Gram 矩阵. 由假设 ,故由例 9.33 可知,存在一个从 的四维子空间 上的保积同构 ,使得 . 利用初等变换容易验证 的极大无关组,从而 的极大无关组. 由例 9.31 (3) 可知,求 与 Gram-Schmidt 正交化方法得到的标准正交向量组 之间的线性关系等价于求 的 Cholesky 分解,从而也等价于求 与 Gram-Schmidt 正交化方法得到的标准正交向量组 之间的线性关系. 经过计算可得

因此 .

实 (复) 内积空间 上的保积自同构称为正交变换 (酉变换),这是内积空间理论中一个重要的研究对象. 前面关于保积同构的判定准则都适用于正交变换 (酉变换),此外利用伴随算子,我们还有如下判定准则: 线性变换 是正交变换 (酉变换) 当且仅当 ,当且仅当 的某一组或任一组标准正交基下的表示矩阵为正交矩阵 (酉矩阵).

例 9.34 设 实矩阵,求证: 的充要条件是存在 阶正交矩阵 ,使得 .

证明 充分性显然成立,下证必要性. 取 上的标准内积, 为列分块,则由 可得 , ,再由例 9.33 可知,存在 上的正交变换 ,使得 . 设 的标准单位列向量构成的标准正交基下的表示矩阵为 ,则 为正交矩阵且 ,因此

镜像变换是一种正交变换, 它特别简单, 容易研究, 而一般的正交变换都可以表示为镜像变换的积, 这就使它在正交变换中显得特别重要. 例 9.35 介绍了镜像变换的定义, 例 9.36 介绍了镜像矩阵的定义以及和镜像变换的基本关系. 例 9.37 是常用的构造镜像变换的方法, 例 9.38 是一个著名的结论, 称为 Cartan-Dieudonné 定理, 它把正交变换 (正交矩阵) 表示为镜像变换 (镜像矩阵) 之积. 证明方法采用数学归纳法, 这是处理这类问题的常用方法.

维欧氏空间 中长度为 1 的向量,定义线性变换:

证明: 是正交变换且 ;

(2) 若 维欧氏空间 中的正交变换且 1 是 的特征值,又假定属于 1 的特征子空间的维数等于 ,证明: 必存在 中长度为 1 的向量 ,使

证明 (1) 取 ,并将它扩张为 的一组标准正交基 , 则 ,所以 在这组标准正交基下的表示矩阵为 . 这是一个正交矩阵,因此 是正交变换且行列式值为 -1 .

(2) 设 属于特征值 1 的特征子空间为 ,作 ,这是个一维子空间. 记 是该一维空间中的单位向量,并将 扩张为 的一组标准正交基 . 因为 ,故 实际上是 的标准正交基,故 . 因为 的不变子空间,由例 9.20 可知, 的不变子空间,所以也是 的不变子空间,故 的特征向量. 因为 是正交变换,它已有 个实特征值,故另外一个特征值也是实数. 又正交变换的实特征值是 1 或 -1,假定 的另外一个特征值也是 1,则 的属于特征值 1 的特征子空间将是 而不是 . 因此 的另外一个特征值应该是 -1,即有 . 令 ,作线性变换

不难验证 均成立,故 .

注 例 9.35 中的线性变换称为镜像变换. 镜像变换的特点是它将某个向量 (如例 9.35 中的向量 ) 变为其反向向量,而和该向量正交的向量保持不动.

例 9.36 设 阶矩阵 ,其中 维实列向量且 ,称这样的 为实镜像矩阵. 求证: 欧氏空间中任一镜像变换在 的任意一组标准正交基下的表示矩阵都是镜像矩阵. 反之,若一个线性变换 在一组标准正交基下的表示矩阵为镜像矩阵,则 一定是镜像变换.

证明 设 是镜像变换,由例 9.35 可知,存在 的一组标准正交基,使其表示矩阵为 ,其中 . 假定 的另外一组标准正交基下的表示矩阵是 ,则 正交相似,即存在正交矩阵 ,使 ,所以

的长度为 1,这就证明了第一个结论.

反之,设 的标准正交基 下的表示矩阵为 . 设 ,令 . 对 中任意的向量 ,记 ,则

这就是

注意到 的长度为 1,故 是镜像变换.

例 9.37 设 是欧氏空间中两个长度相等的不同向量,求证: 必存在镜像变换 ,使 .

证明 令

定义 如下:

是镜像变换,注意 ,我们有

  • 维欧氏空间中任一正交变换均可表示为不超过 个镜像变换之积.

证明 对 归纳. 时正交变换 或是恒等变换,或是 . 后者已是镜像变换, 而恒等变换可看成是零个镜像变换之积, 故结论成立. 现假定结论对 成立. 设 维欧氏空间, 上的正交变换. 若 是恒等变换,则可看成是零个镜像变换之积,故结论成立. 下设 不是恒等变换,取 的一组标准正交基 ,则存在某个 ,使得 . 不失一般性,可设 , 因为 ,故由例 9.37 可知,存在镜像变换 ,使 也是正交变换, ,于是 的不变子空间 (参见例 9.20). 由归纳假设, ,每个

的镜像变换. 我们可将 扩张到全空间 上,满足 ,不难验证得到的线性变换仍是镜像变换 (仍记为 ),于是

因为镜像变换的逆仍是镜像变换 (事实上就是它自己), 故结论成立.

利用镜像变换还可以给出矩阵 分解的另一证明.

例 9.11 的证法 2 对矩阵的阶用归纳法. 将 写为列向量分块:

时结论显然. 假定结论对 阶矩阵正确,现证明对 阶矩阵 也正确. 作 维列向量

,故由例 9.37 可知,存在 阶单位矩阵或镜像矩阵 ,使 . 于是

其中 阶实矩阵. 由归纳假设存在 阶正交矩阵 和主对角元素全大于等于零的上三角矩阵 ,使 . 容易验证单位矩阵或镜像矩阵 适合 ,即 ,因此

显然 满足要求. 当 是可逆矩阵时, 分解的唯一性同证法 1 .

我们接下来研究正交矩阵的一些性质. 对正交矩阵 ,由定义容易求出 . 因为 ,所以 ,其中 是元素 的代数余子式. 这个结论还可以推广,这就是下面的命题.

例 9.39 设 阶正交矩阵,则 的任一 阶子式 的值等于 乘以其代数余子式的值.

证明 先对特殊情形 进行证明. 设 ,

其中 就是 的代数余子式. 注意到 ,我们有

于是

,则 . 而

所以 ,即 ,从而 .

对一般情形,将矩阵 的第 行经过 次相邻对换移至第 行; 再将第 列经过 次相邻对换移至第 列; 得到的矩阵记为 . 因为第一类初等矩阵 也是正交矩阵,故矩阵 仍是正交矩阵. 记 , 则 . 注意到

并由特殊情形可得 ,由此即得

正交矩阵的所有特征值的模长都等于 1 , 这个结论也可以作如下的两个推广.

例 9.40 证明: 正交矩阵任一主子阵的特征值的模长都不超过 1 .

证明 设 阶正交矩阵,先对特殊情形 进行证明. 设 ,其中 . 由 可得 . 任取 的一个特征值 以及对应的特征向量 ,则将上式左乘 ,右乘 可得

即有 ,从而 . 由 可得 ,于是 ,即有 .

对一般情形,经过行对换与列对换,总可将正交矩阵 的主子阵换到左上角. 因为第一类初等矩阵 也是正交矩阵,故变换后的矩阵 仍是正交矩阵,从而由特殊情形即得结论成立.

例 9.41 设 阶正交矩阵, 是实对角矩阵, 记 分别是诸 中的最小者和最大者. 求证: 若 是矩阵 的特征值, 则 .

证明 设特征值 对应的特征向量为 ,即有 ,上式共轭转置后可得 . 将这两个等式相乘后可得 ,即有 . 由假设可得

由此即得 .

9.2.5 用正交变换法化简二次型

为实二次型, 为相伴的实对称矩阵,则通过非异线性变换 可将 化为只含平方项的标准型. 然而从几何的层面上看,上述处理方法并不理想. 主要原因是在考虑几何对象的分类问题时, 所作的线性变换通常都要求保持度量, 即在欧氏空间中等价于保持内积或范数, 而这对应于两组标准正交基之间的基变换,此时过渡矩阵 必须是正交矩阵才行 (更严格地还可以进一步要求 ). 因此从几何的层面上看,我们需要考虑实二次型和实对称矩阵的正交相似 (也是正交合同) 变换. 由实对称矩阵的正交相似标准型理论可知, 存在正交矩阵 ,使得 ,其中 的全体特征值. 因此通过正交合同变换 可将 化为标准型 . 具体地, 用正交合同变换化二次型为标准型的步骤是:

(1) 写出二次型的系数矩阵 ,求出 的特征值 以及对应的特征向量.

(2) 若 重特征值,则用 Gram-Schmidt 正交化方法将属于它的 个线性无关的特征向量正交化. 由于属于不同特征值的特征向量必互相正交, 故单根对应的特征向量不必正交化 (事实上它们已正交).

(3) 设我们已经得到了 个两两正交的特征向量 ,作 ,则 是一组正交的单位 (列) 向量. 令 ,则 就是要求的正交矩阵. 注意 必须是属于 的特征向量. 这时 .

注 如果二次型中含有未知参数, 通常我们先求出这个参数, 再按上面的步骤求正交变换矩阵. 因为在正交变换过程中, 特征值保持不变, 所以常常利用特征值的性质确定参数. 比如常用的有: 特征值之和等于矩阵的迹, 即等于矩阵主对角元素之和; 特征值之积等于矩阵的行列式之值, 等等.

例 9.42 已知 ,经过正交变换 可以化为 ,求 之值和正交矩阵 .

解 写出二次型相伴矩阵为

由已知知道 的特征值为 ,于是 . 又行列式值等于 0,可求得 .

时,求得特征向量 . 当 时,求得特征向量 . 当 时,求得特征向量 . 因为属于不同特征值的特征向量必互相正交, 所以只需将它们单位化即可. 不难求得

如果一个二次型的系数矩阵有 重特征根 ,则它必有 个属于 的线性无关的特征向量,所以矩阵 的秩为 . 利用这个性质也可以决定二次型中的未知常数. 下面是一个典型的例子.

例 9.43 设实二次型 ,经过正交变换后 可化为 . 求出 的值和正交变换矩阵 .

解 写出 所对应的实对称矩阵为

根据已知条件, 有一个二重特征值 1,因此齐次线性方程组 有两个线性无关的解,即矩阵 的秩等于 1 . 对 进行初等变换:

因此 ,即 . 又

因为 ,故 . 由已知知道 的特征值为 ,于是 . 对 ,解齐次线性方程组 得到基础解系

将它们正交化再单位化得到

对特征值 ,解齐次线性方程组 得到一个线性无关的解:

将其单位化得到

于是正交变换矩阵

每个 阶实对称矩阵都有 个两两正交的特征向量,若我们已经知道了部分特征向量, 利用这个性质可以将其余特征向量求出来, 从而求出正交变换矩阵. 下面的例子可以说明这一点.

例 9.44 已知 是一个四阶实对称矩阵, 的特征值为 . 属于特征值 0 的线性无关特征向量为 . 求出矩阵 .

解 设属于特征值 4 的特征向量为 ,则它和属于特征值 0 的特征向量都正交, 故

解此方程组得到一个线性无关解 . 用 Gram-Schmidt 正交化方法将属于 0 的 3 个特征向量正交化再单位化得到

又将属于特征值 4 的特征向量 单位化得到

于是正交变换矩阵

例 9.45 设 为三阶实对称矩阵, 的伴随矩阵. 记

,且 为线性方程组 的解. 试给出正交变换 ,使得 化为标准型.

解 利用 经简单计算可知, 也是线性方程组 的解,因此 的特征值, 是对应的特征向量. 设 的另外两个特征值为 ,则有

即有 ,从而可解出 . 设特征值 2 对应的特征向量为 ,由于属于不同特征值的特征向量相互正交,故有 ,从而可解出 为特征值 2 的两个线性无关的特征向量. 注意到 已经两两正交了,将其单位化后可得正交矩阵

使得 . 又由降阶公式可得

注意到 ,若令 ,则 是正交矩阵,并且正交变换 可将 化为标准型

9.2.6 实对称矩阵的正交相似标准型

实对称矩阵的正交相似标准型是比一般合同标准型更强有力的工具. 若 正交相似,即存在正交矩阵 ,使 ,由于 既和 合同又和 相似. 利用正交相似标准型,我们可以得到比一般合同标准型更加深入的结果.

例 9.46 设 阶实对称矩阵,其特征值为 ,则对任意的 维列向量 ,均有

证明 存在正交矩阵 ,使

显然,对任意的实列向量 ,有

因为 是可逆矩阵, 可取任何 维列向量,因此结论成立. 同理可证另外一个结论.

注 例 9.46 可以简单地推广到 Hermite 矩阵的情形,其叙述及证明只要将 换成 换成酉矩阵即可. 这种推广并不是平凡的,当我们处理一般的实矩阵时, 会遇到复特征值和复特征向量, 此时若把实对称矩阵看成是 Hermite 矩阵来处理, 会使讨论变得更加简洁. 这种技巧在处理正定实对称矩阵时也用到过.

下面 3 个例子是应用上题的结论来估计矩阵的特征值.

例 9.47 设 阶实对称矩阵,其特征值分别为

求证: 的特征值全落在 中.

证明 由例 9.46,对任意的向量 . 因为 仍是实对称矩阵,故其特征值全为实数. 假定 是其特征值,相应的特征向量为 ,则 . 而

因为 ,即得 . 同理可证明 . [

例 9.48 设 阶实矩阵 的特征值, 的特征值为

求证: .

证明 设 的属于特征值 的特征向量,即有 ,将此式左乘 可得 ,再将上式共轭转置可得 ,最后将上述两式加在一起可得

注意到 ,故由例 9.46 的 Hermite 矩阵版本即得结论.

例 9.49 设 阶实矩阵, 的特征值为

求证: 若 的特征值,则

证明 设 的属于特征值 的特征向量,即有 ,将此式共轭转置可得 ,再将上述两个等式乘在一起可得 ,最后由例 9.46 的 Hermite 矩阵版本即得结论.

记号: 我们用 表示 是正定阵, 表示 是半正定阵. 当 都是正定阵时,用 表示 是正定阵, 表示 是半正定阵.

例 9.50 求证: 若 阶正定阵,则 .

证明 设 是正交矩阵,使

其中 的特征值,则

因为 ,故 是半正定阵,由此即得

例 9.51 设 阶正定实对称矩阵,求证: 对任意的 维实列向量 ,有

等号成立的充要条件是 .

证明 设 是正交矩阵,使

其中 的特征值,则

,则

等号成立当且仅当 ,即 ,也即 , 从而当且仅当 成立.

例 9.52 设 阶半正定实对称矩阵, 个特征值, 证明: 对任意给定的正整数 ,存在一个只和 有关的实系数多项式 ,满足:

证明 设 为正交矩阵,使 , 并不妨设 中不同的数为 . 作 Lagrange 插值多项式 (参见第 4 章例 4.8):

显然 ,故

从而

例 9.53 设 阶半正定实对称矩阵,求证: 对任意的正整数 ,必存在唯一的 阶半正定实对称矩阵 ,使 . 这样的半正定阵 称为半正定阵 次方根,记为 .

证明 设 是正交矩阵,使 ,其中 的特征值. 令 ,则 为半正定阵且 ,这就证明了 次方根的存在性.

都是 次方根,则对 的任一特征值 的特征值,从而 . 由例 9.52 可知,存在一个只和 有关的实系数多项式 , 使 . 设 的另一 次方根,则同上讨论也有 , 从而 ,这就证明了 次方根的唯一性.

例 9.54 若 是半正定实对称矩阵, 是同阶实矩阵且 ,求证: .

证明 由例 9.52 可知,存在实系数多项式 ,使 ,再由 乘法可交换可得 乘法可交换.

作为实对称矩阵正交相似标准型理论的推论,我们知道实对称矩阵 是正定阵 (半正定阵) 当且仅当 的所有特征值全大于零 (全大于等于零). 下面几道例题是这一判定准则的应用.

例 9.55 设 都是 阶实对称矩阵,证明:

(1) 若 正定或者 正定,则 的特征值全是实数;

(2) 若 正定,则 正定的充要条件是 的特征值全是正实数;

(3) 若 都半正定,则 的特征值全是非负实数.

证明 (1) 设 正定,则存在非异实矩阵 ,使得 ,于是 相似于 ,从而 有相同的特征值. 注意到 是实对称矩阵,它的特征值全是实数,故 的特征值也全是实数. 同理可证 为正定阵的情形.

(2) 采用与 (1) 相同的记号和方法可知, 的特征值全是正实数当且仅当 的特征值也全是正实数,当且仅当 是正定阵,从而当且仅当 也是正定阵.

(3) 若 都半正定,则存在实矩阵 ,使得 ,又由例 6.19 可知, 有相同的特征值. 注意到 也是半正定阵,从而它的特征值全是非负实数,于是 的特征值也全是非负实数.

下面 5 道例题都可看成是例 9.55 的应用.

例 9.56 设 阶实对称矩阵,求证:

(1) 若 可逆,则 为正定阵的充要条件是对所有 阶正定阵 ;

(2) 为半正定阵的充要条件是对所有 阶半正定阵 .

证明 (1) 先证必要性. 若 为正定阵,则由例 9.55 (2) 可知, 的特征值全大于零,从而 . 再证充分性. 用反证法,设 不是正定阵,则由 可逆知 至少有一个特征值小于零,不妨设 ,且 为正交矩阵,使得 . 令 ,其中 是充分大的正实数,则 为正定阵,且

这与假设矛盾. 因此 必为正定阵.

(2) 只要利用例 9.55 (3) 就可证明必要性, 而充分性的证明与 (1) 完全类似.

例 9.57 设 都是 阶半正定实对称矩阵,证明: 的充要条件是 .

证明 必要性是显然的,下证充分性. 因为 半正定,故存在实矩阵 ,使得 ,从而 . 又因为 为半正定阵,故主对角元素全大于等于零,于是由 可推出主对角元素全为零,再由例 8.43 可得 . 又存在实矩阵 ,使得 ,则 ,等式两边同时取迹并由迹的正定性可得 ,于是 . 利用例 9.55 (3) 推出 的特征值全为零,进一步得到 也是一种方法,剩下的证明同上.

例 9.58 设 阶正定实对称矩阵, 是同阶实矩阵,已知 是实对称矩阵. 证明: 是正定阵的充要条件是 的特征值全是正实数.

证明 由 正定可推出 也正定,再由例 9.55 (2) 可知, 正定的充要条件是 的特征值全是正实数.

例 9.59 设 阶正定实对称矩阵,求证: 是正定阵的充要条件是 .

证明 由例 9.55 (2) 可知, 的特征值全大于零,因此 是正定阵当且仅当它是实对称矩阵,即 .

例 9.60 设 阶正定实对称矩阵, 也是正定阵且 , 求证: 也是正定阵.

证明 由 可得 ,其中 都是正定阵,再由例 9.55 (2) 可知, 的特征值全大于零,故为正定阵.

当遇到条件和结论在正交相似关系下不变的问题时, 可以将其中一个或几个实对称矩阵化为正交相似标准型的情形来处理, 这一技巧与运用相抵、相似以及合同标准型的技巧是类似的. 我们来看两道典型的例题.

例 9.61 设 阶正定实对称矩阵,证明: 矩阵方程 存在唯一解 ,并且 也是正定实对称矩阵.

证明 设 为正交矩阵,使得 ,其中 . 将矩阵方程 左乘 ,右乘 可得

此时 还是正定实对称矩阵并且结论保持不变,因此我们可从一开始就假设 是正交相似标准型 . 设 ,则矩阵方程 等价于方程组 ,由此可唯一地解出 ,从而矩阵方程有唯一解 . 显然 是实对称矩阵. 任取 的特征值 以及对应的特征向量 ,将等式 左乘 ,右乘 可得

即有 ,于是 ,因此 为正定阵. 1

注 本题还可以作如下推广: 设 阶亚正定阵 (定义见第 8 章解答题 14), 阶正定 (半正定) 阵,则矩阵方程 存在唯一解 ,并且 也是正定 (半正定) 阵. 矩阵方程解的存在唯一性可由例 6.65 得到, 正定 (半正定) 的证明类似于上面的讨论. 另外,本题的逆命题并不成立,即若 为正定阵, 为正定 (半正定) 阵, 不一定是正定 (半正定) 阵. 请读者自行验证具体的细节.

例 9.62 设 阶实对称矩阵,满足 ,证明: 若 半正定,则存在正交矩阵 ,使得

证明 由于 半正定,故存在正交矩阵 ,使得 , 其中 . 将等式 左乘 ,右乘 可得

因此我们可从一开始就假设 是正交相似标准型 . 设 ,则由 可得 . 当 至少有一个落在 中时, 我们有 ,从而 ,于是 ,其中 右下角的 阶主子阵. 由于 是一个实对称矩阵,故存在 阶正交矩阵 , 使得 . 令 ,则 阶正交矩阵, 使得

实对称矩阵正交相似于对角矩阵, 从而可对角化. 如果能将一个矩阵相似变换于实对称矩阵, 那么这个矩阵必可对角化, 这也是证明矩阵可对角化的一个技巧. 我们来看 4 道典型的例题.

例 9.63 设 阶实矩阵, 阶正定实对称矩阵,满足 , 证明: 可对角化.

证法 1 因为 正定,故存在非异实矩阵 ,使得 ,从而有 ,即有 . 因此 相似于 ,这是一个是实对称矩阵,它可正交对角化,从而 也可对角化.

证法 2 设 ,取由正定阵 定义的内积, 为由矩阵 的乘法定义的线性变换. 由条件 经过简单的计算不难验证 对任意的 成立,因此 上的自伴随算子,从而可对角化,于是 也可对角化.

注 若 只是半正定阵,则例 9.63 的结论一般并不成立. 例如, , ,则 ,但 不可对角化.

例 9.64 设 阶半正定实对称矩阵,证明: 可对角化.

证明 设 为非异实矩阵,使得 ,则 相似于

仍然是半正定阵,因此我们可从一开始就假设 是合同标准型 . 设 为对应的分块,则 . 因为 半正定,故由例 8.45 可得 ,于是 的列向量都可表示为 列向量的线性组合,从而存在实矩阵 ,使得 . 考虑相似变换:

于是 相似于 ,这是一个实对称矩阵,它可正交对角化,从而 也可对角化.

注 由例 9.55 (3) 或上述证明中 的半正定性可知, 相似于主对角元素全大于等于零的对角矩阵. 另外,若 是正定阵, 是实对称矩阵,则 也可对角化. 事实上,由 的正定性可知存在可逆实矩阵 ,使得 ,于是 相似于 ,这是一个实对称矩阵,它可正交对角化,从而 也可对角化. 又若 是半正定阵, 是实对称矩阵,则 一般不可对角化. 例如,

,则 不可对角化.

例 9.65 设 阶实矩阵

求证: 若 ,则 的特征值全为实数; 若 ,则 在实数域上可对角化.

证明 若在三对角矩阵 中,存在某个 ,则 ,其中 是满足相同条件的低阶三对角矩阵. 不断这样做下去,故我们只要证明若 ,则 在实数域上可对角化即可. 考虑如下相似变换: 将 的第二行乘以 ,再将第二列乘以 ,这样第 元素和第 元素都变成了 ; 第 元素和第 元素保持不变; 第 元素变为 ,第 元素变为 . 一般地,令 ,依次将第 行乘以 ,再将第 列乘以 ,则可得到 实相似于一个实对称矩阵,从而 在实数域上可对角化.

例 6.40 的证法 2 简记三对角矩阵 ,要证 可对角化,只要证 可对角化即可,故不妨设 . 由于 ,故按照上面的方法,依次将第 行乘以 ,再将第 列乘以 ,则可得到 复相似于三对角矩阵 . 因为三对角矩阵 是实对称矩阵,故可正交对角化,从而 也可对角化. [

9.2.7 同时合同对角化

我们在第 7 章已经遇到过两个矩阵同时相似于对角矩阵的问题, 这里我们要讨论的是两个矩阵同时合同于对角矩阵的问题. 我们先用实对称矩阵的正交相似标准型证明一个重要的结论, 它是下面讨论的基础. 矩阵同时合同对角化在涉及两个矩阵的问题中特别有用.

例 9.66 设 阶正定实对称矩阵, 是同阶实对称矩阵,求证: 必存在可逆矩阵 ,使

其中 是矩阵 的特征值.

证明 因为 正定,故存在可逆矩阵 ,使 . 又矩阵 还是实对称矩阵,故存在正交矩阵 ,使

,则 满足 (9.7) 式要求. 又

因此 是多项式 的根,因为 可逆,所以也是 的根.

例 9.67 设 阶正定实对称矩阵, 是同阶半正定实对称矩阵. 求证:

等号成立的充要条件是 .

证明 由例 9.66 可知,存在可逆矩阵 ,使

因为 半正定,故 也半正定,从而 . 注意到

故有 ,等号成立当且仅当所有的 ,这也当且仅当 .

注 利用摄动法很容易将例 9.67 的结论推广到两个矩阵都是半正定阵的情形. 设 都是 阶半正定阵,则对任意的正实数 是正定阵,因此由例 9.67 可得 ,两边同取极限,令 ,即得 . 当然,分情况讨论也可以证明之. 若 ,则结论显然成立; 若 ,则 正定,直接利用例 9.67 即得结论.

例 9.68 设 都是 阶正定实对称矩阵,求证:

等号成立的充要条件是 .

证明 由例 9.66 可知,存在可逆矩阵 ,使

因为 正定,故 也正定,从而 . 注意到

故有 ,等号成立当且仅当所有的 ,这也当且仅当 .

注 例 9.68 也可以通过摄动法或分情况讨论推广到两个矩阵都是半正定阵的情形, 具体的细节留给读者完成.

例 9.58 的证法 2 由例 9.66 可知,存在可逆矩阵 ,使

其中 是矩阵 的特征值. 因此 是正定阵当且仅当 是正定阵,这也当且仅当 的特征值 全是正实数.

例 9.59 的证法 2 若 是正定实对称矩阵,则 . 反之,若 ,则 是实对称矩阵. 因为 是正定阵, 也是正定阵. 由例 9.66 可知,存在可逆矩阵 ,使

其中 是矩阵 的特征值. 因为 正定,故 也正定,从而 ,因此 是正定阵.

例 9.69 若正定阵 ,求证: .

证明 由例 9.66 可知,存在可逆矩阵 ,使

因为 正定,故 也正定,从而 . 一方面,我们有

因为 半正定,故 ,从而 . 另一方面,我们有

于是

为半正定阵,因此 也是半正定阵.

例 9.70 设 阶实对称矩阵,其中 正定且 均半正定, 求证: 的所有根全落在 中,并且 .

证明 由例 9.66 可知,存在可逆矩阵 ,使

其中 是矩阵 的特征值,即是 的根. 因为 半正定,故 也半正定,从而 . 因为 半正定,故 也半正定,从而 ,因此 的所有根 全落在 中. 又 ,故 .

例 9.67 是一个重要的不等式, 下面我们来看它的两个应用.

例 8.35 的证法 2 因为 可逆,故可对题中矩阵进行下列对称分块初等变换:

上述变换是合同变换,得到的矩阵仍正定,故 是正定阵. 又因为第三类分块初等变换不改变行列式的值, 故

注意到 ,因为 正定,故 也正定,从而 是半正定阵. 由例 9.67 可得

等号成立当且仅当 . 设 为非异实矩阵,使得 ,则由 并取迹可得 ,又由 的非异性即得 ,于是上述不等式的两个等号都成立当且仅当 . 综上所述,我们有

等号成立当且仅当 .

例 9.71 设 实矩阵, 实矩阵,又假定它们都是行满秩的. 令 ,求证: 都是半正定阵,并且 .

证明 设 ,则 是半正定阵.

因为 都是行满秩阵,故由第 8 章解答题 11 可得 都是正定阵,从而 也是正定阵,于是 是半正定阵. 对矩阵 实施对称分块初等变换可得

由此即得 是半正定阵. 由例 9.67 的半正定版本 (参见其注) 或例 9.70 即得 .

例 9.66 的结论一般并不能推广到一个是半正定阵、另一个是实对称矩阵的情形. 例如, ,经过简单的计算可知 不能同时合同对角化. 不过,若 都是半正定阵,则它们可以同时合同对角化.

例 9.72 设 都是 阶半正定实对称矩阵,求证: 存在可逆实矩阵 ,使

证明 因为 是半正定阵,故存在可逆矩阵 ,使得 . 此时 仍是半正定阵. 由例 8.45 可知 ,

的所有列向量均可表示为 列向量的线性组合,于是存在实矩阵 ,使得 . 考虑两个矩阵如下的同时合同变换:

由于 都是半正定阵,故存在正交矩阵 ,使得

,则 是可逆实矩阵,使得

利用例 9.72 可以给出例 9.67 的半正定版本 (参见其注) 的第三种证法. 另外, 利用例 9.72 还可以给出两个半正定阵的和是正定阵的两个充要条件.

例 9.73 设 都是 阶半正定实对称矩阵,求证:

(1) 是正定阵的充要条件是存在 个线性无关的实列向量 , 以及指标集 ,使得

(2) ;

(3) 是正定阵的充要条件是 .

证明 (1) 在例 9.72 中,令 为其列分块,由此即得结论.

(2) 证明 有 3 种方法. 第一种是利用线性方程组的求解理论, 其讨论过程类似于例 8.46 的证法 1. 第二种方法是直接利用例 8.46 的结论,有 . 第三种方法是直接利用例 9.72 的结论,有 ,此时 都是半正定对角矩阵. 若 同一行的主对角元素全为零,则 的这一行都是零向量,对求秩不起作用; 若 同一行的主对角元素有一个大于零,则 的这一行对求秩都起了加 1 的作用,因此 .

(3) 注意到 是半正定阵,故它是正定阵当且仅当 ,也当且仅当 .

9.2.8 Schur 定 理

对于一般的复 (实) 矩阵, 我们当然不可能期望它酉相似 (正交相似) 于对角矩阵. 但是对复矩阵, 我们可以证明它必酉相似于上三角矩阵, 这就是著名的 Schur 定理. 下面我们给出一个简洁的代数证明, 几何证明参见 [1] 的第 9 章.

例 9.74 设 阶复矩阵,求证: 存在 阶酉矩阵 ,使 是上三角矩阵.

证明 由例 6.49 知道,存在可逆矩阵 ,使 是上三角矩阵. 又由例 9.11 知道,存在酉矩阵 和上三角矩阵 ,使 . 于是 ,因为上三角矩阵的逆矩阵是上三角矩阵,上三角矩阵之积仍是上三角矩阵,故 是上三角矩阵,从而 是上三角矩阵.

对实矩阵, 我们也有类似的结论. 但是因为实矩阵的特征值未必都是实数, 因此任意一个实方阵只能正交相似于分块上三角矩阵, 证明也更加复杂一些. 首先, 我们来讨论实矩阵的复特征值和复特征向量的相关性质.

例 9.75 设 阶实矩阵,虚数 的一个特征值, 是属于该特征值的特征向量,其中 是实列向量. 求证: 必线性无关. 若 是正规矩阵,则 相互正交且长度相同 (取实列向量空间的标准内积).

证明 由假设

假定 线性相关,不妨设 ,则 ,于是 ,由此可得 ,这与 相矛盾.

是正规矩阵,在 (9.8) 式中比较实部和虚部得到

因为 正规,由例 9.24 可知,向量 的属于特征值 的特征向量,故

比较实部和虚部得到

,将 代入得到

由此可得 .

例 9.76 证明: 阶实方阵 必正交相似于下列分块上三角矩阵:

其中 是实数, 是二阶实矩阵且 的特征值具有 的形状.

证明 对 用归纳法. 当 时表明归纳过程已经结束. 当 时结论显然成立. 现假定结论对阶小于 的矩阵成立,下分两种情况对 阶矩阵 进行归纳.

首先,假定 有实特征值 ,因为 有相同的特征多项式, 也是 的特征值. 现将 看成是 维实列向量空间 (取标准内积) 上的线性变换,显然 的伴随. 假定 的属于特征值 长度为 1 的特征向量,则 的不变子空间. 将 限制在 上,由归纳假设,存在 的标准正交基 ,使线性变换 在这组基下的表示矩阵为分块上三角矩阵. 于是在标准正交基 下,线性变换 的表示矩阵就是要求之矩阵 . 因为线性变换 在同一组标准正交基下的表示矩阵为 ,故由 可知 .

其次,假定 没有实特征值. 设 的虚特征值,因为 特征值相同,故 也是 的特征值. 假定 的属于特征值 的特征向量为 ,其中 是实列向量,则有

比较实部和虚部得到

由例 9.75 可知, 必线性无关. 设 的子空间,则上式表明 是线性变换 的不变子空间,于是 的伴随 的不变子空间. 因为 为二维子空间,所以 维子空间. 由归纳假设,存在 的标准正交基 ,使线性变换 在这组基下的表示矩阵为分块上三角矩阵:

中选取一组标准正交基 ,则在标准正交基 下,线性变换 的表示矩阵为:

因为线性变换 在同一组标准正交基下的表示矩阵为 ,故 的标准正交基 下的表示矩阵. 又 的基 下的表示矩阵,于是 相似于 ,从而它的特征值也为 .

例 9.77 设 阶实矩阵 的特征值全是实数,求证: 正交相似于上三角矩阵.

证明 这是例 9.76 的直接推论. 另外, 也可由例 6.49 以及例 9.74 完全类似的讨论得到本题的结论.

例 9.78 设 是实方阵且分块矩阵 是实正规矩阵,求证: 也是正规矩阵.

证明 由已知

所以 . 因为 ,故可得 ,再由 是实矩阵可推出 ,从而 .

利用例 9.76 和例 9.78 的结论, 我们可以给出实正规矩阵正交相似标准型的另外一个证明方法, 它和 [1] 中的方法不同, 更加代数化.

例 9.79 设 阶实正规矩阵,则存在正交矩阵 ,使

其中 是实数, 为形如 的二阶实矩阵.

证明 由例 正交相似于例 9.76 中的分块上三角矩阵. 再反复用例 9.78 的结论可知这是个分块对角矩阵. 又因为每一块都是正规矩阵,故或是实数 (一阶矩阵),或是二阶正规矩阵 . 对于二阶正规矩阵的情形,由例 9.75 的证明过程可知, 若设 的特征值为 ,对应的特征向量为 ,令 ,则 为二阶正交矩阵,且 .

9.2.9 复正规算子与复正规矩阵

复正规算子是酉空间上这样一类线性变换: 存在一组标准正交基, 它在这组基下的表示矩阵为对角矩阵. 酉变换、Hermite 变换以及斜 Hermite 变换等都是正规算子的例子. 复正规算子有多种等价的定义, 这一节将给出一个酉空间的线性变换是正规算子的几个充分必要条件.

例 9.80 设 维酉空间, 上的线性变换,求证: 是正规算子的充要条件是对 中任意的向量 ,都有 .

证法 1 必要性由例 9.24 给出, 现证明充分性. 我们的目的是证明对任意的 ,有 . 一旦这个式子得到证明,便有 成立,由此即可推出 . 我们可以仿照 [1] 中证明保持范数的线性变换一定保持内积的方法进行讨论. 注意到在酉空间 中,内积可用范数来表示,即对任意的 ,

故由 的线性可得

证法 2 考虑线性算子 ,这是一个自伴随算子,因此存在 的一组标准正交基 ,使得 在这组基下的表示矩阵是对角矩阵 ,即有 . 于是

从而 ,因此 .

例 9.81 设 维酉空间, 上的线性变换,求证: 是正规算子的充要条件是若 属于特征值 的特征向量,则 也是 属于特征值 的特征向量.

证法 1 必要性就是例 9.24,现证明充分性. 对 用归纳法,当 时显然成立,假定结论对 维酉空间成立. 设 维酉空间中属于 的特征值 的特征向量,由已知, . 记 ,则 . 由例 9.20 可知 的不变子空间,将 限制在 上, 仍是 的伴随. 由归纳假设 上的正规算子,即 . 显然在 上也有 ,所以 上的正规算子.

证法 2 由 Schur 定理可知,存在 的一组标准正交基 ,使得 在这组基下的表示矩阵是上三角矩阵 ,从而 在同一组基下的表示矩阵为 . 注意到

但由条件可得 ,因此 . 同理不断地讨论下去,可得 ,于是 是对角矩阵. 因此 在一组标准正交基下的表示矩阵是对角矩阵,从而 是正规算子.

注 在教材 [1] 中,我们采用了如下证法: 例 9.80 的充分条件 例 9.81 的充分条件 在一组标准正交基下的表示矩阵是对角矩阵 . 因此在这个意义下,例 9.80 和例 9.81 其实是自然的推论.

利用复正规算子的谱分解, 我们还可以证明下面 3 个充要条件.

例 9.82 设 维酉空间, 上的线性变换,求证: 是正规算子的充要条件是 ,其中 是自伴随算子且 .

证明 先证充分性. 由已知,有 . 再证必要性. 令

则容易验证 是自伴随算子且乘法可交换. 上述构造用谱分解来看更加清楚, 设 ,其中 的全体不同特征值, 是从 的特征子空间 的正交投影. 设 ,其中 是实数,令

则容易验证 是自伴随算子, .

例 9.83 设 维酉空间, 上的线性变换,求证: 是正规算子的充要条件是存在某个复系数多项式 ,使得 .

证明 充分性. 若 ,显然有 ,因此 是正规算子.

必要性. 设 的全体不同特征值,由谱分解定理,有

因为 ,所以

因为当 时, ,而 ,故对任意的正整数 ,有

进一步对任意的多项式 ,有

,则 ,由此即得 . 再令 ,则有

例 9.84 设 维酉空间, 上的线性变换,求证: 是正规算子的充要条件是 ,其中 为酉算子, 是半正定自伴随算子,且 可交换.

证明 充分性. 若 ,则 ,于是由 可得 ,因此 是正规算子.

必要性. 设 的全体不同特征值,由谱分解定理,有

,令 ; 若 ,令 或 -1 . 再令

则容易验证 为酉算子, 是半正定自伴随算子,且 可交换.

  • 例 9.85 设 阶复矩阵, 是其特征值,求证: 是正规矩阵的充要条件是

证明 先设 正规,则存在酉矩阵 ,使

两边共轭转置可得

所以

将上式两边求迹, 有

因此结论成立.

反之,假定 (9.9) 式成立. 对一般的复矩阵,由 Schur 定理可知,存在酉矩阵 , 使 为上三角矩阵:

于是

计算出 的主对角元素,得到

所以 (9.9) 式意味着

于是 ,即 是对角矩阵,故 是正规矩阵.

例 9.86 设 阶实矩阵,其特征值 都是实数,求证: 是实对称矩阵的充要条件是

证法 1 由例 9.77 以及完全类似于例 9.85 的讨论可知,条件等价于 正交相似于对角矩阵, 从而为实对称矩阵.

证法 2 由例 9.85 可知,条件等价于 是实正规矩阵. 又因为 的特征值全为实数,由例 9.79 可知, 正交相似于对角矩阵,从而为实对称矩阵.

例 9.87 设 都是 阶复正规矩阵,求证: 也是复正规矩阵.

证明 设 的特征值为 ,则由例 9.85 可得

注意到 具有相同的特征值,并且

再由 是正规矩阵可得 ,由此即得

因此由例 9.85 可知, 也是正规矩阵.

例 9.88 设复矩阵 是斜 Hermite 矩阵,即 . 证明: 必酉相似于对角矩阵 ,其中 是纯虚数.

证明 注意到斜 Hermite 矩阵 满足 ,故 为正规矩阵, 因此存在酉矩阵 ,使得 . 因为 ,故对角矩阵 也是斜 Hermite 矩阵,从而每个 都满足 ,即 都是纯虚数.

9.2.10 实正规算子与实正规矩阵

欧氏空间上的正规算子或实正规矩阵的理论比酉空间上的正规算子或复正规矩阵的理论要复杂得多, 其原因是实矩阵不一定有实特征值及实特征向量. 通常可以有多种方法得到实正规矩阵的正交相似标准型理论. 例如, 例 9.79 已通过实数版本的 Schur 定理和正规矩阵的性质证明了其正交相似标准型理论; 在教材 [1] 中, 通过极小多项式诱导的空间直和分解以及极小多项式为二次多项式的实正规算子的研究给出了其正交相似标准型理论, 这是一个完全几何的证明; 事实上, 我们还可以通过数学归纳法给出实正规矩阵正交相似标准型理论的直接证明, 其中最关键的技巧就是例 9.75,即当 没有实特征值时,如何构造它的二维不变子空间来运用归纳假设.

例 9.79 的证法 2 对阶数 进行归纳. 当 时表示归纳过程已经结束. 当 时,结论显然成立. 假设结论对小于 阶的实正规矩阵成立,现证 阶实正规矩阵 的情形. 将 看成是 维实列向量空间 (取标准内积) 上的线性变换, 则 是实正规算子且 是其伴随. 下面分两种情况进行讨论.

首先,假定 有实特征值 ,取其单位特征向量 ,则由例 9.24 可知, 也是 属于特征值 的特征向量. 因此 的不变子空间,故由例 9.20 可知, 也是 的不变子空间,将 限制在 ,容易验证 仍然是实正规算子. 由归纳假设,存在 的标准正交基 ,使得线性变换 在这组基下的表示矩阵是 阶的标准型,于是在标准正交基 下, 线性变换 的表示矩阵就是所要求的标准型.

其次,假定 没有实特征值. 设虚数 的特征值, 是对应的特征向量,其中 是实列向量,则由例 9.75 可知, . 令 ,则由例 9.75 的证明过程可得

,则上式表明 的不变子空间,故由例 9.20 可知, 也是 的不变子空间,将 限制在 ,容易验证 仍然是实正规算子. 由归纳假设,存在 的标准正交基 ,使得线性变换 在这组基下的表示矩阵是 阶的标准型,又 下的表示矩阵为 ,于是在标准正交基 下,线性变换 的表示矩阵就是所要求的标准型.

注 实正规矩阵的正交相似标准型理论的上述证明其实是例 9.75 和例 9.76 证明的综合体, 这一证明的特点是将代数方法和几何方法综合在一起, 而不是把它们割裂开来. 运用代数 (矩阵) 技巧, 可以把实矩阵自然地看成复矩阵, 从而得到复特征值和复特征向量, 再将复特征向量分离出两个线性无关的实列向量, 并由此构造出二维不变子空间; 而运用几何 (线性变换) 技巧, 则可以有效地处理不变子空间, 并将问题化约到低维空间上, 以此完成归纳过程. 请读者仔细体会证明中的精妙之处.

下面我们将给出一个欧氏空间的线性变换是实正规算子的几个充分必要条件, 并和复正规算子的情形进行一些比较.

例 9.89 设 维欧氏空间, 上的线性变换,求证: 是正规算子的充要条件是对 中任意的向量 ,都有 .

证明 例 9.80 的证法 2 可以原封不动地搬到实正规算子的情形, 而其证法 1 也可以适用于实正规算子的情形, 只要我们采用实内积空间中内积表示为范数的如下表达式即可:

因为实正规算子可能没有实特征值和实特征向量, 所以需要将例 9.81 和例 9.82 的实正规算子版本作一些调整才行.

例 9.90 设 维欧氏空间, 上的线性变换,求证: 是正规算子的充要条件是对 中任意两个向量 ,若 (其中 是实数),则必有 .

证明 任取 的一组标准正交基,设 在这组基下的表示矩阵为 ,则 在这组基下的表示矩阵为 ,再设 的坐标向量分别为 . 先证必要性. 若 ,则结论显然成立,以下不妨设 不全为零. 若 ,则 , ,即 属于实特征值 的特征向量或零向量,从而由例 9.24 可知, 也是 属于实特征值 的特征向量或零向量. 若 ,令 , 则 ,即 属于虚特征值 的特征向量,故由例 9.24 可知, 也是 属于虚特征值 的特征向量,从而不难验证结论成立. 再证充分性. 与必要性完全类似的讨论可得,若 属于特征值 的特征向量, 则 也是 属于特征值 的特征向量,由例 9.81 可知, 是复正规矩阵. 又 是实矩阵,故 也是实正规矩阵,从而 是实正规算子.

例 9.91 设 维欧氏空间, 上的线性变换,求证: 是正规算子的充要条件是 ,其中 是自伴随算子, 是斜对称算子, 且 .

证明 先证充分性. 由已知可得

再证必要性. 令 ,则容易验证 是自伴随算子, 是斜对称算子,且 .

上面的构造用正交相似标准型来看更加清楚,设 在一组标准正交基下的表示矩阵为正交相似标准型

则实对角矩阵 对应的自伴随算子即为 ,实反对称矩阵 对应的斜对称算子即为 ,并且矩阵的可交换性对应于算子的可交换性.

例 9.92 设 维欧氏空间, 上的线性变换,求证: 是正规算子的充要条件是存在某个实系数多项式 ,使得 .

证法 1 先证充分性. 若 ,则 显然成立. 再证必要性. 设 的某组标准正交基下的表示矩阵为正交相似标准型

其中 都是实数并且 . 由线性变换与矩阵的一一对应,我们只要证明存在某个实系数多项式 ,使得 即可. 由于分块对角矩阵主对角线上的分块调换次序是一个正交相似变换, 故不妨将完全相同的分块放在一起, 于是可假设 已是如下形状:

其中 , . 注意到 适合多项式 适合多项式 ,故 是一组两两互素的多项式. 令 ,则容易验证 ,因此由例 7.24 可知,存在实系数多项式 ,使得 .

证法 2 充分性同证法 1,下证必要性. 设 在某组标准正交基下的表示矩阵,我们只要证明存在某个实系数多项式 ,使得 即可. 由于 是实正规矩阵, 故可以自然地看成是复正规矩阵, 由例 9.83 可知, 存在复系数多项式 ,使得 . 将 各项系数的实部和虚部分开得到两个实系数多项式 ,使得 ,于是可得 ,从而只能是 ,结论得证.

例 9.93 设 维欧氏空间, 上的线性变换,求证: 是正规算子的充要条件是 ,其中 是正交算子, 是半正定自伴随算子,且 .

证明 充分性的证明同例 9.84 充分性的证明,下证必要性. 设 的某组标准正交基下的表示矩阵为正交相似标准型

其中 都是实数并且 . 由线性变换与矩阵的一一对应,我们只要证明存在可交换的正交矩阵 和半正定实对称矩阵 ,使得 即可. 令 . 若 ,则令 , 或 -1 ; 若 ,则令 . 令

则容易验证这就是所要求的分解.

例 9.94 设 维欧氏空间 上的正规算子且其极小多项式为 ,证明: 上的自同构且 .

证明 只要证明 即可. 设 的某组标准正交基下的表示矩阵为正交相似标准型

其中 都是实数并且 . 因为 的极小多项式为 ,所以在上述分块矩阵中没有一阶的块,且每个二阶的块都等于 ,从而 在这组基下的表示矩阵为

因为 ,所以 .

例 9.95 设 维欧氏空间 上的正规算子, 上某一线性算子, 若 ,证明: .

证法 1 我们引用一下教材 [1] 中证明实正规算子正交相似标准型的几何方法. 设 的极小多项式,则 在实数域上可以分解为互异的首一不可约多项式 的乘积. 令 ,则

上的正规算子且极小多项式为 . 若 ,则存在 的标准正交基,使得 的表示矩阵为 ; 若 ,则 . 具体的证明请参考教材 . 回到本题的证明, 由于 ,故易证 也是 的不变子空间. 令 ,则有 . 若 ,则 满足例 9.94 的条件,从而 ,于是由 即得 ; 若 ,则 ,此时 显然成立. 因为 在每一个 上都成立,所以在 上也成立. 我们也可以平行地给出代数的证明, 类似于例 9.92 证法 1 中的讨论, 可假设 在某组标准正交基下的表示矩阵已是如下形状的标准型:

其中 , . 设 在同一组基下的表示矩阵是 ,则 . 因为 的特征值互不相同,故由例 6.66 可知, ,从而 . 注意到 ,故可得 , 于是 ,从而 成立.

证法 2 由例 9.92 可知,存在实系数多项式 ,使得 . 因为 可交换,所以 也可交换.

例 9.96 设 维欧氏空间 上的非零线性变换,求证: 保持向量的正交性不变的充要条件是存在正实数 ,使得 .

证法 1 先证充分性. 若 ,则对任意正交的向量 ,即 保持向量的正交性不变. 再证必要性. 取 的一组标准正交基 ,因为 保持向量的正交性不变,所以 , 是一个两两正交的向量组. 对任意的 ,故 ,从而 ,于是 是一个不依赖于 的常数,设之为 . 又因为 是非零线性变换,故至少存在一个 , 使得 ,从而 ,于是 . 考虑线性变换 , 它将标准正交基 映为标准正交基 , 故为正交变换,从而 ,即 成立.

证法 2 充分性的证明同证法 1,下证必要性. 设 ,任取两个不正交的向量 ,由 Gram-Schmidt 正交化方法可知 , 从而有 ,于是 . 同理可得 ,由于 ,故 . 对两个正交的向量 ,总可以找到一个向量 ,使得 中任意一个都不正交,从而由上面的讨论可知, ,因此 上的常值函数,记之为 . 因为 是非零线性变换,故存在非零向量 ,使得 ,从而 ,于是 . 因此对任一非零向量 ,有 , 从而 ,这个等式对 也成立,这说明 是一个正交变换, 于是 ,即 成立.

注 例 9.96 对酉空间也同样成立, 上述两种证法也可推广到酉空间的情形.

例 9.97 设 维欧氏空间 上的线性变换,求证: 是斜对称算子 (即 ) 的充要条件是对任意的向量 都与 正交.

证明 先证必要性. 若 ,则对任意的 ,从而 . 再证充分性. 任取 ,则由条件可得

从而 对任意的 成立,再由伴随的唯一性即得 .

注 例 9.97 对酉空间一般就不成立了, 请读者自行思考其中的原因.

在前面我们已经看到不变子空间对研究正规算子的重要意义, 接下去的例 9.98 是关于正规算子不变子空间最重要的结论, 其中对实正规算子不变子空间的证明虽然比较复杂, 但其方法在前面的例题中已使用过多次, 相信读者是不会陌生的.

  • 例 9.98 设 维内积空间, 上的正规算子, 的不变子空间. 求证: 也是 的不变子空间,从而 上的限制仍然是一个正规算子.

证法 1 我们将对欧氏空间和酉空间分别进行证明.

先假定 是酉空间,我们对不变子空间 的维数 用归纳法. 当 时, 是一维子空间,可以由一个向量 生成. 显然 的特征向量,由例 9.24 可知, 也是 的特征向量,从而 也是 的不变子空间. 现假定结论对 维不变子空间成立,而 维不变子空间. 将 限制在 上,得到的线性变换记为 . 设 的一个特征值, 是属于 的特征向量. 令 ,则由例 9.24 可知, 既是 的不变子空间,也是 的不变子空间,再由例 9.20 可知, 也是 的不变子空间. 令 ,则易证 维不变子空间且 . 由归纳假设, 的不变子空间,于是 也是 的不变子空间. 至此我们已对酉空间证明了结论.

假设 是欧氏空间. 我们也对 的维数 用归纳法,当 时表明归纳过程已经结束. 当 时,类似于酉空间的情形同理可证明. 现假定结论对小于 维的不变子空间成立, 维不变子空间. 取 的标准正交基组成 的基,在此基下 的表示矩阵为 是正规矩阵. 我们将 等同于 (取标准内积), 等同于 (看成是 的子空间,后 个分量全为零),将 等同于 上的限制 等同于 . 若 有实特征值,则类似于酉空间的情形用归纳假设即可得到结论. 以下假定 没有实特征值,设 是其虚特征值, 是对应的特征向量,注意到它们也是 的虚特征值和虚特征向量. 由例 9.75 可知 作为 的二维子空间,既是 的不变子空间,也是 的不变子空间,再由例 9.20 可知, 也是 的不变子空间. 令 ,则易证 维不变子空间且 . 由归纳假设, 的不变子空间,于是 也是 的不变子空间. 至此,我们对欧氏空间也证明了结论.

证法 2 我们只对欧氏空间证明,对酉空间的证明类似. 取 的标准正交基组成 的基,在此基下 的表示矩阵为 是正规矩阵,由例 9.78 可知 . 而 的表示矩阵为 ,显然 也是 的不变子空间.

特别地,可将 限制在 上,显然, 仍是 的伴随且仍有 , 所以 上的限制仍是正规算子.

9.2.11 实正规矩阵的正交相似标准型及同时标准化

中,我们已经讨论过实对称矩阵的正交相似标准型的诸多应用. 在这一节, 我们将着重讨论实正规矩阵 (主要是实反对称矩阵和正交矩阵) 的正交相似标准型的应用.

例 9.66 告诉我们,若 是正定实对称矩阵, 是实对称矩阵,则存在可逆矩阵 ,使得 是对角矩阵,这个结论称为同时合同对角化. 在 中,我们已看到同时合同对角化在处理实对称矩阵时的许多应用. 类似地, 若 是实反对称矩阵,则下面的例题告诉我们,存在可逆矩阵 ,使得 , 是实反对称矩阵的正交相似标准型,我们亦可将之称为同时合同标准化.

例 9.99 设 阶正定实对称矩阵, 是同阶实反对称矩阵,则存在可逆矩阵 ,使得

其中 是非零实数.

证明 因为 是正定阵,故存在可逆矩阵 ,使得 . 又矩阵 也是实反对称矩阵,故存在正交矩阵 ,使得

其中 是非零实数. 此时 ,只需令 即得结论.

同时合同标准化在处理实反对称矩阵时比较有用, 我们来看 3 个典型的例题.

例 9.100 设 阶正定实对称矩阵, 是同阶实反对称矩阵,证明:

等号成立的充要条件是 .

证明 由例 9.99 可知,存在可逆矩阵 ,使得 (9.10) 式成立. 因此,我们有

等号成立的充要条件是 ,这也等价于 ,即 ,故结论得证. [

例 9.101 设 阶实矩阵,已知 正定,求证:

等号成立的充分必要条件是 为对称矩阵.

证明 注意到矩阵 的如下分解:

其中 是正定阵, 是实反对称矩阵,故由例 9.100 可得 ,等号成立的充要条件是 ,即 为对称矩阵. [

例 8.25 的证法 2 因为 为可逆矩阵,要证 是可逆矩阵,只要证明 是可逆矩阵即可. 由 的对称性, 的反对称性以及 可知, ,即 也是实反对称矩阵. 由例 9.100 可得 ,故结论得证. 事实上,我们证明了更强的结论: 若 ,则 ; 若 ,则 ,等号成立的充要条件是 .

例 9.27 的证法 2 我们用实正规矩阵的正交相似标准型来证明: 若 对任意的 阶实对称矩阵 都成立,则 必为实对称矩阵或实反对称矩阵.

先取 ,则 ,即 为实正规矩阵,故存在正交矩阵 ,使得 ,其中 是非零实数. 注意到此时条件可改写为

可取得到任意的实对称矩阵,并且 对称或反对称当且仅当 对称或反对称,故不妨从一开始就假设 是上述标准型. 若 主对角线上的分块都是一阶矩阵,则 就是对称矩阵. 若 主对角线上的分块存在二阶矩阵,我们只要证明此时 必为反对称矩阵即可. 首先,对二阶矩阵 ,令 , 则由 经过简单计算可得 ,但 ,故 . 其次, 若 主对角线上的分块还存在一阶矩阵,对三阶矩阵 , 令 ,则由 经过简单计算可得 ,但 , 故 . 因此 必为反对称矩阵. 综上所述, 结论得证.

接下来我们看一看正交矩阵的正交相似标准型的若干应用.

例 9.102 证明: (1) 任一正交矩阵均可表示为不超过两个实对称矩阵之积;

(2) 任一 阶实矩阵均可表示为不超过 3 个实对称矩阵之积.

证明 (1) 现设 是正交矩阵,则存在正交矩阵 ,使 ,其中 . 若设

. 令

,其中 都是实对称矩阵. 最后 ,即 是两个实对称矩阵之积.

(2) 对任意的 阶实矩阵 ,由矩阵的极分解可得 ,其中 是正交矩阵, 是半正定实对称矩阵,再由 (1) 可知, 可以分解为两个实对称矩阵之积,从而结论得证.

例 9.103 设 阶正交矩阵,证明: 当且仅当 为奇数.

证明 因为正交矩阵的逆阵以及正交矩阵的乘积都是正交矩阵,故 还是正交矩阵. 等价于 ,又 ,故只要证明: 若 阶正交矩阵,则 当且仅当 为奇数即可.

由正交矩阵的正交相似标准型理论可知,存在正交矩阵 ,使得

其中 ,且有 个 -1 . 于是 ,并且

从而 . 因此 当且仅当 为奇数,即当且仅当 为奇数.

注 例 9.103 的直接推论是: 正交矩阵 若满足 ,则 0 . 这一结论也可由第 2 章矩阵的技巧 (类似于例 2.17 的讨论) 来得到. 又因为正交矩阵行列式的值等于 1 或 -1,故例 9.103 的等价命题为: 设 阶正交矩阵, 则 当且仅当 为偶数.

例 9.104 设 阶正交矩阵,证明: .

证法 1 由正交矩阵的正交相似标准型理论可知,存在正交矩阵 ,使得

其中 ,且有 个 -1 . 因此

从而 . 同理可得 的表达式,并由此可得 ,故结论成立.

证法 2 注意到

故由例 3.72 可得 .

例 9.105 设 维欧氏空间 上的正交变换,若 ,则称 是一个旋转; 若 ,则称 是一个反射. 求证:

(1) 奇数维空间的旋转必有保持不动的非零向量,即存在 ,

(2) 反射必有反向的非零向量,即存在 .

证明 由正交变换的正交相似标准型理论可知,存在 的一组标准正交基 ,使得 在这组基下的表示矩阵为

其中 ,且有 个 -1 . 因此 ,且

(1) 若 为奇数且 ,则 为偶数,并且 为奇数. 特别地, ,因此存在某个基向量 ,使得 .

(2) 若 ,则 为奇数,特别地, ,因此存在某个基向量 ,使得 .

注 我们来看一看二阶、三阶正交矩阵的几何意义. 二阶正交矩阵 按照行列式的值可分成两大类: 若 ,则 表示以原点为中心的某个角度的旋转; 若 ,则由例 9.105 (2) 可知, 表示沿过原点的某条直线的反射. 由例 9.105 可知,三阶正交矩阵 的正交相似标准型总可以选择为 的形式. 设 ,则当 时,正交变换是以 为固定轴的旋转 (投影在平面 上是某个角度的旋转); 当 时,正交变换是关于平面 的反射 (即由 定义的镜像变换) 再复合以 为固定轴的旋转.

我们在第 6 章及第 7 章中讨论过同时上三角化和同时对角化的问题, 接下来我们将讨论这样两个问题:

(1) 同时正交 (酉) 对角化 对实对称矩阵 (复正规矩阵) ,何时存在正交矩阵 (酉矩阵) ,使 都是对角矩阵 都是对角矩阵). 这个问题的几何提法是: 对欧氏空间上的自伴随算子 (酉空间上的正规算子) ,找一组它们的公共特征向量,这组向量正好组成该内积空间的标准正交基. 例 9.106 回答了这个问题, 例 9.107 将例 9.106 的结论推广到多个矩阵或线性变换. 处理这类问题的关键是要找出各线性变换的公共特征向量, 然后使用归纳法.

(2) 同时正交标准化 对实正规矩阵 ,何时存在正交矩阵 ,使 都是正交相似标准型. 这个问题的结论和证明思路都和例 9.106 类似. 但是由于实矩阵未必有实特征值和实特征向量, 因此问题变得比较复杂. 然而复正规矩阵的情形相对比较简单, 我们采用复与实之间相互转换的方法来解决这个问题. 这是解决实矩阵问题或实空间问题的一个常用方法, 我们在实正规算子和实正规矩阵的有关讨论中经常用到它.

例 9.106 设 维欧氏空间 (酉空间) 上的两个自伴随算子 (正规算子),求证: 有一组由 的公共特征向量构成的标准正交基的充要条件是 .

证明 先证必要性. 因为 在由它们的公共特征向量组成的标准正交基下的表示矩阵是对角矩阵,而对角矩阵乘法可交换,所以 .

再证充分性. 对 用归纳法. 当 时结论显然. 假定结论对 维内积空间成立. 因为 ,假定 的属于特征值 的特征子空间,则对 , 有

所以 的不变子空间. 若 是欧氏空间上的自伴随算子,则 限制在 上仍是自伴随算子,故存在实特征值和实特征向量,因此 中至少有一个公共的单位特征向量 . 因为 ,由例 9.20 可知, 的不变子空间,从而 限制在 上仍为可交换的自伴随算子. 若 是酉空间上的正规算子,则 限制在 上存在特征值和特征向量,因此 中至少有一个公共的单位特征向量 . 因为 都是复正规算子,由例 9.24 可知, 也是 的特征向量,再由例 9.20 可知, 的不变子空间,从而 限制在 上仍为可交换的正规算子. 由归纳假设, 维子空间 有一组由 的公共特征向量构成的标准正交基 ,于是 就是要求的标准正交基.

注 例 9.106 的代数版本是: 阶实对称矩阵 (复正规矩阵) 同时正交 (酉) 相似于对角矩阵的充要条件是 . 下面的例题是对这一命题的推广.

例 9.107 设 个实对称矩阵 (复正规矩阵) 且两两可交换,求证: 存在正交矩阵 (酉矩阵) ,使 都是对角矩阵.

证明 对 用数学归纳法. 将 看成是 维列向量空间 (取标准内积) 上的线性变换,对 用数学归纳法证明存在一组由诸 的公共特征向量组成的标准正交基. 当 时结论显然,假定对 维空间结论正确. 用例 9.106 同样的方法,不难证明 至少有一个公共的特征向量,不妨设为 的长度为 1 . 作 , 这是个 维空间且是 (作为线性变换) 的不变子空间. 将 限制在 上,由归纳假设, 有一组标准正交基 ,每个基向量都是 的特征向量. 因此 就是所要求的标准正交基. 将此翻译成矩阵的语言就是所要的结论.

  • 例 9.108 设 是两个 阶实正规矩阵且 ,求证: 存在正交矩阵 ,使 同时为正交相似标准型.

证明 对矩阵的阶 用归纳法. 当 时表明归纳过程已经结束. 当 时结论显然. 现假设结论对阶小于 的矩阵成立. 同上我们可将 看成是 维列向量空间 (取标准内积) 上的线性变换. 因为 ,所以 有公共的特征向量,但未必是实向量. 如果是实向量,可设它的长度为 1,记之为 . 由于 都是正规算子,故由例 9.24 可知, 也是 的特征向量,从而由例 9.20 可知, 的不变子空间,并且线性变换 限制在 上仍为可交换的正规算子, 从而由归纳假设即可证明结论. 因此我们只须讨论复特征向量的情形. 设这个公共的特征向量为 ,其中 都是实向量,再设

由例 9.75 的证明过程以及结论, 我们得到

并且 . 不妨假设 是单位向量,于是在二维子空间 上,线性变换 在标准正交基 下的表示矩阵分别为

,因为 也是 的不变子空间,故由例 9.20 可知, 的不变子空间,并且线性变换 限制在 上仍为可交换的正规算子. 由归纳假设,存在 的一组标准正交基 ,在这组基下 的表示矩阵同为正交相似标准型. 令 ,则在标准正交基 下,线性变换 的表示矩阵都是正交相似标准型.

下面我们来看一看同时正交 (酉) 对角化和同时正交标准化的相关应用.

例 8.25 的证法 2 因为 为实对称矩阵, 为实反对称矩阵且 ,故由例 9.108 可知,存在正交矩阵 ,使得

其中 是非零实数. 由 可交换可知 可交换,从而可得 . 注意到 可逆,故 . 因此,我们有

从而

当我们遇到复特征值和复特征向量时, 我们可以把实矩阵看成是复矩阵来处理, 这是我们常用的技巧之一. 例如, 我们可以把实对称矩阵、实反对称矩阵和正交矩阵等实正规矩阵自然地看成是复正规矩阵来处理.

例 8.25 的证法 是实对称矩阵,可把它看成是 Hermite 矩阵, 是实反对称矩阵,可把它看成是斜 Hermite 矩阵. 因为 ,故由例 9.107 和例 9.88 可知,存在酉矩阵 ,使得

其中 都是实数,于是

的全体特征值. 因为实矩阵的虚特征值成对,故不妨设 互为共轭虚特征值,而 ,从而

例 9.59 的证法 3 必要性显然,只证充分性. 由于 都是正定实对称矩阵且 ,故由例 9.107 可知,存在正交矩阵 ,使得

其中 都是正实数,于是

从而 为正定阵.

例 9.60 的证法 2 由于 都是正定实对称矩阵且 ,故由例 9.107 可知,存在正交矩阵 ,使得

其中 都是正实数. 又因为 是正定阵,所以 也是正定阵, 从而 . 因此对任意的正整数 ,我们有

从而 为正定阵.

例 9.62 的证法 2 注意到 ,即 是实反对称矩阵. 我们断言 . 用反证法,若 为非零实反对称矩阵,则存在 阶正交矩阵 ,使得

其中 . 设 的前两个列向量为 ,则有

的半正定性可得

从而有 . 再次由 的半正定性可知,存在 阶实方阵 ,使得 . 因此我们有

,从而 ,于是 ,这与 矛盾. 因此 ,由例 9.108 可知, 可同时正交对角化,从而即得所要证的结论.

例 9.62 的证法 3 由 可得 ,即 可交换. 由例 9.108 可知,存在 阶正交矩阵 ,使得

其中 . 注意到

由于 是半正定阵,故 都是 的算术平方根. 由半正定矩阵算术平方根的唯一性 (即例 9.53) 可得

将上述诸式代入 中可得 ,结论得证.

在例 9.84 和例 9.93 中,满足条件 的极分解 虽然不一定唯一 (比如当正规算子 不可逆时),但由例 9.107 和例 9.108 可知, 的极分解一定是形如必要性证明中那样的构造. 我们把具体的细节留给读者自己验证.

9.2.12 谱分解、极分解、奇异值分解及其应用

谱分解是欧氏空间上自伴随算子和酉空间上正规算子最重要的性质之一. 在 中,我们利用谱分解证明了复正规算子的 3 个充要条件; 在教材 [1] 中,利用谱分解还证明了线性算子的极分解. 下面我们再来看一个典型的例题.

例 9.109 设 维酉空间, 上的正规算子,它们都满足不同特征值的模长互不相同. 证明: 对任意的 成立的充要条件是存在谱分解:

其中 分别是 的全体不同特征值, 是对应的正交投影算子,并且 .

证明 先证充分性. 对任意的 ,由谱分解的性质可得

于是 成立.

再证必要性. 注意到在酉空间 中,内积可用范数来表示,即对任意的 ,

故由 的线性可得

因此 ,从而 ,即 对任意的 成立. 对任意给定的 ,在上式中令 ,由内积的正定性可得 ,而这一等式对任意的 成立,从而可得 . 设正规算子 的谱分解为

其中 全体不同的特征值, 是对应的正交投影算子; 全体不同的特征值, 是对应的正交投影算子,则 的谱分解为

于是有

因为 互不相同, 互不相同,故上式是 两个谱分解. 由正规算子谱分解的唯一性可知 ,且在适当调整指标顺序后有 .

阶实 (复) 矩阵而言,它的极分解和奇异值分解之间可以互相推导,因此在处理方阵的问题时, 这两种分解所起的作用是类似的. 然而在考虑实际问题时, 我们往往遇到的是行满秩或列满秩的长方阵, 此时奇异值分解将发挥十分重要的作用.

例 9.110 设 阶实矩阵, 的全体特征值为 ,其中 . 证明:

证明 设 的极分解为 ,其中 是正交矩阵, 是半正定实对称矩阵, 则 ,从而 的全体特征值为 ,满足 ,于是只要证明 即可. 设 为正交矩阵,使得 ,则 ,注意到 仍为正交矩阵,故不妨从一开始就假设 是正交相似标准型 . 下面分两种情况进行讨论.

若存在某个 ,则只要证明 即可. 任取 的特征值 以及对应的特征向量 ,则 ,即 . 设 ,则在 的标准内积下,有

于是 ,这说明 的实部必非负. 因此 若为实数,则必为非负实数,又实矩阵的虚特征值必成对,从而 成立.

若所有的 ,令 ,则 正定且 . 再令 ,其中 ,这时只要证明 ,或等价地证明 即可. 任取 的特征值 以及对应的特征向量 , 则 ,即 . 设 , 则在 的标准内积下,有

从而有

由于 不全为零,故存在某个 ,使得 ,这说明 的实部大于等于 1. 因此 若为实数,则必大于等于 1 ; 若为虚数,则必成对,故模长平方大于 1,从而 成立.

例 9.111 设 阶实矩阵,满足 ,求证: .

证法 1 由 Laplace 定理容易算出 ,从而由 可得 , 即 . 设 ,则有

由例 2.60 类似的证法 (分块初等变换) 可得

注意到 互为共轭,故 . 因为 ,且 为正定阵,故有

于是 ,从而 .

证法 2 设 ,则由 可得

为极分解,其中 是正交矩阵, 是半正定实对称矩阵,则 , 并且有

因为 是一个关于 次多项式,故在实数域上至多只有 个根,从而可取到一列实数 ,使得 均非异. 利用降阶公式计算下列行列式的值:

上式两边同取极限,令 ,即得 .

下面我们来看一看奇异值分解的相关应用.

例 9.34 的证法 2 我们简单地说明一下矩阵奇异值分解的方法. 设 实矩阵,则 阶半正定实对称矩阵,故存在 阶正交矩阵 , 使得 ,其中 的全体非零奇异值. 令 为列分块,则 ) 是两两正交长度为 1 的 维列向量,将其扩张为 (取标准内积) 的一组标准正交基 . 令 ,则 阶正交矩阵,满足 ,从而 为奇异值分解. 回到本题的证明. 因为 ,故 有相同的奇异值,并且 是相同的. 由此可得到两个 阶正交矩阵 ,使得

,则 阶正交矩阵,满足 .

第 2 章解答题 15 的证法 3 我们把数域限定在实数域上, . 设 为奇异值分解,其中 为正交矩阵, , 为对角矩阵, ,则 ,于是有

因此对任意的 ,总有 成立,此式经简单的计算即为

故只能是 ,从而 .

利用奇异值分解, 我们还可以定义线性映射和矩阵的广义逆. 下面对欧氏空间之间的线性映射和实矩阵进行阐述, 酉空间之间的线性映射和复矩阵的情形同理可得.

例 9.112 设 分别为 维欧氏空间, 为线性映射,求证: 存在唯一的线性映射 ,满足如下条件:

(1) ; (2) ; (3) 都是自伴随算子.

上述 称为 的 Moore-Penrose 广义逆,记为 .

证明 先证存在性. 记 上的限制,容易验证 并且 ,故由线性映射的维数公式可知, 为线性同构. 构造映射 如下:

因为 ,故由例 4.2 可知,上述定义可以唯一地延拓到整个 上并使 成为线性映射. 考虑 的奇异值分解. 设 分别为 的标准正交基,使得 在这两组基下的表示矩阵为 , 其中 的全体非零奇异值,即有 . 容易验证 , ,并且 . 容易验证 满足题中 3 个条件,这就证明了 的广义逆的存在性.

再证唯一性. 若存在线性映射 ,满足题中的 3 个条件,则我们只需证明 与 (9.11) 式的定义相同即可. 由 可得 ,即 是幂等变换,又 是自伴随算子,故存在 的一组标准正交基 , 使得 在这组基下的表示矩阵是 . 同理可证 也是幂等自伴随算子,故存在 的一组基 ,使得 在这组基下的表示矩阵是 . 设 在这两组基下的表示矩阵为 在这两组基下的表示矩阵是 ,则由线性映射复合的表示矩阵等于表示矩阵的乘积可得 . 由条件 (1)、(2) 以及线性映射与矩阵的一一对应可得 . 设

为对应的分块,则可得

从而 都是零矩阵. 同理可证 都是零矩阵,故 . 设 的奇异值分解为 ,其中 阶正交矩阵, 的全体奇异值,则 的奇异值分解. 设

的一组标准正交基, 的一组标准正交基, 容易验证 在这两组基下的表示矩阵为 在这两组基下的表示矩阵为 ,从而 与 (9.11) 式的定义一致,这就证明了唯一性.

注 (1) 当 是线性同构时,容易看出 ,因此线性映射的广义逆是线性同构的逆的推广. 例 9.112 告诉我们, 对于欧氏空间之间的任意线性映射,其广义逆都存在; 特别地,当 时, ; 进一步,我们还可以利用线性映射的奇异值分解构造出其广义逆,即存在 的标准正交基,使得 在这两组基下的表示矩阵为 ,而 在这两组基下的表示矩阵为 ,其中 的全体非零奇异值.

(2) 例 9.112 的代数版本就是矩阵的广义逆. 设 实矩阵,则存在唯一的 实矩阵 ,满足如下条件:

(1) 都是实对称矩阵.

上述矩阵 称为 的 Moore-Penrose 广义逆. 若 阶可逆矩阵,则 ,因此矩阵的广义逆是方阵的逆阵的推广. 当 时, . 若设 的奇异值分解,则 的奇异值分解. 这也给出了从矩阵 求其广义逆 的计算方法. 矩阵的广义逆在矩阵理论中有着重要的应用, 限于篇幅, 我们不准备展开这方面的讨论. 为了联系起内积空间理论和线性方程组的求解理论, 我们来看广义逆的如下应用.

例 9.113 设 分别为 维欧氏空间, 为线性映射, 的广义逆. 求证: 上的正交投影算子, 上的正交投影算子.

证明. 由例 9.112 的证明过程可知,存在 的标准正交基 的标准正交基 ,使得

因此 . 注意到 ,故结论成立.

例 9.114 设 实矩阵, 维实列向量,并取列向量空间上的标准内积. 求证:

(1) 若线性方程组 有解,则 是唯一的长度最小的解;

(2) 若线性方程组 无解,则 是最佳逼近,即满足

并且是所有最佳逼近中唯一的长度最小的最佳逼近.

证明 (1) 任取线性方程组的解 ,即满足 ,则由 可知, 也满足 ,即 也是线性方程组的解. 由例 9.113 可知, 上的正交投影,从而 , 等号成立当且仅当 . 由 的任意性可知, 是唯一的长度最小的解.

(2) 由例 9.113 可知, 上的正交投影,因此对任意的 . 于是由勾股定理可得

等号成立当且仅当 . 对满足 的任一 ,存在 , 使得 . 由例 9.113 的证明过程可知, ,因此 ,等号成立当且仅当 ,即 是所有最佳逼近中唯一的长度最小的最佳逼近.

注 在实际问题中我们遇到的 通常都是系数矩阵 列满秩但无解的线性方程组. 此时,容易验证 ,因此最佳逼近为 , 这就是矛盾线性方程组 的最小二乘解.

§ 9.3 基础训练

9.3.1 训 练 题

一、单选题

  1. 是正交矩阵, 是非零实数, 是可逆矩阵,则 ( ).

(A) 也是正交矩阵 (B) 也是正交矩阵

(C) 也是正交矩阵 (D) 也是正交矩阵

  1. 下列结论正确的是 .

(A) 若非零向量 正交,则 线性无关

(B) 若向量 正交, 正交,则 正交

(C) 若 是欧氏空间 的子空间且 ,则 正交

(D) 若 是欧氏空间 的子空间,适合 ,则 的正交补

  1. 和矩阵 正交相似的矩阵是 .

(A) (B)

(C) (D)

  1. 阶实对称阵,则 .

(A) 的特征值的绝对值等于 1

(B) 个不同的特征值

(C) 的任意 个线性无关的特征向量两两正交

(D) 存在正交矩阵 ,使 为对角矩阵

  1. 下列结论正确的是 ( ).

(B) 同阶正定阵必相似

(D) 两个合同的矩阵必相似


(A) 两个相似的实对称矩阵必正交相似

(C) 特征值完全相同的同阶矩阵必相似

  1. 阶正交矩阵,则 ( ).

(A) 的特征值全是实数

(C) 有两两不相等的特征值

(B) 的特征值的模长等于 1

(D) 的线性无关的特征向量两两正交

  1. 维欧氏空间 上的对称变换,则 ( ).

(A) 的任意一组基下的矩阵是实对称矩阵

(B) 的任意一组正交基下的矩阵是实对称矩阵

(C) 的任意一组标准正交基下的矩阵是实对称矩阵

(D) 的任意一组基下的矩阵都正交相似

  1. 能保证 阶矩阵 是正交矩阵的条件是 ( ).

(A) 维正交列向量变成正交列向量

(B) 对任意的 维列向量

(C) 保持向量夹角不变

(D) 的特征值全为 1 或 -1

  1. 维欧氏空间上的线性变换 为正交变换的充要条件是 ( ).

(A) 的任一组基下的矩阵都是正交矩阵

(B) 的任一组正交基下的矩阵都是正交矩阵

(C) 的任一组标准正交基下的矩阵都是正交矩阵

(D) 的任一组标准正交基下的矩阵是实对称矩阵

  1. 维欧氏空间 上的向量,下列结论错误的是 ( ).

(A) 若 的一组基向量中的每一个向量内积均为零,则

(B) 若 的基,从 对一切 成立可推出

(C) 若 的基,又 ,则

(D) 若 都是单位向量且不相同,则它们线性相关的充要条件是

  1. 上三角矩阵 是正交矩阵的充要条件是 ( ).

(A) 是对角矩阵

(B) 是单位矩阵

(C) 是对角矩阵且主对角线上的元素为 1 或 -1

(D) 是对角矩阵且主对角线上的元素为 或 0

  1. 阶矩阵,则 为正交矩阵的充要条件是 ( ).

(A) 的特征值全为 1 或 -1

(B) 的列向量组成 维列向量空间 的一组标准正交基

(C) 的列向量两两正交

(D) 正交相似于单位矩阵

  1. 下列实矩阵没有实特征值的是 ( ).

(A) 实对称矩阵 (B) 奇数阶实矩阵

(C) 二阶非零反对称矩阵 (D) 实上三角矩阵

  1. 两个 阶实对称矩阵相似的充要条件是 ( ).

(A) 它们合同

(B) 它们的特征值都是实数

(C) 它们的特征值都是实数 且两两不相等

(D) 它们都是正交矩阵

  1. 下列命题正确的是 ( ).

(A) 两个正交变换的线性组合仍是正交变换 (B) 两个对称变换的线性组合仍是对称变换

(C) 对称变换将正交向量组变为正交向量组 (D) 对称变换必是可逆变换

  1. 正交矩阵 经过下列变换后仍是正交矩阵的是 ( ).

(A) 对 进行一次初等变换

(B) 经过一次相似变换,即将 变为 是同阶可逆矩阵

(C) 经过一次合同变换,即将 变为 是同阶可逆矩阵

(D) 对换 的第 行后再对换第

  1. 是正交矩阵,下列矩阵不一定是正交矩阵的是 ( ).

(A) (B)

(C) (D) 是同阶可逆矩阵

  1. 二阶实正规矩阵 不是对称矩阵,则 是正交矩阵的充要条件是 ( ).

(A) 的行列式值等于 1 (B) 的行列式值等于 -1

(C) 是可逆矩阵 (D) 是奇异矩阵

  1. 维酉空间上的自伴随算子,下列线性变换仍是自伴随算子的是 .

(A) (B) (C) (D)

  1. 维欧氏空间, 的一组基, 是关于这组基的度量矩阵. 假定线性变换 在这组基下的表示矩阵为 ,则 是自伴随算子的充要条件是 ( ).

(A) 是对称矩阵 (B) 是正交矩阵 (C) (D)

二、填空题

  1. 下列向量 在四维行向量空间 (取标准内积) 中生成的子空间的正交补空间的维数是 ( ).

  2. 维欧氏空间 中两个互相正交的非零向量,定义 . 问 是正规算子吗? ( )

  3. 是二维欧氏空间中的一组标准正交基, 是空间中两个向量,已知 ,问: 是否线性相关?

  4. 已知三维欧氏空间中有一组基 ,其度量矩阵为

向量 ,求 的长度.

  1. 维列向量空间的一组标准正交基, 是可逆矩阵,问 , 是否仍是标准正交基? ( )

是正交矩阵,则 .

  1. 实对称矩阵 的特征多项式为 ,写出它的正交相似标准型.

  2. 是四维实列向量且 ,又 ,写出 的正交相似标准型.

  3. 在实三维行向量组成的欧氏空间中,已知向量 是标准正交基,问向量 是否也是一组标准正交基?

  4. 假定 是幂零实对称矩阵,问 是否必是零矩阵? ( )

  5. 已知二阶实对称矩阵 的一个特征向量为 ,写出 线性无关且长度为 1 的特征向量 ( ).

  6. 已知行列式值等于 1 的三阶正交矩阵 有一个特征值 ,求它的其余两个特征值 .

  7. 两个同阶实对称矩阵的极小多项式相同, 它们是否相似? ( )

  8. 两个同阶实对称矩阵的特征多项式相同, 它们是否相似? ( )

  9. 是欧氏空间 上的正交变换, 的不变子空间,问 是否也是 的不变子空间? ( )

  10. 是欧氏空间 的子空间且 的正交补空间相同,问 是否相同? ( )

  11. 是由 阶实矩阵组成的线性空间,定义 中内积如下: 若 ,则

是一个固定的 阶实矩阵,定义 上的线性变换 ,求 的伴随.

  1. 阶对称正交矩阵按正交相似分类,共有 类.

  2. 维酉空间上的线性变换,若存在一组基 ,使 在这组基下的表示矩阵为对角矩阵,问 是否必是正规算子? ( )

  3. 维酉空间上的正规算子,若它的特征值全是实数,则它必是 ( ) 算子.

三、解答题

  1. 为内积空间 的一组标准正交基,求证: 对任意的 ,有

上述等式称为 Parseval 恒等式.

  1. 证明: 在内积空间中平行四边形两对角线平方和等于四边平方和, 即
  1. 是秩为 实矩阵,线性方程组 的基础解系为 ,又 (取标准内积) 中的非零向量. 设 分别是对应向量组的 Gram 矩阵的行列式值. 求证: 到线性方程组 的解空间 的距离为 .

  2. 是由 维实列向量组成的欧氏空间 (取标准内积), 个方程 个变元的非齐次线性方程组,求证: 上述方程组有解的充要条件是向量 属于齐次线性方程组 解空间的正交补空间.

  3. 维酉空间 中的两个向量,令 上的变换且对任意的 , ,证明 上的线性变换并求 . 若 是两个正交单位向量,将它们扩展为 的一组标准正交基:

求在这组基下 的表示矩阵.

  1. 维欧氏空间 上的变换且满足条件:

求证: 上的正交变换.

  1. 阶正交矩阵且其特征值不等于 -1,证明: 是可逆阵且 是反对称矩阵.

  2. 设有实对称矩阵

已知 有一个单特征值 -3,求 的值并求正交矩阵 ,使 是对角矩阵.

  1. 设三阶实对称矩阵 的各行元素之和均为 3,向量 是线性方程组 的两个解.

(1) 求 的特征值和特征向量;

(2) 求正交矩阵 和对角矩阵 ,使 .

  1. 已知曲面 可以经过正交变换

化为椭球面 ,求 之值和正交矩阵 .

  1. 求证: 正定实对称矩阵 为正交矩阵的充要条件是 为单位矩阵.

  2. 阶实对称矩阵,求证: 是半正定阵的充要条件是存在同阶实对称矩阵 ,使得 .

  3. 阶正定实对称矩阵且 是半正定阵, 分别表示 的由第 行及相同列交点上元素组成的主子阵. 求证: .

  4. 求证: 维酉空间上秩等于 1 的线性变换 是半正定自伴随算子的充要条件是它在任一组标准正交基下的表示矩阵具有形式: ,其中 维非零行向量.

  5. 维欧氏空间, 上的幂等线性算子,即 . 假定对 中任意的向量 ,均有 ,证明: 是自伴随算子.

  6. 维酉空间 上的非零正规算子且不可逆,求证: .

  7. 阶实正规矩阵,证明: 若 相似,则它们必正交相似.

  8. 阶实对称矩阵, 是同阶非异实反对称矩阵且 ,求证: , 等号成立当且仅当 .

  9. 维酉空间, 上的线性变换,求证: 是正规算子的充要条件是

其中 上的幂等自伴随线性变换且 上的恒等变换.

  1. 阶实矩阵,求证: 对任意的 维实列向量 元线性方程组 一定有解.

9.3.2 训练题答案

一、单选题

  1. 应选择 .

  2. 正交向量组线性无关, 故选择 (A).

  3. 正交相似的矩阵特征值相同, 计算后可知应排除 (C) 和 (D). 又正交相似于实对角矩阵的必为实对称矩阵,也应排除 (B),故选择 (A).

  4. 应选择 (D).

  5. 相似的矩阵具有相同的特征值, 而特征值相同的实对称矩阵必正交相似, 因此选择 (A).

  6. 应选择 (B).

  7. 应选择 .

  8. (B) 表示 保持范数,从而保持内积,故选择 (B).

  9. 应选择 .

  10. 只有当 是标准正交基时 中的结论才成立,因此选择 .

  11. 由正交矩阵每列及每行元素的平方和等于 1 可知, 应选择 (C).

  12. 应选择 (B).

  13. 应选择 .

  14. 应选择 (B).

  15. 对称矩阵的线性组合仍是对称矩阵, 因此选择 (B).

  16. (D) 中的变换是正交相似变换, 因此变换后的矩阵仍是正交矩阵, 故选择 (D).

  17. 应选择 (D).

  18. 非对称的二阶实正规矩阵的形状为

可得到 . 因此 是正交矩阵,故选择 (A).

  1. 计算后即知应选择 (B).

  2. 可知,应选择 (C).

二、填空题

  1. 不难求得这些向量的秩为 3 , 因此由它们生成的子空间的维数为 3 , 其正交补空间的维数等于 1 .

  2. 否. 由定义可求出 ,于是 , . 显然 一般不相等.

  3. 这时 ,显然线性无关.

  4. 计算 得到 .

  5. 不一定. 只有当 是正交矩阵时结论才成立.

  6. 计算后即知 .

  7. 求出 的特征值为 ,因此 的正交相似标准型为 .

  8. 这是一个镜像变换,用例 9.35 的方法可以求得 的正交相似标准型为 .

  9. 验算后可知是标准正交基.

  10. 幂零矩阵的特征值全是零,因此 的正交相似标准型为零矩阵,故 .

  11. .

  12. 实矩阵若有虚特征值必成对出现 (共轭),又 的特征值之积等于 ,据此可求得 的其余特征值为 .

  13. 不一定. 例如:

极小多项式都是 ,但特征值多项式不同,故不相似.

  1. 相似. 两个实对称矩阵的特征值相同必正交相似.

  2. 因为 可逆,故 ,即 . 而 ,因此 也是 的不变子空间,由此不难证明 也是 的不变子空间.

  3. .

  4. 由定义可求得 .

  5. 对称正交矩阵正交相似于对角矩阵且主对角线上的元素为 1 或 -1,故有 类.

  6. 不一定. 因为未必有标准正交基使 在这组基下的表示矩阵是对角矩阵. 如在二维实行向量空间中,令 ,则可以验证 .

  7. 它必是自伴随 (Hermite) 算子.

三、解答题

  1. ,同理有 的表达式,代入 中并利用内积的性质即得 Parseval 恒等式.

  2. 根据内积的性质经简单计算即得 .

  3. 的距离为 ,则 ,其中 为单位向量且 . 由假设可得

故由向量组 Gram 矩阵的性质可得

从而 ,于是 . 这道题的几何意义是,一个 维平行体的体积等于其底 ((m-1) 维平行体) 的体积乘以高.

  1. 为列分块, 的子空间,则 的解空间即为 . 另一方面, 有解当且仅当 . 注意到 ,故结论得证.

  2. 由定义可得 . 显然在标准正交基 下, 的表示矩阵为 , 即是第 元素为 1,其余元素为零的基础矩阵, 的表示矩阵为 .

  3. 只要证明 是线性变换,就能推出 是正交变换. 对任意的 ,有

从而可得

于是 ,结论得证.

  1. 因为 -1 不是 的特征值,故 . 设 ,则

因为 ,故

是反对称矩阵.

  1. 由降阶公式可得 ,再由 -3 是 的单特征值可知 ,

于是 的特征值为 1 (3 重),-3 (1 重). 可求出特征值 1 的特征向量为 ,

; 特征值 -3 的特征向量为 . 注

意到上述特征向量已经两两正交,故单位化后即得正交矩阵 ,使

.

  1. 由条件可知, 是特征值 0 的特征向量, 是特征值 3 的特征向量. 由 Gram-Schmidt 方法可将 正交化,然后再将两两正交的 3 个特征向量单位化,最后得到

正交矩阵 ,使得 .

  1. 由条件可知二次型的相伴实对称矩阵为

可得 ,再由 可得 ,故 , . 可求出特征值 1 的特征向量为 ; 特征值 4 的特征向量为 . 利用 Gram-Schmidt 方法将 正交化,然后再将两两正交的 3 个特征向

量单位化,最后得到正交矩阵 ,使得 .

  1. 只证必要性. 因为 是正定实对称矩阵,故存在正交矩阵 ,使得 ,其中 . 又因为 为正交矩阵,故 也是正交矩阵,从而所有的 ,于是 .

  2. 充分性由 即得. 必要性由例 9.53 即得.

  3. 由正定阵和半正定阵的性质可知, 都是正定阵, 是半正定阵,从而由例 9.67 即得结论.

  4. 先证必要性. 在任一组标准正交基下的表示矩阵 是一个秩为 1 的半正定 Hermite 矩阵,故存在非异复矩阵 ,使得 . 令 ,则 是非零行向量,使得 . 再证充分性. 根据线性变换与矩阵的一一对应,我们只要证明 是秩为 1 的半正定 Hermite 矩阵, 而这是显然的.

  5. 是幂等变换,即适合多项式 ,于是 的极小多项式无重根,从而可对角化. 设 的特征值 对应的特征子空间为 ,其中 ,则 . 任取 , 设 ,其中 为实参数,则 . 由 可得

从而 对任意的 成立,故只能是 ,于是 正交. 因此 ,故 是自伴随算子.

  1. 在酉空间 的一组标准正交基 下的表示矩阵为对角矩阵 , . 不妨设 ,则 , ,于是 .

  2. 特征值是实正规矩阵在正交相似关系下的全系不变量. 由实正规矩阵 相似可得它们的特征值相同, 从而它们必正交相似.

  3. 由例 8.13 以及 的非异性可知 ,从而只需证明 ,等号成立当且仅当 即可. 由 以及 的反对称性容易验证 也是实反对称矩阵,从而由例 9.100 即得结论.

  4. 必要性就是复正规算子的谱分解. 充分性直接通过验证即得.

  5. 证法 1 由例 3.72 可知, ,故有 ,从而线性方程组 一定有解. 证法 2 我们断言 一定是线性方程组 的解,其中 的广义逆. 事实上,由例 9.113 可知, 上的正交投影,因此 . 特别地, 的所有列向量都正交,从而 ,于是 ,即 是线性方程组 的解.