0%

线性代数笔记整理

大一上学期,自己用Latex整理的线性代数笔记,欢迎各位浏览学习。

虽说整理笔记貌似没什么用,但是既然有就发一下吧~

行列式

行列式的相关定义

  • 行列式的定义

    • 2阶行列式定义为 $$\begin{vmatrix}
      a_{11} & a_{12} \
      a_{21} & a_{22}
      \end{vmatrix}
      \xlongequal{def}a_{11}a_{22}-a_{12}a_{21}$$
      其中,行列式第ii行,第jj列的元素ai,ja_{i,j}称为行列式的(i,j)(i,j)元素; 上方等式的右端称行列式的展开式.

    • nn阶行列式是由n2n^{2}个数ai,j(i,j=1,2,,n)a_{i,j}(i,j=1,2,\dots,n)排成nnnn列的算式

      D=det(aij)n×n=a11a12a1na21a22a2nan1an2annD=det(a_{ij})_{n\times n}= \begin{vmatrix} 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{vmatrix}

  • 余子式与代数余子式
    删去aija_{ij}所在行列的元素后形成的n1n-1阶行列式称aija_{ij}的余子式,记作MijM_{ij},称

    A_{ij}=(-1)^{i+j}M_{ij} \nonumber$$ 为$a_{ij}$的代数余子式. 且$n$阶行列式的值为 $$D\xlongequal{def}\sum_{j=1}^{n}a_{1j}A_{1j} \nonumber

  • 元素a11,a22,,anna_{11},a_{22},\dots,a_{nn}所在的对角线称行列式的主对角线,aiia_{ii}称主对角线元素,另一条对角线称副对角线.

    • 主对角三角行列式: $$D=\prod_{i=1}^{n}a_{ii}$$

    • 副对角三角行列式:

      D=(1)n(n1)2i=1naiiD=(-1)^{\frac{n(n-1)}{2}}\prod_{i=1}^{n}a_{ii}

  • 转置行列式
    把行列式的行依次换成列所得的行列式,即 $$D^{T}=det(a_{ji})$$
    且行列式与他的转置行列式值相等.

行列式的基本性质

  • 互换行列式两行/列的位置,行列式的值反号.

  • D=(1)n(n1)2i=1naiiD=(-1)^{\frac{n(n-1)}{2}}\prod_{i=1}^{n}a_{ii}

    行列式求值可按任一行/列展开.

  • 若行列式某行/列元素全为00,则行列式值为00.

  • 若行列式某行/列都是两数之和,则可将行列式拆开为两个行列式之和.

  • 若行列式两行/列元素对应相等或成比例,则行列式值为00
    进一步的,将行列式某行/列倍加到另一行/列,行列式值不变.

  • 行列式某行/列元素分别与另一行/列代数余子式相乘,乘积为00.

行列式的计算

  • 直接利用定义和性质求解.

  • 将行列式化为三角行列式求解,公式详见[110]{reference-type=“ref”
    reference=“110”}.

  • 降阶法:将行列式展开并逐渐降阶.

  • 一些特殊行列式

    • 奇数阶反对称行列式的值为00.

    • 主对角线非零的箭形行列式:化为三角行列式 $$D_{n+1}=
      \begin{vmatrix}
      a_{0} & b_{1} & b_{2} & \dots &b_{n}\
      d_{1} &a_{1} &0 &\dots &0\
      d_{2} &0 &a_{1} &\dots &0\
      \vdots & \vdots& \vdots& & \vdots\
      d_{n} &0 &0 &\dots &a_{n}\
      \end{vmatrix}
      \xlongequal{c_{1}-\frac{d_{i}}{a_{i}}\times c_{i+1}}
      (a_{0}-\sum_{i=1}{n}\frac{d_{i}}{a_{i}}b_{i})\prod_{i=1}{n}a_{i}$$

    • 除对角线外各行元素对应相同:化为箭形行列式.

    • 行和相等的行列式.

  • VandermondeVandermonde行列式 $$V_{n}=
    \begin{vmatrix}
    1&1&1&\dots&1\
    x_{1}&x_{2}&x_{3}&\dots&x_{n}\
    x_{1}{2}&x_{2}{2}&x_{3}{2}&\dots&x_{n}{2}\
    x_{1}{3}&x_{2}{3}&x_{3}{3}&\dots&x_{n}{3}\
    \vdots & \vdots& \vdots& & \vdots\
    x_{1}{n}&x_{2}{n}&x_{3}{n}&\dots&x_{n}{n}\
    \end{vmatrix}
    =\prod_{1\leq i< j\leq n}(x_{j}-x_{i})$$

  • 高阶有规律行列式:归纳法/找递推关系.

CramerCramer法则

  • 非齐次线性方程组是常数项不全为零的线性方程组,反之称齐次线性方程组. 齐次线性方程组必有零解(平凡解),可能存在非零解(非平凡解).

  • 非齐次线性方程组的CramerCramer法则
    对由nn个方程与nn个未知量组成的线性方程组 $$\left{
    \begin{aligned}
    a_{11}x_{1}+a_{12}x_{2}+\dots +a_{1n}x_{n} & =b_{1}\
    a_{21}x_{1}+a_{22}x_{2}+\dots +a_{2n}x_{n} & =b_{1}\
    \dots \dots \dots\
    a_{n1}x_{1}+a_{n2}x_{2}+\dots +a_{nn}x_{n} & =b_{1}\
    \end{aligned}
    \right.$$ 若系数行列式 $$D=
    \begin{vmatrix}
    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{vmatrix}
    \neq 0$$ 则方程组有唯一解

    x1=D1D,x2=D2D,,xn=DnDx_{1}=\frac{D_{1}}{D},x_{2}=\frac{D_{2}}{D},\dots ,x_{n}=\frac{D_{n}}{D}

    其中,DiD_{i}是将DD的第jj列元素分别用常数项代替所得的行列式.

  • 齐次线性方程组的CramerCramer法则
    齐次方程组有非零解\Rightarrow系数行列式为零.

矩阵

矩阵的概念

  • 定义:由m×nm\times n个数排成的mmnn列的矩形数表 $$A_{m\times n}=
    \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}$$
    称为一个m×nm\times n矩阵. 其中,aija_{ij}称矩阵的第ii行第jj列元素,元素是实(复)数的矩阵称实(复)矩阵.

  • m=nm=n时,矩阵称nn阶方阵,类似于行列式,有主对角线和副对角线.

  • 几种特殊矩阵

    • 零矩阵:所有元素均为00,记作Om×nO_{m\times n}OO.

    • 单位矩阵:主对角线元素为11,其他元素均为00nn阶方阵,记作InI_nEnE_n
      数量矩阵:主对角线元素为λ\lambda,其他元素均为00nn阶方阵,记作λI\lambda IλE\lambda E.

    • 行矩阵(行向量):α=(a1,a2,,an)\alpha=(a_1,a_2,\dots,a_n)
      列矩阵(列向量):β=(b1,b2,,bn)T\beta=(b_1,b_2,\dots,b_n)^T\quad \ast参见

  • 设矩阵A=(aij)m×nA=(a_{ij})_{m \times n}B=(bij)m×nB=(b_{ij})_{m \times n},则两矩阵行、列数相同,称AABB为同型矩阵. 
    进一步地,若AABB各个元素对应相等,称AABB相等,即A=BA=B.

