北京大学:《高等代数》课程教学资源(讲义)第六章 带度量的线性空间(6.1)欧几里得空间

第二学期第三次课 第六章带度量的线性空间 §1欧几里得空间 设f是实线性空间V上的一个正定、对称的双线性函数,则 Va,B∈V,(a,B):=f(a,B)称为向量a与B的内积:具有内积的实线性空间称为欧几里 得空间(简称欧氏空间) 对任意a∈V,定义 x=√a,a) 为向量a的长度或模.|a=1时,称a为单位向量 命题1.1(柯西-布尼雅可夫斯基不等式)对欧氏空间V内任意两个向量a,B,有 (a,B)图a|·|B 证明(a+tB,a+tB)≥0对任意t∈R成立,而 (a+t B, a+t B)=(B, B)t+2t(a, B)+(a, a) △=4(a,B)2-4(a,aB,B)≤0,故|ax,B)图a|-|B 由命题1.1可定义二向量a与B的夹角 =arccos la BI 如果(a,B)=0,则称a与B正交 设E1,E2…,En是n维欧氏空间V的一组基.令 (1,1)(E1,E2) G E1)(E2,E2)…(E2,En) (En,E)(E,E,)..(En, E,) 称G为内积(a,B)在基E,E2…,En下的度量矩阵 G是实正定二次型在这组基下的矩阵,一定是实对称矩阵,并且是正定的 命题1.2设欧氏空间V内s个非零向量a1,a2,…a、两两正交,则它们线性无关 证明假如
第二学期第三次课 第六章 带度量的线性空间 §1 欧几里得空间 设 f 是 实 线 性 空 间 V 上 的 一 个 正 定 、 对 称 的 双 线 性 函 数 , 则 , V, ( , ):= f (, ) 称为向量 与 的内积;具有内积的实线性空间称为欧几里 得空间(简称欧氏空间); 对任意 V, 定义 | |= (,) 为向量 的长度或模.| |=1 时,称 为单位向量. 命题 1.1(柯西-布尼雅可夫斯基不等式) 对欧氏空间 V 内任意两个向量 , ,有 | (, )|| | | | 证明 ( +t , +t ) 0 对任意 t R 成立,而 ( +t , +t )=( , )t 2 +2t( , )+ (,) 4( , ) 4( , )( , ) 0 2 = − ,故 | (, )|| | | | 由命题 1.1 可定义二向量 与 的夹角 = | | | | ( , ) arccos 如果( , )=0,则称 与 正交. 设 1 2 n , ,, 是 n 维欧氏空间 V 的一组基.令 = ( , ) ( , ) ( , ) ( , ) ( , ) ( , ) ( , ) ( , ) ( , ) 1 2 2 1 2 2 2 1 1 1 2 1 n n n n n n G 称 G 为内积( , )在基 1 2 n , ,, 下的度量矩阵. G 是实正定二次型在这组基下的矩阵,一定是实对称矩阵,并且是正定的. 命题 1.2 设欧氏空间 V 内 s 个非零向量 1 2 s , , , 两两正交,则它们线性无关. 证明 假如

