1. 引言
向量空间 [1] ,也称为线性空间,是线性代数中的一个基本概念,它用于描述一组具有线性结构的向量的集合。它可以是有限维的或者无限维的,并且可以包含不同类型的向量,例如实数向量、复数向量、矩阵等。向量空间的概念在数学和工程科学中有广泛的应用。但是在向量空间中,只考虑了向量与数的数乘、向量与向量的加法这两种线性运算,没有从几何的角度考虑向量的长度、向量与向量的夹角等几何方面的量。因此又引入内积的概念,使得向量空间成为欧氏空间。
欧氏空间的理论中,标准正交基是其中的一个重点和难点。就现有的参考文献而言,求解标准正交基的方法主要有Schmidt正交化法、初等变换法、合同变换法和Givens变换法等,为探索各方法的优缺点,本文将对各方法进行对比分析,以此得到规律。在三维欧氏空间中,我们将向量积与上述方法结合,运用在具体例题计算上,使得计算更为简单。
2. 相关概念及结论
设
是实数域,V是
上的一个向量空间,
是V中的一组向量。若对任意的实数
,总有
当且仅当
,就称
是线性无关的。若对任一向量
,总有一组实数
,使得
,我们称
是V的一组生成元。如果
既是线性无关的,又是生成元,称
是向量空间V的一组基。
V上的一个内积是指一个映射
,满足非负性、线性性和对称性。赋有内积的向量空间称为欧氏空间,也称为内积空间。对任一向量
,称
为
的范数(或模长),它表示向量
的长度。如果
,称
是单位向量。任一非零向量都可以通过除以它的范数得到一个与它成比例的单位向量,这一过程称为标准化(或单位化)。著名的Cauchy-Schwarz不等式说明对任意向量
,总有
成立。利用这一不等式,可以抽象地定义
的夹角:设
表示
的夹角,则定义
。特别地,若
,称
正交(即垂直)。若一组向量
两两正交,则称它们为正交向量组。若一组基
两两正交,则称它们为V的一组正交基。若一组正交基
中的每个向量都是单位向量,则称它们是V的一组标准正交基。此时V中任一向量
都可以由这组基线性表示,且很简单,即
,并且范数也很简单,
。
对于正交基和标准正交基的存在性,有如下结论 [1] :对于任意给定的有限维欧氏空间,总存在一组正交基和一组标准正交基。事实上,通过正交化过程,我们总可以从给定的一组基重新构造出一组正交基。通过将正交基进行标准化处理,即将每个基向量除以其模长,我们就得到一组标准正交基。
在构造标准正交基的过程中,一般都是先给一组向量,对这组向量进行变化,得到另一组向量彼此正交(即垂直),然后再单位化。所以如果原来的一组向量有一些是相互垂直的,则可以简化正交基的计算过程。Schmidt正交化就是利用原来的向量组重新构造一组相互垂直的向量。
在一些特殊的空间中,也有其他的方法构造相互垂直的向量,比如在三维空间中,两个向量的向量积仍是一个向量,并且与原来的两个向量都垂直。因此在三维空间中计算标准正交基,我们可以把向量积和其它求标准正交基的方法结合起来,从而得到一个更简单有效的方法。
3. 不同方法对标准正交基的求解
本节首先运用不同方法对同一例题进行标准正交基的求解,然后在下节对各方法进行对比分析,由此得到相关结论。
例题:在三维空间
中,已知平面
,求
中的一组标准正交基使该标准正交基中每个向量与该平面或者平行或者垂直。
解:首先在平面上任取两个不共线的向量,这里取
,
。再令
,则
,
,因此
是一组基。下面我们对
采用
不同的方法构造满足要求的标准正交基。
3.1. Schmidt正交化方法
Schmidt正交化方法是构造正交基最常用的方法,其原理是由原来的基,利用内积的性质,构造一组新的基,且使得新的基中的向量相互垂直。这种方法的步骤如下:
一、向量组正交化
令
,
,
,
则
构成一组正交基。
二、向量组单位化
令
,
,
。
则
即为所求的一组标准正交基。
3.2. 初等变换法
初等变换法是利用初等列变换,对度量矩阵
和矩阵
同时变换。这种方法的步骤如下:
一、构造矩阵
,求出度量矩阵
。
由题意知
,则有
。
二、构造
,并对其进行初等列变换,直至
化成下三角矩阵,则矩阵A同时被化成B,则矩阵B的列向量组
即为正交基。若把用到的每个初等列变换所对应的初等矩阵依次记为
,把这些初等矩阵的乘积记为P,即
,则上面的过程相当于说
是一个下三角矩阵,而矩阵
的列向量组就构成一个正交基。所以由
,
令
,则向量组
即为
的一组正交基。
令
,即有
,
,
,
则
就是所求的一组标准正交基。
3.3. 合同变换法
该方法是利用合同变换对度量矩阵
进行变换。这种方法的步骤如下:
一、设矩阵
,构造度量矩阵
。
这里度量矩阵
。
二、对
做合同变换,直到化为单位阵。
即对
做成对的初等行变换和初等列变换,使得最后变为单位阵。把所用到的初等列变换所对应的初等矩阵依次记为
,这些初等矩阵的乘积记为P,即
,则有
,这里E是单位阵。
三、设
,则
就是要求的标准正交基。
在具体计算的过程中,可以将
与A放在一列,构成一个6 × 3的矩阵,然后对这个矩阵的上面三行与整个矩阵的三列做成对的初等行、列变换,使得上面三行变为单位阵,则下面的三行就是
。
下面对
做这样的变换:
,
其中第二步依次用
,
,
,
以及
,
这些初等变换。
因此
就是所求的一组标准正交基。
3.4. Givens变换法
我们首先介绍一下这个方法的原理。称形如
的n阶矩阵为初等旋转矩阵,其中
位于
与
位置,
位于
位置。设
,
,若
,则
,
,其余的
,
。如果令
,
,则在
中
。利用这一结果,对任一
矩阵A,其中
,依次用适当的初等旋转矩阵
左乘A,最后可将A转化为
,其中R是一个m阶上三角矩阵。则
的转置
的前m列向量就构成一个标准正交基。
这种方法的具体步骤如下:
一、构造矩阵
。
二、对矩阵
左乘一系列初等旋转矩阵
,将A转化成
形式,其中R是上三角矩阵,同时单位阵E就转化成一个正交矩阵P,且
。或者单独对A左乘一系列初等旋转矩阵
,将A转化成
形式,然后令
。下面对A进行这种转化。
为了将A中
位置的1变为0,我们取第一列的第1个和第2个分量1和1构造
,
,从而第一个初等旋转矩阵
,直接计算得到
。为了将
中
位置的3变为0,我们取
中第一列
的第1个和第3个分量
和3构造
,
,从而第二个初等旋转矩阵
,直接计算得到
。为了将
中
位置的
变为0,我们取
中第二列中的第2个和第3个分量
,
构造
,
,从而第三个初等旋转矩阵
,直接计算得到
。最后计算
,则有
。
三、标准正交基就是由正交矩阵P的转置矩阵
的前3个列向量组成。
即
是所求的一组标准正交基。
4. 结论
从上述计算过程中,本文得出以下结论:Schmidt正交化法较为直观,易于掌握,在一般课本里都有介绍。初等变换法应用了矩阵的初等列变换,也比较容易理解与掌握,计算量也较小,参见 [2] [3] 。通过把
转置可知,初等变换法也可以对
做初等行变换把
化为上三角矩阵来实现。而合
同变换法应用了矩阵的合同变换,其优点在于能清楚揭示标准正交基与原基之间的关系,即
,该方法在 [2] - [7] 都有介绍。最后,Givens法相较于前三种方法,其算法稍微复杂,需构造一系列初等旋转矩阵,在 [2] [3] [8] 均有简单介绍,但初等旋转矩阵如何构造都没有介绍,本文对此介绍更为详细。
本文在计算
中的一组标准正交基时,先找了两个不共线的向量
,然后用他们的向量积
作为第三个向量,从而得到
中的一组基
,再由这组基分别用不同方法得到一组标准正交基。由于
,
,因此在计算过程中减少了很多计算量。事实上,在计算中,本质上我们只需要对
进行正交化即可。如果是任意找一个与
不共面的向量
,由基
通过上述各种方法去构造一组正交基,这时本质上是对三个向量做正交化,计算量显然比我们用向量积取
作为第三个向量的方法要多。因此在三维欧氏空间中将向量积与其它方法结合去计算标准正交基可以简化计算过程,比直接用这些方法去计算更简单。
基金项目
盐城工学院2023年大学生创新创业训练计划项目(2023517, 2023518)。