Mercer's theorem

格拉姆矩阵是半正定的，反之每个半正定矩阵是某些向量的格拉姆矩阵。这组向量一般不是惟一的：任何正交基的格拉姆矩阵是单位矩阵。 这个命题无穷维类比是Mercer定理（英语：Mercer's theorem））。 在一个由可逆矩阵 P 表示的基变换下，格拉姆矩阵是用 P 做一个矩阵合同变为 PTGP。 格拉姆行列式（Gram determinant

over half a century before Gauss. Gauss's theorem（英语：Gauss's theorem）: first proved（英语：Divergence theorem#History） by Ostrogradsky（英语：Ostrogradsky）