高等代数教案 北大版 第十章
高等代数教案

全套高等代数教案第一章:高等代数概述1.1 高等代数的定义与意义理解高等代数的基本概念了解高等代数在数学及其它领域中的应用1.2 基本术语和符号学习常见的代数运算符掌握基本的代数表达式1.3 基本定理和性质学习线性方程组的解的存在性定理理解线性空间的基本性质第二章:矩阵和行列式2.1 矩阵的基本概念理解矩阵的定义和矩阵元素的意义学习矩阵的运算规则2.2 行列式的定义和性质理解行列式的概念掌握行列式的计算方法2.3 矩阵和行列式的应用学习矩阵在几何中的应用了解矩阵在概率论和统计中的应用第三章:线性方程组3.1 高斯消元法学习高斯消元法的原理和步骤掌握高斯消元法的应用3.2 矩阵的秩理解矩阵秩的概念学习矩阵秩的计算方法3.3 线性方程组的解的结构理解线性方程组解的存在性定理学习线性方程组解的方法第四章:特征值和特征向量4.1 特征值和特征向量的定义理解特征值和特征向量的概念学习特征值和特征向量的计算方法4.2 矩阵的对角化理解矩阵对角化的概念掌握矩阵对角化的方法4.3 特征值和特征向量的应用学习特征值和特征向量在几何中的应用了解特征值和特征向量在物理中的应用第五章:向量空间和线性变换5.1 向量空间的基本概念理解向量空间和子空间的概念学习向量空间的基和维数5.2 线性变换的基本概念理解线性变换的定义和性质学习线性变换的矩阵表示5.3 线性变换的应用学习线性变换在几何中的应用了解线性变换在信号处理中的应用第六章:特征多项式和最小多项式6.1 特征多项式的定义和性质理解特征多项式的概念学习特征多项式的计算方法6.2 最小多项式的定义和性质理解最小多项式的概念掌握最小多项式的计算方法6.3 特征多项式和最小多项式的应用学习特征多项式和最小多项式在矩阵对角化中的应用了解特征多项式和最小多项式在多项式环中的应用第七章:二次型7.1 二次型的定义和基本性质理解二次型的概念学习二次型的标准形和规范形7.2 惯性定理和二次型的分类理解惯性定理的概念学习二次型的分类方法7.3 二次型的应用学习二次型在几何中的应用了解二次型在优化问题中的应用第八章:线性微分方程组8.1 线性微分方程组的定义和性质理解线性微分方程组的概念学习线性微分方程组的解的结构8.2 常系数线性微分方程组的解法学习常系数线性微分方程组的解法掌握常系数线性微分方程组的通解8.3 线性微分方程组的应用学习线性微分方程组在物理学中的应用了解线性微分方程组在经济学中的应用第九章:特征值问题的数值解法9.1 特征值问题的数值解法概述了解特征值问题的数值解法的概念学习特征值问题的数值解法的方法9.2 幂法和反幂法学习幂法和反幂法的原理和步骤掌握幂法和反幂法的应用9.3 稀疏矩阵和迭代法理解稀疏矩阵的概念学习迭代法的原理和步骤第十章:高等代数的进一步研究10.1 向量丛和纤维丛理解向量丛和纤维丛的概念学习向量丛和纤维丛的分类方法10.2 群表示论的基本概念理解群表示论的概念学习群表示论的基本性质10.3 高等代数的其它研究领域了解高等代数在数学物理方程中的应用学习高等代数在和机器学习中的应用重点和难点解析重点环节一:矩阵的秩秩的概念是高等代数中的重要概念,理解秩的计算方法和秩的性质对于后续学习线性变换、矩阵对角化等高级内容至关重要。
高等代数【北大版】课件

