- 对于前面的矩阵和行列式的研究,已经研究出了线性方程组如果有唯一解,那么就有det(A)=0。但是这个研究结果并不令人满意。存在一下两点:
- 当det(A)=0,那么线性方程组就有两种情况,无解或者有无穷多个解,但是无法分辨出来具体是哪种情况。
- 在多数情况下方程组的未知数个数与方程的个数是不一样的,这种情况无法使用行列式判断。
- 上面这两个问题就使得还需要研究与完善这个规律,就需要从单个方程出发,这里就引入了用一个向量表示一个方程,所以除了高中学的向量的普遍意义之外,向量还用来表示方程的系数。比如下面的线性方程组中x1的系数就可以用一个列向量表示:
⎩⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎧a11x1+a12x2+...+a1nxna21x1+a22x2+...+a2nxn ⋮ ⋮ ⋮as1x1+as2x2+...+asnxn=b1=b2 ⋮=bs⇒a=⎝⎜⎜⎜⎛a11a21...as1⎠⎟⎟⎟⎞
向量与线性空间
规定向量的运算:
取定数域K,设n是任意给定的正整数。令Kn={(a1,a2,...,an)∣ai∈K,i,1,2,...,n}。
-
如果a1=b1,a2=b2,...,an=bn,则称Kn中的两个元素:(a1,a2,...,an)与(b1,b2,...,bn)相等
-
在Kn中加法的运算,(a1,a2,...,an)+(b1,b2,...,bn)=def(a1+b1,a2+b2,...,an+bn)
-
在Kn中数乘运算,k(a1,a2,...,an)=def(ka1,ka2,...,ka3)
由以上三种运算的定义或者由初等行变换可以推导出下面8条运算性质,其中加法有四条,数乘也有四条:
- α+β=β+α
- (α+β)+γ=α+(β+γ)
- 把元素
(0,0,...,0)
记作0称为零向量,它使得:0+α=α+0=α
- 对于α=(a1,a2,...,an)∈Kn令,−α=def(−a1,−a2,...,an)∈Kn,则有α+(−α)=(−α)+α=0,称−α是α的负元
- 1α=α
- (kl)α=k(lα)
- (k+l)α=kα+lα
- k(α+β)=kα+kβ
满足这8条运算性质的还有如下:
- 平面上以定点O为起点的所有向量组成的集合
- 直线上以定点O为起点的所有向量组成的集合
- 空间中以定点O为起点的所有向量组成的集合
数学最基本的两个概念集合和映射。
集合:
映射:若一个对应法则f:A→B,有A中的每个元素A,都对应着B中的唯一的一个元素b,则称f是A到B的一个映射。
b被称为a在f映射下的像;a被称为b在f映射下的一个原像
A被称为定义域domain
,B被称为陪域codomain
f的值域(或者被称为像,像集),f(A):={f(a)∣a∈A},也记作Imf
若f(A)=B,则f称为一个满射,若A中不同元素在f上的像不同,则称f是单射。
如果f即是单射,又是满射,f称为一个双射(或一一对应)
运算:
2+3=5,其实就是有序整数对(2,3)→5
2∗3=6,其实就是有序整数对(2,3)→6
S×M:={(a,b)∣a∈S,b∈M},称为S与M的笛卡尔积。
运算的定义:非空集合S上的一个代数运算,是指S×S到S的一个映射。
定义1:向量、向量空间的定义。
数域K上所有n
元有序数组组成的集合Kn,连同定义在它上面的加法运算和数量数乘运算,及其满足的8条运算法则一起,称为数域K上的一个n维向量空间。Kn的元素称为n维向量,设向量α=(a1,a2,...,an),称ai是α的第i
个分量。通常用小写的希腊字母α、β、γ、...表示向量。
定义2:线性空间,将满足上面8条运算的事物抽象出来,建立了线性空间的模型。
设V是一个非空集合,K是一个数域,如果V上有一个运算,称为加法,即(α,β)→α+β;
K与V之间的运算,称为数乘,即K×V→V:(k,α)→kα
满足下述8条运算集合,则称为V是数域K上的一个线性空间
- α+β=β+α,∀α,β∈V,加法交换律
- (α+β)+γ=α+(β+γ),∀α,β,γ∈V,加法结合律
- V中有一个元素,记作0,则有下面性质,则把0称为V的零元。α+0=α,∀α∈V
- 对于α∈V,有β∈V,使得α+β=0,把β称为α的负元
- 1α=α,∀α∈V
- (kl)α=k(lα),∀k,l∈K,α∈V
- (k+l)α=k∗α+l∗α,∀k,l∈K,α∈V
- k(α+β)=kα+kβ,∀k∈K,α,β∈V
所以向量Kn:={(a1,a2,...,an)∣ai∈K,i=1,2,...,n}被称为数域K上的线性空间,通常称为数域K上的n维向量空间。
实际上借用几何语言,线性空间的元素称为一个向量,线性空间也可以称为向量空间
线性空间的性质
点动成线、线动成面、面动成体,所以集合空间中的基本元素是点。但是点与点之间有什么运算呢?所以高中引入了向量,以及向量的坐标。任意选定一个固定点O,就可以使用以O为起点的向量一一对应,O点本身就是零向量。这样其实就给出了几何空间的定义。
例子1:几何空间的定义
以定点O为起点的所有向量,构成了几何空间,满足8条运算所以是一个线性空间。
例子2:
Kn:={(a1,a2,...,an)∣a∈K,i=1,2,...,n},n维向量也满足8条运算性质
例子3:
非空集合X到R的映射,称为函数,集合X不要求一定是数。称为X上的一个实值函数。记为RX:={非空集合X到R的映射}
线性空间的性质:
通过这样的例子,抽象出共同点,得到线性空间。现在假定V是数域K上的线性空间,则归纳出以下线性空间的性质:
-
V的零元唯一。
-
每个α∈V的负元唯一,将α的负元记作−α
-
0α=0
-
k0=0
-
若kα=0,则k=0或α=0
-
(−1)α=−α,∀α∈V
-
α−β=α+(−β)
线性子空间
定义1:线性子空间
设V是数域K上的线性空间,U是V的一个非空子集,如果U对V的加法和数量乘法,也成为数域K上的一个线性空间,则称U是V的一个(线性)子空间。
定义2:
对于定理1中的eg2来说,W对于V的加法,数量乘法封闭,因此W是V的子空间,像这样的子空间,称它是由向量组α1,....,αs生成的子空间记作<α1,...,αs>或L(α1,...,αs)
定义3:线性表出
β∈<α1,...,αs>⟺存在K中的一组数l1,...,ls使得β=l1α1+...+lsαs,此时称β可以由向量α1,...,αs线性表出
定理1:线性子空间的充要条件:
V的非空子集U是子空间:
- 若α,β∈U,则α+β∈U(U对于V的加法封闭)
- 若α∈U,k∈K,则kα∈U(U对于V的数乘封闭)
eg1:{0}是V的子空间
eg2:向量组W={k1α1+...+ksαs∣k1,..,ks∈K}称为向量组α1,...,αk的一个线性组合,也是一个V的子空间。
向量与线性方程组
通过介绍一些有关于向量的概念,现在就要回到用向量研究线性方程组的解的问题上。现在先来解决用向量如何表示线性方程组的常数和系数。
- 如下图所示的个向量的线性方程组,我们可以使用一个列向量来表示方程组中每个方程中相同未知数的系数。
⎩⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎧a11x1+a12x2+...+a1nxna21x1+a22x2+...+a2nxn ⋮ ⋮ ⋮as1x1+as2x2+...+asnxn=b1=b2 ⋮=bs
-
对于那么对于上面这个方程组,分别使用列向量α1,...,αn表示相同未知数前面的系数的集合,使用β表示常数,那么方程组就可以使用向量更简单的表示出来:
α1=⎝⎜⎜⎜⎛a11a21...as1⎠⎟⎟⎟⎞,....,αn=⎝⎜⎜⎜⎛a1na2n...asn⎠⎟⎟⎟⎞,β=⎝⎜⎜⎜⎛b1b2...bs⎠⎟⎟⎟⎞x1α1+.....+xnαn=β
- 那么方程组x1α1+.....+xnαn=β有解
- ⟺有K中的一组数c1,...,cn,使得c1α1+...+cnαn=β
- ⟺β可以由列向量组α1,...,αn线性表出
- ⟺β∈<α1,...,αn>
- 所以本章任务:研究线性空间和它的子空间的结构
定义1:线性相关与线性无关
设V是数域K上的一个线性空间,V中的一个向量α1,...,αs(s≥1):
如果有K中不全为0的数k1,....,ks使得k1α1+...+ksαs=0,那么就称向量组α1,...,αs线性相关。
如果从k1α1+...+ksαs=0可以推出k1=...=ks=0,那么向量组α1,...,αs(s≥1)称为线性无关
定理1:线性相关与无关和线性方程组的解
Ks中,列向量组α1,...,αn线性相关
⟺有K个不全为0的数c1,...,cn使得c1α1+...+cnαn=0
⟺K上n元齐次线性方程组x1α1+...+xnαn=0有非零解
从而Ks中,列向量组α1,...,αn线性无关
⟺齐次线性方程组x1α1+...+xnαn=0只有零解
从而得出结论:Kn中,列向量组α1,...,αn线性相关(线性无关)⟺以α1,...,αn为列向量组的矩阵A行列式等于0(不等于0)。行向量组一样。
注意:Kn是数域K上的n维向量,而α1,...,αn这个向量组的向量个数是n
,所以会矩阵A是n×n
的数表。
线性相关与线性无关的性质
设V是数域K上的一个线性空间
性质1:
α线性相关⟺有k=0,使得kα=0⟺α=0
α线性无关⟺α=0
性质2:
向量组α1,...,αs如果有一个部分组(一部分向量组成的向量组)线性相关,那么α1,...,αs线性相关。
从而向量组α1,...,αs如果线性无关,那么α1,...,αs的任何一个部分组都线性无关。
性质3:
含有0的任何一个向量组都线性相关
性质4:
向量组α1,...,αs线性相关⟺其中至少有一个向量可以由其余向量线性表出。
从而向量组α1,...,αs线性无关$$\Longleftrightarrow$$其中每一个向量都不能由其余向量线性表出
命题1:线性无关的向量组特殊性质一
设β可以由向量组α1,...,αs线性表出,则表出方式唯一。⟺α1,...,αs线性无关。
命题2:线性无关的向量组特殊性质二
设α1,...,αs线性无关,如果α1,...,αs,β线性相关,那么β可以由α1,....,αs线性表出
定义1:极大线性无关组
向量组α1,...,αs的一个部分组称为这个向量组的一个极大线性无关组,如果满足:
- 这个部分组线性无关
- 从向量组的其余向量(如果有的话)中任取一个添进来,得到新的部分组都线性相关。