北京大学:《高等代数》课程教学资源(讲义)第六章 带度量的线性空间(6.2)欧氏空间中特殊的线性变换(续)

第二学期第五次课 第六章§2欧氏空间中特殊的线性变换(续) 命题正交矩阵的特征多项式的根的绝对值等于1 证明设∈C是正交矩阵A的特征多项式的根,则A≠0.齐次线性方程组(λE-A)X=0 在C"内有非零解向量 aI 显然Aa=4a→a'4'=Ac'→a'A=a→aAa=Aaa=aa→2=1从而 A|=1 推论正交矩阵的特征值只能是±1 命题设A是n维欧氏空间V上的正交变换,若A的特征多项式有一个根 1=e=cosq+ I SIn p,则在V内存在互相正交的单位向量n,72,使得 An1=cosq·nh-snq:n2, An2=snq·h+cosq·2 证明见课本22-23页 命题n维欧氏空间V上的正交变换A的不变子空间M的正交补M仍是不变子空间 证明取V的一组标准正交基E1,E2…,sn,使E1,E2…,E1是M的标准正交基,而 E,1,E12…,En是M的标准正交基,由As1,…,AEn仍是V的标准正交基,及 AE∈M(i=1,2,…r)可知As;∈M-(j=r+1,…,n).于是M4仍是不变子空间 定理设A是n维欧氏空间V上的正交变换,则A在V的某组标准正交基下的矩阵呈准 对角形,其主对角线由±1和如下的二阶子阵组成: cOS pp 1 Sin pi cos pi 证明对n做数学归纳法
第二学期第五次课 第六章 §2 欧氏空间中特殊的线性变换(续) 命题 正交矩阵的特征多项式的根的绝对值等于 1. 证明 设 C 是正交矩阵 A 的特征多项式的根,则 0.齐次线性方程组( E-A)X=0 在 C n 内有非零解向量 = n a a 1 显然 A = A = = 1 A = = 1 A =1 从而 | |=1. 推论 正交矩阵的特征值只能是 1. 命题 设 A 是 n 维欧氏空间 V 上的正交变换,若 A 的特征多项式有一个根 0 = e i = cos + isin ,则在 V 内存在互相正交的单位向量 1 2 , ,使得 A cos sin , 1 1 2 = − A sin cos . 2 1 2 = + 证明见课本 22-23 页. 命题 n 维欧氏空间 V 上的正交变换 A 的不变子空间 M 的正交补 ⊥ M 仍是不变子空间. 证明 取 V 的一组标准正交基 1 2 n , ,, ,使 1 2 r , ,, 是 M 的标准正交基,而 r 1 r 2 n , ,, + + 是 ⊥ M 的标准正交基.由 A 1 ,…,A n 仍是 V 的标准正交基,及 A i M (i=1,2,…r) 可知 A ⊥ j M (j=r+1,…,n).于是 ⊥ M 仍是不变子空间. 定理 设 A 是 n 维欧氏空间 V 上的正交变换,则 A 在 V 的某组标准正交基下的矩阵呈准 对角形,其主对角线由 1 和如下的二阶子阵组成: . sin cos cos sin − i i i i 证明 对 n 做数学归纳法
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 北京大学:《高等代数》课程教学资源(讲义)第六章 带度量的线性空间(6.2)欧氏空间中特殊的线性变换.doc
- 北京大学:《高等代数》课程教学资源(讲义)第六章 带度量的线性空间(6.1)欧几里得空间.doc
- 北京大学:《高等代数》课程教学资源(讲义)第五章 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
- 北京大学:《高等代数》课程教学资源(讲义)第六章 带度量的线性空间(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
- 北京大学:《高等代数》课程教学资源(讲义)第十二章 张量积与外代数 12.2.3 一元多项式的判别式的定义 12.3 结式 12.3.1 两个一元多项式的结式的定义.doc
- 北京大学:《高等代数》课程教学资源(讲义)第十二章 张量积与外代数 12.3.2 用一个多项式的根和另一个多项式计算结式的公式 12.3.3 用一个多项式与它的微商的结式表达该多项式的判别式.doc