线性方程组是求解线性规划问题的常用工具 。
物理问题建模
在物理问题中,线性方程组可以用来描述各 种现象,如振动、波动等。
投入产出分析
通过线性方程组分析经济系统中各部门之间 的相互关系。
控制系统分析
在控制系统分析中,线性方程组用于描述系 统的动态行为。
PART 03
向量与矩阵
REPORTING
高等代数【北大版】 课件
REPORTING
• 绪论 • 线性方程组 • 向量与矩阵 • 多项式 • 特征值与特征向量 • 二次型与矩阵的相似对角化
目录
PART 01
绪论
REPORTING
高等代数的应用
在数学其他分支的应用
高等代数是数学的基础学科,为其他分支提供了理论基础,如几 何学、分析学等。
PART 04
多项式
REPORTING
一元多项式的定义与运算
总结词
一元多项式的定义、运算性质和运算方法。
详细描述
一元多项式是由整数系数和变量组成的数学对象,具有加法、减法、乘法和除法等运算性质和运算方法。一元多 项式可以表示为$a_0 + a_1x + a_2x^2 + ldots + a_nx^n$的形式,其中$a_0, a_1, ldots, a_n$是整数,$x$是 变量。
矩阵的相似对角化
总结词
矩阵的相似对角化是将矩阵转换为对角矩阵 的过程,有助于简化矩阵运算和分析。
详细描述
矩阵的相似对角化是通过一系列的线性变换 ,将一个矩阵转换为对角矩阵。对角矩阵是 一种特殊的矩阵,其非主对角线上的元素都 为零,主对角线上的元素为特征值。通过相 似对角化,可以简化矩阵运算,并更好地理 解矩阵的性质和特征。
(完整版)高等代数(北大版第三版)习题答案II

证 1)作变换 ,即
,
则
。
因为 是正定矩阵,所以 是负定二次型。
2) 为正定矩阵,故 对应的 阶矩阵也是正定矩阵,由1)知
或 ,
从而
,
令
,
则
。
由于 是正定的,因此它的 级顺序主子式 ,从而 的秩为 。
即证 。
3.设
。
其中 是 的一次齐次式,证明: 的正惯性指数 ,负惯性指数 。
证 设 ,
的正惯性指数为 ,秩为 ,则存在非退化线性替换
,
使得
。
下面证明 。采用反证法。设 ,考虑线性方程组
,
该方程组含 个方程,小于未知量的个数 ,故它必有非零解 ,于是
,
上式要成立,必有
, ,
这就是说,对于 这组非零数,有
, ,
这与线性替换 的系数矩阵非退化的条件矛盾。所以
。
同理可证负惯性指数 ,即证。
4.设
是一对称矩阵,且 ,证明:存在 使 ,其中 表示一个级数与 相同的矩阵。
证 只要令 ,则 ,
注意到
, ,
则有
。
即证。
5.设 是反对称矩阵,证明: 合同于矩阵
。
设 的秩为 ,作非退化线性替换 将原二次型化为标准型
,
其中 为1或-1。由已知,必存在两个向量 使
和 ,
故标准型中的系数 不可能全为1,也不可能全为-1。不妨设有 个1, 个-1,
且 ,即
,
这时 与 存在三种可能:
, ,
下面仅讨论 的情形,其他类似可证。
令 , , ,
则由 可求得非零向量 使
,
即证。
证 采用归纳法。当 时, 合同于 ,结论成立。下面设 为非零反对称矩阵。
高等代数【北大版】10-4

