第六章带度量的线性空间 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,,有

定义 9 设 1 2 V ,V 是线性空间 V 的子空间，如果和 V1+V2 中每个向量  的分 解式

定理 5 如果 V1 ,V2 是线性空间 V 的两个子空间，那么它们的交 V1 V2 也是 V 的子空间

一般向量空间除只有一个零向量构成的零空间外，都含有无穷多个向量，这 些向量之间有怎样的关系，对于弄清向量空间的结构至关重要

命题如果n维空间V上的线性变换A的矩阵相似于对角矩阵,则A在任一不变子空 间M上(的限制)的矩阵相似于对角矩阵。 证明若V上的线性变换A的矩阵相似于对角矩阵,则V可以分解为特征子空间的直 和。记A的所有特征值为,2,2,则V=V4V,取M=nV, 断言M=M1M2⊕M,首先要证明

3. 二次型的等价定义 4. 非退化线性替换的定义和作用 1.二次型的矩阵定义 2.矩阵的合同定义

1.设向量β可由向量组a1,a2,……,as线性表示,但不能由a1,a2,…,a-1线性表示证明:向量

一、向量的概念 二、向量的加减法 三、数与向量的乘积 四、向量的坐标

北京大学：《高等代数》课程教学资源（讲义）第五章 5.1 双线性函数 5.1.3 线性空间上的对称双线性函数、二次型函数的定义 5.2 二次型 5.2.1 数域上的二次型的定义，二次型 5.2.2 二次型化为标准形的计算方法（配方法）

定义14设V是复数域上一个线性空间,在V上定义了一个二元复函数,称 为内积,记作(a,B),它具有以下性质: