线性映射的定义和性质

  • 先讨论线性映射

定义1

VVVV'都是域FF上的线性空间,VVVV'的一个映射A\underline{A}如果满足如下,那么我们称A\underline{A}VVVV'的一个线性映射:

  1. A(α+β)=A(α)+A(B),α,βV\underline{A}(\alpha+\beta)=\underline{A}(\alpha)+\underline{A}(B),\forall \alpha,\beta \in VA\underline{A}保持加法)
  2. $\underline{A}(k\alpha)=k\underline{A}(\alpha),\forall \alpha\in V,\forall k \in F \underline{A}$保持纯量乘法)

注解1:VV到自身的线性映射被称为VV上的线性变换

注解2:任给kF,K(α):=kα,αVk\in F,\underline{K}(\alpha):=k\alpha,\forall \alpha \in V,则K\underline{K}VV上的线性变换称K\underline{K}VV上的数乘变换

注解3:零变换是特殊的数乘变换0(α)=0,αV\underline{0}(\alpha)=0,\forall \alpha \in V

注解4:恒等变换也是特殊的数称变换1(α)=α,αV\underline{1}(\alpha)=\alpha,\forall \alpha \in V,记作I\underline{I}

性质1

A:VV\underline{A}:V\rightarrow V'是线性映射,则满足如下几条性质:

  1. A(0)=0\underline{A}(0)=0'
  2. A(α)=A(α)\underline{A}(-\alpha)=-\underline{A}(\alpha)
  3. A(k1α1+...+ksαs)=k1A(α1)+...+ksA(αs)\underline{A}(k_1\alpha_1+...+k_s\alpha_s)=k_1\underline{A}(\alpha_1)+...+k_s\underline{A}(\alpha_s)
  4. α1,...,αs\alpha_1,...,\alpha_sVV中线性相关A(α1),....,A(αs)\Rightarrow \underline{A}(\alpha_1),....,\underline{A}(\alpha_s)VV'中线性相关。
  5. dim(V)=ndim(V)=nVV中取一个基α1,...,αn\alpha_1,...,\alpha_n任取αV\alpha \in V,并设α=a1α1+...+anαn\alpha= a_1\alpha_1+...+a_n\alpha_n,则A(α)=a1A(α1)+...+anA(αn)\underline{A}(\alpha)=a_1\underline{A}(\alpha_1)+...+a_n\underline{A}(\alpha_n),从而A\underline{A}被它在VV中的一个基上的作用所决定,即若VVVV'的一个线性映射B\underline{B}满足B(αn)=A(αn)\underline{B}(\alpha_n)=\underline{A}(\alpha_n),则B=A\underline{B}=\underline{A}
  6. A\underline{A}VVVV'的一个同构映射A\Leftrightarrow \underline{A}VVVV'的可逆的线性映射。

定理1

VVVV'都是域FF上的线性空间,且dim(V)=ndim(V)=nVV中取一个基α1,...,αn\alpha_1,...,\alpha_n,而VV'中任取nn个向量γ1,..,γn\gamma_1,..,\gamma_n(可以有相同)

A:VV\underline{A}:V\rightarrow V'α=i=1naiαii=1nairi\alpha=\sum^{n}_{i=1}a_i\alpha_i \rightarrow \sum^{n}_{i=1}a_ir_i,则A\underline{A}VVV\rightarrow V'的一个线性映射

  • 接着讨论VVVV'中所有线性映射构成的集合。

定义2

VVVV'都是域FF上的线性空间,规定Hom(V,V):={VV的线性映射},Hom(V,V):={V上的线性变换}Hom(V,V'):=\{V到V'的线性映射\},Hom(V,V):=\{V上的线性变换\}

Hom(V,V)Hom(V,V')

  1. 规定加法:(A+B)α=Aα+Bα,αV(\underline{A}+\underline{B})\alpha=\underline{A}\alpha + \underline{B}\alpha,\forall \alpha \in V
  2. 规定纯量乘法:(kA)α:=k(Aα),V(k\underline{A})\alpha :=k(\underline{A}\alpha),\forall \in V

很容易证明得到Hom(V,V)Hom(V,V')保持加法,保持纯量乘法,因此可以得到Hom(V,V)Hom(V,V')成为域FF上的,线性空间。

注解1:零元是零映射:0α=0,αV\underline{0}\alpha = 0',\forall \alpha \in V

注解2:A\underline{A}的负元(A)α=Aα,αV(-\underline{A})\alpha = -\underline{A}\alpha,\forall \alpha \in V

线性映射的核与象

定义1

A\underline{A}是域FF上线性空间VVVV'的一个,则VV的子集KerA:={αVAα=0}Ker\underline{A}:=\{\alpha \in V| \underline{A}\alpha=0'\}称为A\underline{A}的核。

性质1

KerAKer\underline{A}VV的一个子空间

性质2

A\underline{A}是单射kerA=0\Leftrightarrow ker\underline{A}=0

性质3

ImAI_{m}\underline{A}是(或AV\underline{A}V)是VV'的子空间

性质4

A\underline{A}是满射InA=V\Leftrightarrow I_n{\underline{A}}=V'

性质5

有平行于WWUU上的投影PU\underline{P}_{U},有Im(PU)=UI_m(\underline{P}_U)=U

性质6

对于映射σ:V/WImPU\sigma: V/W \rightarrow I_m\underline{P}_U,有如下同构映射:V/WImPUV/W\cong I_m\underline{P}_U,即V/kerPUImPUV/ker\underline{P}_U\cong I_m\underline{P}_U

定理1

A\underline{A}是域FF上的线性空间VVVV'的一个线性映射则V/kerAImAV/ker\underline{A}\cong I_mA

定理2

AHom(V,V)A\in Hom(V,V')dim(V)=ndim(V)=n,则dim(V)=dim(kerA)+dim(ImA)dim(V)=dim(ker\underline{A})+dim(I_m\underline{A}),且称dim(ImA)dim(I_m\underline{A})为线性映射A\underline{A}的秩,记作rank(A)rank(\underline{A}),称dim(KerA)dim(Ker\underline{A})A\underline{A}的零度

推论1

AHom(V,V)\underline{A}\in Hom(V,V')dim(V)=dim(V)dim(V)=dim(V')A\underline{A}是单射A\Leftrightarrow \underline{A}是满射

推论2

A\underline{A}VV上的线性变换,dim(V)=ndim(V)=n,则A\underline{A}是单射A\Leftrightarrow A是满射

线性变换和线性映射的矩阵

定义1

VV是域FF上的nn维线性空间,A\underline{A}VV上的一个线性变换VV中取一个基α1,..,αn\alpha_1,..,\alpha_n,那么有:

Aα1=a11α1+a21+a21α2+...+an1αnAα2=a12α1+a22+a21α2+...+an2αnAαn=a1nα1+a2n+a21α2+...+annαn\begin{array}{l} \underline{A}\alpha_1 = a_{11}\alpha_1+a_{21}+a_{21}\alpha_2+...+a_{n1}\alpha_n\\ \underline{A}\alpha_2 = a_{12}\alpha_1+a_{22}+a_{21}\alpha_2+...+a_{n2}\alpha_n\\ \vdots \\ \underline{A}\alpha_n = a_{1n}\alpha_1+a_{2n}+a_{21}\alpha_2+...+a_{nn}\alpha_n\\ \end{array}

VV是域F上的线性空间,Vn:=V×V×...×V:={(α1,...,αn)αiV,i=1,...,n}V^{n}:=V×V×...×V:=\{(\alpha_1,...,\alpha_n)|\alpha_i\in V,i=1,...,n\},容易验证VnV^{n}是域F上的线性空间。

定义2

对于(Aα1,...,Aαn)(\underline{A}\alpha_1,...,\underline{A}\alpha_n)我们有如下等式:

(Aα1,...,Aαn)=(α1,...,αn)[a11a1ma21a2man1anm]=(a11α1+...+an1αn,...,a1mα1+a2mα2+....+anmαn)\begin{array}{l} (\underline{A}\alpha_1,...,\underline{A}\alpha_n)&=(\alpha_1,...,\alpha_n) \begin{bmatrix} a_{11} &\dots & a_{1m}\\ a_{21} &\dots & a_{2m}\\ \vdots &&\vdots\\ a_{n1}&\dots&a_{nm} \end{bmatrix}\\ &=(a_{11}\alpha_1+...+a_{n1}\alpha_n,...,a_{1m}\alpha_1+a_{2m}\alpha_2+....+a_{nm}\alpha_{n}) \end{array}

那么规定(Aα1,...,Aαn)=(α1,...,αn)A(\underline{A}\alpha_1,...,\underline{A}\alpha_n)=(\alpha_1,...,\alpha_n)A,记A(α1,...,αn)=(α1,...,αn)A\underline{A}(\alpha_1,...,\alpha_n)=(\alpha_1,...,\alpha_n)A,把AA称为线性变换A\underline{A}在基α1,...,αn\alpha_1,...,\alpha_n下的矩阵,AA的第jj列是Aαj\underline{A}\alpha_{j}在基α1,...,αn\alpha_1,...,\alpha_n下的坐标。

定理1

AHom(V,V),dim(V)=n\underline{A}\in Hom(V,V'),dim(V)=ndim(V)=sdim(V')=sVV中取一个基α1,...,αn\alpha_1,...,\alpha_nVV'中取一个基η1,...,ηs\eta_1,...,\eta_s那么有(Aα1,...,Aαn)=(η1,...,ηs)A(\underline{A}\alpha_1,...,\underline{A}\alpha_n)=(\eta_1,...,\eta_s)A,把AA称为线性映射A\underline{A}在基α1,....,αn\alpha_1,....,\alpha_nVV'的基η1,...,ηs\eta_1,...,\eta_s下的矩阵。

BHom(V,V)\underline{B}\in Hom(V,V'),则有如下:

  1. (A+B)=(η1,...,ηs)(A+B)(\underline{A}+\underline{B})=(\eta_1,...,\eta_s)(A+B)
  2. (kA)(α1,...,αn)=(η1,...,ηs)(kA)(k\underline{A})(\alpha_1,...,\alpha_n)=(\eta_1,...,\eta_s)(kA)

因此对于映射σ:Hom(V,V)Ms×n(F)\sigma: Hom(V,V')\rightarrow M_{s×n}(F)都有即AA\underline{A}\rightarrow A,基中A(α1,...,αn)=(η1,...,ηs)A\underline{A}(\alpha_1,...,\alpha_n)=(\eta_1,...,\eta_s)A,设BB\underline{B}\rightarrow B,其中B(α1,...,αn)=(η1,...,ηs)B\underline{B}(\alpha_1,...,\alpha_n)=(\eta_1,...,\eta_s)B

那么有σ(A+B)=σ(A)+σ(B)\sigma(\underline{A}+\underline{B})=\sigma(\underline{A})+\sigma(\underline{B}),以及σ(kA)=kσ(A)\sigma(k\underline{A})=k\sigma(\underline{A}),任意给C=(c1,...,cn)Ms×n(F)C=(c_1,...,c_n)\in M_{s×n}(F),那么一定存在一个C(α1,...,αn)=(η1,...,ηs)(c1,...,cn)\underline{C}(\alpha_1,...,\alpha_n)=(\eta_1,...,\eta_s)(c_1,...,c_n),因此σ\sigma是双射,从而σ\sigmaHom(V,V)Hom(V,V')Ms×n(F)M_{s×n}(F)的一个同构映射。

线性变换在不同基下的矩阵之间的关系

定义1

A\underline{A}是域FFnn维线性空间VV上的一个线性变换,VV中两个基α1,...,αn\alpha_1,...,\alpha_nη1,...,ηn\eta_1,...,\eta_n,设:

(η1,...,ηn)=(α1,....,αn)[s11...s1ns21...s2nsn1snn](\eta_1,...,\eta_n)=(\alpha_1,....,\alpha_n) \begin{bmatrix} s_{11}&...&s_{1n}\\ s_{21}&...&s_{2n}\\ \vdots&&\vdots\\ s_{n1}&\dots&s_{nn} \end{bmatrix}

将上式中的矩阵记为SS,把SS称为基α1,...,αn\alpha_1,...,\alpha_n到基η1,...,ηn\eta_1,...,\eta_n的过渡矩阵。

定理1

过渡矩阵一定是可逆矩阵

定义2

A,BMm(F)A,B\in M_{m}(F),如果存在域FF上的nn级可逆矩阵PP,使得B=P1APB=P^{-1}AP那么称AABB是相似的,记为ABA\sim B

注解1:由定理1可以表明线性变换A\underline{A}VV的不同角度下的矩阵是相似的。

注解2:相似关系是Mn(F)M_n(F)上的一个等价关系,AA的等价类称为AA的相似类

性质1

ABA \sim B,则A=B|A|=|B|rank(A)=rank(B)rank(A)=rank(B)

定义3

设一个矩阵AA如下:

A=[a11a12a1na21a22a2nan1an2ann]A= \begin{bmatrix} a_{11}&a_{12}&\dots&a_{1n}\\ a_{21}&a_{22}&\dots&a_{2n}\\ \vdots&\vdots&&\vdots\\ a_{n1}& a_{n2}&\dots&a_{nn} \end{bmatrix}

称主对角线元素之和即a11+a22+...+anna_{11}+a_{22}+...+a_{nn}为矩阵AA的迹trac,记为tr(A)tr(A)

命题1

A,BMn(F)A,B\in M_n(F),则tr(A+B)=tr(A)+tr(B)tr(A+B)=tr(A)+tr(B)tr(kA)=ktr(A)tr(kA)=ktr(A)tr(AB)=tr(BA)tr(AB)=tr(BA)

性质2

ABA\sim B,则tr(A)=tr(B)tr(A)=tr(B)

注解:nn级矩阵的行列式、秩、迹是相似关系的不变量,把线性变换A\underline{A}VV的一个基下的矩阵的行列式、秩、迹称为A\underline{A}的行列式、秩、迹,,并且前面还有定义rank(A):=dim(ImA)rank(\underline{A}):=dim(I_m\underline{A})

线性变换的特征值和特征向量

定义1

A\underline{A}是域FF上线性空间VV上的一个线性变换,如果存在λ0F\lambda_0\in F,以及VV中的一个非零向量ξ\xi,使得Aξ=λ0ξ\underline{A}\xi=\lambda_0\xi,那么称λ0\lambda_0A\underline{A}的一个特征值,称ξ\xiA\underline{A}的属于特征值λ0\lambda_0的一个特征向量。

定义2

AHom(V,V)\underline{A}\in Hom(V,V)λ0\lambda_0A\underline{A}的一个特征向量,设Vλ0:={αVAα=λ0α}V_{\lambda_0}:=\{\alpha\in V|\underline{A}\alpha = \lambda_0\alpha\},容易得到0Vλ0,α+βVλ0,kαVλ00\in V_{\lambda_0},\alpha+\beta\in V_{\lambda_0},k\alpha \in V\lambda_0,所以Vλ0V_{\lambda_0}VV的一个子空间,称Vλ0V_{\lambda_0}A\underline{A}的属于特征值λ0\lambda_0的特征子空间。

定理1

AHom(V,V)\underline{A}\in Hom(V,V)λ1,λ2\lambda_1,\lambda_2A\underline{A}的不同特征值,Vλ1V_{\lambda_1}是中α1,...,αn\alpha_1,...,\alpha_n线性无关,Vλ2V_{\lambda_2}β1,...,βr\beta_1,...,\beta_r线性无关,则α1,...,αs\alpha_1,...,\alpha_s,那么α1,...αn,β1,...,βs\alpha_1,...\alpha_n,\beta_1,...,\beta_s仍然线性无关。

定理2:

A\underline{A}是域FFnn维线性空间VV上的一个线性变化,VV中的一个基α1,...,αn\alpha_1,...,\alpha_nA\underline{A}在该基下的矩阵为AAVV中向量ξ\xi在此基下的坐标为yy,则λ0\lambda_0A\underline{A}的一个特征值,ξ\xiA\underline{A}的属于λ0\lambda_0的一个特征向量$\Leftrightarrow \underline{A}\xi =\lambda_0\xi,\lambda_0 \in F ,\xi \in V且\xi≠0 $

Ay=λ0y,λ0F,yFny0\Leftrightarrow Ay=\lambda_0y,\lambda_0 \in F,y\in F^{n}且y≠0

λ0\Leftrightarrow \lambda_0AA的一个特征值,ξ\xi的坐标yyAA的属于λ0\lambda_0的一个特征向量(这一点是结论)

定义3

AMn(F)A\in M_n(F)如果存在λ0F\lambda_0 \in F,以及FnF^{n}中一个非零的列向量yy,使得Ay=λ0yAy=\lambda_0y,那么称λ0\lambda_0是矩阵AA的一个特征值yyAA的属于特征值λ0\lambda_0的一个特征向量

求域FFnn级矩阵AA的全部特征值和特征向量的步骤

第一步:计算λIA|\lambda I -A|

第二步:求AA的特征多项式λIA|\lambda I -A|的全部根,它们就是AA的全部特征值

第三步:对于AA的每一个特征值λi\lambda_i,求齐次线性方程组(λiIA)X=0(\lambda_i I-A)X=0的解空间的一个基(或者说齐次线性方程组的基础解系)αi1,...,αiri\alpha_{i1},...,\alpha_{ir_i}A\underline{A}的属于特征值λi\lambda_i的全部特征向量是{k1αi1+...+krαirik1,...,krF,且不全为零}\{k_{1}\alpha_{i1}+...+k_{r}\alpha_{ir_i}|k_1,...,k_{r}\in F,且不全为零\}

命题1

A,BMn(F)A,B\in M_n(F),若ABA \sim B,则AABB的特征多项式相等,从而AABB有相同的特征值(重根按重复计算)