正交矩阵

正交变换在标准正交基下的实矩阵

正交矩阵(英文:Orthogonal matrix)是一种实矩阵,指 正交变换 在 标准正交基 下的矩阵,即满足AA T =E的n阶实矩阵,其中A T 是矩阵A的 转置矩阵 ,E是 单位矩阵 。

英国 数学家凯莱(Cayley)是第一个把矩阵作为独立的数学概念提出的人,并在1858年发表了论文《矩阵论的研究报告》,文中系统地阐述了关于矩阵的理论,定义了矩阵的一系列基本概念。后来,1878年 德国 数学家弗罗伯纽斯(Frobenius,1849-1917)在讨论最小 多项式 问题过程中,引进矩阵的秩的概念。在之后的整理工作中,弗罗伯纽斯给出了 不变因子 和初等因子、正交矩阵、矩阵的相似变换、 合同矩阵 等概念,并讨论了关于正交矩阵的一些重要性质。

正交矩阵具有一些性质:如任何正交矩阵的 行列式 要么是 要么是 若 都是正交矩阵,则 及 也是正交矩阵;若 为正交矩阵,则 的 转置矩阵 、 逆矩阵 和 伴随矩阵 也是正交矩阵等。 将正交矩阵的概念从 实数 扩展到 复数 ,正交矩阵在复数域中叫做酉矩阵。 利用赋范 向量空间 中的广义正交性,可推广并引入广义正交矩阵的概念。 正交矩阵有着广泛的应用,如在 摄影 测量学中,与惯用的迭代解法相比,正交矩阵反问题进行绝对定向的快速直接解法具有求解精度高,计算时间短的特点,在实际中具有更好的应用价值。

简史

英国 数学家凯莱(Cayley)是第一个把矩阵作为独立的数学概念提出的人,并在1858年发表了论文《矩阵论的研究报告》,文中系统地阐述了关于矩阵的理论,定义了矩阵的 相等 、矩阵的运算法则、矩阵的转置以及矩阵的逆等一系列基本概念。后来,1878年 德国 数学家弗罗伯纽斯(Frobenius,1849-1917)在讨论最小 多项式 问题过程中,引进矩阵的秩的概念。在之后的整理工作中,弗罗伯纽斯给出了 不变因子 和初等因子、正交矩阵、矩阵的相似变换、 合同矩阵 等概念,并讨论了关于正交矩阵的一些重要性质。

定义

正交矩阵是一种实矩阵,指 正交变换 在 标准正交基 下的矩阵,即满足 的 阶实矩阵

若 是正交矩阵,则 当 时,称 为第一类正交矩阵或旋转矩阵;当 时,称 为第二类正交矩阵或镜面反射矩阵。给定 阶正交矩阵 由 得 从而

因此 即 的不同行(列)是 正交 的。上述两个等式组都称为正交条件,都是实矩阵 为正交矩阵的 充分必要条件 。此外, 也是实矩阵 为正交矩阵的充分必要条件。正交矩阵的特征值的模为 因而它的实特征值只可能为 。任一实满秩 阶矩阵 都可以惟一地分解成 其中 是实正交矩阵, 是 主对角线 元素大于零的上三角矩阵。对于 对称矩阵 必有正交矩阵 使 为 对角矩阵 ,其对角元是 的全体特征值。

举例

1. 阶 单位矩阵

2.二阶正交矩阵:

3.三阶正交矩阵:

相关概念

正交变换

定义: 设 是欧氏空间 的线性变换,如果 保持 向量 的 点积 不变,即对任意 都有 则称 为 的 正交变换 。

与正交矩阵的关系: 正交变换关于 的任意一组 标准正交基 的矩阵是正交矩阵。

酉变换

定义: 设 是酉空间, 是 上的线性变换。如果 保持 向量 的 点积 不变,即 对任意的 成立,则称 是酉变换。

设 是酉空间 上的线性变换, 是 在 标准正交基 下的矩阵,则若 是酉变换 是酉矩阵。

酉矩阵