k1a1+k2a2+…+k,a3=0 两边用a,作内积,得k1=0,(i=1,2,…,s) 如果n维欧氏空间V内有n个两两正交的单位向量E1,E2,…,En,则由命题1.2可知 它们是线性无关的,从而是V的一组基,称为V的一组标准正交基 显然,内积在标准正交基下的度量矩阵是单位矩阵E 设,n2,,7n是V的一组基,内积在此基下的度量矩阵为G.G正定,故存在实可逆 阵T,使TGT=E.现令(E1,E2,,En)=(,2,…,7n)易验证G1,E2…,En就 是一组标准正交基.这说明标准正交基总是存在的 设R上n阶方阵T满足 TT=E 则称T是正交矩阵 命题1.3s,;E2…,En是V的一组标准正交基,令 7,n2…,mn)=(E,E2, 则7,n2,…,nn是一组标准正交基当且仅当T是正交矩阵 证明必要性:内积在不同基下的度量矩阵合同,故 TET=E 即TT=E,T是正交矩阵 充分性:T是正交阵,故可逆,于是,n2…,7n也是一组基.设内积在此基下的 度量矩阵为G,则G=TET=E,从而n,2,…,是标准正交基 命题1.3给出了正交矩阵的一个等价定义:正交矩阵就是两组标准正交基间的过度矩 阵 下面我们介绍标准正交基的求法,这个方法通常叫做施密特( Schmidt)正交化方法 把问题提得一般一些:给定V中一个线性无关的向量组 要求作出一个新向量组 满足
k11 + k2 2 ++ ks s = 0 两边用 i 作内积,得 ki = 0 ,(i=1,2,…,s). 如果 n 维欧氏空间 V 内有 n 个两两正交的单位向量 1 2 n , ,, ,则由命题 1.2 可知 它们是线性无关的,从而是 V 的一组基,称为 V 的一组标准正交基. 显然,内积在标准正交基下的度量矩阵是单位矩阵 E. 设 1,2,,n 是 V 的一组基,内积在此基下的度量矩阵为 G.G 正定,故存在实可逆 阵 T,使 TGT = E.现令( 1 2 n , ,, )=( 1,2,,n )T.易验证 1 2 n , ,, 就 是一组标准正交基.这说明标准正交基总是存在的. 设 R 上 n 阶方阵 T 满足 T T = E 则称 T 是正交矩阵. 命题 1.3 1 2 n , ,, 是 V 的一组标准正交基,令 ( 1,2,,n )=( 1 2 n , ,, )T 则 1,2,,n 是一组标准正交基当且仅当 T 是正交矩阵. 证明 必要性:内积在不同基下的度量矩阵合同,故 T ET = E 即 T T = E ,T 是正交矩阵. 充分性:T 是正交阵,故可逆.于是 1,2,,n 也是一组基.设内积在此基下的 度量矩阵为 G,则 G = T ET = E ,从而 1,2,,n 是标准正交基. 命题 1.3 给出了正交矩阵的一个等价定义:正交矩阵就是两组标准正交基间的过度矩 阵. 下面我们介绍标准正交基的求法,这个方法通常叫做施密特(Schmidt)正交化方法。 把问题提得一般一些:给定 V 中一个线性无关的向量组 1 2 s , , , 要求作出一个新向量组 1 2 s , ,, 满足:

(1)L(E1,E2 )=L(a1,a E2,,E两两正交 具体做法如下 E1,E1 En E (E1,E1)( i+17 E1+1=C1+1 k=l(Ek,EK) Ek E,=a.(a,6) 不难看出E1,E2…,E满足所要求的条件
(1) L( 1 2 i , ,, )=L( 1 2 i , , , ) (2) 1 2 s , ,, 两两正交. 具体做法如下: , ( , ) ( , ) ( , ) ( , ) , ( , ) ( , ) , 2 2 2 3 2 1 1 1 3 1 3 3 1 1 1 2 1 2 2 1 1 = − − = − = − = = + + + = − = − s 1 k 1 k k k s k s s i k 1 k k k i 1 k i 1 i 1 ( , ) ( , ) ( , ) ( , ) 不难看出 1 2 s , ,, 满足所要求的条件
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 北京大学:《高等代数》课程教学资源(讲义)第五章 5.3 实与复二次型的分类(2/2).doc
- 北京大学:《高等代数》课程教学资源(讲义)第五章 5.3 实与复二次型的分类(1/2).doc
- 北京大学:《高等代数》课程教学资源(讲义)第五章 5.1 双线性函数 5.1.3 线性空间上的对称双线性函数、二次型函数的定义 5.2 二次型 5.2.1 数域上的二次型的定义,二次型 5.2.2 二次型化为标准形的计算方法(配方法).doc
- 北京大学:《高等代数》课程教学资源(讲义)第五章 5.1 双线性函数 5.1.1 线性空间上的线性函数的定义 5.1.2 双线性函数.doc
- 北京大学:《高等代数》课程教学资源(讲义)第四章 线性空间与线性变换 4.5 商空间上诱导的线性变换 4.5.1 线性变换在(关于不变子空间的)商空间上的诱导变换的定义.doc
- 北京大学:《高等代数》课程教学资源(讲义)第四章 线性空间与线性变换 4.4 线性变换的特征值与特征向量 4.4.2 关于特征向量与特征子空间的一些性质 4.4.3 线性变换的不变子空间.doc
- 北京大学:《高等代数》课程教学资源(讲义)第四章 线性空间与线性变换 4.4 线性变换的特征值与特征向量 4.4.1 线性变换的特征值与特征向量的定义.doc
- 北京大学:《高等代数》课程教学资源(讲义)第四章 线性空间与线性变换 4.3 线性映射与线性变换 4.3.4 线性变换的定义与运算.doc
- 北京大学:《高等代数》课程教学资源(讲义)第四章 线性空间与线性变换 4.3 线性映射与线性变换 4.3.2 线性映射的运算的定义与性质 4.3.3 线性映射在一组基下的矩阵的定义.doc
- 北京大学:《高等代数》课程教学资源(讲义)第四章 线性空间与线性变换 4.3 线性映射与线性变换 4.3.1 线性映射的定义.doc
- 北京大学:《高等代数》课程教学资源(讲义)第四章 线性空间与线性变换 4.2子空间与商空间 4.2.7 线性空间关于一个子空间的同余关系 4.2.8 商空间的定义,定义的合理性以及商空间的基的选取.doc
- 北京大学:《高等代数》课程教学资源(讲义)第四章 线性空间与线性变换 4.2子空间与商空间 4.2.4 子空间的直和与直和的四个等价定义 4.2.5 直和因子的基与直和的基 4.2.6 补空间的定义及存在性.doc
- 北京大学:《高等代数》课程教学资源(讲义)第四章 线性空间与线性变换 4.2子空间与商空间 4.2.2子空间的交与和,生成元集 4.2.3 维数公式.doc
- 北京大学:《高等代数》课程教学资源(讲义)第四章 线性空间与线性变换 4.1 线性空间的基本概念 4.1.4 线性空间的基变换,基的过渡矩阵 4.2子空间与商空间 4.2.1 线性空间的子空间的定义.doc
- 北京大学:《高等代数》课程教学资源(讲义)第四章 线性空间与线性变换 4.1 线性空间的基本概念 4.1.3 线性空间的基与维数,向量的坐标.doc
- 北京大学:《高等代数》课程教学资源(讲义)第四章 线性空间与线性变换 4.1 线性空间的基本概念 4.1.1-4.1.2.doc
- 北京大学:《高等代数》课程教学资源(讲义)第三章 行列式(3.4)行列式的完全展开式.doc
- 北京大学:《高等代数》课程教学资源(讲义)第三章 行列式(3.3)行列式的初步应用.doc
- 北京大学:《高等代数》课程教学资源(讲义)第三章 行列式(3.2-3.2)2n阶方阵的行列式(2/2).doc
- 北京大学:《高等代数》课程教学资源(讲义)第三章 行列式(3.1-3.2)2n阶方阵的行列式(1/2).doc
- 北京大学:《高等代数》课程教学资源(讲义)第六章 带度量的线性空间(6.2)欧氏空间中特殊的线性变换.doc
- 北京大学:《高等代数》课程教学资源(讲义)第六章 带度量的线性空间(6.2)欧氏空间中特殊的线性变换(续).doc
- 北京大学:《高等代数》课程教学资源(讲义)第六章 带度量的线性空间(6.3)对称变换.doc
- 北京大学:《高等代数》课程教学资源(讲义)第六章 带度量的线性空间(6.3)酉空间(1/2).doc
- 北京大学:《高等代数》课程教学资源(讲义)第六章 带度量的线性空间(6.3)酉空间(2/2).doc
- 北京大学:《高等代数》课程教学资源(讲义)第六章 带度量的线性空间(6.4)四维时空空间与辛空间.doc
- 北京大学:《高等代数》课程教学资源(讲义)第七章 线性变换的Jordan标准型 7.1 幂零线性变换的 Jordan 标准型.doc
- 北京大学:《高等代数》课程教学资源(讲义)第七章 线性变换的Jordan标准型 7.2 一般线性变换的 Jordan标准型(1/2).doc
- 北京大学:《高等代数》课程教学资源(讲义)第七章 线性变换的Jordan标准型 7.2 一般线性变换的 Jordan标准型(2/2).doc
- 北京大学:《高等代数》课程教学资源(讲义)第八章 有理整数环 8.1 有理整数环的基本概念.doc
- 北京大学:《高等代数》课程教学资源(讲义)第八章 有理整数环 8.2 同余式.doc
- 北京大学:《高等代数》课程教学资源(讲义)第八章 有理整数环 8.3 模.doc
- 北京大学:《高等代数》课程教学资源(讲义)第九章 一元多项式环 9.1 一元多项式环的基本理论(9.1.1-9.1.6).doc
- 北京大学:《高等代数》课程教学资源(讲义)第九章 一元多项式环 9.1 一元多项式环的基本理论(9.1.7-9.1.11).doc
- 北京大学:《高等代数》课程教学资源(讲义)第九章 一元多项式环 9.1 一元多项式环的基本理论(9.1.7-9.1.11).doc
- 北京大学:《高等代数》课程教学资源(讲义)第九章 一元多项式环 9.2 C,R,Q 上多项式的因式分解 9.2.1 复数域、实数域上多项式的因式分解.doc
- 北京大学:《高等代数》课程教学资源(讲义)第九章 一元多项式环 9.2 C,R,Q 上多项式的因式分解 9.2.2 Q[ ] x 内多项式的因式分解.doc
- 北京大学:《高等代数》课程教学资源(讲义)第九章 一元多项式环 9.3 实系数多项式根的分布.doc
- 北京大学:《高等代数》课程教学资源(讲义)第九章 一元多项式环 9.4 单变量有理函数域.doc
- 北京大学:《高等代数》课程教学资源(讲义)第十章 10.2.2 定理、牛顿公式.doc