对称矩阵

${\displaystyle {\begin{bmatrix}a&b&c\\b&d&e\\c&e&f\end{bmatrix}},{\begin{bmatrix}1&5\\5&7\end{bmatrix}},}$  ${\displaystyle {\begin{bmatrix}1&3&0\\3&1&6\\0&6&1\end{bmatrix}},{\begin{bmatrix}a&b\\b&c\end{bmatrix}},{\begin{bmatrix}2\end{bmatrix}}}$ 

• 对于任何方形矩阵${\displaystyle X}$ ，${\displaystyle X+X^{T}}$ 是对称矩阵。
• ${\displaystyle A}$ 为方形矩阵是${\displaystyle A}$ 为对称矩阵的必要条件，即对称矩阵行数必等于列数。
• 对角矩阵都是对称矩阵。
• 当且仅当两者的乘法可交换（即${\displaystyle AB=BA}$ ）时，两个对称矩阵的积（${\displaystyle AB}$ ）是对称矩阵。两个实对称矩阵乘法可交换当且仅当两者的特征空间相同。^{[来源请求]}
• 任何方形矩阵${\displaystyle X}$ ，如果它的元素属于一个特征不为2的域（例如实数），可以用刚好一种方法写成一个对称矩阵和一个斜对称矩阵之和：

${\displaystyle X={\frac {1}{2}}(X+X^{T})+{\frac {1}{2}}(X-X^{T})}$ 

• 每个实方形矩阵都可写作两个实对称矩阵的积，每个复方形矩阵都可写作两个复对称矩阵的积。
• 若对称矩阵${\displaystyle A}$ 的每个元素均为实数，${\displaystyle A}$ 是实对称矩阵。
• 一个矩阵同时为对称矩阵及斜对称矩阵当且仅当所有元素都是零。
• 如果X是对称矩阵，那么 ${\displaystyle AXA^{\textrm {T}}}$  也是对称矩阵.

利用若尔当标准形，我们可以证明每一个实方阵都可以写成两个实对称矩阵的乘积，而每一个复方阵都可以写成两个复对称矩阵的乘积。^[1]

每一个实非奇异矩阵都可以唯一分解成一个正交矩阵和一个对称正定矩阵的乘积，这称为极分解。奇异矩阵也可以分解，但不是唯一的。

Cholesky分解说明每一个实正定对称矩阵都是一个上三角矩阵和它的转置的乘积。

实对称矩阵是一个元素都为实数的对称矩阵，用<,>表示${\displaystyle R^{n}}$ 上的内积。${\displaystyle n\times n}$ 的实矩阵${\displaystyle A}$ 是对称的，当且仅当对于所有${\displaystyle x,y\in \mathbb {R} ^{n}}$ ，

${\displaystyle \langle Ax,y\rangle =\langle x,Ay\rangle }$ 。

实对称矩阵有以下的性质：

• 实对称矩阵A的不同特征值所对应的特征向量是正交的。
• 实对称矩阵A的特征值都是实数，特征向量都是实向量。
• n阶实对称矩阵A必可对角化。
• 可用正交矩阵对角化。
• K重特征值必有K个线性无关的特征向量，或者说必有秩r(λE-A)=n-k。

实对称n × n矩阵出现在二阶连续可微的n元函数的黑塞矩阵之中。

Rⁿ上的每一个二次型q都可以唯一写成q(x) = x^TAx的形式，其中A是对称的n × n矩阵。于是，根据谱定理，可以说每一个二次型，不考虑Rⁿ的正交基的选择，“看起来像”：

${\displaystyle q(x_{1},\ldots ,x_{n})=\sum _{i=1}^{n}\lambda _{i}x_{i}^{2}}$ 

其中λ_i是实数。这大大简化了二次型的研究，以及水平集{x : q(x) = 1}的研究，它们是圆锥曲线的推广。

这是很重要的，部分是由于每一个光滑的多元函数的二阶表现，都由属于该函数的黑塞矩阵的二次型描述；这是泰勒定理的一个结果。

矩阵A称为可对称化的，如果存在一个可逆对角矩阵D和一个对称矩阵S，使得：

A = DS.

可对称化矩阵的转置也是可对称化的，因为${\displaystyle (DS)^{T}=SD=D^{-1}DSD}$ ，而${\displaystyle DSD}$ 是对称的。

当且仅当${\displaystyle A=[a_{jk}]}$ 满足以下的条件时，矩阵可对称化：

1. 如果${\displaystyle a_{ij}=0}$ ，那么${\displaystyle a_{ji}=0}$ ；
2. 对于任何有限序列${\displaystyle i_{1},i_{2},...,i_{k}}$ ，都有${\displaystyle a_{i_{1}i_{2}}a_{i_{2}i_{3}}...a_{i_{k}i_{1}}=a_{i_{2}i_{1}}a_{i_{3}i_{2}}...a_{i_{1}i_{k}}}$ 。

对称阵 Z 分解为3行3列:

${\displaystyle {\begin{bmatrix}Z_{11}&Z_{12}&Z_{13}\\Z_{12}^{T}&Z_{22}&Z_{23}\\Z_{13}^{T}&Z_{23}^{T}&Z_{33}\end{bmatrix}}}$ 

当且仅当

${\displaystyle {\begin{bmatrix}Z_{11}&Z_{12}\\Z_{12}^{T}&Z_{22}\end{bmatrix}},{\begin{bmatrix}Z_{11}&Z_{13}\\Z_{13}^{T}&Z_{33}\end{bmatrix}}}$ 

时, 存在 ${\displaystyle X=Z_{13}^{T}Z_{11}^{-1}Z_{12}-Z_{23}^{T}}$ , 使得

${\displaystyle {\begin{bmatrix}Z_{11}&Z_{12}&Z_{13}\\Z_{12}^{T}&Z_{22}&Z_{23}+X^{T}\\Z_{13}^{T}&Z_{23}^{T}+X&Z_{33}\end{bmatrix}}<0}$ 

成立。

• 反对称阵
• 循环矩阵
• 汉克尔矩阵
• 特普利茨矩阵
• 中心对称矩阵
• 希尔伯特矩阵
• 考克斯特矩阵
• 协方差矩阵