定义: 酉矩阵一种复矩阵,指酉空间的酉变换在标准正交基下的矩阵,即满足 的复矩阵 其中 是 的转置共轭矩阵。

例如 矩阵 因为

所以 为酉矩阵。

显然正交矩阵(实矩阵)是酉矩阵的特例,即当是实矩阵时,酉矩阵与正交矩阵相同;但存在一种复正交矩阵,这种复正交矩阵不是酉矩阵。

实对称矩阵

定义: 指欧氏空间的对称变换在 标准正交基 下的矩阵,即元素 全是 实数 的对称矩阵

实对称矩阵 的特征值全为实数。在实欧氏空间 中,对称矩阵 的属于不同特征值的特征向量必 正交 ,且在 中存在 个列特征向量组成的标准正交基 使

为实 对角矩阵 ,其 对角线 上的元素为 的特征值, 为正交矩阵。 称为 的特征向量的一个完备系。

性质

正交矩阵 具有以下一些性质:

1.任何正交矩阵的 行列式 要么是 要么是 即

2.若 为正交矩阵,则 的 转置矩阵 、 逆矩阵 和 伴随矩阵 ,即 也是正交矩阵;

3.若 都是正交矩阵,则 及 也是正交矩阵;

4. 阶方阵 为正交矩阵 的列(行) 向量 组是 的一组 标准正交基 ;

5.设向量 为 阶正交矩阵,则有

即 正交变换 不改变 向量 的 点积 、夹角和长度。

6.全体 阶实正交矩阵的集合,对于矩阵的乘法构成一个群,称实正交矩阵群,记作

7.全体 阶幺模实正交矩阵的集合,对于矩阵的乘法构成一个群,称幺模实正交矩阵群,记作

8. 正交 矩阵是规范方阵,正交矩阵正交相似于标准形;

9.正交矩阵群的 李代数 由 反对称矩阵 组成;反过来,任何反对称矩阵的 矩阵指数 都是一个正交矩阵。

构造方法

格拉姆-施密特正交化

规范 正交 向量 组必为线性无关的向量组。反之,线性无关的 向量 组却未必是规范正交向量组。但却可以按下述方法求出与之等价的规范正交 向量 组。

设 是线性无关的向量组,令 则 是 正交 向量 组。再令 所得到的 即为与 等价的规范 正交 向量 组。这种方法称为格拉姆- 施密特正交化 方法,或规范正交化方法,是构造 正交矩阵 的一种方法。

李雅普诺夫函数优化法

引理 : 对于扰动系统 其中: 为Hurwitz矩阵; 为扰动输入;

为 常数 , 为系统 范数 。如果存在 使 其中 由式 给出,则一定存在 使

或 有实正定对称解

正交矩阵的构造方法: 对于 引理 中的矩阵 如果存在正交矩阵 以及 和 使 所分解的 对称矩阵 和 反对称矩阵 满足以下条件,

其中 和 满足式 则 为正交矩阵。

推广

广义正交矩阵

为了推广 正交 矩阵理论,利用赋范 向量空间 中的广义正交性,引入了广义正交矩阵的概念,并对广义Birkhoff正交矩阵进行了讨论,给出了广义Birkhoff正交矩阵可逆的充分条件。

定义: 令 矩阵 其中 。若 为

空间上的广义Birkhoff 正交 组,则称矩阵 为广义Birkhoff正交矩阵。若 为 空间上的广义 正交组,则称矩阵 为广义 正交矩阵。

从定义易知,当 为 内积空间 时,广义正交矩阵就是正交矩阵,且矩阵的广义正交性与空间的 范数 存在着必然的联系,可以认为矩阵的广义正交性由范数确定。对于 范数,广义正交矩阵总是存在的,如单位阵等。

广义Birkhoff正交矩阵可逆的条件: 令 为 上的广义Birkhoff 正交 矩阵,若 严格凸,则 可逆。

证明: 当 时,结论是显然的。设 为 上的广义Birkhoff 正交 组,则对于广义Birkhoff正交矩阵 若 不可逆,则存在不全为零的 使得

