交换定理是线性代数中我最喜欢的定理之一。因为我看了四五遍,才把定理的证明弄明白。所以,如果这篇文章第一遍没有看懂。不用灰心,那不能说明你智商有问题。如果你一遍就看懂了,那也别骄傲,那是我写得好的缘故。
在介绍交换定理之前,首先需要介绍线性独立的概念。这是线性代数最基本的概念。但是,很多国内的线性代数书籍,都只是在实数域和n维实数向量空间上定义线性独立,没有上升到代数学的高度。因此这里还是有必要再说明一下。线性代数作为一门代数学科,它的大部分结论都适用于一般的代数系统,这在工程上有非常积极的意义。例如,在编码理论中,我们的线性分组码的码本空间就是有限域上的线性空间。通过线性空间的性质研究码本的性质是编码理论中非常普遍的方法。当然,我在编码领域的知识储备还是幼儿园水平,说多了就露怯了。
言归正传,一般代数系统上线性独立的定义与实数域上的定义并无不同。
定义. 设V是域F上的线性空间,设是V上的一组向量。
- 对于给定的
,我们称形如
的表达式,为向量组
的线性组合。
- 对于向量v如果存在
的线性组合满足
,则称v可以通过向量组
线性表示。
- 如果等式
只有在时成立,我们称向量组线性独立。
- 如果向量组
不线性独立,我们称他们线性相关。
通过上面的定义,可以得出许多直接的结论。例如,若向量组中存在0向量,则这组向量线性相关。再如,若v可以通过向量组
线性表示,则向量组