对称双线性函数. 则称 f (α , β ) 为对称双线性函数
§10.4 对称双线性函数
2. 对称双线性函数的有关性质 命题1 数域 P上n 维线性空间 V上双线性函数 命题 上 上双线性函数 是对称的(反对称的) 是对称的(反对称的) f (α , β ) 在V的任意 的任意 一组基下的度量矩阵是对称的(反对称的) 一组基下的度量矩阵是对称的(反对称的). 证:任取V的一组基 ε 1 , ε 2 , , ε n , 任取 的一组基
" " f (α + β ,α + β )
α ∈ V
= f (α , β ) + f ( β ,α ) + f (α ,α ) + f ( β , β )
f (α , β ) + f ( β ,α ) = 0
f (α , β ) = f ( β ,α )
§10.4 对称双线性函数
二, 反对称双线性函数
§10.4 对称双线性函数
2. 反对称双线性函数的有关性质 定理6 维线性空间V上反对称 定理 设 f (α , β ) 为 n 维线性空间 上反对称 双线性函数( 双线性函数(即 α , β ∈ V , f (α , β ) = f ( β ,α ) ) 则存在V的一组基 则存在 的一组基 ε 1 , ε 1 , , ε r , ε r ,η1 , ,η s 使
α = (ε 1 , ε 2 , , ε n ) X , β = (ε 1 , ε 2 , , ε n )Y .
f (ε i , ε j ) = aij ,
则
A = (aij )
f (α , β ) = X ' AY .
高等代数 北大 课件

拉普拉斯定理与因式分解
总结词
拉普拉斯定理的表述、应用和因式分解的方法。
详细描述
拉普拉斯定理是行列式计算中的重要定理,它提供了计算行列式的一种有效方法。因式分解是将多项式分解为若 干个因子的过程,是解决代数问题的重要手段之一。
CHAPTER 04
矩阵的分解与二次型
矩阵的分解
01
02
03
矩阵的三角分解
矩阵的乘法
矩阵的乘法满足结合律和分配律,但不一定满足 交换律。
பைடு நூலகம்
矩阵的逆与行列式
矩阵的逆
对于一个非奇异矩阵,存在一个逆矩阵,使得原矩阵 与逆矩阵相乘等于单位矩阵。
行列式的定义
行列式是一个由矩阵元素构成的数学量,可以用于描 述矩阵的某些性质。
行列式的性质
行列式具有一些重要的性质,如交换律、结合律、分 配律等。
将一个矩阵分解为一个下 三角矩阵和一个上三角矩 阵之积。
矩阵的QR分解
将一个矩阵分解为一个正 交矩阵和一个上三角矩阵 之积。
矩阵的奇异值分解
将一个矩阵分解为若干个 奇异值和若干个奇异向量 的组合。
二次型及其标准型
二次型的定义
一个多项式函数,可以表示为$f(x_1, x_2, ..., x_n) = sum_{i=1}^{n} sum_{ j=1}^{n} a_{ij} x_i x_j$,其中 $a_{ij}$是常数。
VS
二次型的标准型
通过线性变换,将一个二次型转化为其标 准形式,即一个平方项之和减去另一个平 方项之和。
正定二次型与正定矩阵
正定二次型的定义
对于一个二次型,如果对于所有 的非零向量$x$,都有$f(x) > 0$ ,则称该二次型为正定二次型。
高等代数教案(北大版)高等代数试题以及解答

高等代数教案(北大版)-高等代数试题以及解答一、线性方程组1. 定义线性方程组,并说明线性方程组的解的概念。
2. 线性方程组的求解方法:高斯消元法、克莱姆法则。
3. 线性方程组的解的性质:唯一性、存在性。
4. 线性方程组在实际应用中的例子。
二、矩阵及其运算1. 定义矩阵,说明矩阵的元素、矩阵的行和列。
2. 矩阵的运算:加法、减法、数乘、矩阵乘法。
3. 矩阵的转置、共轭、伴随矩阵。
4. 矩阵的行列式、行列式的性质和计算方法。
三、线性空间与线性变换1. 定义线性空间,说明线性空间的基、维数。
2. 线性变换的定义,线性变换的矩阵表示。
3. 线性变换的性质:线性、单调性、可逆性。
4. 线性变换的应用:线性映射、线性变换在几何上的意义。
四、特征值与特征向量1. 特征值、特征向量的定义。
2. 矩阵的特征多项式、特征值和特征向量的计算方法。
3. 特征值和特征向量的性质:特征值的重数、特征向量的线性无关性。
4. 对称矩阵的特征值和特征向量。
五、二次型1. 二次型的定义,二次型的标准形。
2. 二次型的矩阵表示,矩阵的合同。
3. 二次型的性质:正定、负定、不定。
4. 二次型的判定方法,二次型的最小值和最大值。
六、向量空间与线性映射1. 向量空间的概念,包括基、维数和维度。
2. 线性映射的定义,线性映射的性质,如线性、单调性和可逆性。
3. 线性映射的表示方法,包括矩阵表示和坐标表示。
4. 线性映射的应用,如线性变换、线性映射在几何上的意义。
七、特征值和特征向量的应用1. 特征值和特征向量的计算方法,包括特征多项式和特征方程。
2. 特征值和特征向量的性质,如重数和线性无关性。
3. 对称矩阵的特征值和特征向量的性质和计算。
4. 特征值和特征向量在实际问题中的应用,如振动系统、量子力学等。
八、二次型的定义和标准形1. 二次型的定义,包括二次型的标准形和矩阵表示。
2. 二次型的矩阵表示,包括矩阵的合同和相似。
3. 二次型的性质,如正定、负定和不定。
高等代数北大版1-4ppt课件

f ( x),g( x)的最大公因式.
§1.4 最大公因式
11
如: f ( x)=x2 1, g( x)=1 ,则 ( f ( x)、g( x))=1. 取 u( x)= 1, v( x)=x2 ,有 u( x) f ( x)+v( x)g( x)=1, 取 u( x)=0, v( x)=1 ,也有 u( x) f ( x)+v( x)g( x)=1, 取u( x)= 2, v( x)=2x2 1 ,也有u( x) f ( x)+v( x)g( x)=1.
用 g( x) 除 f ( x) 得:
f ( x) q1( x)g( x) r1( x) 其中 (r1( x)) ( g( x)) 或 r1( x) 0 .
若 r1( x) 0 ,用 r1( x) 除 g( x),得:
g( x) q2( x)r1( x) r2( x)
§1.4 最大公因式
辗转相除法.
② 定理2中最大公因式 d( x)=u( x) f ( x)+v( x)g( x) 中的 u( x)、v( x) 不唯一.
③ 对于 d( x), f ( x),g( x) P[x], u( x),v( x) P[x],
使 d(x)=u( x) f ( x) v( x)g( x) ,但是 d(x)未必是
若 f ( x), g( x)不全为零,则( f ( x), g( x)) 0.
④ 最大公因式不是唯一的,但首项系数为1的最大
公因式是唯一的. 若 d1( x)、d为2( x) f ( x)、g( x)
的最大公因式,则 d1( x)=c,d2(cx为) 非零常数.
§1.4 最大公因式
4
二、最大公因式的存在性与求法
高等代数 北京大学第三版 北京大学精品课程

资料范本本资料为word版本,可以直接编辑和打印,感谢您的下载高等代数北京大学第三版北京大学精品课程地点:__________________时间:__________________说明:本资料适用于约定双方经过谈判,协商而共同承认,共同遵守的责任与义务,仅供参考,文档可直接下载或修改,不需要的部分可直接删除,使用时请详细阅读内容第一学期第一次课第一章代数学的经典课题§1 若干准备知识代数系统的概念一个集合,如果在它里面存在一种或若干种代数运算,这些运算满足一定的运算法则,则称这样的一个体系为一个代数系统。
数域的定义定义(数域)设是某些复数所组成的集合。
如果K中至少包含两个不同的复数,且对复数的加、减、乘、除四则运算是封闭的,即对内任意两个数、(可以等于),必有,则称K为一个数域。
例1.1 典型的数域举例:复数域C;实数域R;有理数域Q;Gauss数域:Q (i) = {i |∈Q},其中i =。
命题任意数域K都包括有理数域Q。
证明设为任意一个数域。
由定义可知,存在一个元素。
于是。
进而Z,。
最后,Z,,。
这就证明了Q。
证毕。
集合的运算,集合的映射(像与原像、单射、满射、双射)的概念定义(集合的交、并、差) 设是集合,与的公共元素所组成的集合成为与的交集,记作;把和B中的元素合并在一起组成的集合成为与的并集,记做;从集合中去掉属于的那些元素之后剩下的元素组成的集合成为与B的差集,记做。
定义(集合的映射)设、为集合。
如果存在法则,使得中任意元素在法则下对应中唯一确定的元素(记做),则称是到的一个映射,记为如果,则称为在下的像,称为在下的原像。
的所有元素在下的像构成的的子集称为在下的像,记做,即。
若都有则称为单射。
若都存在,使得,则称为满射。
如果既是单射又是满射,则称为双射,或称一一对应。
1.1.4 求和号与求积号1.求和号与乘积号的定义. 为了把加法和乘法表达得更简练,我们引进求和号和乘积号。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
称为 与 的和.
还可以定义数量乘法.设 是 上线性函数,对于 中任意数 ,定义函数 如下:
,
称为 与 的数量乘积,易证 也是线性函数.
容易检验,在这样定义的加法和数量乘法下, 成为数域 上的线性空间.
取定 的一组基 ,作 上 个线性函数 ,使得
(1)
因为 在基 上的值已确定,这样的线性函数是存在且唯一的.对 中向量 ,有
即
定理3设 及 是线性空间 的两组基,它们的对偶基分别为 及 .如果由 到 的过渡矩阵为 ,那么由 到 的过渡矩阵为 .
设 是 上一个线性空间, 是其对偶空间,取定 中一个向量 ,定义 的一个函数 如下:
.
根据线性函数的定义,容易检验 是 上的一个线性函数,因此是 的对偶空间 中的一个元素.
定理4 是一个线性空间, 是 的对偶空间的对偶空间. 到 的映射
, (2)
即 是 的第 个坐标的值.
引理对 中任意向量 ,有
, (3)
而对 中任意向量 ,有
. (4)
定理2 的维数等于 的维数,而且 是 的一组基.
定义2 称为 的对偶空间.由(1)决定 的的基,称为 的对偶基.
以后简单地把 的对偶空间记作 .
例考虑实数域 上的 维线性空间 ,对任意取定的 个不同实数 ,根据拉格朗日插值公式,得到 个多项式
例如,设 是 的辛正交基,则 是迷向子空间. 是极大迷向子空间,即拉格朗日子空间 是辛子空间.
对辛空间 的子空间 .通过验证,并利用定理7,可得下列性质:
(1) ,
(2) ,
(3)若 是辛子空间,则
(4)若 是迷向子空间,则
(5)若 是拉格朗日子空间,则
定理8设 是辛空间 的拉格朗日子空间, 是 的基,则它可扩充为 的辛正交基.
令
则
就是上述形式.
例2 是数域 上一个 级矩阵,设
,
则 的迹
是 上全体 级矩阵构成的线性空间 上的一个线性函数.
例3设 是 中一个取定的数.定义 上的函数 为
,
即 为 在 点的值, 是 上的线性函数.
如果 是数域 上一个 维线性空间.取定 的一组基 .对 上任意线性函数 及 中任意向量 :
都有
. (2)
对于具有非退化对称、反对称双线性函数的线性空间 ,也可以将这些双线性函数看成 上的一个“内积”,仿照欧氏空间来讨论它的度量性质,一般的长度,角度很难的进去,但是还能讨论“正交性”、“正交基”以及保持这个双线性函数的线性变换等.
定义8设 是数域 上的线性空间,在 上定义一个非退化线性函数,则 称为一个双线性度量空间.当 是非退化对称双线性函数时, 称为 上的正交空间;当 是 维实线性空间, 是非退化对称双线性函数时, 称为准欧氏空间;当 是非退化反对称双线性函数时,称 为辛空间.有着非退化双线性函数 的双线性度量空间常记为 .
因此,在给定的基下, 上全体双线性函数与 上全体 级矩阵之间的一个双射.
在不同的基下,同一个双线性函数的度量矩阵一般是不同的,它们之间的什么关系呢?设 及 是线性空间 的两组基:
是 中两个向量
,
那么
如果双线性函数 在 及 下的度量矩阵分别为 ,则有.又. Nhomakorabea因此
这说明同一个双线性函数在不同基下的度量矩阵是合同的.
对度量矩阵作合同变换可使度量矩阵化简.但对一般矩阵用合同变换化简是比较复杂的.对于对称矩阵已有较完整的理论.
定义6 是线性空间 上的一个双线性函数,如果对 上任意两个向量 都有
,
则称 为对称双线性函数.如果对 中任意两个向量 都有
则称 为反对称双线性函数.
设 是线性空间 上的一个对称双线性函数,对 的任一组基 ,由于
, (1)
则 是 上的一个双线性函数.
如果设 ,并设
则
. (2)
(1)或(2)实际上是数域 上任意 维线性空间 上的双线性函数 的一般形式.可以如下地说明这一事实.取 的一组基 .设
,
,
则
. (3)
令
,
则(3)就成为(1)或(2).
定义4设 是数域 上 维线性空间 上的一个双线性函数. 是 的一组基,则矩阵
是一个同构映射.
这个定理说明,线性空间 也可看成 的线性函数空间, 与 实际上是互为线性函数空间的.这就是对偶空间名词的来由.由此可知,任一线性空间都可看成某个线性空间的线性函数所成的空间,这个看法在多线性代数中是很重要的.
讨论、练习与作业
课后反思
授课内容
第三讲双线性函数
教学时数
2
授课类型
讲授
教学目标
定义5设 是线性空间 上一个双线性函数,如果
对任意 ,可推出 , 就叫做非退化的.
可以应用度量矩阵来判断一个双线性函数是不是退化的.设双线性函数 在基 下的度量矩阵为 ,则对 , ,有
如果向量 满足
,
那么对任意 都有
因此
而有非零向量 使上式成立的充要条件为 是退化的,因此易证双线性函数 是非退化的充要条件为其度量矩阵 为非退化矩阵.
定理5设 是数域 上 维线性空间, 是 上对称双线性函数,则存在 的一组基 ,使 在这组基下的度量矩阵为对角矩阵.
如果 在 下的度量矩阵为对角矩阵,那么对 ,
有表示式
.
这个表示式也是 在 下的度量矩阵为对角形的充分条件.
推论1设 是复数上 维线性空间, 是 上对称双线性函数,则存在 的一组基 ,对 中任意向量 ,有
(4)
叫做 在 下的度量矩阵.
上面的讨论说明,取定 的一组基 后,每个双线性函数都对应于一个 级矩阵,就是这个双线性函数在基 下的度量矩阵.度量矩阵被双线性函数及基唯一确定.而且不同的双线性函数在同一基下的度量矩阵是不同的.
反之,任给数域 上一个 级矩阵
对 中任意向量 及 ,其中 , 用
定义的函数是 上一个双线性函数.容易计算出 在 下的度量矩阵就是 .
故其度量矩阵是对称的,另一方面,如果双线性函数 在 下的度量矩阵是对称的,那么对 中任意两个向量 及 都有
.
因此 是对称的,这就是说,双线性函数是对称的,当且仅当它在任一组基下的度量矩阵是对称的.
同样的,双线性函数是反对称的的充要条件是它在任一组基下的度量矩阵是反对称矩阵.
我们知道,欧氏空间的内积不仅是对称双线性函数,而且它在任一基下的度量矩阵是正交矩阵.
推论设 是 的迷向子空间, 是 的基,则它可扩充成 的辛正交基.
对于辛子空间 , 也是非退化的.同样 也非退化.由定理7还有 .
定理9辛空间 的辛子空间 的一组辛正交基可扩充成 的辛正交基..
定理10令 为辛空间, 和 是两个拉格朗日子空间或两个同维数的辛子空间,则有 的辛变换把 变成 .
辛空间 的两个子空间 及 之间的(线性)同构ℜ若满足
讨论、练习与作业
课后反思
授课内容
第四讲辛空间
教学时数
2
授课类型
讲授
教学目标
通过本节的学习,要求学生掌握辛空间的定义及其性质,辛正交基的定义及性质,辛变换的定义及性质
教学重点
辛空间的定义及其性质,辛正交基的定义及性质,辛变换的定义及性质
教学难点
辛正交基的定义及性质,辛变换的定义及性质
教学方法与手段
讲授法启发式
教
学
过
程
由前一节的讨论,已经得到下面的两点性质:
1.辛空间 中一定能找到一组基 满足
.
这样的基称为 的辛正交基.还可看出辛空间一定是偶数维的.
2.任一 级非退化反对称矩阵 可把一个数域 上 维空间 化成一个辛空间,且使 为 的某基 下度量矩阵.又此辛空间在某辛正交基 下的度量矩阵为
, (1)
故 合同于 .即任一 级非退化反对称矩阵皆合同于 .
,
其中 皆为 方阵.则ℜ是辛变换当且仅当 ,亦即当且仅当下列条件成立:
且易证 ,及辛变换的乘积、辛变换的逆变换皆为辛变换.
设 是辛空间, ,满足 ,则称 为辛正交的.
是 的子空间,令
. (2)
显然是 的子空间,称为 的辛正交补空间.
定理7 是辛空间, 是 的子空间,则
.
定义9 为辛空间, 为 的子空间.若 ,则称 为 的迷向子空间;若 ,即 是极大的(按包含关系)迷向子空单间,也称它为拉格朗日子空间;若 ,则 称 为 的辛了空间.
.
推论2设 是实数 上维线性空间, 是 上对称双线性函数,则存在 的一组基 ,对 中任意向量 ,有
.
对称双线性函数与二次齐次函数是1—1对应的.
定义7设 是数域 上线性空间, 是 上双线性函数.当 时, 上函数 称为与 对应的二次齐次函数.
给定 上一组基 ,设 的度量矩阵为 .对 中任意向量 有
. (5)
1) ;
2) ,
其中 是 中任意向量, 是 中任意数,则称 为 上的一个双线性函数.
这个定义实际上是说对于 上双线性函数 ,将其中一个变元固定时是另一个变元的线性函数.
例1欧氏空间 的内积是 上双线性函数.
例2设 都是线性空间 上的线性函数,则
是 上的一个双线性函数.
例3设 是数域 上 维列向量构成的线性空间. 再设 是 上 级方阵.令
则称ℜ为 与 间的等距.
Witt定理辛空间 的两个子空间 , 之间若有等距,则此等距可扩充成 的一个辛变换.
两个辛空间 及 ,若有 到 的作为线性空间的同构ℜ,它满足
,
则称ℜ是 到 的辛同构.
到 的作为线性空间的同构是辛同构当且仅当它把 的一组辛正交基变成 的辛正交基.
两个辛空间是辛同构的当且仅当它们有相同的维数.
辛空间 到自身的,辛同构称为 上的辛变换.取定 的一组辛正交基 , 上的一个线性变换ℜ,在该基下的矩阵为 ,
定理6设 是 维线性空间 上的反对称双线性函数,则存在 的一组基 使