。因为空间 是严格凸的,所以 上的Birkhoff 正交 具有左唯一性。又因为 之间的Birkhoff正交是对称的,所以 上的Birkhoff正交也是右唯一的。

由赋范 向量空间 上的Birkhoff正交是左唯一(右唯一)的当且仅当 是严格凸(光滑)的,可推出空间 是光滑的,再根据赋范线性空间 上的Birkhoff正交是右可加的当且仅当 是光滑的,可知空间 上的Birkhoff 正交 是右可加的。进而由 及 上Birkhoff 正交 的齐次性与 可加性 得 这与Birkhoff 正交 的定义矛盾,所以 可逆。

应用

数学

QR分解

分解是一种线性代数运算,它将一个矩阵分解成一个正交矩阵 和一个三角形分量 。将变量投影中的 阶矩

阵 通过 分解方法分解为 ,式中, 是一个 阶正交矩阵,具有 的性质, 为 阶矩阵, 为 阶上三角矩阵。

,另 ,基于 分解的变量投影函数为

分解产生了一个 阶正交矩阵 ,其 逆矩阵 与 转置矩阵 相同。 计算机 对矩阵求转置的速度比求逆的速度更快,因此能够提高运算效率。

奇异值分解

在变量投影算法中,将 阶矩阵 通过 奇异值分解 方法分解为 ,式中 是 阶正交矩阵; 是 阶矩阵, 为 阶 对角矩阵 ( 是矩阵 的秩),对角元素为 的奇异值; 是 阶正交矩阵。

。令 ,基于 奇异值分解 的变量投 影函数为

奇异值分解产生了一个 阶正交矩阵 ,具有 的性质,同样可以加快运算速度,提高运算效率。

电信技术

码分多址(CDMA)技术由于强大处理增益产生的 低频 复用因子和稳健特性在无线个人通信中有较大作用。但由于扩频序列非理想相关特性所产生的多径干扰和多址干扰可能会降低码分多址 通信系统 的性能,为了提高系统的性能,要设计具有良好相关特性的扩频序列。

基于正交矩阵的一类非周期组间互补序列集的构造法,所构造的非周期组间互补序列集的零相关区长度可灵活设定,通过减小零相关区长度,可增加组间互补序列集的组数,用于同步或非 同步码 分多址系统支持更多的小区。

信息科技

LCD是目前发展成熟的显示器,常见产品有TN-LCD,STN-LCD和TFT-LCD等,其中STN-LCD因其低成本被广泛使用。在驱动大尺寸屏时,由于STN-LCD屏的响应速度较慢,面临着功耗增加、 对比度 差、 串扰 等问题。对STN-LCD的驱动方式进行改进是解决问题的主要途径。

基于正交矩阵算法,在分析驱动电路原理的基础上设计了一种8行寻址(MLA-8)LCD驱动电路,使用 Verilog 语言实现了电路中的数字运算 控制模块 。基于Maxchip 18 V CMOS 工艺实现了流片。该电路在满足设计要求的条件下,相比传统的IAPT驱动方式,降低了 的功耗。

测绘学

在摄影测量学中,当一个立体像对完成相对定向之后,相应光线在各自的核面内成对 相交 ,构成了一个与实地相似的 几何模型 。为了确定模型在地面 坐标系 中的方位和 比例尺 ,就要进行绝对定向。绝对定向通常采用的方法是对空间相似变换公式进行线性化,通过一定数量的 控制点 ,利用最小二乘的方法进行迭代求解。由于是迭代求解,算法较繁琐且计算量比较大,特别是在对多模型或区域网进行求解时更为麻烦。

在研究正交矩阵反问题及其最佳逼近的基础上,提出一种基于正交矩阵反问题进行绝对定向的快速直接算法,经实验计算,与惯用的迭代解法相比,正交矩阵反问题进行绝对定向的快速直接解法具有求解精度高,计算时间短的特点,在实际中具有更好的应用价值。

参考资料