1. 引言
线性空间是线性代数中的一个重要概念,是我们研究线性代数的核心,在现代数学研究中有着广泛的应用 [1] [2] 。在一个线性空间中,基与维数决定了它的结构,描述了它的很多属性,所以按照实际应用的需要选定满足要求的基是一个值得探讨的问题 [3] [4] ,线性空间上的扩充基定理正是解决这个问题的重要依据,文献 [1] [2] 都对扩充基定理给出了证明,但是对于给定线性空间上一组线性无关的向量组,如何将该向量组扩充为线性空间的具体算法并没有一般的解法。本文就这个问题从向量组的极大线性无关组的扩充到线性空间上基的扩充问题提出了一个一般且有效的解法。
定理1:(扩充基定理)设W是数域P上n维线性空间V的一个t维子空间,
是W的一组基,那么这组向量必定可扩充为整个空间的基,也就是说,在V中必定可以找到
个向量
,使得
是V的一组基。
引理1 向量组
与它的任意置换
等价,故极大无关组相同。
首先,我们讨论将含有有限个向量的向量组中任意给定线性无关的部分组扩充为该向量组的极大无关组。
2. 向量组中极大无关组的扩充问题
已知向量组
,且秩
,其中
,
线性无关,将
扩充成
的一个极大线性无关组。
方法:根据引理1可知,考虑
的极大无关组,仅需考虑
的极大无关组。
例1 设
,
,
,
,
,把
扩充成一个极大无关组。
由引理1可知,本问题可以转化为求解
的极大无关组。
解:
故 所求极大无关组可以是
或者
。
这里我们依然利用矩阵的初等变换求解极大线性无关组,注意到用这一方法选择向量组的极大线性无关组时,通常进入备选队列的向量都排在向量组的前面,故只须将必选向量调换顺序,即可找到满足条件的极大线性无关组。
3. 数域P上的n维向量空间Pn的子空间中基的扩充问题
已知数域P上的n维向量空间Pn,W是其线性子空间,
,若
,且线性无关,将
扩充为W的一组基。
方法:根据引理1可知,若
是子空间W的一组基,
线性无关,显然
与
等价,故
的极大无关组也是子空间W的一组基。
例2 设
,
,把
扩充成W的一组基。
显然
,
,
,
是W的一组基。要求找到包含
的一组基,仅需考虑
的包含
的极大无关组。
故 所求包含
的基可以是
,或者
,或者
,或者
。
通过分析与例2,我们可以看出,事实上,考虑到子空间
,因此,寻找线性子空间W的满足条件的一组基,就是求解向量组
中含有向量
的极大线性无关组。
4. 数域P上的n维线性空间的子空间中基的扩充问题
已知数域P上的n维线性空间V,W是其线性子空间,
,若
,且线性无关,将
扩充为W的一组基。
引理2 数域P上的任意一个n维线性空间都与向量空间Pn同构。
方法:同2的讨论,若
是子空间W的一组基,
的极大无关组也是子空间W的一组基。
而
那么求解
的极大无关组,仅需考虑向量组
,
的极大无关组。
例3 设
,
,
。
把
,
扩充成W的一组基。
解:取V上的一组基
,
,
,
。
显然
,
于是仅需考虑
在基
下的坐标:
,
,
,
,
,
的极大无关组。
故 所求包含
的基可以是
或者
。
通过分析和例3,对于比较抽象的线性空间,我们可以通过该线性空间中每个向量与坐标的一一对应关系,将问题利用线性空间的同构关系,转化为数域P上的n维向量空间Pn的子空间中基的扩充问题。
基金项目
新疆维吾尔自治区高等学习本科教育教学研究和改革项目“融入思政元素的《线性代数》混合式教学的探索与研究(XJU-2021JG13)”。