线性代数
|

|
向量 · 向量空间 · 基底 · 行列式 · 矩阵
|
|
|
在線性代數中,對稱矩陣(英語:symmetric matrix)指轉置矩陣和自身相等方形矩陣。

對稱矩陣中的右上至左下方向元素以主對角線(左上至右下)為軸進行對稱。若將其寫作
,則对所有的i和j,

下列是3×3的對稱矩陣:

- 對於任何方形矩陣
,
是對稱矩陣。
為方形矩陣是
為對稱矩陣的必要條件,即對稱矩陣行數必等於列數。
- 對角矩陣都是對稱矩陣。
- 若且唯若兩者的乘法可交換(即
)時,兩個對稱矩陣的積(
)是對稱矩陣。兩個實對稱矩陣乘法可交換若且唯若兩者的特徵空間相同。[來源請求]
- 任何方形矩陣
,如果它的元素屬於一個特徵不為2的域(例如實數),可以用剛好一種方法寫成一個對稱矩陣和一個斜對稱矩陣之和:

- 每個實方形矩陣都可寫作兩個實對稱矩陣的積,每個複方形矩陣都可寫作兩個複對稱矩陣的積。
- 若對稱矩陣
的每個元素均為實數,
是實對稱矩陣。
- 一個矩陣同時為對稱矩陣及斜對稱矩陣若且唯若所有元素都是零。
- 如果X是對稱矩陣,那麼
也是對稱矩陣.
利用若尔当标准形,我们可以证明每一个实方阵都可以写成两个实对称矩阵的乘积,而每一个复方阵都可以写成两个复对称矩阵的乘积。[1]
每一个实非奇异矩阵都可以唯一分解成一个正交矩阵和一个对称正定矩阵的乘积,这称为极分解。奇异矩阵也可以分解,但不是唯一的。
Cholesky分解说明每一个实正定对称矩阵都是一个上三角矩阵和它的转置的乘积。
实對稱矩陣是一個元素都为实数的对称矩陣,用<,>表示
上的內積。
的實矩陣
是對稱的,若且唯若對於所有
,
。
实對稱矩陣有以下的性质:
- 实对称矩阵A的不同特征值所对应的特征向量是正交的。
- 实对称矩阵A的特征值都是实数,特征向量都是实向量。
- n阶实对称矩阵A必可对角化。
- 可用正交矩阵对角化。
- K重特征值必有K个线性无关的特征向量,或者说必有秩r(λE-A)=n-k。
实对称n × n矩阵出现在二阶连续可微的n元函数的黑塞矩阵之中。
Rn上的每一个二次型q都可以唯一写成q(x) = xTAx的形式,其中A是对称的n × n矩阵。于是,根据谱定理,可以说每一个二次型,不考虑Rn的正交基的选择,“看起来像”:

其中λi是实数。这大大简化了二次型的研究,以及水平集{x : q(x) = 1}的研究,它们是圆锥曲线的推广。
这是很重要的,部分是由于每一个光滑的多元函数的二阶表现,都由属于该函数的黑塞矩阵的二次型描述;这是泰勒定理的一个结果。
矩阵A称为可对称化的,如果存在一个可逆对角矩阵D和一个对称矩阵S,使得:
- A = DS.
可对称化矩阵的转置也是可对称化的,因为
,而
是对称的。
当且仅当
满足以下的条件时,矩阵可对称化:
- 如果
,那么
;
- 对于任何有限序列
,都有
。
对称阵 Z 分解为3行3列:

当且仅当

时, 存在
, 使得

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