各种矩阵三角矩阵正矩定阵正交矩阵伴随矩阵.docx

三对角矩阵在线性代数中，一个三对角矩阵是矩阵的一种，它“几乎”是一个对角矩阵。准确来说：一个三对角矩阵的非零系数在主对角线上，或比主对角线低一行的对角线上，或比主对角线高一行的对角线上。例如，下面的是三对角矩阵：性质三对角矩阵是海森堡矩阵。尽管一般的三对角矩阵不一定是对称或埃尔米特矩阵，许多解线性代数问题时出现的矩阵却往往有这些性质。进一步如果一个实三对角矩阵 A 满足 ak,k+1 ak+1,k 0，所以它元素的符号都为正，从而相似于一个埃尔米特矩阵，这样特征值都是实数。后一个推论如果我们将条件 ak,k+1 ak+1,k 0 换为 ak,k+1 ak+1,k ≥ 0，结论仍然成立。所有 n × n 三对角矩阵的集合组成一个 3n-2 维向量空间。许多线性代数算法应用于对角矩阵时所需计算量特别少，这种改进也经常被三对角矩阵继承。譬如，一个 n 阶三对角矩阵 A 的行列式能用 continuant（Continuant）的递归公式计算：这里 是第 k 个主子式，即 是由 A 最开始的 k 行 k 列组成的子矩阵。用此方法计算三对角矩阵所需计算量是线性 n ，然而对于一般的矩阵复杂度是 n 的 3 次方。计算程序一个将一般矩阵变成海森堡型的变换，将厄密特矩阵变成三对角矩阵。从而，许多特征值算法运用到厄密特矩阵上，第一步将输入的厄密特矩阵变成三对角矩阵。一个三对角矩阵利用特定的存储方案比一般矩阵所用的存储空间也少得多。例如，LAPACK Fortran包将一个 n-维非对称三对角矩阵存为三个 1-维数列，其中一个长 n 包含对角元素，其它两个长为 n? 1 包含下对角线和上对角线元素。三对角矩阵方程 ，能用一种需要 O(n)次操作的特殊的算法解出来（Golub and Van Loan）。正交矩阵概述正交矩阵是实数特殊化的/wiki/%E9%85%89%E7%9F%A9%E9%98%B5 \o 酉矩阵酉矩阵，因此总是/wiki/%E6%AD%A3%E8%A7%84%E7%9F%A9%E9%98%B5 \o 正规矩阵正规矩阵。尽管我们在这里只考虑实数矩阵，这个定义可用于其元素来自任何/wiki/%E5%9F%9F_(%E6%95%B8%E5%AD%B8) \o 域 (数学)域的矩阵。正交矩阵毕竟是从内积自然引出的，对于复数的矩阵这导致了归一要求。要看出与内积的联系，考虑在n维实数/wiki/%E5%86%85%E7%A7%AF%E7%A9%BA%E9%97%B4 \o 内积空间内积空间中的关于正交基写出的向量v。v的长度的平方是vTv。如果矩阵形式为Qv的线性变换保持了向量长度，则。 所以有限维线性/wiki/%E7%AD%89%E8%B7%9D%E5%90%8C%E6%9E%84 \o 等距同构等距同构，比如/wiki/%E6%97%8B%E8%BD%AC \o 旋转旋转、/wiki/%E5%8F%8D%E5%B0%84_(%E6%95%B0%E5%AD%A6) \o 反射 (数学)反射和它们的组合，都产生正交矩阵。反过来也成立：正交矩阵蕴涵了正交变换。但是，/wiki/%E7%BA%BF%E6%80%A7%E4%BB%A3%E6%95%B0 \o 线性代数线性代数包括了在既不是有限维的也不是同样维度的空间之间的正交变换，它们没有等价的正交矩阵。有多种原由使正交矩阵对理论和实践是重要的。n×n正交矩阵形成了一个/wiki/%E7%BE%A4 \o 群群，即指示为O（n）的/wiki/%E6%AD%A3%E4%BA%A4%E7%BE%A4 \o 正交群正交群，它和它的子群广泛的用在数学和物理科学中。例如，分子的点群是O（3）的子群。因为浮点版本的正交矩阵有有利的性质，它们是字数值线性代数中很多算法比如/wiki/QR%E5%88%86%E8%A7%A3 \o QR分解QR分解的关键，通过适当的规范化，/wiki/%E7%A6%BB%E6%95%A3%E4%BD%99%E5%BC%A6%E5%8F%98%E6%8D%A2 \o 离散余弦变换离散余弦变换（用于/wiki/MP3 \o MP3MP3压缩）可用正交矩阵表示。例子下面是一些小正交矩阵的例子和可能的解释。恒等变换。 旋转16.26°。 针对x轴反射。 旋转反演（rotoinversion）:轴 (0,-3/5,4/5)，角度90°。 置换坐标轴。 基本构造低维度最简单的正交矩阵是1×1矩阵[1]和[?1]，它们可分别解释为恒等和实数线针对原点的反射。如下形式的2×2矩阵它的正交性要求满足三个方程。在考虑第一个方程时，不丢失一般性而设p?= cos?θ, q?= sin?θ；因此要么t?= ?q, u?= p要么t?= q, u?= ?p。我们可以解释第一种情况为/wiki/