设V一个n维欧几里得空间,在V中取一组基对V中任意两个向量
由内积的性质得
令
显然
于是
利用矩阵,
还可以写成
其中
分别是
的坐标,而矩阵
称为基
的度量矩阵,因而度量矩阵完全确定了内积,即
不同基的度量矩阵是合同的
设是空间V的另外一组基,而由
到
的过渡矩阵为C,即
于是不难看出,基
的度量矩阵
度量矩阵是正定的
对于非零向量即
即
反之,给定一个n级正定矩阵A及n维实线性空间V的一组基可以规定V上内积,使它成为欧几里得空间,并且基
的度量矩阵为A.
欧几里得空间的子空间在所定义的内积之下仍是一个欧几里得空间。
欧几里得空间还简称欧氏空间。