第六章带度量的线性空间 6-1欧几里得空间 设f是实线性空间V上的一个正定、对称的双线性函数,则Va,B∈V,(a,): f(a,B)称为向量a与B的内积;具有内积的实线性空间称为欧几里得空间(简称欧氏空 间) 对任意α∈V,定义 lalv(a,a) 为向量a的长度或模.|a|=1时,称a为单位向量 命题1.1(柯西-布尼雅可夫斯基不等式)对欧氏空间V内任意两个向量a,,有

3.1消元法 a1x+a12x2+…+anxn=b 对一般线性方程组{a21x+a2x2++a2nx(1) amxr +am2x2++. 当m=n,且系数行列式D≠0时,我们知方程组(1)有唯一解, 其解由 Gramer法则给出。但是若此时D=0,我们无法知道此时 方程组是有解,还是无解。同时,当m≠n时,我们也没有解 此方程组(1)的有效方法。因此我们有必要对一般线性方程

1.正交变换 设V是n维欧氏空间,A是V内一个线性变换.如果对任意a,B∈V都有

命题在同构意义下张量积满足交换律、结合律以及与直和的分配律,即 VOV= V1(2V3)=(V1V2)V3 V1(2V3)=(V1V2)⊕(VV3) 证明利用张量积的定义性质。 12.2.2线性变换的张量积的定义 定义12.5线性变换的张量积 设V1,V2为K线性空间,A为V1上的线性变换,B为V2上的线性变换。定义A和 B的张量积(记为AB)为V1V2上的线性变换: AB:V1V2→V1V2

设f是实线性空间V上的一个正定、对称的双线性函数,则Va,B∈V,(a,): f(a,B)称为向量a与B的内积;具有内积的实线性空间称为欧几里得空间(简称欧氏空 间) 对任意α∈V,定义

6-1欧几里得空间 设f是实线性空间V上的一个正定、对称的双线性函数,则Va,B∈V,(a,): f(a,B)称为向量a与B的内积;具有内积的实线性空间称为欧几里得空间(简称欧氏空 间) 对任意α∈V,定义

定义1设V是数域P上的一个线性空间,f是V到P的一个映射,如果f 满足 1)f(a+)=f(a)+f() 2) f(ka)=(a), 式中a,B是V中任意元素,k是P中任意数,则称f为V上的一个线性函数 从定义可推出线性函数的以下简单性质:

设V是复线性空间.VV上的一个函数(,·),如果满足: (i)(,)对第一个变量是线性的; (ii)(a,)=(B,a); (iii)a∈v,(a,a)≥0,且(a,a)=0a=0

5.1.3线性空间上的对称双线性函数、二次型函数的定义 定义若f为V上的双线性函数且f(a,B)=f(B,a),则称f为V上的对称双线性函数

定义9欧氏空间V的线性变换A叫做一个正交变换如果它保持向量的内积 不变,即对任意的,都有a,B∈V,都有 (Aa, AB)=(a, B)