初等变换在向量组的线性相关性中的应用*

2015-09-16 10:08张平平徐阳栋重庆邮电大学理学院重庆400065
关键词:线性命题向量

张平平,徐阳栋(重庆邮电大学理学院,重庆400065)

初等变换在向量组的线性相关性中的应用*

张平平,徐阳栋
(重庆邮电大学理学院,重庆400065)

线性方程组的解及向量组的线性相关性是线性代数的核心内容,而初等变换是研究它们的最有力的工具,因此应用好这一工具对学习线性代数非常有帮助;用“提问—总结—举例”的方式给学生阐述了初等变换在向量组的线性相关性中的应用.

初等变换;向量组;最大线性无关组;线性相关

为了便于叙述,给出下面已熟悉的初等变换的性质作为引理.

引理1[1]设A是一个m×n矩阵,对A施行一次初等行变换,相当于在A的左边乘以相应的m阶初等矩阵;对A施行一次初等列变换,相当于在A的右边乘以相应的n阶初等矩阵.

引理2[1]方阵A可逆的充分必要条件是存在有限个初等矩阵P1,P2,…,Pl,使得A=P1P2,…,Pl.

引理3[1]对于m×n矩阵A,可经过一系列的初等行变换化成行最简形矩阵.

下面通过“提问题—解决问题—总结—举例”的方式给出线性变换在向量组的线性相关性中的应用.

若矩阵P是一m阶可逆矩阵,矩阵A=[α1,α2,…,αn],B=[β1,β2,…,βn]均为m×n矩阵,αj,βj(j=1,2,…,n)分别是它们的列向量,且满足PA=B.

问题1试证向量组βi1,βi2,…,βir是向量组β1,β2,…,βn的最大线性无关组的充分必要条件是向量组αi1,αi2,…,αir是向量组α1,α2,…,αn的最大线性无关组.

证明只证充分性,必要性可类似地证明.由题意得

i)首先要证向量组βi1,βi2,…,βir线性无关.令

把式(1)代入得

由P是可逆矩阵,左右两边同时乘以P-1得,

再由假设向量组αi1,αi2,…,αir是最大无关组,知αi1,αi2,…,αir线性无关,从而有

于是向量组βi1,βi2,…,βir线性无关.

ii)其次要证βi(i=1,2,…,n)可由向量组βi1,βi2,…,βir线性表出.

由向量组αi1,αi2,…,αir是向量组α1,α2,…,αn的最大线性无关组,知αi(i=1,2,…,n)可由向量组αi1,αi2,…,αir线性表出,即存在数ki1,ki2,…,kir使得

对式(2)左右两边同时乘以矩阵P,并结合式(1),得

即证βi(i=1,2,…,n)可由向量组βi1,βi2,…,βir线性表出.

由i),ii)知充分性得证.

由问题1知,若在向量组β1,β2,…,βn中很容易找到其最大无关组,则就可以得到向量组α1,α2,…,αn相应的一个最大线性无关组.知道行最简形矩阵的非零行的第一个非零元素所在的列向量就是该矩阵的列向量所组成的向量组的一个最大无关组.同时由问题的证明过程知道,βi(i=1,2,…,n)由其最大线性无关组线性表示的表出系数与αi(i=1,2,…,n)由其相应的最大线性无关组线性表示的表出系数相同;而行最简形矩阵的列向量很容易写出由其非零行的第一个非零元素所在的列向量的线性表示的表出系数.再根据引理1,2及3就有找一给定向量组的最大线性无关组并把其余的向量用该最大线性无关组线性表示的方法,并以命题的方式总结如下:

命题1将矩阵A=[α1,α2,…,αn]进行一系列的初等行变换使其化成行最简形矩阵B=[β1,β2,…,βn],且设该最简形矩阵中的非零行的第一个非零元素所在的列标依次为i1,i2,…,ir,且有则向量组αi1,αi2,…,αir就是向量组α1,α2,…,αn的一最大线性无关组,并且

从问题中提炼出方法,然后再归纳总结,这是数学当中重要的研究手段[2].

例1设矩阵

求矩阵A的列向量组的一个最大线性无关组,并把不属于最大线性无关组的列向量用最大线性无关组线性表示.

解对矩阵A施行一系列的初等行变换变为行最简形矩阵

显然B中的非零行的第一个非零元素所在的列的列标分别为1,2,4,由命题1知道

为该列向量组的最大线性无关组.在B的列向量组中,很容易得到如下线性表示式

由命题知道

尽管随着计算机的发展,判断一向量组的线性相关性及线性表示问题很容易在计算机上实现[3],然而这些是要在相应理论研究的基础上实现的.因此向量组的线性相关性及线性表示问题的理论研究还是非常有意义的.

[1]同济大学数学系.工程数学线性代数[M].5版.北京:高等教育出版社,2007

[2]曾静,程珍珍,耿立刚.定积分定义在证明和求极限中的应用[J].重庆工商大学学报:自然科学版,2013,30(2):18-20

[3]孙祥凯,张付臣.例析线性规划教学中解的判定准则[J].科技文汇,2014(280):47-49

The Application of Elementary Transformation in the Linear Dependence of Vector Sets

ZHANG Ping-ping,XU Yang-dong
(School of Science,Chongqing University of Posts and Telecommunications,Chongqing 400065,China)

The solution to system of linear equations and the linear dependence of vector sets are the core content in linear algebra,and elementary transformation is a powerful tool to research them.Hence,it is very helpful tomaster the tool for learning linear algebra.This paper states the application of elementary transformation in the linear dependence of vector sets in the way of“asking question-summing up-taking example”.

elementary transformation;vector sets;maximal linearly independent subset;linearly dependence

O151.2

A

1672-058X(2015)09-0023-03

10.16055/j.issn.1672-058X.2015.0009.006

2015-01-17;

2015-03-10.

国家数学天元基金(11426055).

张平平(1985-),女,江西上饶人,讲师,博士研究生,从事数值线性代数研究.

猜你喜欢
线性命题向量
渐近线性Klein-Gordon-Maxwell系统正解的存在性
向量的分解
线性回归方程的求解与应用
聚焦“向量与三角”创新题
二阶线性微分方程的解法
向量垂直在解析几何中的应用
向量五种“变身” 玩转圆锥曲线
基于线性正则变换的 LMS 自适应滤波
2012年“春季擂台”命题
2011年“冬季擂台”命题