高等代数 具有度量的线性空间(第10章)2 实内积空间

一.实线性空间中内积的概念(10.2)
1.实线性空间中的正定性

(1)定义:

(2)充要条件:

命题1:设$f$是$n$维实线性空间$V$上的1个对称双线性函数,$f$在$V$的1个基${\alpha }_1...{\alpha }_n$下的度量矩阵是$A$,则$f$是正定的当且仅当$A$是正定矩阵

(3)正定的对称双线性函数的性质:

命题2:设$f$是$n$维实线性空间$V$上的1个正定的对称双线性函数,则$V$中存在1个基${\eta }_1...{\eta }_n$,使得$f$在此基下的度量矩阵为$I$,从而$f$在此基下的表达式为$$f(\alpha ,\beta )=x_1{y}_1+...+x_n{y}_n(1)$$其中$\alpha =\sum _{i=1}^n{x}_i{\eta }_i,\beta =\sum _{i=1}^n{y}_i{\eta }_i$

2.实线性空间中的内积

(1)实线性空间中的内积:

(2)实内积空间:

(3)示例:


二.实内积空间中的度量概念(10.2)

1.实内积空间中的长度:

2.实内积空间中的角度
(1)柯西-施瓦茨不等式:

定理1(Cauchy(-Buniakowsky)-Schwarz Inequality):在实内积空间$V$中,对于任意向量$\alpha ,\beta$,有等号成立当且仅当$\alpha ,\beta$线性相关

推论1:对于任意2组实数$a_1...a_n$与$b_1...b_n$,有$$|a_1{b}_1+...+a_n{b}_n|\le \sqrt{a_1^2+...a_n^2}\sqrt{b_1^2+...+b_n^2}(8)$$等号成立当且仅当$(a_1,a_2...a_n)$与$(b_1,b_2...b_n)$线性相关,$(8)$式是柯西表达式(Cauchy Inequality)

推论2:对$\forall f,g\in C[a,b]$,有$$|{\int }_a^{b}f(x)g(x)dx|\le [{\int }_a^b{f}^2(x)dx{]}^{\frac{1}{2}}[{\int }_a^b{g}^2(x)dx{]}^{\frac{1}{2}}(9)$$等号成立当且仅当$f$与$g$线性无关,$(9)$式是施瓦茨不等式(Schwarz Inequality)

(2)实内积空间中的角度:

(3)实内积空间中的正交:

(4)柯西-施瓦茨不等式的其他推论:

推论3:在实内积空间$V$中,三角不等式成立,即对$\forall \alpha ,\beta \in V$,有$$|\alpha +\beta |\le |\alpha |+|\beta |(13)$$

推论4:在实内积空间$V$中,勾股定理成立,即如果$\alpha$与$\beta$正交,那么$$|\alpha +\beta {|}^2=|\alpha {|}^2+|\beta {|}^2(14)$$

推论5:在实内积空间$V$中,余弦定理成立,即设3个非零向量$\alpha ,\beta ,\gamma$满足$\gamma =\beta -\alpha$,则$$|\gamma {|}^2=|\alpha {|}^2+|\beta {|}^2-2|\alpha ||\beta |\cos <\alpha ,\beta >(16)$$

3.实内积空间中的距离
(1)定义:


(2)可以利用模定义1个度量空间:

命题3:在实内积空间$V$中,对于$\forall \alpha ,\beta \in V$,令$$d(\alpha ,\beta ):=|\alpha -\beta |(17)$$则$d$是1个距离,从而$V$对于$d$成为1个度量空间

三.欧几里得空间中的标准正交基(10.2)
1.向量间的关系:

命题4:在实内积空间$V$中,由两两正交的非零向量组成的集合是线性无关的

推论1:在$n$维欧几里得空间$V$中,彼此正交的非零向量的个数不超过$n$

2.标准正交基
(1)概念:

(2)标准正交基的存在性与求解:

推论1:$n$维欧几里得空间$V$一定有标准正交基

3.度量矩阵:

4.采用标准正交基的优点

在$n$维欧几里得空间$V$中采用标准正交基有下列优点

(1)可简化内积的计算:

命题5:在$n$维欧几里得空间$V$中,
\quad 基${\eta }_1,{\eta }_2...{\eta }_n$是$V$的1个标准正交基
$\iff ({\eta }_i,{\eta }_j)={\delta }_{ij}(i,j=1,2...n)$
$\iff$基${\eta }_1,{\eta }_2...{\eta }_n$的度量矩阵是$I$
$\iff$内积在基${\eta }_1,{\eta }_2...{\eta }_n$下的表达式为$(\alpha ,\beta )=x^{\prime }y=x_1{y}_1+x_2{y}_2+...+x_n{y}_n$,其中$x=(x_1,x_2...x_n{)}^{\prime },y=(y_1,y_2...y_n{)}^{\prime }$是$\alpha ,\beta$在基${\eta }_1,{\eta }_2...{\eta }_n$下的坐标

(2)可利用内积求向量的坐标:

命题6:设${\eta }_1,{\eta }_2...{\eta }_n$是$n$维欧几里得空间$V$的1个标准正交基,则对于$\forall \alpha \in V$,有$$\alpha =\sum _{i=1}^n(\alpha ,{\eta }_i){\eta }_i(22)$$即$\alpha$在标准正交基${\eta }_1,{\eta }_2...{\eta }_n$下的坐标的第$i$个分量等于$(\alpha ,{\eta }_i)(i=1,2...n)$

5.标准正交基间的关系:

命题7:设${\eta }_1,{\eta }_2...{\eta }_n$是$n$维欧几里得空间$V$的1个标准正交基,$$({\beta }_1,{\beta }_2...{\beta }_n)=({\eta }_1,{\eta }_2...{\eta }_n)P(23)$$则${\beta }_1,{\beta }_2...{\beta }_n$是$V$的标准正交基当且仅当$P$是正交矩阵

四.实内积空间的同构(10.2)

1.概念:

2.判定:

定理2:2个欧几里得空间同构的充要条件是它们的维数相同


推论1:设$V$是$n$维欧几里得空间,则$V$上的线性变换$\sigma$是保距同构当且仅当$\sigma$把$V$的标准正交基映成标准正交基

定理4:设$V,V^{\prime }$都是实内积空间,如果存在$V$到$V^{\prime }$的1个满射$\sigma$保持向量的内积不变,那么$\sigma$是$V$到$V^{\prime }$的1个保距同构,从而$V$与$V^{\prime }$同构

推论1:设$V,V^{\prime }$都是$n$维欧几里得空间,如果$V$到$V^{\prime }$的1个映射$\sigma$保持向量的内积不变,那么$\sigma$是$V$到$V^{\prime }$的1个保距同构,从而$V$与$V^{\prime }$同构

3.性质:

定理3:设$V,V^{\prime }$都是实内积空间,如果存在$V$到$V^{\prime }$的1个映射$\sigma$保持向量的内积不变,则对$\forall \alpha ,\beta \in V$,有$$(\sigma (\alpha ),\sigma (\beta ))=(\alpha ,\beta )$$那么①$\sigma$保持向量的长度不变
    \quad\:\:\: ②$\sigma$是$V$到$V^{\prime }$的1个线性映射
    \quad\:\:\: ③$\sigma$是单射