多元函数第二:线性空间(4)基的构造

本文探讨如何在有限维实数向量空间的子空间上构造基,介绍了线性独立向量组的性质和基的构造过程。通过引理和定理证明,展示了在非平凡子空间中找到基的步骤,强调了有限维空间与无限维空间的区别,并讨论了无限维空间在泛函分析中的重要性。
摘要由CSDN通过智能技术生成

在前面的博文中,我们知道,一组基可以生成一个空间,我们称这样的空间为这组基的生成空间。于是,我们很自然地会疑问,对于给定的一个空间,我们如何去构造出它的基?

对于一般的空间,要构造它的基不是那么简单的事情。因为当空间的维数无限时,许多性质与有限维空间不一样了。因此,我们这里考虑的空间,都是n维实数向量空间R^n上的子空间V。这样,由于子空间的维数不能超过父空间的维数,故而V的维数最多为n。当然,这么我们可以把R^n替换成任何已知的有限维空间。所有的讨论都在这个有限维空间子空间的框架下进行。

 

首先介绍一个重要的引理。

 

引理. 若v_1,v_2,...,v_m线性独立,且v\notin span(v_1,v_2,...,v_m),则向量组v_1,v_2,...,v_m, v线性独立。

证明. 设实数\alpha_1,\alpha_2,...,\alpha_m,\alpha满足

(1)    \alpha v + \sum_{i=1}^m \alpha_i v_i = 0

(注意,因为本文讨论的都是实数向量,因此我们依照寻常的约定,将点乘运算符号略去了。)由于v\notin span(v_1,v_2,...,v_m),故必有\alpha=0。否则,由(1)式得

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值