矩阵的代数运算

  • 矩阵加法:对同型矩阵Am×n, Bm×n, A+B=(aij+bij)m×nA_{m\times n},\ B_{m\times n},\ A+B=(a_{ij}+b_{ij})_{m \times n}.

    • 交换律与结合律.

    • 零矩阵:A+O=AA+O=A.

    • 负矩阵:A+(A)=OA+(-A)=O.

  • 矩阵数乘:kA=(kaij)m×nkA=(ka_{ij})_{m\times n}

    • 1A=A1A=A.

    • 结合律.

    • 分配律(对数和矩阵均成立).

  • 矩阵乘法:对矩阵Am×s, Bs×nA_{m\times s},\ B_{s\times n},规定AABB的乘积为Cm×nC_{m\times n},记作
    AB=CAB=C,其中$$c_{ij}=\sum_{k=1}^{s}a_{ik}b_{kj}$$
    \ast两个矩阵可以相乘\Leftrightarrow左矩阵列数等于右矩阵行数.

    • ImAm×n=Am×nIn=Am×nI_mA_{m\times n}=A_{m\times n}I_n=A_{m\times n}
      但对一般的矩阵A, BA,\ B,不一定有AB=BAAB=BA(不满足交换律).

    • 结合律与关于数乘的结合律.

    • 左右分配律.

  • 矩阵与线性变换:从nn维列向量xxmm维列向量yy的映射称为线性变换,且用m×nm\times n维矩阵AA左乘xx能唯一确定一个mm维列向量,称AA为线性变换的矩阵,即:\

    y=Axy=Ax

    线性变换可以进行复合运算,即对pp维列向量zz,存在从xxzz的变换:\

    z=By=B(Ax)=(BA)xz=By=B(Ax)=(BA)x

  • 方阵的幂:对nn阶方阵AA,定义AA的幂为$$A0=I, A1=A,\ A^m=\underbrace{AA\dots A}_{m\text{个}A}$$
    满足:$$AkAl=A^{k+l}\quad (Ak)l=A^{kl}\quad (k,l\in \mathbb{N})$$

矩阵的转置

m×nm\times n矩阵AA的行依次换成列所得的n×mn\times m矩阵称为AA的转置矩阵,记作ATA^T,且$$A^T=(a_{ji})_{n\times m}$$

  • 转置矩阵的运算规律

    • (AT)T=A(A^T)^T=A.

    • (A+B)T=AT+BT(A+B)^T=A^T+B^T.

    • (kA)T=kAT(kA)^T=kA^T.

    • (AB)T=BTAT(AB)^T=B^TA^T.

  • 对称矩阵:满足AT=AA^T=A的矩阵. 
    反对称矩阵:满足BT=BB^T=-B的矩阵. 
    \ast反对称矩阵的主对角线元素均为零.

方阵的行列式

nn阶方阵AA,称由该方阵元素按原位置排成的行列式为方阵AA的行列式,记作det(A)det(A).

  • A, BA,\ Bnn阶方阵,kk为数,则

    • drt(AT)=det(A)drt(A^T)=det(A).

    • det(kA)=kndet(A)det(kA)=k^ndet(A).

    • det(AB)=det(A)det(B)det(AB)=det(A)\cdot det(B).

    • 奇数阶反对称行列式的值为零.

  • 对称矩阵:满足AT=AA^T=A的矩阵. 
    反对称矩阵:满足BT=BB^T=-B的矩阵. 
    \ast反对称矩阵的主对角线元素均为零.

逆矩阵

nn阶方阵AA,若存在nn阶方阵BB,使$$AB=BA=I$$则称方阵AA可逆,并称方阵BB为方阵AA的逆矩阵,记作A1A^{-1},且可逆方阵的逆矩阵唯一. 不存在逆矩阵的方阵称为奇异矩阵.

伴随矩阵

nn阶方阵A(n2)A(n\geq 2)det(A)det(A)的元素aija_{ij}的代数余子式为Aij(i,j=1,2,,n)A_{ij}(i,j=1,2,\dots ,n),称$$A^{\ast}=(A_{ji})_{n \times n}$$
AA的伴随矩阵.

  • AAnn阶方阵,则 $$AA{\ast}=A{\ast}A=det(A)I$$

  • 伴随矩阵的基础性质

    • (kA)=kn1A(kA)^{\ast}=k^{n-1}A^{\ast}.

    • (AB)=BA(AB)^{\ast}=B^{\ast}A^{\ast}.

    • (A)=det(A)n2A(A^{\ast})^{\ast}=det(A)^{n-2}A.

  • 伴随矩阵的逆矩阵

    • AA^{\ast}可逆,且(A)1=Adet(A)(A^{\ast})^{-1}=\frac{A}{det(A)}.

    • A=det(A)A1, A=det(A)(A)1A^{\ast}=det(A)A^{-1},\ A=det(A)(A^{\ast})^{-1}.

    • (A)1=(A1)(A^{\ast})^{-1}=(A^{-1})^{\ast}.

  • 伴随矩阵的行列式:det(A)=(det(A))n1det(A^{\ast})=(det(A))^{n-1}.

逆矩阵的性质

方阵AA可逆\Leftrightarrowdet(A)0det(A)\neq 0,且当AA可逆时,

A1=1det(A)AA^{-1}=\frac{1}{det(A)}A^{\ast}

  • (A1)1=A(A^{-1})^{-1}=A.

  • (AT)1=(A1)T(A^{T})^{-1}=(A^{-1})^{T}.

  • (kA)1=1kA1(kA)^{-1}=\frac{1}{k}A^{-1}.

  • (AB)1=B1A1(AB)^{-1}=B^{-1}A^{-1}.

  • det(A1)=1det(A)det(A^{-1})=\frac{1}{det(A)}.

