跳转到内容

格拉姆矩阵

维基百科,自由的百科全书

线性代数中,内积空间中一族向量 格拉姆矩阵Gramian matrix、Gram matrix 或 Gramian)是内积埃尔米特矩阵,其元素由 给出。

一个重要的应用是计算線性獨立:一組向量彼此線性獨立当且仅当格拉姆行列式(格拉姆矩阵的行列式)不等于零。

格拉姆矩阵以丹麦数学家约尔根·佩尔森·格拉姆英语Jørgen Pedersen Gram命名。

例子

[编辑]

最常见地,向量是欧几里得空间中元素,或 L2 空间中函数,比如闭区间 [ab] 上的连续函数(是 L 2([ab])的子集)。

给定区间 上的数值函数 ,格拉姆矩阵,由函数的标准内积给出:

给定一个实矩阵 A,矩阵 ATAA 的列向量的格拉姆矩阵,而矩阵 AATA 的行向量的格拉姆矩阵。

对一般任何上的有限维向量空间上的双线性形式 B,我们可对一组向量 定义一个格拉姆矩阵 G 。如果双线性形式 B 对称则该格拉姆矩阵对称。

应用

[编辑]

性质

[编辑]

半正定

[编辑]

格拉姆矩阵是半正定的,反之每个半正定矩阵是某些向量的格拉姆矩阵。这组向量一般不是惟一的:任何正交基的格拉姆矩阵是单位矩阵。

这个命题无穷维类比是Mercer定理英语Mercer's theorem)。

基变换

[编辑]

在一个由可逆矩阵 P 表示的基变换下,格拉姆矩阵是用 P 做一个矩阵合同变为 PTGP

格拉姆行列式

[编辑]

格拉姆行列式Gram determinant 或 Gramian)是格拉姆矩阵的行列式:

在几何上,格拉姆行列式是这些向量形成的平行多面体的体积之平方。特别地,这些向量线性无关当且仅当格拉姆行列式不为零(当且仅当格拉姆矩阵非奇异)。

外部链接

[编辑]
  • Jamshidian; Bentler, Applied Psychological Measurement 18: 79 – 94, 1993