多元函数第二:线性空间(3)线性独立与交换定理

本文详细介绍了线性独立的概念及其重要性,特别是在线性空间中的应用。作者强调了交换定理在定义线性空间维数中的核心地位,并通过反证法证明了交换定理,揭示了线性代数中的深刻思想。
摘要由CSDN通过智能技术生成

交换定理是线性代数中我最喜欢的定理之一。因为我看了四五遍,才把定理的证明弄明白。所以,如果这篇文章第一遍没有看懂。不用灰心,那不能说明你智商有问题。如果你一遍就看懂了,那也别骄傲,那是我写得好的缘故。

 

在介绍交换定理之前,首先需要介绍线性独立的概念。这是线性代数最基本的概念。但是,很多国内的线性代数书籍,都只是在实数域和n维实数向量空间上定义线性独立,没有上升到代数学的高度。因此这里还是有必要再说明一下。线性代数作为一门代数学科,它的大部分结论都适用于一般的代数系统,这在工程上有非常积极的意义。例如,在编码理论中,我们的线性分组码的码本空间就是有限域上的线性空间。通过线性空间的性质研究码本的性质是编码理论中非常普遍的方法。当然,我在编码领域的知识储备还是幼儿园水平,说多了就露怯了。

 

言归正传,一般代数系统上线性独立的定义与实数域上的定义并无不同。

定义. 设V是域F上的线性空间,设v_1, v_2,...,v_n是V上的一组向量。

  • 对于给定的\alpha_1,\alpha_2,...,\alpha_n \in F,我们称形如\sum_{i=1}^n \alpha_i \cdot v_i的表达式,为向量组v_1, v_2,...,v_n线性组合
  • 对于向量v如果存在v_1, v_2,...,v_n的线性组合满足v=\sum_{i=1}^n \alpha_i \cdot v_i,则称v可以通过向量组v_1, v_2,...,v_n线性表示
  • 如果等式

        \sum_{i=1}^n \alpha_i \cdot v_i =\mathbf{0}

        只有在\alpha_1=\alpha_2=...=\alpha_n=0时成立,我们称向量组线性独立

  • 如果向量组v_1, v_2,...,v_n不线性独立,我们称他们线性相关

 

通过上面的定义,可以得出许多直接的结论。例如,若向量组v_1, v_2,...,v_n中存在0向量,则这组向量线性相关。再如,若v可以通过向量组v_1, v_2,...,v_n线性表示,则向量组

  • 0
    点赞
  • 9
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值