分块矩阵及其性质

  • 子矩阵:原矩阵若干行、列相交处元素位置不变排成的矩阵. 
    前主子矩阵:方阵左上角的各阶方阵.

  • 分块矩阵:将矩阵用横纵线分割成若干子块,并以这些子块为元素的矩阵.

  • 分块矩阵的运算

    • 加法与数乘:同型矩阵,同种划分才可相加.

    • 转置:先外转置,再内转置.

    • 乘法:原矩阵可乘,且左矩阵列划分与右矩阵行划分相同; 
      先以子块为元素相乘,再计算内部乘法.

  • 分块三角阵与分块对角阵

    • det(A)=det(Ai)\det(A)=\prod det(A_{i}).

    • 对角阵AA的逆矩阵为先外求逆,再内求逆.

    • D=[ACOB]=det(A)det(B)D=\begin{bmatrix} A & C\\ O& B \end{bmatrix}=det(A)\cdot det(B)

  • 按行分块与按列分块

    • m×nm\times n矩阵AA可划分为mm个行向量: A=[α1α2αm]A=\begin{bmatrix} \alpha_1\\ \alpha_2\\ \dots \\ \alpha_m\\ \end{bmatrix}
      nn个列向量:A=(β1β2βn)A=\begin{pmatrix} \beta_1 &\beta_2& \dots&\beta_n \end{pmatrix}.

    • 对系数矩阵为Am×nA_{m\times n}的线性方程组,

      Ax=b[α1α2αm]x=[β1β2βm]Ax=b\quad \Leftrightarrow \quad \begin{bmatrix} \alpha_1\\ \alpha_2\\ \dots \\ \alpha_m\\ \end{bmatrix}x= \begin{bmatrix} \beta_1\\ \beta_2\\ \dots \\ \beta_m\\ \end{bmatrix}

矩阵的初等变换

初等变换与初等矩阵

  • 初等行变换:

    • 交换两行位置(rijr_{ij}):rirjr_i\leftrightarrow r_j.

    • 数乘(ri(k)r_i(k)):ri×kr_i\times k.

    • 倍加(rij(k))r_{ij}(k))ri+krjr_i+kr_j.

    初等列变换可类似定义,两者统称矩阵的初等变换.

  • 等价矩阵:经过有限次初等行/列变换后所得的矩阵与原矩阵行/列等价,统称矩阵等价.

  • 初等矩阵:对单位矩阵只作一次初等变换所得的矩阵.

  • 初等方阵的性质

    • 初等方阵可逆,其逆矩阵也为初等方阵.

      • (Pij)1=Pji(P_{ij})^{-1}=P_{ji}.

      • (Pi(k))1=Pi(1k)(P_{i}(k))^{-1}=P_{i}(\frac{1}{k}).

      • (Pij(k))1=Pij(k)(P_{ij}(k))^{-1}=P_{ij}(-k).

    • 对矩阵做一次初等行变换\Leftrightarrow对于初等矩阵左乘该矩阵; 
      对矩阵做一次初等列变换\Leftrightarrow对于初等矩阵右乘该矩阵.

    • AABB等价\Leftrightarrow存在初等矩阵P1,P2,,Pm; Q1,Q2,,QnP_1,P_2,\dots,P_m;\ Q_1,Q_2,\dots,Q_n,使得
      PmPm1P1AQ1Q2Qn=BP_mP_{m-1}\dots P_1AQ_1Q_2\dots Q_n=B(推论见[272]{reference-type=“ref”
      reference=“272”}).

