1 基本定义
对称矩阵是线性代数中的基本对象之一，通常指满足某种“关于主对角线镜像相等”关系的方阵。它的定义建立在矩阵转置的概念之上，因此理解对称矩阵之前，先要明确矩阵与转置的含义。
1.1 矩阵与转置
矩阵是按行与列排列的数表，记作 \(A=(a_{ij})\)。若将一个矩阵的行与列互换，就得到它的转置矩阵，记作 \(A^T\)。也就是说，转置后第 \(i\) 行第 \(j\) 列的元素，会变成原矩阵第 \(j\) 行第 \(i\) 列的元素。
转置是矩阵运算中的基础操作，许多关于对称性的判断都可以通过转置来描述。对于方阵而言，转置性质尤其简洁，便于刻画主对角线两侧元素之间的对应关系。
1.2 对称矩阵的定义
若一个方阵满足 \[ A^T=A, \] 则称它为对称矩阵。展开到元素层面，就是对任意可取的 \(i,j\)，都有 \[ a_{ij}=a_{ji}. \]
这意味着矩阵关于主对角线呈镜像对称。主对角线上的元素不受交换影响，因此它们可以任意取值，而其余位置的元素必须成对出现并彼此相等。
1.3 相关概念
对称矩阵并不是所有“成对相等”的矩阵都能直接使用同一术语；在不同数域下，常见概念会有所区分。
1.3.1 实对称矩阵
实对称矩阵是指元素全为实数，且满足 \(A^T=A\) 的矩阵。这是线性代数中最常见的对称矩阵类型。实对称矩阵具有许多优良性质，如特征值为实数、可正交对角化等。
1.3.2 复对称矩阵
在复数域中，若矩阵满足 \(A^T=A\)，也可称为复对称矩阵。需要注意的是，复对称矩阵与“厄米矩阵”不同：后者要求的是 \(A^*=A\)，其中 \(A^*\) 表示共轭转置。二者的转置条件相似，但在复数情形下性质差别较大。
1.3.3 反对称矩阵
反对称矩阵又称斜对称矩阵，满足 \[ A^T=-A. \] 这类矩阵在主对角线上的元素必须全为零，因为对角元素既要等于自身，又要等于其相反数。反对称矩阵与对称矩阵在结构上形成对照，常用于某些几何和物理模型中。
2 结构性质
对称矩阵的结构直接体现在元素排列方式上，这种结构使其具有较强的规则性，也为后续的代数分析和数值处理提供了便利。
2.1 元素对称关系
对称矩阵的核心特征就是元素关于主对角线成对相等。若 \(a_{ij}\) 位于主对角线一侧，那么它在另一侧的对应元素 \(a_{ji}\) 必须与之相同。由此可知，只要知道主对角线及其一侧的全部元素，就可以唯一确定整个矩阵。
2.2 主对角线特征
主对角线上的元素在对称矩阵中处于中心位置，它们不需要与其他位置成对对应，因此可以独立取值。对称矩阵的许多性质都与主对角线密切相关，例如二次型的展开、迹的计算以及某些分解形式，都常常围绕主对角线展开。
2.3 子矩阵与对称性
对称矩阵的某些主子矩阵通常也保留对称性。若从原矩阵中取出相同行列编号的部分，得到的主子矩阵仍是对称矩阵。这一性质在递归分析、判定正定性和研究矩阵局部结构时十分常见。
不过，并非任意取出的行子矩阵或列子矩阵都能保持对称性；只有满足行列选择一致时，才能自然继承这一结构。
2.4 特殊结构
在某些特殊形态下，对称性会与其他矩阵结构叠加，表现出更简化的形式。
2.4.1 对角矩阵
对角矩阵是只有主对角线可能非零、其余元素全为零的矩阵。它显然满足对称条件，因此任意对角矩阵都是对称矩阵。反过来，对称矩阵不一定是对角矩阵，因为它允许非对角元成对出现。
2.4.2 三角矩阵中的对称情形
若一个矩阵既是上三角矩阵又是对称矩阵，则其下三角部分必须与上三角部分对应为零，最终只能成为对角矩阵。下三角矩阵与对称条件同理。也就是说，三角结构与对称结构同时成立时，矩阵通常会退化为更简单的形式。
3 代数性质
对称矩阵不仅在结构上规整，在代数运算下也有一系列稳定性质。这些性质使它在理论推导中十分方便。
3.1 加法与数乘
两个对称矩阵相加后仍然是对称矩阵。若 \(A^T=A\)、\(B^T=B\)，则 \[ (A+B)^T=A^T+B^T=A+B. \] 同样，任意标量与对称矩阵相乘后，结果仍保持对称性。因此，对称矩阵集合在加法与数乘下构成线性空间。
3.2 乘法下的性质
对称矩阵的乘法性质较加法更为复杂。两个对称矩阵的乘积一般不再对称，除非它们满足额外条件，例如彼此可交换，且乘积结构符合转置对称要求。
一个常见事实是：若 \(A\) 与 \(B\) 都是对称矩阵，并且 \(AB=BA\)，那么 \(AB\) 仍为对称矩阵。因为此时 \[ (AB)^T=B^TA^T=BA=AB. \]
3.3 转置运算关系
对称矩阵与转置之间的关系最为直接：它本身就是转置不变的矩阵。很多矩阵恒等式在对称矩阵上会变得更简洁，例如与逆、乘积、分解有关的公式在转置后常能保持原状。这使得对称矩阵在推导中往往具有较高的可读性。
3.4 逆矩阵与可逆性
并非所有对称矩阵都可逆，但当一个对称矩阵可逆时，它的逆通常也保留对称性。这一性质在方程组求解与矩阵分解中经常被使用。
3.4.1 可逆对称矩阵
可逆对称矩阵是指既满足对称性，又具有逆矩阵的方阵。此类矩阵在数值计算中非常重要，尤其是在解线性方程组、构造二次型和研究正定矩阵时。
3.4.2 逆矩阵仍为对称矩阵
若 \(A\) 是可逆对称矩阵，则 \[ (A^{-1})^T=(A^T)^{-1}=A^{-1}. \] 因此 \(A^{-1}\) 仍是对称矩阵。这个结论说明对称性在取逆运算下是稳定的，只要逆矩阵存在。
4 特征理论
对称矩阵在特征值问题中表现出极为优越的性质，这也是它在理论与应用中地位突出的重要原因。
4.1 特征值与特征向量
若存在非零向量 \(x\) 与标量 \(\lambda\)，使得 \[ Ax=\lambda x, \] 则称 \(\lambda\) 为矩阵 \(A\) 的特征值，\(x\) 为对应特征向量。对称矩阵的特征结构通常比一般矩阵更规整，常常能够通过正交基进行描述。
4.2 实特征值性质
实对称矩阵的一个基本结论是：其特征值全为实数。这一性质使得它在几何解释、稳定性分析和优化理论中更易处理。相比一般矩阵可能出现复特征值的情况，对称矩阵的谱结构明显更清晰。
4.3 正交特征向量
对于实对称矩阵，不同特征值对应的特征向量彼此正交。这意味着可以从特征向量中选取一组正交规范基，从而将矩阵作用分解到互相独立的方向上。正交性不仅具有理论意义，也显著简化了计算过程。
4.4 正交对角化
实对称矩阵可以通过正交矩阵对角化，即存在正交矩阵 \(Q\)，使得 \[ Q^TAQ \] 为对角矩阵。该结论表明，对称矩阵可以在适当的正交坐标系下变为最简单的对角形式。
4.4.1 谱定理
谱定理是对称矩阵理论中的核心结果之一。它指出，任意实对称矩阵都可以由一组正交单位特征向量组成的基来完全分解，并且在该基下矩阵表示为对角矩阵。谱定理将对称矩阵的结构、特征值与几何解释统一起来。
4.4.2 特征分解
特征分解是谱定理的具体表达形式之一，常写作 \[ A=Q\Lambda Q^T, \] 其中 \(Q\) 为正交矩阵，\(\Lambda\) 为对角矩阵，其对角元是特征值。特征分解在计算矩阵幂、函数矩阵以及降维分析中十分常见。
5 二次型
二次型与对称矩阵之间有着天然联系。很多二次型问题都可以借助对称矩阵来表达与化简。
5.1 二次型的矩阵表示
二次型通常表示为变量的二次多项式，例如 \[ f(x_1,\dots,x_n)=\sum_{i,j} a_{ij}x_ix_j. \] 利用矩阵可将其写成简洁形式 \[ f(x)=x^TAx. \] 在这一表示中，矩阵 \(A\) 常取为对称矩阵，以便保证表达式的规范性。
5.2 对称矩阵与二次型对应关系
任意二次型都可以对应到一个对称矩阵。即便最初写出的矩阵不对称，也可以通过对称化处理，将其改写为等价的对称矩阵形式，而不会改变二次型的值。这种对应关系使得二次型研究可以转化为矩阵分析问题。
5.3 标准形与化简
通过正交变换或合同变换，二次型可化为较简单的标准形。对于对应的对称矩阵，这一过程常体现为对角化或化为分段更明显的形式。标准形便于判断二次型的符号性质，也便于分析其几何图像。
5.4 正定性与半正定性
对称矩阵的一个重要研究方向是判断其是否正定或半正定。这些性质直接决定了二次型的曲面形状以及优化问题中的局部极值性质。
5.4.1 正定矩阵
若对任意非零向量 \(x\) 都有 \[ x^TAx>0, \] 则称对称矩阵 \(A\) 为正定矩阵。正定矩阵对应的二次型始终为正，常出现在最优化、误差分析和物理势能模型中。
5.4.2 半正定矩阵
若对任意向量 \(x\) 都有 \[ x^TAx\ge 0, \] 则称 \(A\) 为半正定矩阵。半正定矩阵允许某些方向上的二次型取零，因此比正定矩阵更宽松。协方差矩阵、核矩阵等都常属于这一类。
6 判定方法
判断一个矩阵是否为对称矩阵，有若干直接或间接的方法。实际应用中常根据已知信息选择最方便的判定途径。
6.1 直接检查元素
最直观的方法是逐项核对矩阵元素，检查是否满足 \(a_{ij}=a_{ji}\)。这种方法适用于维数不高、元素清晰可见的情形。只要发现某一对对应元素不相等，就可立即判定不是对称矩阵。
6.2 通过转置判断
若计算矩阵转置后发现 \(A^T=A\)，即可确认其对称性。该方法比逐项比较更系统，尤其适合使用矩阵运算规则进行验证时。对理论推导而言，这也是最常用的判定方式之一。
6.3 利用分块矩阵判断
对于分块矩阵，可以检查各个分块之间是否满足对应转置关系。若上右分块等于下左分块的转置，并且对角分块本身满足对称条件，则整体矩阵往往也是对称的。这种方法在高维矩阵和结构化矩阵中尤其有用。
6.4 通过性质反推
有时可利用已知性质反推矩阵是否对称。例如，若一个矩阵已知可被正交对角化且满足特定谱性质，在某些情况下可以推知其具有对称背景。又如，若矩阵由对称矩阵经过保对称的运算构造而成，也可间接确认其对称性。
7 典型例子
通过具体例子可以更直观地把握对称矩阵的形式特点及其与一般矩阵的区别。
7.1 二阶对称矩阵
二阶对称矩阵的一般形式为 \[ \begin{pmatrix} a & b \\ b & c \end{pmatrix}. \] 它只有一个非对角元参数 \(b\) 需要在两个对称位置同时出现。此类矩阵是最简单的对称矩阵模型，常用于教学和基础计算。
7.2 三阶对称矩阵
三阶对称矩阵的一般形式可写作 \[ \begin{pmatrix} a & b & c \\ b & d & e \\ c & e & f \end{pmatrix}. \] 可以看出，上三角部分的三个非对角元分别决定了对应的下三角元素。其结构已足够展示对称矩阵的一般规律。
7.3 参数形式的对称矩阵
在实际问题中，对称矩阵常含有参数。例如 \[ \begin{pmatrix} 1 & t \\ t & 2 \end{pmatrix} \] 就是一个以参数 \(t\) 表示的对称矩阵。通过分析参数取值，可以进一步研究其可逆性、正定性或特征值变化。
7.4 常见非对称矩阵对比
与对称矩阵相比，普通矩阵若出现 \(a_{ij}\ne a_{ji}\)，则不具备对称性。例如 \[ \begin{pmatrix} 1 & 2 \\ 0 & 3 \end{pmatrix} \] 就是一个典型的非对称矩阵。通过对比可以更清楚地看出，对称矩阵的关键并不在于元素是否为零，而在于对应位置是否成对一致。
8 应用领域
对称矩阵在多个学科中都有广泛应用，尤其在需要稳定结构、可解释谱性质和高效计算的场合中更为常见。
8.1 线性代数与数值分析
在线性代数中，对称矩阵是研究特征值问题、矩阵分解和迭代算法的重要对象。数值分析中，很多高效算法都专门针对对称矩阵设计，因为其谱性质更稳定，计算误差也更容易控制。
8.2 优化问题
在最优化中，目标函数的二阶近似常引入 Hessian 矩阵，而 Hessian 矩阵通常具有对称性。对称矩阵的正定性常用于判断局部极小值、局部极大值或鞍点，因此它在优化理论中占据重要位置。
8.3 统计学中的协方差矩阵
协方差矩阵是统计学中的核心矩阵之一，通常是对称矩阵。它刻画多个随机变量之间的线性相关关系，并反映变量波动的整体结构。由于协方差矩阵往往还是半正定的，因此在主成分分析等方法中极为关键。
8.4 物理学中的能量模型
在物理学中，许多能量表达式可写成二次型形式，对应的矩阵常具有对称性。对称矩阵有助于描述系统的稳定状态、振动模式和势能分布，因此常出现在经典力学、弹性理论与振动分析中。
8.5 图论与网络分析
图论和网络分析中，若研究的是无向图，其邻接矩阵通常是对称矩阵。对称性对应于边的无方向性：节点 \(i\) 与节点 \(j\) 之间是否相连，不依赖于观察顺序。这一性质便于分析网络结构和传播模式。
9 相关矩阵类型
对称矩阵与若干常见矩阵类型关系密切。它们在定义上或性质上相互关联，但并不完全相同。
9.1 斜对称矩阵
斜对称矩阵满足 \(A^T=-A\)。与对称矩阵相比，它在主对角线上的元素必为零，并且对应位置元素互为相反数。斜对称矩阵常出现在旋转、叉乘和某些几何表达中。
9.2 厄米矩阵
厄米矩阵满足 \(A^*=A\)，即等于自身的共轭转置。它是复数情形下与实对称矩阵最接近的一类矩阵。厄米矩阵同样具有实特征值和可酉对角化等重要性质，因此在量子力学中尤其常见。
9.3 正交矩阵
正交矩阵满足 \(Q^TQ=I\)。它与对称矩阵并非同一概念，但在正交对角化中扮演关键角色。对称矩阵常可由正交矩阵变换到对角形式，而正交矩阵则体现了保持长度和角度不变的变换结构。
9.4 单位矩阵
单位矩阵是主对角线全为 1、其余元素全为 0 的矩阵。它既是对角矩阵，也是对称矩阵，同时还是矩阵乘法中的单位元。作为最基本的矩阵之一，它经常作为对称矩阵理论中的参照对象。
10 扩展内容
对称矩阵的思想并不局限于有限维矩阵，还可以推广到更一般的数学对象中。
10.1 无限维情形的类比
在无限维空间中，对称矩阵的角色常由某些线性算子来承担。虽然对象形式不同，但“对称”这一概念仍体现为某种双线性形式或内积关系的对称性。许多有限维结论在适当条件下可推广到无限维分析中。
10.2 对称算子
对称算子是泛函分析中的重要概念，可视为对称矩阵在抽象空间中的对应物。它们在定义域、内积与谱性质方面更为复杂，但核心思想依然是“自身与转置或伴随一致”。对称算子在微分方程和量子理论中有广泛应用。
10.3 对称张量的联系
对称矩阵可以看作二阶对称张量在某一基下的表示。更一般地，对称张量要求其指标在任意交换下保持不变。由矩阵到张量的推广，使“对称”从二维表格结构扩展到更高阶的多线性对象，为几何与物理建模提供了统一语言。