线性代数（2）- 有限维的向量空间

有限维的向量空间

线性组合

  同一个向量空间$V$中，有若干个向量$v_1,\dots ,v_m$，则$a_1{v}_1+\dots +a_m{v}_m$被称为是它们的线性组合（Linear Combination），其中$a_1,\dots ,a_m\in F$

展开

  同一个向量空间中，若干的向量$v_1,\dots ,v_m$的展开（Span）
   s p a n ( v 1 , … , v m ) = { a 1 v 1 + … + a m v m ∣ a 1 , … , a m ∈ F } span(v_1,\dots,v_m)=\lbrace a_1v_1+\ldots+a_mv_m \mid a_1,\dots,a_m \in F \rbrace span(v1​,…,vm​)={a1​v1​+…+am​vm​∣a1​,…,am​∈F}

  如果$span(v_1,\dots ,v_m)=V$，就称向量$v_1,\dots ,v_m$展开成$V$

  $span(v_1,\dots ,v_m)$一定是$V$的子空间

  如果一个向量空间由有限个向量展开而得，就说它是有限维度的（Finite-dimensional）

  $\forall {\lambda }_i\in F且{\lambda }_i\ne 0,span({\lambda }_1{v}_1,\dots ,{\lambda }_m{v}_m)=span(v_1,\dots ,v_m)$

  $span(v_1+v_2,v_2+v_3,v_3+v_4,\dots ,v_m)=span(v_1,\dots ,v_m)$

多项式函数

  $p(z)=a_0+a_{1}z+a_2{z}^2+\cdots +a_m{z}_m$
  如果一个函数$p:F\to F$可以表示在如上形式，其中$a_0,\dots ,a_m\in F$，则我们称他为一个系数在F上的多项式函数（Polynomial）
  $P(F)$就是所有系数在F上的多项式函数组成的集合
  使用函数集合上的加法和数乘的定义，则$p(F)$是一个向量空间

  多项式函数的非零自变量的最高次m，称为它的度（degree）
  恒为零的多项式函数，定义它的度为$-\infty$
  $P_m(F)$是所有度小于等于m的多项式函数的集合

线性独立

  向量空间 $V$上的向量$v_1,\dots ,v_m$是线性独立的（Linear Independent）的当且仅当方程$a_1{v}_1+\cdots +a_m{v}_m=0,a_1,\dots ,a_m\in F$只有一个全零解$a_1=\cdots =a_m=0$，否则称为线性依赖的（Linear Dependent）

  一些线性独立的实例

• 两个向量是线性独立的当且仅当其中任意一个都不是另一个的数乘结果
• $P(F)$上的向量$1,z,\dots ,z^m$是线性独立的

线性独立、线性依赖的一些推论

• 向量空间$V$上的$v_1,\dots ,v_m$是线性依赖的，则存在一个 j ∈ { 1 , 2 , … , m } j \in \lbrace1,2,\dots,m\rbrace j∈{1,2,…,m}同时满足以下两点$$v_j\in span(v_1,\dots ,v_{j-1})$$$$span(v_1,\dots ,v_{j-1},v_{j+1},\dots ,v_m)=span(v_1,\dots ,v_m)$$

• 向量空间$V$上的$v_1,\dots ,v_m$是线性独立的，$\forall {\lambda }_i\in F且{\lambda }_i\ne 0,i=1,\dots ,m,({\lambda }_1{v}_1,\dots ,{\lambda }_m{v}_m)$仍是线性独立的。（也适用线性依赖）

• 向量空间$V$上的$v_1,\dots ,v_m$是线性独立的，$(v_1+v_2,v_2+v_3,v_3+v_4,\dots ,v_m)$仍是线性独立的。

线性独立、展开、维度的一些推论

• 有限维度的向量空间中，任意一个线性独立的向量组的长度都小于等于任意一个展开组的长度（展开到这个向量空间）

• 有限维度的向量空间的子空间也是有限维度的

• 向量空间是无限维当且仅当$V$上存在一个无限长的线性独立的向量组

• 向量空间$V$上的$v_1,\dots ,v_m$是线性独立的，现有$w\in V$，则$v_1,\dots ,v_m,w$是线性独立的当且仅当$w\notin span(v_1,\dots ,v_m)$

• 向量空间$V$上的$v_1,\dots ,v_m$是线性独立的，现有$w\in V$，则$v_1+w,\dots ,v_m+w$是线性独立的当且仅当$w=0或w\notin span(v_1,\dots ,v_m)$

基

  向量空间$V$的基（Base）就是一组线性独立的、展开成$V$的向量组
  比如，$1,z,z^2,\dots ,z^m$就是$P_m(F)$一个基

  关于基有以下的推论（都是面向有限维度的向量空间$V$）

  $V$中的$v_1,\dots ,v_m$是其的一个基当且仅当$\forall v\in V,\exists a_1,\dots ,a_m\in F,v=a_1{v}_1+\cdots +a_m{v}_m$，且是$v$的唯一表达

  同一个向量空间的不同的基是等长的

  展开成$V$的向量组可缩减成一个基（删掉其中某些向量）

  $V$中的任意一个线性独立的向量组可扩充成一个基

  $V$的任意一个子空间$U$都存在一个对应的子空间$W$，使得它们的直和为$V$（事实上，将$U$的基扩充成$V$的基，多出来的向量组就是$W$的基）

  $V$的两个子空间的直和为$V$，则它们分别的基组合起来就是$V$的基

维度

  向量空间$V$的维度被定义为任意一个基的长度，记为dim $V$

  以下是维度的推论

• $W$是有限维度的向量空间$V$的子空间，则有dim $U\le$dim $V$

• $V$内长度为dim $V$且线性独立的向量组是$V$的一个基

• 长度为dim $V$且展开成$V$的向量组是$V$的一个基

• $U_1,U_2$是有限维度的向量空间$V$的子空间，则有$$dim(U_1+U_2)=dim(U_1)+dim(U_2)-dim(U_1\cap U_2)$$

• 向量空间$V$中$v_1,\dots ,v_m$是线性独立的，$w\in V$，则有$$dimspan(v_1+w,\dots ,v_m+w)\ge m-1$$