设V是数域P上一个n维线性空间.V上全体线性函数组成的集合记作 L(V,P).可以用自然的方法在L(V,P)上定义加法和数量乘法 设f,g是V的两个线性函数定义函数f+g如下:

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

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

线性算子的谱理论是与解算子方程紧密联系的,它起源于代数方 程、线性方程组、积分方程和微分方程的特征值问题.实际上在泛函 分析产生的早期, Volterra、 Fredholm、 Hilbert等人就曾研究过这 样的问题,同时它也是泛函分析中经久不衰的研究课题

二次型就是二次多项式.在解析几何中讨论的 有心二次曲线,当中心与坐标原点重合时,其 一般方程是

例1上三角行列式(i时,a1=0 这是因为上三角行列式的转置是下三角行列

把一个mxn矩阵A,在行的方向上分成s块,在 列的方向分成t块,称为A的sxt分块矩阵,记作 A=[Asx其中A(k=12s1,2t称为A的 子块,它们是各种类型的小矩阵 常用的分块矩阵,除了上面的4块矩阵,还有以 下几种形式:

定义6设A为n阶方阵,如果ATA=1,就称A为正交 定理4A为n阶正交矩阵的充分必要条件是A的 证设

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

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