欧几里得空间——度量矩阵

最新推荐文章于 2025-03-30 10:39:06 发布

橘子蜂蜜

最新推荐文章于 2025-03-30 10:39:06 发布

阅读量3.8w

点赞数 16

分类专栏：高等代数

本文链接：https://blog.csdn.net/qq_45011547/article/details/91126133

版权

高等代数专栏收录该内容

19 篇文章

订阅专栏

设V一个n维欧几里得空间，在V中取一组基 $\varepsilon _1,\varepsilon _2,...,\varepsilon _n,$ 对V中任意两个向量 $\alpha =x_1\varepsilon _1+x_2\varepsilon _2+...+x_n\varepsilon _n,$ $\beta =y_1\varepsilon _1+y_2\varepsilon _2+...+y_n\varepsilon _n,$ 由内积的性质得 $(\alpha ,\beta )=(x_1\varepsilon _1+x_2\varepsilon _2+...+x_n\varepsilon _n,y_1\varepsilon _1+y_2\varepsilon _2+...+y_n\varepsilon _n)=\sum_{i=1}^{n}\sum_{j=1}^{n}(\varepsilon _i,\varepsilon _j)x_iy_j.$ 令 $a_{ij}=(\varepsilon _i,\varepsilon _j)(i,j=1,2,...,n),$ 显然 $a_{ij}=a_{ji}.$ 于是 $(\alpha ,\beta )=\sum_{i=1}^{n}\sum_{j=1}^{n}a_{ij}x_iy_j.$ 利用矩阵， $(\alpha ,\beta )$ 还可以写成 $(\alpha ,\beta )=X'AY,$ 其中 $X=\left(\begin{matrix}x_1\\ x_2\\ \vdots \\ x_n \end{matrix} \right ) Y=\left(\begin{matrix}y_1\\ y_2\\ \vdots \\ y_n \end{matrix} \right )$ 分别是 $\alpha ,\beta$ 的坐标，而矩阵 $A=(a_{ij})_{nn}$ 称为基 $\varepsilon _1,\varepsilon _2,...,\varepsilon _n$ 的度量矩阵，因而度量矩阵完全确定了内积，即 $(\alpha ,\beta )=X'AY.$

不同基的度量矩阵是合同的

设 $\eta _1,\eta _2,...,\eta _n$ 是空间V的另外一组基，而由 $\varepsilon _1,\varepsilon _2,...,\varepsilon _n$ 到 $\eta _1,\eta _2,...,\eta _n$ 的过渡矩阵为C，即 $(\eta _1,\eta _2,...,\eta _n)=(\varepsilon _1,\varepsilon _2,...,\varepsilon _n)C.$ 于是不难看出，基 $\eta _1,\eta _2,...,\eta _n$ 的度量矩阵 $B=(b_{ij})=(\eta _i,\eta _j)=C'AC.$

度量矩阵是正定的

对于非零向量 $\alpha$ 即 $X\neq \left(\begin{matrix} 0\\ 0\\ \vdots \\ 0\end{matrix} \right ),$ 即 $(\alpha ,\alpha )=X'AX>0,$

反之，给定一个n级正定矩阵A及n维实线性空间V的一组基 $\varepsilon _1,\varepsilon _2,...,\varepsilon _n$ 可以规定V上内积，使它成为欧几里得空间，并且基 $\varepsilon _1,\varepsilon _2,...,\varepsilon _n$ 的度量矩阵为A.

欧几里得空间的子空间在所定义的内积之下仍是一个欧几里得空间。

欧几里得空间还简称欧氏空间。