阶梯形矩阵

  • 满足下列条件的矩阵,称(行)阶梯形矩阵:

    • 零行(若存在)在矩阵底部;

    • 下方非零行首非零元在上一行右边.

  • 满足下列条件的矩阵,称简化行阶梯形矩阵:

    • 是阶梯形矩阵;

    • 各非零行首非零元为11,且所在列其他行元素为00.

  • 任一非零矩阵都可通过有限次初等行变换化为阶梯形矩阵.

  • []{ #272 label=“272”}
    Am×nA_{m\times n}Bm×nB_{m\times n}等价\Leftrightarrow存在可逆矩阵Pm×mP_{m\times m}Qn×nQ_{n\times n},使PAQ=BPAQ=B.

  • 求逆矩阵的方法:[AI] 初等行变换 1[IA1][A|I]\ \xrightarrow{\text{初等行变换}}\ 1 [I|A^{-1}].

矩阵的秩

  • kk阶子式:矩阵中任取kk行和kk列,交叉点上的k2k^2个元素组成方阵的行列式.

  • 矩阵的秩:A=Or(A)=0;AOr(A)=AA=O\Rightarrow r(A)=0;\\ A\neq O\Rightarrow r(A)=A中非零子式的最高阶数.

    • r(A)=r(AT)r(A)=r(A^T).

    • det(A)0r(A)=nAdet(A)\neq 0 \Leftrightarrow r(A)=n \Leftrightarrow A为满秩方阵(反之称降秩方阵).

  • 求矩阵秩的方法

    • 行阶梯形矩阵的秩等于其非零行数量.

    • 行等价的矩阵有相同的秩. \Rightarrow将矩阵化为阶梯形矩阵,数非零行即可.

  • 秩标准形
    存在可逆矩阵Pm×mP_{m\times m}Qn×nQ_{n\times n},使

    PAQ=[IrOOO]m×nPAQ=\begin{bmatrix} I_r &O\\ O &O \end{bmatrix}_{m\times n}

    右端矩阵与原矩阵等价,称秩标准形.

几何向量及其应用

坐标与线性运算

  • 加法
    交换律、结合律、00向量、负向量

  • 数乘
    单位向量(a0=1aa)(\vec{a}^0=\frac{1}{\|a\|}\vec{a})、结合律、对向量和数分别有分配律

  • 向量长度的性质

    • 非负性

    • 齐性:λa=λa\|\lambda \vec{a}\|=|\lambda \|\vec{a}|

    • 三角不等式:a+ba+b\|\vec{a}+\vec{b}\|\leq \|\vec{a}\|+\|\vec{b}\|

  • 定比分点:设A(x1,y1,z1), B(x2,y2,z2)A(x_1,y_1,z_1),\ B(x_2,y_2,z_2)
    ABAB上一点C(x,y,z)C(x,y,z),满足AB=λCB\overrightarrow{AB}=\lambda \overrightarrow{CB},则:

    (x,y,z)=(x1+λx21+λ,y1+λy21+λ,z1+λz21+λ)(x,y,z)=(\frac{x_1+\lambda x_2}{1+\lambda},\frac{y_1+\lambda y_2}{1+\lambda},\frac{z_1+\lambda z_2}{1+\lambda})

  • a\vec{a}b\vec{b}夹角为θ\theta,则定义:

    Projab=bcosθa0Proj_ab=\|\vec{b}\|\cos \theta \vec{a}^0

    b\vec{b}a\vec{a}上的(正交)射影向量,定义:

    (b)a=bcosθ(\vec{b})_a=\|\vec{b}\|\cos \theta

    b\vec{b}a\vec{a}上的(正交)射影.

向量的积

  • 内积/数量积/点乘

    \vec{a}\cdot \vec{b}=\|\vec{a}\|\ \|\vec{b}\| \cos \theta=x_ax_b+y_ay_b+z_az_b \nonumber

    • 交换律,分配律,数乘结合律

    • 求向量夹角

      cos(a,b)=aba b\cos(\vec{a},\vec{b})=\frac{\vec{a}\cdot \vec{b}}{\|\vec{a}\|\ \|\vec{b}\|}

    • 求射影

      (b)a=aba=ba0(\vec{b})_a=\frac{\vec{a}\cdot \vec{b}}{\|\vec{a}\|}=\vec{b}\cdot \vec{a}^0

  • 外积/向量积/叉乘 $$\begin{aligned}
    \vec{a}\times &\vec{b}=(y_az_b-y_bz_a,z_ax_b-z_bx_a,x_ay_b-x_by_a)\
    &\text{方向:}\vec{a}\text{和} \vec{b}\text{的右手系方向}\
    &\text{大小(模):}|\vec{a}\times \vec{b}|=|\vec{a}|\ |\vec{b}| \sin \theta
    \end{aligned}
    \nonumber$$

    • 不满足交换律,a×b=b×a\vec{a}\times \vec{b}=-\vec{b}\times \vec{a}

    • 数乘结合律,左右分配律

  • 混合积 $$=(\vec{a}\times \vec{b})\cdot \vec{c}\
    =\begin{vmatrix}
    x_a&y_a&z_a\
    x_b&y_b&z_b\
    x_c&y_c&z_c
    \end{vmatrix}
    \nonumber$$

    • 几何意义:以a,b,c\vec{a},\vec{b},\vec{c}为相邻棱构成的平行六面体的体积.

    • [abc]=[bca]=[cab][\vec{a}\quad \vec{b} \quad \vec{c}]=[\vec{b}\quad \vec{c} \quad \vec{a}]=[\vec{c}\quad \vec{a} \quad \vec{b}]

    • 互换混合积中任意两个向量位置,混合积变号

平面与直线方程

  • 平面方程

    • 点法式:过点M0(x0,y0,z0)M_0(x_0,y_0,z_0),法向量n=(A,B,C)\vec{n}=(A,B,C)

      M:A(xx0)+B(yy0)+C(zz0)+D=0\Rightarrow M:A(x-x_0)+B(y-y_0)+C(z-z_0)+D=0

    • 一般式:Ax+By+Cz+D=0Ax+By+Cz+D=0
      D=0\ast D=0,过原点; A=0,D=0A=0,D=0,过yy

    • 截距式:OA=a,OB=b,OC=cOA=a,OB=b,OC=c

      M:xa+yb+zc=1\Rightarrow M: \frac{x}{a}+\frac{y}{b}+\frac{z}{c}=1

  • 直线方程

    • 一般式:由两平面交线表示,将两方程联立即可.

    • 参数式:过点P(x0,y0,z0)P(x_0,y_0,z_0),方向向量a=(l,m,n)\vec{a}=(l,m,n)

      {x=x0+lty=y0+mtz=z0+nt\left\{ \begin{aligned} x&=x_0+lt\\ y&=y_0+mt\\ z&=z_0+nt \end{aligned} \right.

    • 对称式 $$\frac{x-x_0}{l}=\frac{y-y_0}{m}=\frac{z-z_0}{n}$$

空间位置关系

  • 向量的位置关系

    • 向量a,b共线a×b=0xaxb=yayb=zazb\text{向量}\vec{a}, \vec{b}\text{共线} \Leftrightarrow \vec{a}\times \vec{b}=0 \Leftrightarrow \frac{x_a}{x_b}=\frac{y_a}{y_b}=\frac{z_a}{z_b}

    • abab=0xaxb+yayb+zazb=0\vec{a}\perp \vec{b} \Leftrightarrow \vec{a} \cdot \vec{b}=0 \Leftrightarrow x_ax_b+y_ay_b+z_az_b=0

    • 向量a,b,c共面[a b c]=xayazaxbybzbxcybzc=0\text{向量}\vec{a}, \vec{b}, \vec{c} \text{共面} \Leftrightarrow [\vec{a}\ \vec{b}\ \vec{c}]= \begin{vmatrix} x_a &y_a &z_a\\ x_b &y_b &z_b\\ x_c &y_b &z_c\\ \end{vmatrix}=0

  • 直线的位置关系
    设直线l1l_1过点P1P_1,方向向量为a1\vec{a_1},直线l2l_2过点P2P_2,方向向量为a2\vec{a_2},则两直线的夹角:$$\cos \theta =\frac{\vec{a_1}\cdot \vec{a_2}}{|\vec{a_1}|\cdot |\vec{a_2}|}=\frac{|l_1l_2+m_1m_2+n_1n_2|}{\sqrt{l_12+m_12+n_12}\sqrt{l_22+m_22+n_22}}$$

    l1,l2共面x2x1y2y1z2z1l1m1n1l2m2n2=0\Rightarrow l_1, l_2\text{共面}\Leftrightarrow \begin{vmatrix} x_2-x_1 &y_2-y_1 &z_2-z_1\\ l_1 &m_1 &n_1\\ l_2 &m_2 &n_2\\ \end{vmatrix}=0

    • 相交:a1,a2\vec{a_1}, \vec{a_2}不平行

    • 平行不重合:a1,a2\vec{a_1}, \vec{a_2}平行,但不与P1P2\overrightarrow{P_1P_2}平行

    • 重合:a1,a2,P1P2\vec{a_1}, \vec{a_2}, \overrightarrow{P_1P_2}均平行

  • 线面间位置关系
    线面夹角:直线与其在平面投影之间的夹角

    sinϕ=Al+Bm+CnA2+B2+C2l2+m2+n2\sin \phi =\frac{|Al+Bm+Cn|}{\sqrt{A^2+B^2+C^2}\cdot \sqrt{l^2+m^2+n^2}}

    • lΠsinϕ=1l\perp \Pi\Leftrightarrow \sin \phi =1

    • lΠsinϕ=0Al+Bm+Cn=0l\parallel \Pi\Leftrightarrow \sin \phi =0 \Leftrightarrow Al+Bm+Cn=0

    • 进一步,若线在面上,则$$Ax_0+By_0+Cz_0=0$$

  • 平面的位置关系

    • Π1Π2A1:B1:C1=A2:B2:C2\Pi_1 \parallel \Pi_2 \Leftrightarrow A_1 :B_1:C_1=A_2 :B_2:C_2

    • Π1Π2A1A2+B1B2+C1C2=0\Pi_1 \perp \Pi_2 \Leftrightarrow A_1A_2+B_1B_2+C_1C_2=0

点、线、面的距离

  • 点到平面的距离:P(x0,y0,z0)Π:Ax+By+Cz+D=0P(x_0,y_0,z_0)\quad \Pi:Ax+By+Cz+D=0$$d=\frac{|Ax_0+By_0+Cz_0+D|}{\sqrt{A2+B2+C^2}}$$

  • 点到空间直线的距离:P(x0,y0,z0)l:xx1l=yy1m=zz1nP(x_0,y_0,z_0)\quad l:\frac{x-x_1}{l}=\frac{y-y_1}{m}=\frac{z-z_1}{n}$$d=\frac{|\overrightarrow{P_1P_0}\times \vec{a}|}{|a|}\qquad \ast \vec{a}=(l,m,n)$$

  • 异面直线间的距离:$$d=|\overrightarrow{P_1P_2}|\cdot \frac{\vec{a_1}\times \vec{a_2}}{|\vec{a_1}\times \vec{a_2}|}$$

nn维向量与线性方程组

向量组的线性相关性

  • 线性表示:向量β\beta可由向量组α1,α2,,αs\alpha_1,\alpha_2,\cdots,\alpha_s线性表示,即存在一组数kik_i,使

    β=i=1skiαi=k1α1+k2α2++ksαs\beta=\sum_{i=1}^{s}k_i\alpha_i=k_1\alpha_1+k_2\alpha_2+\cdots+k_s\alpha_s

    • 向量β\beta可由α1,α2,,αs\alpha_1,\alpha_2,\cdots,\alpha_s唯一线性表示
      \Leftrightarrow方程组Ax=bAx=b有唯一解
      r(A)=r(Aˉ)=n\Leftrightarrow r(A)=r(\bar{A})=n

    • 向量β\beta可由α1,α2,,αs\alpha_1,\alpha_2,\cdots,\alpha_s有无穷种线性表示
      \Leftrightarrow方程组Ax=bAx=b有无数解
      r(A)=r(Aˉ)<n\Leftrightarrow r(A)=r(\bar{A})< n

  • 线性相关:向量组α1,α2,,αs\alpha_1,\alpha_2,\cdots,\alpha_s线性相关,即存在一组不全为零的常数kik_i,使

    \sum_{i=1}^{s}k_i\alpha_i=k_1\alpha_1+k_2\alpha_2+\cdots+k_s\alpha_s=0$$\ $\ast\ s\geq n$时,该向量组一定线性相关.  - $\alpha_1,\alpha_2,\cdots,\alpha_s$线性相关\ $\Leftrightarrow$方程组$Ax=0$有非零解\ $\Leftrightarrow r(A)=r(\bar{A})< n \Leftrightarrow det(A)=0$ - $\alpha_1,\alpha_2,\cdots,\alpha_s$线性无关\ $\Leftrightarrow$方程组$Ax=0$只有零解\ $\Leftrightarrow r(A)=r(\bar{A})= n \Leftrightarrow det(A)\neq 0$

    • 向量组线性相关\Leftrightarrow向量组中至少有一个向量可由其他向量线性表示.

    • 若向量组A:α1,α2,,αrA:\alpha_1,\alpha_2,\cdots,\alpha_r线性无关,向量组B:α1,α2,,αr,βB:\alpha_1,\alpha_2,\cdots,\alpha_r,\beta线性相关,则β\beta可由向量组AA唯一线性表示.

    • mm维向量组α1,α2,,αs\alpha_1,\alpha_2,\cdots,\alpha_s线性无关,其中αi=(a1i,a2i,,ami)T\alpha_i=(a_{1i},a_{2i},\cdots ,a_{mi})^T,则在各向量相同位置添加任意分量,所得向量组仍线性无关; 
      mm维向量组α1,α2,,αs\alpha_1,\alpha_2,\cdots,\alpha_s线性相关,则去除各向量相同位置的分量,所得向量组仍线性相关.

    • 部分线性相关\Rightarrow整体线性相关; 
      部分线性无关\Leftarrow整体线性无关.

向量组的秩与解的结构

  • 若向量组A:α1,α2,,αsA:\alpha_1,\alpha_2,\cdots,\alpha_s可由B:β1,β2,,βrB:\beta_1,\beta_2,\cdots,\beta_r线性表示,则:

    • r<sr< s时,AA线性相关.

    • AA线性无关时,必有srs\leq r.

  • 若向量组(I)(I)可由向量组(II)(II)线性表示,则r(I)<r(II)r(I)<r(II)
    若向量组(I)(I)和向量组(II)(II)等价,则r(I)=r(II)r(I)=r(II).

  • AAm×nm\times n阶矩阵,r(A)=r<nr(A)=r<n,则nn元齐次线性方程组Ax=0Ax=0一定存在基础解系,含有nrn-r个向量. 
    同时,任意nrn-r个线性无关的解向量都可作为该方程组的基础解系.

  • 非齐次线性方程组的基础解系可由一个特解与对应齐次方程组的通解表示,即:x=η+ξx=\eta^\ast +\xi.

线性空间与欧式空间

线性空间与同构

    • 子空间:线性空间VV的子集WW,也可按VV所定义的加法、数乘运算构成线性空间,则称WWVV的(线性)子空间.

    • α1,α2,,αm\alpha_1,\alpha_2,\cdots,\alpha_m是线性空间VV中的mm个向量,则称:$$span{\alpha_1,\alpha_2,\cdots,\alpha_m}={k_1\alpha_1+k_2\alpha_2+\cdots+k_m\alpha_m\ |\ k_i \in \mathbb{F}}$$为由α1,α2,,αm\alpha_1,\alpha_2,\cdots,\alpha_m生成的线性空间.

  • 线性空间的基
    α1,α2,,αm\alpha_1,\alpha_2,\cdots,\alpha_m是线性空间VV中的一组向量,且满足:

    • α1,α2,,αm\alpha_1,\alpha_2,\cdots,\alpha_m线性无关;

    • αV\forall \alpha \in V均可由α1,α2,,αm\alpha_1,\alpha_2,\cdots,\alpha_m线性表示,即:$$\alpha=x_1\alpha_1+x_2\alpha_2+\cdots+x_n\alpha_n$$

    基中所含向量个数称该线性空间的维数,记作dim(V)=ndim(V)=n
    称对应的nn个有序数x1,x2,,xnx_1,x_2,\cdots,x_n为向量α\alpha在基α1,α2,,αm\alpha_1,\alpha_2,\cdots,\alpha_m下的坐标,记作(x1,x2,,xn)T(x_1,x_2,\cdots,x_n)^T.

  • 线性空间的维数唯一确定,但基不是唯一的,对nn维线性空间VV,任意nn个线性无关向量均可作为VV的基. 设有两个基\

    I:\alpha_1,\alpha_2,\cdots,\alpha_n \qquad II:\beta_1,\beta_2,\cdots,\beta_n$$则坐标变换公式为:$$x=Ay\ or.\ y=A^{-1}x

    其中AA是从IIIIII的过渡矩阵.

  • 坐标映射:从VVFn\mathbb{F}^n的双射f:f(α)=xf:f(\alpha)=x,满足:

    • α,βV\forall \alpha ,\beta \in V,恒有f(α+β)=f(α)+f(β)f(\alpha+\beta)=f(\alpha)+f(\beta).

    • αV,kF\forall \alpha\in V,k\in \mathbb{F},恒有f(kα)=kf(α)f(k\alpha)=kf(\alpha).

  • 线性空间的同构(映射):设数域F\mathbb{F}上的线性空间V1,V2V_1,V_2,从V1V_1V2V_2的映射σ\sigma,满足:

    • α,βV1\forall \alpha ,\beta \in V_1,恒有σ(α+β)=σ(α)+σ(β)\sigma(\alpha+\beta)=\sigma(\alpha)+\sigma(\beta).

    • αV1,kF\forall \alpha\in V_1,k\in \mathbb{F},恒有σ(kα)=kσ(α)\sigma(k\alpha)=k\sigma(\alpha).

    两个可以建立同构映射的线性空间是同构的.

    • 同构是等价关系.

    • 维数相同的线性空间是同构的.

    • 同构映射不改变线性相关性,且V1V_1的一个基经同构映射变换后也是V2V_{2}的一个基.

基与子空间

  • 基的扩充定理
    α1,α2,,αr(r<n)\alpha_1,\alpha_2,\cdots,\alpha_r(r<n)nn维线性空间VV中的一个线性无关组,则:
    存在αr+1,αr+2,,αn\alpha_{r+1},\alpha_{r+2},\cdots,\alpha_n,使得α1,α2,,αn\alpha_1,\alpha_2,\cdots,\alpha_n构成VV的一组基.

  • V1,V2,,VsV_1,V_2,\cdots,V_s都是线性空间VV的子空间,则

    • 他们的交1isVi\bigcap \limits_{1\leq i\leq s}V_iVV的线性子空间.

    • 他们的和1is\sum\limits_{1\leq i\leq s}VV的线性子空间.

    • 他们的并1isVi\bigcup \limits_{1\leq i\leq s}V_i不是VV的线性子空间.

  • 维数公式

    • dim(V1+V2++Vs)dim(V1)+dim(V2)++dim(Vs)dim(V_1+V_2+\cdots+V_s)\leq dim(V_1)+dim(V_2)+\cdots+dim(V_s)

    • dim(V1+V2)=dim(V1)+dim(V2)dim(V1V2)dim(V_1+V_2)=dim(V_1)+dim(V_2)-dim(V_1\cap V_2)

  • 直和

    • W1,W2,,WsW_1,W_2,\cdots,W_s都是线性空间VV的子空间,W=WiW=\sum W_i,若
      WW中每个向量可唯一表示为$$\alpha =\alpha_1+\cdots+\alpha_s\qquad a_i\in W_i$$则称WWW1,W2,,WsW_1,W_2,\cdots,W_s的直和,用W1W2WsW_1\bigoplus W_2\bigoplus \cdots \bigoplus W_s表示.

    • V1+V2是直和V1V2={0}dim(V1+V2)=dim(V1)+dim(V2)\begin{aligned} V_1+V_2\text{是直和}&\Leftrightarrow V_1\cap V_2=\{0\}\\ &\Leftrightarrow dim(V-1+V_2)=dim(V_1)+dim(V_2) \end{aligned}

欧氏空间

  • 内积:对实线性空间VV中任意两个向量α,β\alpha,\beta,都指定一个实数α,β\langle\alpha,\beta\rangle与之对应,且α,β,γV,kR\forall \alpha,\beta,\gamma\in V,\forall k\in \mathbb{R},满足:

    • 对称性:α,β=β,α\langle\alpha,\beta\rangle=\langle\beta,\alpha\rangle;

    • 可加性:α+β,γ=α,γ+β,γ\langle\alpha+\beta,\gamma\rangle=\langle\alpha,\gamma\rangle+\langle\beta,\gamma\rangle;

    • 齐次性:kα,β=kα,β\langle k \alpha,\beta\rangle=k\langle\alpha,\beta\rangle;

    • 非负性:α,β0\langle\alpha,\beta\rangle \geq 0,当且仅当α=0\alpha =0时取等号.

    则称α,β\langle\alpha,\beta\rangle为线性空间VV中元素α\alphaβ\beta的内积,称该线性空间VV为实内积空间或欧氏空间.

  • 在欧氏空间VV中,称非负实数α,α\sqrt{\langle\alpha,\alpha\rangle}为向量α\alpha的范数,记作α\|\alpha\|.

    • α0α=0\|\alpha\|\geq 0\qquad\|\alpha\|=0当且仅当α=0\alpha =0.

    • kα=kα,kR\|k\alpha\|=|k|\|\alpha\|,k\in \mathbb{R}.

    • 三角不等式:α+βα+β\|\alpha+\beta\|\leq \|\alpha\|+\|\beta\|.

    • CauchySchwarzCauchy-Schwarz不等式
      α,β\alpha,\beta是欧氏空间VV中任意两个向量,则$$|\langle \alpha,\beta \rangle|\leq \sqrt{\langle\alpha,\alpha\rangle}\sqrt{\langle\beta,\beta\rangle}=|\alpha||\beta|$$
      其中,等号成立当且仅当α\alphaβ\beta线性相关.

  • 欧氏空间VV中两个向量α\alphaβ\beta间的距离可由范数αβ\|\alpha-\beta \|表示,即:$$d(\alpha,\beta)=|\alpha-\beta |$$

  • 在欧氏空间中,规定两个非零向量α\alphaβ\beta的夹角ϕ\phi为:$$\phi =\arccos \frac{\langle\alpha,\beta\rangle}{|\alpha||\beta|}\qquad(0\leq\phi\leq\pi)$$
    α,β=0\langle\alpha,\beta\rangle=0,则称α\alphaβ\beta正交,记为αβ\alpha \perp \beta.

正交向量与正交矩阵

  • 正交向量组:所含向量两两正交的向量组.

    • 不含零向量.

    • 必是线性无关组.

    • 若每个向量都是单位向量,称标准正交向量组.

  • nn维欧氏空间VV中,由nn个向量组成的正交向量组称为VV的正交基; 由nn个向量组成的单位正交向量组称为VV的标准正交基. 
    α1,α2,,αn\alpha_1,\alpha_2,\cdots,\alpha_nnn维欧氏空间VV的一个标准正交基,α\alphaβ\betaVV中任意向量,则

    • xi=α,αix_i=\langle\alpha,\alpha_i\rangle;

    • α,β=x1y1++xnyn\langle\alpha,\beta\rangle=x_1y_1+\cdots+x_ny_n;

    • α=x12++xn2\|\alpha\|=\sqrt{x_1^2+\cdots+x_n^2};

    • d(α,β)=(x1y1)2++(xnyn)2d(\alpha,\beta)=\sqrt{(x_1-y_1)^2+\cdots+(x_n-y_n)^2}.

  • GramSchmidtGram-Schmidt正交化方法
    α1,α2,,αn\alpha_1,\alpha_2,\cdots,\alpha_nnn维欧氏空间VV的一个基,令:

    β1=α1β2=α2α2,β1β1,β1βn=αnαn,β1β1,β1αn,β2β2,β2αn,βn1βn1,βn1\begin{aligned} \beta_1&=\alpha_1\\ \beta_2&=\alpha_2-\frac{\langle \alpha_2,\beta_1\rangle}{\langle \beta_1,\beta_1\rangle}\\ &\cdots\\ \beta_n&=\alpha_n-\frac{\langle \alpha_n,\beta_1\rangle}{\langle \beta_1,\beta_1\rangle}-\frac{\langle \alpha_n,\beta_2\rangle}{\langle \beta_2,\beta_2\rangle}-\cdots-\frac{\langle \alpha_n,\beta_{n-1}\rangle}{\langle \beta_{n-1},\beta_{n-1}\rangle} \end{aligned}

    β1,β2,,βn\beta_1,\beta_2,\cdots,\beta_nVV的一个正交基. 再令$$e_i=\frac{\beta_i}{|\beta_i|}\ ,\ i=1,2,\cdots,n$$
    e1,e2,,ene_1,e_2,\cdots,e_nVV的一个标准正交基.

  • 满足ATa=AAT=IA^Ta=AA^T=I,或A1=ATA^{-1}=A^T的实方阵AA称正交矩阵. 
    A,BA,B为同阶正交矩阵,则

    • det(A)=±1det(A)=\pm1.

    • AT,A1,AA^T,A^{-1},A^{\ast}均为正交矩阵.

    • ABAB为正交矩阵.

    实方阵AA是正交矩阵  A\ \Leftrightarrow\ A的列(行)向量组是标准正交向量组.

  • PPnn阶正交矩阵,称T:T(x)=PxT:T(x)=PxRn\mathbb{R}^n上的正交变换.

    • 保内积不变性:Px1,Px2=x1,x2\langle Px_1,Px_2 \rangle=\langle x_1,x_2 \rangle.

    • 保范数不变性:Px1=x1\|Px_1\|=\|x_1\|.

特征值与特征向量

矩阵的特征值与特征向量

  • Ax=λx(λIA)x=0det(λIA)=0Ax=\lambda x\Leftrightarrow (\lambda I-A)x=0 \Leftrightarrow det(\lambda I-A)=0

    代数重数:特征方程的根λi\lambda_i的重数. 
    几何重数:(λiIA)x=0(\lambda_i I-A)x=0基础解系所含的向量个数.

    • λ1λ2λn=det(A)\lambda_1 \lambda_2\cdots \lambda_n=det(A)

    • λ1+λ2++λn=tr(A)=a11+a22++ann\lambda_1+\lambda_2+\cdots+\lambda_n=tr(A)=a_{11}+a_{22}+\cdots+a_{nn}

  • λ\lambda是矩阵AA的一个特征值,xx是一个对应特征向量,则

    • mN, λm\forall m \in \mathbb{N},\ \lambda^m是矩阵AmA^m的一个特征值,xx是一个对应特征向量.

    • 对任意多项式f(x)=amxm+am1xm1++a1x+a0f(x)=a_mx^m+a_{m-1}x^{m-1}+\cdots+a_1x+a_0f(λ)f(\lambda)是矩阵f(A)=amAm+am1Am1++a1A+a0If(A)=a_mA^m+a_{m-1}A^{m-1}+\cdots+a_1A+a_0I的一个特征值,xx是一个对应特征向量.

    • 1λ\frac{1}{\lambda}A1A^{-1}的特征值,det(A)λ\frac{det(A)}{\lambda}AA^{\ast}的特征值.

    • 属于互不相同特征值的特征向量(组)线性无关.

    • 特征值的几何重数不大于其代数重数.

相似矩阵

  • nn阶矩阵A,BA,B,若存在nn阶矩阵PP,使得$$P^{-1}AP=B$$则称AABB相似,记作ABA\sim B.

    • 相似是一种等价关系.

    • det(a)=det(B)det(a)=det(B)r(A)=r(B)r(A)=r(B),两矩阵特征值也相同.

    • A,BA,B都可逆,则其逆矩阵相似.

  • 判断nn阶矩阵AA可相似对角化(与对角矩阵相似)的条件

    • \LeftrightarrowAAnn个线性无关的特征向量.

    • \Rightarrownn阶矩阵AA可相似对角化\LeftrightarrowAAnn个互不相等的特征值.

    • \LeftrightarrowAA每个特征值的代数重数都等于几何重数(实对称矩阵必定满足).

    • 实对称矩阵的特征值都是实数.

    • 实对称矩阵不同特征值对应特征向量两两正交.

    • nn阶实对称矩阵,一定存在nn阶正交矩阵PP,使得P1AP=PTAP=diag(λ1,λ2,,λn)P^{-1}AP=P^TAP=diag(\lambda_1,\lambda_2,\cdots,\lambda_n)为对角矩阵.

  • 求正交矩阵PP的方法

    • 求出AA的全部特征值.

    • 对每个特征值求出一个基础解系.

    • 将各个基础解系单位正交化(GramSchmidtGram-Schmidt法).

    • 把单位正交基排成对角阵即可.

二次曲面与二次型

曲面与空间曲线

  • 椭球面

    x2a2+y2b2+z2c2=1(a>0,b>0,c>0)\frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}=1\quad (a>0,b>0,c>0)

    a=ba=b时为旋转椭球面.

  • 单叶双曲面 $$\frac{x2}{a2}+\frac{y2}{b2}-\frac{z2}{c2}=1$$

  • 双叶双曲面 $$\frac{x2}{a2}+\frac{y2}{b2}-\frac{z2}{c2}=-1$$

  • 椭圆抛物面 $$\frac{x2}{p2}+\frac{y2}{q2}=2z\quad (p>0,q>0)$$

  • 双曲抛物面 $$\frac{x2}{p2}-\frac{y2}{q2}=2z\quad (p>0,q>0)$$

实二次型

  • nn元二次型 $$\begin{aligned}
    f(x_1,x_2,\cdots,x_n)=a_{11}x_1^2+2a_{12}x_1x_2+2a_{13}x_1x_3+\cdots+2a_{1n}x_1&x_n+\
    a_{22}x_2^2+2a_{23}x_2x_3+\cdots+2a_{2n}x_2&x_n+\
    \cdots+a_{nn}&x_n^2
    \end{aligned}$$ 设矩阵AA满足aij=ajia_{ij}=a_{ji},则

    f(x1,x2,,xn)=xTAxf(x_1,x_2,\cdots,x_n)=x^TAx

  • 二次型的标准型:f=d1y12+d2y22++dnyn2f=d_1y_1^2+d_2y_2^2+\cdots +d_ny_n^2
    标准型的矩阵:D=diag(d1,d2,,dn)D=diag(d_1,d_2,\cdots ,d_n)
    对二次型f=xTAxf=x^TAx,总存在正交变换x=Py(Px=Py(P为正交矩阵),可通过该变换将二次型化为对应的标准型,则

    PTAP=DP^T AP=D

    • 正交变换法

    • 配方法

  • 合同变换:对nn阶矩阵A,BA,B,若存在可逆矩阵CC,使得CTAC=BC^TAC=B,则称AABB合同,记作ABA\simeq B,称AABB的变换为合同变换.

    • 合同是同阶方阵间的等价关系.

    • ABr(A)=r(B)A\simeq B\Rightarrow r(A)=r(B).

  • 二次型标准型中系数为正的个数被称作正惯性指数,合同变换不改变二次型的正惯性指数. 从而,二次型可由线性变换化为规范形:$$f=z_1^2+\cdots +z_p2-z_{p+1}2-\cdots -z_r^2$$
    若二次型f(x)=xTAxf(x)=x^TAx由可逆线性x=Cyx=Cy变换化为二次型g(y)=yTByg(y)=y^TBy,则称两个二次型等价,他们有相同的规范形.

  • 正定二次型:对任意非零向量x=(x1,x2,,xn)TRnx=(x_1,x_2,\cdots,x_n)^T\in \mathbb{R}^n,都有
    xTAx>0x^TAx>0,并称AA为正定矩阵.

    • 可逆线性变换不改变二次型的正定性.

    • AA为正定矩阵\LeftrightarrowAA的所有特征值大于零\Leftrightarrowff的正惯性指数为nn.

    • AA为正定矩阵\Leftrightarrow存在可逆矩阵MM,使A=MTMA=M^TM,即AA与同阶单位阵合同.

    • AA为正定矩阵det(A)>0\Rightarrow det(A)>0

    • AA为正定矩阵\LeftrightarrowAA的各阶顺序主子式都大于零.

线性变换

线性变换与运算

  • 若映射T:VWT:V\rightarrow W满足:α,βV,kF\forall \alpha,\beta \in V,k\in \mathbb{F}, 恒成立

    • T(α+β)=T(α)+T(β)T(\alpha+\beta)=T(\alpha)+T(\beta).

    • T(kα)=kT(α)T(k\alpha)=kT(\alpha).

    则称TT为从VVWW的一个线性变换(线性映射), 从VVWW线性变换的全体记作L(V,W)L(V,W)
    特别地, 从从VVVV线性变换的全体记作L(V)L(V), 若TL(V)T\in L(V), 称TTVV上的线性算子.

    • T(0)=0T(α)=T(α)T(0)=0\qquad T(-\alpha)=-T(\alpha).

    • T(k1α1++kmαm)=k1T(α1)++kmT(αm)T(k_1\alpha_1+\cdots+k_m\alpha_m)=k_1T(\alpha_1)+\cdots+k_mT(\alpha_m).

    • TTVV中线性相关组映射为WW中线性相关组.

  • TL(V,W)T\in L(V,W), 称:
    VVTT的定义域; VV的子集{T(α)αV,T(α)=0}\{T(\alpha)|\alpha\in V,T(\alpha)=0\}TT的核(零空间), 记作ker(T)ker(T)WW的子集{T(α)αV}\{T(\alpha)|\alpha\in V\}TT的值域(像空间), 记作R(t)R(t)T(V)T(V)ker(T)ker(T)VV的子空间; R(T)R(T)WW的子空间. 
    通常称ker(T)ker(T)的维数为TT的零度, 记为nullity(T)nullity(T); 称R(T)R(T)的维数为TT的秩, 记为rank(T)rank(T), 并满足:$$nullity(T)+rank(T)=n$$

  • TL(V,W)T\in L(V,W), 则下列条件相互等价:

    • TT是单射(T(α)=T(β)α=β)T(\alpha)=T(\beta)\Rightarrow \alpha=\beta).

    • ker(T)={0}ker(T)=\{0\}.

    • TTVV中线性无关组映射成WW中线性无关组.

    • rank(T)=dim(V)=nrank(T)=dim(V)=n.

  • T2:UV,T1:VWT_2:U\rightarrow V,T_1:V\rightarrow W, 则定义T1T2:UWT_1T_2:U\rightarrow W为:

    T1T2(α)=T1(T2(α))αUT_1T_2(\alpha)=T_1(T_2(\alpha))\qquad \forall \alpha \in U

    • 交换律:(T1T2)T3=T1(T2T3)(T_1T_2)T_3=T_1(T_2T_3).

    • TIV=TIWT=TTI_V=T\qquad I_WT=T.

  • T:VW,S:WVT:V\rightarrow W,S:W\rightarrow V, 使得$$TS=I_W\qquad ST=I_V$$
    则称为TT可逆映射, 记S=T1S=T^{-1}TT的逆映射. 若TT为线性变换(此时称可逆线性变换), 则T1T^{-1}也是线性变换.
    TT可逆ker(T)={0}\Leftrightarrow ker(T)=\{0\},且R(T)=WR(T)=W.

  • dim(V)=dim(W)=n,TL(V,W)dim(V)=dim(W)=n,T\in L(V,W), 则下列条件相互等价:

    • TT为可逆线性变换.

    • TT是单射.

    • TT是满射.

    • rank(T)=dim(V)=nrank(T)=dim(V)=n.

    • nullity(T)=0nullity(T)=0.

  • (T1+T2)(α)=T1(α)+T2(α)(T_1+T_2)(\alpha)=T_1(\alpha)+T_2(\alpha)

    (kT)(\alpha)=kT(\alpha)$$ 线性变换的和与积仍是线性变换. 

  • Vm,WnV_m,W_n的基分别是B={α1,,αn},B={β1,,βm}B=\{\alpha_1,\cdots,\alpha_n\},B'=\{\beta_1,\cdots,\beta_m\}, 则

    {T(α1)=a11β1+a21β2++am1βnT(α2)=a12β1+a22β2++am2βnT(αn)=a1nβ1+a2nβ2++amnβn\left\{ \begin{aligned} T(\alpha_1)&=a_{11}\beta_{1}+a_{21}\beta_{2}+\dots +a_{m1}\beta_{n} \\ T(\alpha_2)&=a_{12}\beta_{1}+a_{22}\beta_{2}+\dots +a_{m2}\beta_{n} \\ &\dots \dots \dots\\ T(\alpha_n)&=a_{1n}\beta_{1}+a_{2n}\beta_{2}+\dots +a_{mn}\beta_{n} \\ \end{aligned} \right.

    称矩阵A=(aij)m×nA=(a_{ij})_{m\times n}为线性变换TT在基B,BB,B'下的矩阵, 简称线性变换TT的矩阵.

    • 线性变换的和、数量积、乘积分别对应于矩阵的和、数量积与乘积.

    • 线性空间L(V,W)L(V,W)与线性空间Fm×n\mathbb{F}^{m\times n}是同构的, 维数为m×nm\times n.

    • R(T)R(T)与矩阵AA的列空间同构, 且TTAA的秩相等; 
      ker(T)ker(T)与齐次线性方程组Ax=0Ax=0的解空间同构, 且TT的零度等于nr(A)n-r(A).

    • dim(V)=dim(W)=ndim(V)=dim(W)=n, 则:
      TT是可逆变换\LeftrightarrowAA为可逆矩阵.

  • 线性算子在不同基下的矩阵是相似的. 
    TL(V)T\in L(V)TTB,BB,B'下的矩阵分别为AADD, 且BBBB'的过渡矩阵为CC, 则C1AC=DC^{-1}AC=D.