對稱矩陣

维基百科,自由的百科全书
跳转至: 导航搜索
线性代数
\mathbf{A} = \begin{bmatrix}
1 & 2 \\
3 & 4 \end{bmatrix}
向量 · 矩阵  · 行列式  · 线性空间

線性代數中,對稱矩陣是一個方形矩陣,其轉置矩陣和自身相等。

A = A^{\textrm{T}} , \,\!

對稱矩陣中的右上至左下方向元素以主對角線(左上至右下)為軸進行對稱。若將其寫作A = (a_{ij}),則:

a_{ij} = a_{ji} \,\!

ij對等時。下列是3×3的對稱矩陣:

\begin{bmatrix}
1 & 2 & 3\\
2 & 4 & -5\\
3 & -5 & 6\end{bmatrix}

下列是斜對稱矩陣(又称反对称矩阵):

\begin{bmatrix}
0 & -3 & 4\\
3 & 0 & -5\\
-4 & 5 & 0\end{bmatrix}

例子[编辑]


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

特性[编辑]

  • 對於任何方形矩陣XX+X^T是對稱矩陣。
  • A方形矩陣A為對稱矩陣的必要條件。
  • 對角矩陣都是對稱矩陣。
  • 兩個對稱矩陣的積是對稱矩陣,若且唯若兩者的乘法交換。兩個實對稱矩陣乘法可交換若且唯若兩者的特徵空間相同。
  • 用<,>表示R^n上的內積n \times n的實矩陣A是對稱的,若且唯若對於所有x,y\in\Bbb{R}^n\langle Ax,y \rangle = \langle x, Ay\rangle
  • 任何方形矩陣X,如果它的元素屬於一個特徵值不為2的域(例如實數),可以用剛好一種方法寫成一個對稱矩陣和一個斜對稱矩陣之和:
X = \frac{1}{2}(X+X^T)+\frac{1}{2}(X-X^T)
  • 每個實方形矩陣都可寫作兩個實對稱矩陣的積,每個複方形矩陣都可寫作兩個複對稱矩陣的積。
  • 若對稱矩陣A的每個元素均為實數,AHermite矩陣
  • 一個矩陣同時為對稱矩陣及斜對稱矩陣若且唯若所有元素都是零。
  • 如果X是對稱矩陣,那麼 AXA^\textrm{T} 也是對稱矩陣.

分解[编辑]

利用若尔当标准形,我们可以证明每一个实方阵都可以写成两个实对称矩阵的乘积,而每一个复方阵都可以写成两个复对称矩阵的乘积。(Bosch, 1986)

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

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

黑塞矩阵[编辑]

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

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

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.

可对称化矩阵的转置也是可对称化的,因为(DS)^T = DD^{-1}SD。矩阵A = [a_{jk}]是可对称化的,当且仅当满足以下的条件:

  1. 如果a_{ij} = 0,那么a_{ji} = 0
  2. 对于任何有限序列i_1, i_2, ..., i_k,都有a_{i_1i_2} a_{i_2i_3}...a_{i_ki_1} = a_{i_2i_1} a_{i_3i_2}...a_{i_1i_k}

与不等式的关系[编辑]

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


\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}

当且仅当


\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}

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


\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

成立。

参见[编辑]

参考文献[编辑]

  • A. J. Bosch. The factorization of a square matrix into two symmetric matrices. American Mathematical Monthly. 1986, 93: 462–464. doi:10.2307/2323471.