• 对于前面的矩阵和行列式的研究,已经研究出了线性方程组如果有唯一解,那么就有det(A)0det(\mathbf{A})≠0。但是这个研究结果并不令人满意。存在一下两点:
    • det(A)=0det(\mathbf{A})=0,那么线性方程组就有两种情况,无解或者有无穷多个解,但是无法分辨出来具体是哪种情况。
    • 在多数情况下方程组的未知数个数与方程的个数是不一样的,这种情况无法使用行列式判断。
  • 上面这两个问题就使得还需要研究与完善这个规律,就需要从单个方程出发,这里就引入了用一个向量表示一个方程,所以除了高中学的向量的普遍意义之外,向量还用来表示方程的系数。比如下面的线性方程组中x1x_1的系数就可以用一个列向量表示:

{a11x1+a12x2+...+a1nxn=b1a21x1+a22x2+...+a2nxn=b2                                             as1x1+as2x2+...+asnxn=bsa=(a11a21...as1)\begin{cases} a_{11}x_1+a_{12}x_2+...+a_{1n}x_n &= b_1 \\ a_{21}x_1+a_{22}x_2+...+a_{2n}x_n &= b_2\\ ~~~~~~\vdots~~~~~~~~~~~~~\vdots~~~~~~~~~~~~~~~~~~~~\vdots&~~~~~~\vdots\\ a_{s1}x_1+a_{s2}x_2+...+a_{sn}x_n&=b_s \end{cases} \Rightarrow\vec{a}= \begin{pmatrix} a_{11} \\ a_{21} \\ ... \\ a_{s1} \end{pmatrix}

向量与线性空间

规定向量的运算

取定数域KK,设n是任意给定的正整数。令Kn={(a1,a2,...,an)aiK,i,1,2,...,n}K^{n}=\{(a_1,a_2,...,a_n)|a_i\in K,i,1,2,...,n\}

  1. 如果a1=b1,a2=b2,...,an=bna_1=b_1,a_2=b_2,...,a_n=b_n,则称KnK^{n}中的两个元素:(a1,a2,...,an)(a_1,a_2,...,a_n)(b1,b2,...,bn)(b_1,b_2,...,b_n)相等

  2. KnK^{n}中加法的运算,(a1,a2,...,an)+(b1,b2,...,bn)=def(a1+b1,a2+b2,...,an+bn)(a_1,a_2,...,a_n)+(b_1,b_2,...,b_n)\stackrel{\mathrm{def}}{=} (a_1+b_1,a_2+b_2,...,a_n+b_n)

  3. KnK^{n}中数乘运算,k(a1,a2,...,an)=def(ka1,ka2,...,ka3)k(a_1,a_2,...,a_n)\stackrel{\mathrm{def}}{=}(ka_1,ka_2,...,ka_3)

由以上三种运算的定义或者由初等行变换可以推导出下面8条运算性质,其中加法有四条,数乘也有四条:

  1. α+β=β+α\mathbf{\alpha}+\mathbf{\beta}=\mathbf{\beta}+\mathbf{\alpha}
  2. (α+β)+γ=α+(β+γ)(\mathbf{\alpha}+\mathbf{\beta})+\mathbf{\gamma}=\mathbf{\alpha}+(\mathbf{\beta}+\mathbf{\gamma})
  3. 把元素(0,0,...,0)记作0\mathbf{0}称为零向量,它使得:0+α=α+0=α\mathbf{0}+\mathbf{\alpha}=\mathbf{\alpha}+\mathbf{0}=\mathbf{\alpha}
  4. 对于α=(a1,a2,...,an)Kn\mathbf{\alpha}=(a_1,a_2,...,a_n)\in K^{n}令,α=def(a1,a2,...,an)Kn-\mathbf{\alpha}\stackrel{\mathrm{def}}=(-a_1,-a_2,...,a_n)\in K^{n},则有α+(α)=(α)+α=0\mathbf{\alpha}+(-\mathbf{\alpha})=(-\mathbf{\alpha)}+\mathbf{\alpha}=\mathbf{0},称α-\mathbf{\alpha}α\alpha的负元
  5. 1α=α1\mathbf{\alpha}=\mathbf{\alpha}
  6. (kl)α=k(lα)(kl)\mathbf{\alpha}=k(l\mathbf{\alpha})
  7. (k+l)α=kα+lα(k+l)\mathbf{\alpha}=k\mathbf{\alpha}+l\mathbf{\alpha}
  8. k(α+β)=kα+kβk(\mathbf{\alpha+\beta})=k\mathbf{\alpha}+k\mathbf{\beta}

满足这8条运算性质的还有如下:

  1. 平面上以定点O为起点的所有向量组成的集合
  2. 直线上以定点O为起点的所有向量组成的集合
  3. 空间中以定点O为起点的所有向量组成的集合

数学最基本的两个概念集合和映射。

集合

映射:若一个对应法则f:ABf:A\rightarrow B,有A中的每个元素A,都对应着B中的唯一的一个元素b,则称ff是A到B的一个映射。

b被称为a在ff映射下的像;a被称为b在ff映射下的一个原像

A被称为定义域domain,B被称为陪域codomain

ff的值域(或者被称为像,像集),f(A):={f(a)aA}f(A):=\{f(a)|a\in A\},也记作Imf

f(A)=Bf(A)=B,则ff称为一个满射,若A中不同元素在ff上的像不同,则称ff是单射。

如果ff即是单射,又是满射,f称为一个双射(或一一对应)

运算

2+3=52+3=5,其实就是有序整数对(2,3)5(2,3)\rightarrow 5

23=62*3=6,其实就是有序整数对(2,3)6(2,3)\rightarrow 6

S×M:={(a,b)aS,bM}S×M:=\{(a,b)|a\in S,b\in M\},称为S与M的笛卡尔积。

运算的定义:非空集合SS上的一个代数运算,是指S×SS×SSS的一个映射。

定义1:向量、向量空间的定义。

数域K上所有n元有序数组组成的集合KnK^{n},连同定义在它上面的加法运算和数量数乘运算,及其满足的8条运算法则一起,称为数域K上的一个n维向量空间KnK^{n}的元素称为n维向量,设向量α=(a1,a2,...,an)\alpha=(a_1,a_2,...,a_n),称aia_iα\alpha的第i分量。通常用小写的希腊字母αβγ...\alpha、\beta、\gamma、...表示向量。

定义2线性空间,将满足上面8条运算的事物抽象出来,建立了线性空间的模型。

VV是一个非空集合,KK是一个数域,如果VV上有一个运算,称为加法,即(α,β)α+β(\alpha,\beta)\rightarrow\alpha+\beta

KKVV之间的运算,称为数乘,即K×VV:(k,α)kαK×V\rightarrow V:(k,\alpha)\rightarrow k\alpha

满足下述8条运算集合,则称为V是数域K上的一个线性空间

  1. α+β=β+α,α,βV\alpha+\beta=\beta+\alpha,\forall \alpha,\beta\in V,加法交换律
  2. (α+β)+γ=α+(β+γ),α,β,γV(\alpha+\beta)+\gamma=\alpha+(\beta+\gamma),\forall \alpha,\beta,\gamma\in V,加法结合律
  3. VV中有一个元素,记作0\mathbf{0},则有下面性质,则把0\mathbf{0}称为V的零元。α+0=α,αV\alpha + 0=\alpha,\forall \alpha \in V
  4. 对于αV\alpha \in V,有βV\beta \in V,使得α+β=0\alpha + \beta = 0,把β\beta称为α\alpha负元
  5. 1α=α,αV1\alpha=\alpha,\forall \alpha \in V
  6. (kl)α=k(lα),k,lK,αV(kl)\alpha = k(l\alpha),\forall k,l \in K,\alpha\in V
  7. (k+l)α=kα+lα,k,lK,αV(k+l)\alpha=k*\alpha+l*\alpha,\forall k,l\in K,\alpha \in V
  8. k(α+β)=kα+kβ,kK,α,βVk(\alpha+\beta)=k\alpha+k\beta,\forall k\in K,\alpha,\beta \in V

所以向量Kn:={(a1,a2,...,an)aiK,i=1,2,...,n}K^{n}:=\{(a_1,a_2,...,a_n)|a_i\in K,i=1,2,...,n\}被称为数域K上的线性空间,通常称为数域KK上的n维向量空间。

实际上借用几何语言,线性空间的元素称为一个向量,线性空间也可以称为向量空间

线性空间的性质

点动成线、线动成面、面动成体,所以集合空间中的基本元素是点。但是点与点之间有什么运算呢?所以高中引入了向量,以及向量的坐标。任意选定一个固定点OO,就可以使用以OO为起点的向量一一对应,OO点本身就是零向量。这样其实就给出了几何空间的定义。

例子1:几何空间的定义

以定点OO为起点的所有向量,构成了几何空间,满足8条运算所以是一个线性空间。

例子2

Kn:={(a1,a2,...,an)aK,i=1,2,...,n}K^{n}:=\{(a_1,a_2,...,a_n)|a\in K,i=1,2,...,n\},n维向量也满足8条运算性质

例子3

非空集合XXR\R的映射,称为函数,集合XX不要求一定是数。称为XX上的一个实值函数。记为RX:={非空集合XR的映射}\R^{X}:=\{非空集合X到\R的映射\}

线性空间的性质

通过这样的例子,抽象出共同点,得到线性空间。现在假定VV是数域K上的线性空间,则归纳出以下线性空间的性质:

  1. VV的零元唯一。

  2. 每个αV\alpha \in V的负元唯一,将α\alpha的负元记作α-\alpha

  3. 0α=00\alpha=\mathbf{0}

  4. k0=0k\mathbf{0}=\mathbf{0}

  5. kα=0k\alpha=0,则k=0k=0α=0\alpha=\mathbf{0}

  6. (1)α=α,αV(-1)\alpha=-\alpha,\forall \alpha \in V

  7. αβ=α+(β)\alpha-\beta=\alpha+(-\beta)

线性子空间

定义1:线性子空间

VV是数域KK上的线性空间,UUVV的一个非空子集,如果UUVV的加法和数量乘法,也成为数域KK上的一个线性空间,则称UUVV的一个(线性)子空间。

定义2

对于定理1中的eg2来说,WW对于VV的加法,数量乘法封闭,因此WWVV的子空间,像这样的子空间,称它是由向量组α1,....,αs\alpha_1,....,\alpha_s生成的子空间记作<α1,...,αs><\alpha_1,...,\alpha_s>L(α1,...,αs)L(\alpha_1,...,\alpha_s)

定义3:线性表出
β<α1,...,αs>\beta\in<\alpha_1,...,\alpha_s>\Longleftrightarrow存在KK中的一组数l1,...,lsl_1,...,l_s使得β=l1α1+...+lsαs\beta=l_1\alpha_1+...+l_s\alpha_s,此时称β\beta可以由向量α1,...,αs\alpha_1,...,\alpha_s线性表出

定理1:线性子空间的充要条件

VV的非空子集UU是子空间:

  1. α,βU\alpha,\beta \in U,则α+βU\alpha+\beta \in U(U对于V的加法封闭)
  2. αU,kK\alpha \in U,k\in K,则kαUk\alpha \in U(U对于V的数乘封闭)

eg1:{0}\{0\}是V的子空间

eg2:向量组W={k1α1+...+ksαsk1,..,ksK}W=\{k_1\alpha_1+...+k_s\alpha_s|k_1,..,k_s\in K\}称为向量组α1,...,αk\alpha_1,...,\alpha_k的一个线性组合,也是一个V的子空间。

向量与线性方程组

通过介绍一些有关于向量的概念,现在就要回到用向量研究线性方程组的解的问题上。现在先来解决用向量如何表示线性方程组的常数和系数。

  • 如下图所示的个向量的线性方程组,我们可以使用一个列向量来表示方程组中每个方程中相同未知数的系数。

{a11x1+a12x2+...+a1nxn=b1a21x1+a22x2+...+a2nxn=b2                                             as1x1+as2x2+...+asnxn=bs\begin{cases} a_{11}x_1+a_{12}x_2+...+a_{1n}x_n &= b_1 \\ a_{21}x_1+a_{22}x_2+...+a_{2n}x_n &= b_2\\ ~~~~~~\vdots~~~~~~~~~~~~~\vdots~~~~~~~~~~~~~~~~~~~~\vdots&~~~~~~\vdots\\ a_{s1}x_1+a_{s2}x_2+...+a_{sn}x_n&=b_s \end{cases}

  • 对于那么对于上面这个方程组,分别使用列向量α1,...,αn\alpha_1,...,\alpha_n表示相同未知数前面的系数的集合,使用β\beta表示常数,那么方程组就可以使用向量更简单的表示出来:

    α1=(a11a21...as1),....,αn=(a1na2n...asn),β=(b1b2...bs)x1α1+.....+xnαn=β\alpha_1=\begin{pmatrix} a_{11} \\ a_{21} \\ ... \\ a_{s1} \end{pmatrix},...., \alpha_n=\begin{pmatrix} a_{1n} \\ a_{2n} \\ ... \\ a_{sn} \end{pmatrix} ,\beta=\begin{pmatrix} b_{1} \\ b_{2} \\ ... \\ b_{s} \end{pmatrix} \\ \\ x_1\alpha_1+.....+x_n\alpha_n=\beta

    • 那么方程组x1α1+.....+xnαn=βx_1\alpha_1+.....+x_n\alpha_n=\beta有解
    • \LongleftrightarrowKK中的一组数c1,...,cnc_1,...,c_n,使得c1α1+...+cnαn=βc_1\alpha_1+...+c_n\alpha_n=\beta
    • β\Longleftrightarrow\beta可以由列向量组α1,...,αn\alpha_1,...,\alpha_n线性表出
    • β<α1,...,αn>\Longleftrightarrow\beta\in<\alpha_1,...,\alpha_n>
    • 所以本章任务:研究线性空间和它的子空间的结构

定义1:线性相关与线性无关

VV是数域KK上的一个线性空间,VV中的一个向量α1,...,αs(s1)\alpha_1,...,\alpha_s(s≥1)

如果有KK中不全为0的数k1,....,ksk_1,....,k_s使得k1α1+...+ksαs=0k_1\alpha_1+...+k_s\alpha_s=\vec{0},那么就称向量组α1,...,αs\alpha_1,...,\alpha_s线性相关

如果从k1α1+...+ksαs=0k_1\alpha_1+...+k_s\alpha_s=\vec{0}可以推出k1=...=ks=0k_1=...=k_s=0,那么向量组α1,...,αs(s1)\alpha_1,...,\alpha_s(s≥1)称为线性无关

定理1:线性相关与无关和线性方程组的解

KsK^s中,列向量组α1,...,αn\alpha_1,...,\alpha_n线性相关

\LongleftrightarrowKK个不全为0的数c1,...,cnc_1,...,c_n使得c1α1+...+cnαn=0c_1\alpha_1+...+c_n\alpha_n=\vec{0}

\LongleftrightarrowK上n元齐次线性方程组x1α1+...+xnαn=0x_1\alpha_1+...+x_n\alpha_n=\vec{0}有非零解

从而KsK^s中,列向量组α1,...,αn\alpha_1,...,\alpha_n线性无关

\Longleftrightarrow齐次线性方程组x1α1+...+xnαn=0x_1\alpha_1+...+x_n\alpha_n=\vec{0}只有零解

从而得出结论:KnK^n中,列向量组α1,...,αn\alpha_1,...,\alpha_n线性相关(线性无关)\Longleftrightarrowα1,...,αn\alpha_1,...,\alpha_n为列向量组的矩阵AA行列式等于0(不等于0)。行向量组一样。

注意:KnK^n是数域K上的n维向量,而α1,...,αn\alpha_1,...,\alpha_n这个向量组的向量个数是n,所以会矩阵A是n×n的数表。

线性相关与线性无关的性质

VV是数域KK上的一个线性空间

性质1

α\alpha线性相关\Longleftrightarrowk0k≠0,使得kα=0k\alpha=\vec{0}α=0\Longleftrightarrow \alpha=\vec{0}

α\alpha线性无关α0\Longleftrightarrow \alpha≠0

性质2

向量组α1,...,αs\alpha_1,...,\alpha_s如果有一个部分组(一部分向量组成的向量组)线性相关,那么α1,...,αs\alpha_1,...,\alpha_s线性相关。

从而向量组α1,...,αs\alpha_1,...,\alpha_s如果线性无关,那么α1,...,αs\alpha_1,...,\alpha_s的任何一个部分组都线性无关。

性质3

含有0\vec{0}的任何一个向量组都线性相关

性质4

向量组α1,...,αs\alpha_1,...,\alpha_s线性相关\Longleftrightarrow其中至少有一个向量可以由其余向量线性表出。

从而向量组α1,...,αs\alpha_1,...,\alpha_s线性无关$$\Longleftrightarrow$$其中每一个向量都不能由其余向量线性表出

命题1:线性无关的向量组特殊性质一

β\beta可以由向量组α1,...,αs\alpha_1,...,\alpha_s线性表出,则表出方式唯一。\Longleftrightarrowα1,...,αs\alpha_1,...,\alpha_s线性无关。

命题2:线性无关的向量组特殊性质二

α1,...,αs\alpha_1,...,\alpha_s线性无关,如果α1,...,αs,β\alpha_1,...,\alpha_s,\beta线性相关,那么β\beta可以由α1,....,αs\alpha_1,....,\alpha_s线性表出

定义1:极大线性无关组

向量组α1,...,αs\alpha_1,...,\alpha_s的一个部分组称为这个向量组的一个极大线性无关组,如果满足:

  1. 这个部分组线性无关
  2. 从向量组的其余向量(如果有的话)中任取一个添进来,得到新的部分组都线性相关。