1. 线性函数
1.1 重线性函数
前面讨论了纯代数意义上的线性空间,在实际场景中,我们经常需要处理向量的度量。度量一般表现为向量的函数,比如行列式可以看成是个行(列)向量的函数,矩阵之积的每一个元素其实就是一个行向量和一个列向量的函数。严格来讲,对域上的线性空间,映射(个)叫做线性空间上的元函数,一般记作。
如果函数在每一个变量上都满足线性等式(1),它也叫上的重线性函数。由定义容易知道,如果选定的一组基,重线性函数可以由分别取遍这组基所唯一确定。特别地,维线性空间上的重线性函数由个独立变量完全确定。所有重线性函数可以组成上的线性空间,严格定义你可以自己给出。
前面举的行列式和行列向量乘法显然都是线性函数,观察这两个例子,我们发现线性函数还有一个性质可以继续讨论,那就是变量位置的交换对函数值的影响。当然我们只讨论最典型的情况,对任何向量,式(2)恒成立的函数叫对称线性函数,而式(3)恒成立的叫反对称线性函数,这两种情况都是比较常见的。容易证明,对称线性函数变量的顺序可以随意改变,而不影响函数的值。
反线性函数中,若,则有,继而将某个变量的倍数加到另一个变量后,函数的值不变。还可以知道,如果线性相关,则有。这个性质让我们想到了行列式的基本性质,其实当选定的一组基,并设,根据定义展开重对称反线性函数可得到公式(4)。
如果,则可以适当选取这组基,使得。由公式(3)可知,这时的重反对称线性函数正是变量坐标的行列式,有些教材中就是把它作为行列式的定义的。
• 求证:当时,;
• 求证:反线性函数中时的性质可反推到它的定义,它们是等价的。
1.2 线性函数和对偶空间
在不产生混淆的情况下,重线性函数也简称为线性函数,它其实就是线性变换。由前面的讨论我们已经知道,线性函数由中基的像完全确定,特别地,维线性空间(基为)的线性函数都可以由下式表示。
也就是说,向量唯一确定了一个线性函数,故上的所有线性函数构成一个维线性空间。这样就有,并且我们很自然地可以想到,将对应到所确定的线性函数。严格定义为式(6),其中叫克罗内克记号,可以证明是的一组基。
以上映射虽然看起来比较自然,但却依赖于基的选择。换句话说,如果换成另外一组基,映射关系也将改变。比如设到的过渡矩阵为,则有,或。再设按以上定义映射到,而映射到,下面来计算到的过渡矩阵。
要求过渡矩阵,就是用线性表示,根据公式(6)的性质其实就是要确定。设的元素为,则有,带入并根据的定义得。这就有,即有式(7)成立,该式验证了公式(6)定义的映射在不同基下也是不同的。
但这个式子却提示我们,如果同样地定义线性函数,并得到另一个线性空间。这时随基变化的过渡矩阵为,也就是说不管如何选取,映射始终不变。这样我们就可以将完全重合并看成是同一个空间,而就相当于定义了映射,它与是“对称”的。在这种映射下,互相称为对偶空间,容易验证对偶空间有公式(8)成立。
2. 双线性函数
2.1 双线性函数
重线性函数又称双线性函数,双线性函数表现为两个向量的度量运算。在新的度量下,空间向量的关系呈现出新的形态和限制,从而使得空间结构变得更加立体。由前面的讨论我们知道,如果为维空间的一组基,则双线性函数由个值唯一确定。并且容易知道,如果向量的坐标分别为,则有式(9)成立。
在选定空间的基后,双线性函数由公式(9)中的方阵所表示,反之在这组基下,任意阶方阵根据公式(9)确定了一个双线性函数。所以在固定的基下,阶方阵和维空间的双线性函数是一一对应的,这个矩阵也称为函数的度量矩阵。其中对称双线性函数和反对称双线性函数分别满足(10)(11)式,它们的矩阵分别是对称矩阵和反对称矩阵。
对有限维空间的双线性函数的研究,可以转化为对度量矩阵的研究。那么我们究竟需要研究什么呢?首先想到的是,矩阵自身的性质体现为双线性函数的什么性质呢?双线性函数使得向量之间有了新的关系,我们需要知道在这样的关系下,线性空间的自同构类是怎样的(即双线性函数的分类)?最重要的还要讨论,这个关系对空间结构的影响是怎样的?
2.2 双线性函数的秩
双线性函数包含了两个线性函数,分别固定或,分别变成了线性函数和。当取遍时,记所有组成的集合为。在有限维空间中,分别取为第位为、其它位为的向量,得到的的系数分别是的第行。这说明正是由这些线性函数组成的线性空间,维数就是矩阵的秩,对组成的也有同样的结论。度量矩阵的秩也被称为双线性函数的矩阵秩,记作,从而有公式(12)。
那些使得或的向量组成的集合分别叫双线性空间的左根和右根,记作和。容易证明,左根和右根都是线性空间,且根据公式(9)知有限维空间中,它们分别是方程组和的解集。若维矩阵的秩为,则左右根的维数是,既有公式(13)成立。
当左右根为时,表示如果,则。在有限维空间中,此时的是满秩的,且由公式(12)知分别遍历所有阶线性函数,即有公式(14)成立。这样的双线性函数称为非退化的,否则称为退化的。
我们自然还有一个疑问:退化的双线性函数中,是什么关系?它们什么时候重合?集合也称为双线性函数的秩空间,它的秩被称为双线性函数的秩,记作。显然有,而且当且仅当时等号成立,容易验证对称和反对称双线性函数满足条件。
2.3 合同矩阵
现在来继续研究有限维空间中,双线性函数结构,以及分类问题。如果存在向量,使得双线性函数满足,它们当然就是“不同”的双线性函数。但可想而知,如果存在以下双射映射,则显然是“同构”的,它们可以看做是相同的双线性函数,也称为是合同的。在有限维空间中选定的一组基,如果的度量矩阵不相同,它们自然是不同的,但什么情况下它们会是合同的呢?当然,同构的双线性函数组成一个等价类,问题的答案也正好给双线性函数进行了分类。
有限维空间中,如果是合同的,则取一组基,并设它们的像为。由公式(15)知,在下的度量矩阵和在下的度量矩阵是相同的。记这个矩阵为,并设在下的度量矩阵为。设到的过渡矩阵为,带入公式(9)便知在下的度量矩阵为,故有公式(16)成立。
满足公式(16)的方阵也称为是合同矩阵。如果在下的度量矩阵是合同矩阵,则以为过渡矩阵的双射显然满足公式(15),所以是合同的。这就说明,有限维空间中双线性函数合同的充要条件是:它们在同一组基下的度量矩阵是合同的。比较显然的是,合同矩阵的秩、以及双线性函数的秩都是它们的不变量。
要想对双线性函数进行分类,其实就是对合同矩阵进行分类,为此我们需要为其找到一个“标准型”以作为分类的依据。参考相似变换的“标准型”,它往往具有简单的形式,而且可以将空间分割为尽量小的“无关”子空间。线性变换中以不变子空间作为“无关”的分割依据,那么度量矩阵有什么参数可以作为依据呢?直觉告诉我们,以是否为条件所确定的的关系,将是一个很好的“无关”参考标准。
2.4 正交向量
但在此之前,还有一个细节需要处理,那就是有可能。而一般的“无关性”是可交换的,为此我们要给一个限制条件,就是当且仅当。在这个限定下,定义满足的向量是正交的,记作。容易证明,与或集合的每个元素都正交的向量皆组成一个子空间,称为它们的正交补,分别记作。
这时双线性函数的左右根是相同的(为),它也被称为双线性函数的根,记作。对任意子空间,在其上的根也可简记为,容易验证有公式(17)成立。另外在有限维空间中,如果是非退化的,使用线性方程组根的理论容易有式(18)成立。如果也是非退化的,结合(17)(18)便有(19)式成立。
3. 双线性函数的标准型
3.1 函数的直和分解
现在来看看满足限制条件的双线性函数还有什么性质,考察任意向量,显然有。根据限制条件有,即公式(20)成立,当时还有式(21)成立。(21)中看出,如果,则双线性函数中可与任何向量交换。反之如果不可交换,则。
假设既存在,又存在,下面考察。首先容易有,这个不可交换性说明,两个式子展开便有。这就得到,与矛盾。
以上矛盾说明要么恒成立,要么恒成立。前者取可得,故易知该条件与是反对称函数等价。而后者说明是对称函数,结合这两点可知,满足正交限制的双线性函数(当且仅当),要么是对称函数,要么是反对称函数。
从而只需研究对称(反对称)双线性函数,就可以弄清向量正交关系的结论。但光研究这两类函数是否有利于我们对双线性函数的分类呢?答案是肯定的。其实只需如公式(22)取两个双线性函数,易知分别为对称、反对称双线性函数,且。另外,从(22)反过来求解方程组,还可知是唯一的。从而得到结论:任何双线性函数可唯一分解为一个对称双线性函数和一个反对称双线性函数直和。
容易验证,所有对称、反对称双线性函数分别是一个子空间,我们记之为,并记整个双线性函数空间为。上面的结论说明,当域的特征值不为时,还有,从而有式(23)成立。当域的特征值不为时,双对称线性函数的分类问题就转化为了的分类问题。如不作特殊说明,今后讨论的域都满足。当时,双线性函数的标准型融合了两类标准型的格式,之后请自行论证。
3.2 对称矩阵的合同标准型
先来看看有限维空间中,对称双线性函数是否有我们想要的“标准型”,使用的主要工具当然就是正交。如果对所有的向量都有,则它是平凡的零函数,无需多作讨论。否则任意取,并记。对任意向量,设,其中为待定系数。根据可以得到的唯一解,这就是说空间有以下直和分解。
取的一组基,并与组成的一组基。上面的分析告诉我们,在这组基下双线性函数的度量矩阵有形式。由归纳法归纳可知,对称双线性函数在某一组基下的度量矩阵为对角矩阵,或者说任意对称矩阵都合同于一个对角矩阵(公式(25)),这个对角矩阵就称为的合同标准型。
需要注意,对称矩阵的合同标准型并不是唯一的,它依赖于基的选取。对每个对角元有,当取自身的倍时就得到了不同的对角元。但这个提醒了我们,在实数域和复数域中,还可以有进一步的结论。比如在实数域取,并适当调整顺序后就得到实数域对称矩阵的合同标准型(26)。在复数域中,取,就得到了复数域对称矩阵的合同标准型(27)。
复对称矩阵的合同标准型显然是唯一的,是其全系不变量,下面来讨论实对称矩阵的合同标准型。由公式(26)知,空间可以有直和分解,其中分别是对应维的子空间。如果还有另一种分解,从正负性考虑可知,从而。同样可有,故,这就是说公式(26)中的是唯一的,是合同标准型的全系不变量,这个结论也叫惯性定律。
如果则易知恒成立,这样的双线性函数或矩阵称为半正定的。特别地当时,当且仅当,这样的双线性函数或矩阵称为正定的。类似地可以定义半负定和负定,显然分别是正定和负定的,为此也分别叫正(负)惯性指数。
3.3 反对称矩阵的合同标准型
在反对称双线性函数中,如果恒有,则它是平凡的零函数。假设有,适当调整向量的倍数可使函数值为。首先易知线性无关,这就使得我们不能像对称双线性函数中那样取的正交补,而只能考虑。
对任意,设,由可以得到的唯一解,从而有公式(28)的直和分解。类似对称双线性函数的分析,可知在某一组基下,反对称双线性函数的度量矩阵为式(29)的形式,这个矩阵也叫反对称矩阵的合同标准型。从式(29)还容易看出,反对称矩阵的秩必定是偶数。
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· DeepSeek 解答了困扰我五年的技术问题
· 为什么说在企业级应用开发中,后端往往是效率杀手?
· 用 C# 插值字符串处理器写一个 sscanf
· Java 中堆内存和栈内存上的数据分布和特点
· 开发中对象命名的一点思考
· 为什么说在企业级应用开发中,后端往往是效率杀手?
· DeepSeek 解答了困扰我五年的技术问题。时代确实变了!
· 本地部署DeepSeek后,没有好看的交互界面怎么行!
· 趁着过年的时候手搓了一个低代码框架
· 推荐一个DeepSeek 大模型的免费 API 项目!兼容OpenAI接口!