气｜双线性函数性质研究.pdfVIP

维普资讯 第16卷第 1期 山 东 矿 业 学 院 学 报 v01．16 № 1 1997年 3月 jouRNALoFSHAND0NG MINING INSTlITUTE Mar．1997 气 | 双线性函数性质研究 ． 0 ／ 蒋 树 强 ( 拜百瓣再 ) 摧 要 定义 了双线性函敷的簌和车度、拟正定盟线性函敷、正定双线性函数和粗正定矩阵，并详 细讨论 了它们的性质及相互之间的联系。 关键词 壑簋 戢 ；垦；墨鏖；连盘王室 ；正定；拟正定；龆 蛊毫垫 中圈分类号 O174 双线性函数作为二次型、欧氏空间的内积的发展及多重线性型的基础，是线性代数的重要 部分．在数学．物理学，工程科学等许多领域有重要意义。 1 双线性函数的秩和零度 定义 1：，(a，)是数域P上n维线性空间 上的双线性函数，若存在 的r维子空间 ．，使 ，(a，卢)在 上非退化，且 f(n，p)在任意维数大于 r的子空间上都退化，则称 ，(a， )关于 v的秩为r， 1称为 关于f(n．卢)非退化的最大子空间，简称 的最大子空间，特 别地，若 ，为零函数，则规定 】=；0l，的秩为零。 容易证明．给定一个双线性函数 ，(a，口)，则关于它的最大子空间必存在。事实上．设 ， (a，)在 上退化且f(n．口)不是零函数，要证关于 ，的最大子空间 【的存在性 ．显然只需 证存在非零的真子空间 ，使得 ，在 0上非退化。由上面假设．Vn，∈ ，f(．)不全为 零。因此必存在 的基el，2，…，e 向量中某个e，．使 f(e，e)≠O。因为，否则．有 f(，) 1 =0Vn∈V。于是．Vn，卢∈ ，有，(n．卢)=寺[(n+卢，a+卢)一f(a，a)一f(卢，卢)]=0，矛 盾。故 ，在L(e，)上非退化。 设 ，(n，卢)是数域P上的 维线性空间 上的双线性函数．则容易证明集合 T=}a∈v lf(n．)=0 V辟 {是 的一个子空间。 定义2．，(a，卢)是线性空间 上的一个双线性函数，那么子空间 {m jf(n． )=O v辟 }叫做 关于，(a，p)的零子空间，记为 }，}的维数称为，(n，)的零度。 例如：若 f(n，卢)为对称的，它在基 e．e2，…，e 下的度量矩阵 - 收稿 日期：1995．10-14 维普资讯 第 1期 蒋树强：双线性函数性质研究 A 口，≠0i=1，2，… ，r 0 0 则 y}=L(￡，+l，-*-9e)，f(n，)的秩为r，零度为n—r。 由定义 2知：线性空间 y上的双线性函数 ，(n，)在关于它的零子空间上为零函数。由 定义 1、2可以看出：线性空间 y关于双线性函数的零子空间是唯一的，而最大子空间却不唯 一 。 定理 1：，(，户)是数域P上n维线性空间y上的一个双线性函数，则，(。，户)的秩和零度 之和为 n。 证明：设 yl是 y的一个最大子空间，Va∈y ，。≠0，显然 f(a，卢)=0，V卢∈VI，则n y1。若不然，由f在yI上非退化，可得 n=0，矛盾。所以 ylny ={0{，故 yl{y y。若 yI+y ≠y，设 Vl的一组基为 el，-*-9er，y 的一组基为 ”，‰，则 r+m ， e --，e，， 一，‰ 线性无关，扩充成 y的一组基：e 一，e，， --，‰，} ．-，岛其中f≠0， 由Vl是 y的最大子空间，知 ，(a，户)在 Vo=L(￡ --，e，} --