格拉姆矩阵 合同矩阵

https://baike.baidu.com/item/格拉姆矩阵/16274086

https://en.wikipedia.org/wiki/Gramian_matrix

https://en.wikipedia.org/wiki/Matrix_congruence

https://en.wikipedia.org/wiki/Congruence_relation

在线性代数中，内积空间中一族向量 的格拉姆矩阵（Gramian matrix 或 Gram matrix, Gramian）是内积的对称矩阵，其元素由 给出。

一个重要的应用是计算线性无关：一族向量线性无关当且仅当格拉姆行列式（格拉姆矩阵的行列式）不等于零。

给定一个实矩阵 A，矩阵 A^TA 是 A 的列向量的格拉姆矩阵，而矩阵 AA^T 是 A 的行向量的格拉姆矩阵。

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

 格拉姆行列式（Gram determinant 或 Gramian）是格拉姆矩阵的行列式：

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