大一上学期,自己用Latex整理的线性代数笔记,欢迎各位浏览学习。
虽说整理笔记貌似没什么用,但是既然有就发一下吧~
行列式
行列式的相关定义
-
行列式的定义
-
2阶行列式定义为 $$\begin{vmatrix}
a_{11} & a_{12} \
a_{21} & a_{22}
\end{vmatrix}
\xlongequal{def}a_{11}a_{22}-a_{12}a_{21}$$
其中,行列式第行,第列的元素称为行列式的元素; 上方等式的右端称行列式的展开式. -
阶行列式是由个数排成行列的算式
-
-
余子式与代数余子式
删去所在行列的元素后形成的阶行列式称的余子式,记作,称A_{ij}=(-1)^{i+j}M_{ij} \nonumber$$ 为$a_{ij}$的代数余子式. 且$n$阶行列式的值为 $$D\xlongequal{def}\sum_{j=1}^{n}a_{1j}A_{1j} \nonumber
-
元素所在的对角线称行列式的主对角线,称主对角线元素,另一条对角线称副对角线.
-
主对角三角行列式: $$D=\prod_{i=1}^{n}a_{ii}$$
-
副对角三角行列式:
-
-
转置行列式
把行列式的行依次换成列所得的行列式,即 $$D^{T}=det(a_{ji})$$
且行列式与他的转置行列式值相等.
行列式的基本性质
-
互换行列式两行/列的位置,行列式的值反号.
-
行列式求值可按任一行/列展开.
-
若行列式某行/列元素全为,则行列式值为.
-
若行列式某行/列都是两数之和,则可将行列式拆开为两个行列式之和.
-
若行列式两行/列元素对应相等或成比例,则行列式值为.
进一步的,将行列式某行/列倍加到另一行/列,行列式值不变. -
行列式某行/列元素分别与另一行/列代数余子式相乘,乘积为.
行列式的计算
-
直接利用定义和性质求解.
-
将行列式化为三角行列式求解,公式详见[110]{reference-type=“ref”
reference=“110”}. -
降阶法:将行列式展开并逐渐降阶.
-
一些特殊行列式
-
奇数阶反对称行列式的值为.
-
主对角线非零的箭形行列式:化为三角行列式 $$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}$$ -
除对角线外各行元素对应相同:化为箭形行列式.
-
行和相等的行列式.
-
-
行列式 $$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})$$ -
高阶有规律行列式:归纳法/找递推关系.
法则
-
非齐次线性方程组是常数项不全为零的线性方程组,反之称齐次线性方程组. 齐次线性方程组必有零解(平凡解),可能存在非零解(非平凡解).
-
非齐次线性方程组的法则
对由个方程与个未知量组成的线性方程组 $$\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$$ 则方程组有唯一解其中,是将的第列元素分别用常数项代替所得的行列式.
-
齐次线性方程组的法则
齐次方程组有非零解系数行列式为零.
矩阵
矩阵的概念
-
定义:由个数排成的行列的矩形数表 $$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}$$
称为一个矩阵. 其中,称矩阵的第行第列元素,元素是实(复)数的矩阵称实(复)矩阵. -
时,矩阵称阶方阵,类似于行列式,有主对角线和副对角线.
-
几种特殊矩阵
-
零矩阵:所有元素均为,记作或.
-
单位矩阵:主对角线元素为,其他元素均为的阶方阵,记作或.
数量矩阵:主对角线元素为,其他元素均为的阶方阵,记作或. -
行矩阵(行向量):
列矩阵(列向量):参见
-
-
设矩阵,,则两矩阵行、列数相同,称与为同型矩阵.
进一步地,若与各个元素对应相等,称与相等,即.
矩阵的代数运算
-
矩阵加法:对同型矩阵.
-
交换律与结合律.
-
零矩阵:.
-
负矩阵:.
-
-
矩阵数乘:
-
.
-
结合律.
-
分配律(对数和矩阵均成立).
-
-
矩阵乘法:对矩阵,规定与的乘积为,记作
,其中$$c_{ij}=\sum_{k=1}^{s}a_{ik}b_{kj}$$
两个矩阵可以相乘左矩阵列数等于右矩阵行数.-
但对一般的矩阵,不一定有(不满足交换律). -
结合律与关于数乘的结合律.
-
左右分配律.
-
-
矩阵与线性变换:从维列向量到维列向量的映射称为线性变换,且用维矩阵左乘能唯一确定一个维列向量,称为线性变换的矩阵,即:\
线性变换可以进行复合运算,即对维列向量,存在从到的变换:\
-
方阵的幂:对阶方阵,定义的幂为$$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})$$
矩阵的转置
把矩阵的行依次换成列所得的矩阵称为的转置矩阵,记作,且$$A^T=(a_{ji})_{n\times m}$$
-
转置矩阵的运算规律
-
.
-
.
-
.
-
.
-
-
对称矩阵:满足的矩阵.
反对称矩阵:满足的矩阵.
反对称矩阵的主对角线元素均为零.
方阵的行列式
对阶方阵,称由该方阵元素按原位置排成的行列式为方阵的行列式,记作.
-
设为阶方阵,为数,则
-
.
-
.
-
.
-
奇数阶反对称行列式的值为零.
-
-
对称矩阵:满足的矩阵.
反对称矩阵:满足的矩阵.
反对称矩阵的主对角线元素均为零.
逆矩阵
对阶方阵,若存在阶方阵,使$$AB=BA=I$$则称方阵可逆,并称方阵为方阵的逆矩阵,记作,且可逆方阵的逆矩阵唯一. 不存在逆矩阵的方阵称为奇异矩阵.
伴随矩阵
对阶方阵,的元素的代数余子式为,称$$A^{\ast}=(A_{ji})_{n \times n}$$
为的伴随矩阵.
-
设为阶方阵,则 $$AA{\ast}=A{\ast}A=det(A)I$$
-
伴随矩阵的基础性质
-
.
-
.
-
.
-
-
伴随矩阵的逆矩阵
-
可逆,且.
-
.
-
.
-
-
伴随矩阵的行列式:.
逆矩阵的性质
方阵可逆,且当可逆时,
-
.
-
.
-
.
-
.
-
.
分块矩阵及其性质
-
子矩阵:原矩阵若干行、列相交处元素位置不变排成的矩阵.
前主子矩阵:方阵左上角的各阶方阵. -
分块矩阵:将矩阵用横纵线分割成若干子块,并以这些子块为元素的矩阵.
-
分块矩阵的运算
-
加法与数乘:同型矩阵,同种划分才可相加.
-
转置:先外转置,再内转置.
-
乘法:原矩阵可乘,且左矩阵列划分与右矩阵行划分相同;
先以子块为元素相乘,再计算内部乘法.
-
-
分块三角阵与分块对角阵
-
.
-
对角阵的逆矩阵为先外求逆,再内求逆.
-
-
-
按行分块与按列分块
-
矩阵可划分为个行向量:
或个列向量:. -
对系数矩阵为的线性方程组,
-
矩阵的初等变换
初等变换与初等矩阵
-
初等行变换:
-
交换两行位置():.
-
数乘():.
-
倍加(:.
初等列变换可类似定义,两者统称矩阵的初等变换.
-
-
等价矩阵:经过有限次初等行/列变换后所得的矩阵与原矩阵行/列等价,统称矩阵等价.
-
初等矩阵:对单位矩阵只作一次初等变换所得的矩阵.
-
初等方阵的性质
-
初等方阵可逆,其逆矩阵也为初等方阵.
-
.
-
.
-
.
-
-
对矩阵做一次初等行变换对于初等矩阵左乘该矩阵;
对矩阵做一次初等列变换对于初等矩阵右乘该矩阵. -
与等价存在初等矩阵,使得
(推论见[272]{reference-type=“ref”
reference=“272”}).
-
阶梯形矩阵
-
满足下列条件的矩阵,称(行)阶梯形矩阵:
-
零行(若存在)在矩阵底部;
-
下方非零行首非零元在上一行右边.
-
-
满足下列条件的矩阵,称简化行阶梯形矩阵:
-
是阶梯形矩阵;
-
各非零行首非零元为,且所在列其他行元素为.
-
-
任一非零矩阵都可通过有限次初等行变换化为阶梯形矩阵.
-
[]{ #272 label=“272”}
与等价存在可逆矩阵与,使. -
求逆矩阵的方法:.
矩阵的秩
-
阶子式:矩阵中任取行和列,交叉点上的个元素组成方阵的行列式.
-
矩阵的秩:中非零子式的最高阶数.
-
.
-
为满秩方阵(反之称降秩方阵).
-
-
求矩阵秩的方法
-
行阶梯形矩阵的秩等于其非零行数量.
-
行等价的矩阵有相同的秩. 将矩阵化为阶梯形矩阵,数非零行即可.
-
-
秩标准形
存在可逆矩阵与,使右端矩阵与原矩阵等价,称秩标准形.
几何向量及其应用
坐标与线性运算
-
加法
交换律、结合律、向量、负向量 -
数乘
单位向量、结合律、对向量和数分别有分配律 -
向量长度的性质
-
非负性
-
齐性:
-
三角不等式:
-
-
定比分点:设,
对上一点,满足,则: -
设与夹角为,则定义:
为在上的(正交)射影向量,定义:
为在上的(正交)射影.
向量的积
-
内积/数量积/点乘
\vec{a}\cdot \vec{b}=\|\vec{a}\|\ \|\vec{b}\| \cos \theta=x_ax_b+y_ay_b+z_az_b \nonumber
-
交换律,分配律,数乘结合律
-
求向量夹角
-
求射影
-
-
外积/向量积/叉乘 $$\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$$-
不满足交换律,
-
数乘结合律,左右分配律
-
-
混合积 $$=(\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$$-
几何意义:以为相邻棱构成的平行六面体的体积.
-
-
互换混合积中任意两个向量位置,混合积变号
-
平面与直线方程
-
平面方程
-
点法式:过点,法向量
-
一般式:
,过原点; ,过轴 -
截距式:
-
-
直线方程
-
一般式:由两平面交线表示,将两方程联立即可.
-
参数式:过点,方向向量
-
对称式 $$\frac{x-x_0}{l}=\frac{y-y_0}{m}=\frac{z-z_0}{n}$$
-
空间位置关系
-
向量的位置关系
-
-
直线的位置关系
设直线过点,方向向量为,直线过点,方向向量为,则两直线的夹角:$$\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}}$$-
相交:不平行
-
平行不重合:平行,但不与平行
-
重合:均平行
-
-
线面间位置关系
线面夹角:直线与其在平面投影之间的夹角-
-
-
进一步,若线在面上,则$$Ax_0+By_0+Cz_0=0$$
-
-
平面的位置关系
-
点、线、面的距离
-
点到平面的距离:$$d=\frac{|Ax_0+By_0+Cz_0+D|}{\sqrt{A2+B2+C^2}}$$
-
点到空间直线的距离:$$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}|}$$
维向量与线性方程组
向量组的线性相关性
-
线性表示:向量可由向量组线性表示,即存在一组数,使
-
向量可由唯一线性表示
方程组有唯一解
-
向量可由有无穷种线性表示
方程组有无数解
-
-
线性相关:向量组线性相关,即存在一组不全为零的常数,使
\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$
-
向量组线性相关向量组中至少有一个向量可由其他向量线性表示.
-
若向量组线性无关,向量组线性相关,则可由向量组唯一线性表示.
-
若维向量组线性无关,其中,则在各向量相同位置添加任意分量,所得向量组仍线性无关;
若维向量组线性相关,则去除各向量相同位置的分量,所得向量组仍线性相关. -
部分线性相关整体线性相关;
部分线性无关整体线性无关.
-
向量组的秩与解的结构
-
若向量组可由线性表示,则:
-
时,线性相关.
-
线性无关时,必有.
-
-
若向量组可由向量组线性表示,则;
若向量组和向量组等价,则. -
设为阶矩阵,,则元齐次线性方程组一定存在基础解系,含有个向量.
同时,任意个线性无关的解向量都可作为该方程组的基础解系. -
非齐次线性方程组的基础解系可由一个特解与对应齐次方程组的通解表示,即:.
线性空间与欧式空间
线性空间与同构
-
-
子空间:线性空间的子集,也可按所定义的加法、数乘运算构成线性空间,则称为的(线性)子空间.
-
设是线性空间中的个向量,则称:$$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}}$$为由生成的线性空间.
-
-
线性空间的基
设是线性空间中的一组向量,且满足:-
线性无关;
-
均可由线性表示,即:$$\alpha=x_1\alpha_1+x_2\alpha_2+\cdots+x_n\alpha_n$$
基中所含向量个数称该线性空间的维数,记作.
称对应的个有序数为向量在基下的坐标,记作. -
-
线性空间的维数唯一确定,但基不是唯一的,对维线性空间,任意个线性无关向量均可作为的基. 设有两个基\
I:\alpha_1,\alpha_2,\cdots,\alpha_n \qquad II:\beta_1,\beta_2,\cdots,\beta_n$$则坐标变换公式为:$$x=Ay\ or.\ y=A^{-1}x
其中是从到的过渡矩阵.
-
坐标映射:从到的双射,满足:
-
,恒有.
-
,恒有.
-
-
线性空间的同构(映射):设数域上的线性空间,从到的映射,满足:
-
,恒有.
-
,恒有.
两个可以建立同构映射的线性空间是同构的.
-
同构是等价关系.
-
维数相同的线性空间是同构的.
-
同构映射不改变线性相关性,且的一个基经同构映射变换后也是的一个基.
-
基与子空间
-
基的扩充定理
设是维线性空间中的一个线性无关组,则:
存在,使得构成的一组基. -
设都是线性空间的子空间,则
-
他们的交是的线性子空间.
-
他们的和是的线性子空间.
-
他们的并不是的线性子空间.
-
-
维数公式
-
-
直和
-
设都是线性空间的子空间,,若
中每个向量可唯一表示为$$\alpha =\alpha_1+\cdots+\alpha_s\qquad a_i\in W_i$$则称为的直和,用表示. -
-
欧氏空间
-
内积:对实线性空间中任意两个向量,都指定一个实数与之对应,且,满足:
-
对称性:;
-
可加性:;
-
齐次性:;
-
非负性:,当且仅当时取等号.
则称为线性空间中元素和的内积,称该线性空间为实内积空间或欧氏空间.
-
-
在欧氏空间中,称非负实数为向量的范数,记作.
-
当且仅当.
-
.
-
三角不等式:.
-
不等式
设是欧氏空间中任意两个向量,则$$|\langle \alpha,\beta \rangle|\leq \sqrt{\langle\alpha,\alpha\rangle}\sqrt{\langle\beta,\beta\rangle}=|\alpha||\beta|$$
其中,等号成立当且仅当与线性相关.
-
-
欧氏空间中两个向量与间的距离可由范数表示,即:$$d(\alpha,\beta)=|\alpha-\beta |$$
-
在欧氏空间中,规定两个非零向量和的夹角为:$$\phi =\arccos \frac{\langle\alpha,\beta\rangle}{|\alpha||\beta|}\qquad(0\leq\phi\leq\pi)$$
若,则称和正交,记为.
正交向量与正交矩阵
-
正交向量组:所含向量两两正交的向量组.
-
不含零向量.
-
必是线性无关组.
-
若每个向量都是单位向量,称标准正交向量组.
-
-
在维欧氏空间中,由个向量组成的正交向量组称为的正交基; 由个向量组成的单位正交向量组称为的标准正交基.
设是维欧氏空间的一个标准正交基,和是中任意向量,则-
;
-
;
-
;
-
.
-
-
正交化方法
设是维欧氏空间的一个基,令:则是的一个正交基. 再令$$e_i=\frac{\beta_i}{|\beta_i|}\ ,\ i=1,2,\cdots,n$$
则是的一个标准正交基. -
满足,或的实方阵称正交矩阵.
设为同阶正交矩阵,则-
.
-
均为正交矩阵.
-
为正交矩阵.
实方阵是正交矩阵的列(行)向量组是标准正交向量组.
-
-
设为阶正交矩阵,称为上的正交变换.
-
保内积不变性:.
-
保范数不变性:.
-
特征值与特征向量
矩阵的特征值与特征向量
-
代数重数:特征方程的根的重数.
几何重数:基础解系所含的向量个数. -
-
设是矩阵的一个特征值,是一个对应特征向量,则
-
是矩阵的一个特征值,是一个对应特征向量.
-
对任意多项式,是矩阵的一个特征值,是一个对应特征向量.
-
-
-
是的特征值,是的特征值.
-
属于互不相同特征值的特征向量(组)线性无关.
-
特征值的几何重数不大于其代数重数.
-
相似矩阵
-
对阶矩阵,若存在阶矩阵,使得$$P^{-1}AP=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)$$
实二次型
-
元二次型 $$\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}$$ 设矩阵满足,则 -
二次型的标准型:
标准型的矩阵:
对二次型,总存在正交变换为正交矩阵),可通过该变换将二次型化为对应的标准型,则-
正交变换法
-
配方法
-
-
合同变换:对阶矩阵,若存在可逆矩阵,使得,则称与合同,记作,称到的变换为合同变换.
-
合同是同阶方阵间的等价关系.
-
.
-
-
二次型标准型中系数为正的个数被称作正惯性指数,合同变换不改变二次型的正惯性指数. 从而,二次型可由线性变换化为规范形:$$f=z_1^2+\cdots +z_p2-z_{p+1}2-\cdots -z_r^2$$
若二次型由可逆线性变换化为二次型,则称两个二次型等价,他们有相同的规范形. -
正定二次型:对任意非零向量,都有
,并称为正定矩阵.-
可逆线性变换不改变二次型的正定性.
-
为正定矩阵的所有特征值大于零的正惯性指数为.
-
为正定矩阵存在可逆矩阵,使,即与同阶单位阵合同.
-
为正定矩阵
-
为正定矩阵的各阶顺序主子式都大于零.
-
线性变换
线性变换与运算
-
若映射满足:, 恒成立
-
.
-
.
则称为从到的一个线性变换(线性映射), 从到线性变换的全体记作.
特别地, 从从到线性变换的全体记作, 若, 称是上的线性算子.-
.
-
.
-
把中线性相关组映射为中线性相关组.
-
-
设, 称:
为的定义域; 的子集为的核(零空间), 记作; 的子集为的值域(像空间), 记作或. 是的子空间; 是的子空间.
通常称的维数为的零度, 记为; 称的维数为的秩, 记为, 并满足:$$nullity(T)+rank(T)=n$$ -
设, 则下列条件相互等价:
-
是单射(.
-
.
-
将中线性无关组映射成中线性无关组.
-
.
-
-
, 则定义为:
-
交换律:.
-
.
-
-
设, 使得$$TS=I_W\qquad ST=I_V$$
则称为可逆映射, 记为的逆映射. 若为线性变换(此时称可逆线性变换), 则也是线性变换.
可逆,且. -
设, 则下列条件相互等价:
-
为可逆线性变换.
-
是单射.
-
是满射.
-
.
-
.
-
-
(kT)(\alpha)=kT(\alpha)$$ 线性变换的和与积仍是线性变换.
-
的基分别是, 则
称矩阵为线性变换在基下的矩阵, 简称线性变换的矩阵.
-
-
线性变换的和、数量积、乘积分别对应于矩阵的和、数量积与乘积.
-
线性空间与线性空间是同构的, 维数为.
-
与矩阵的列空间同构, 且与的秩相等;
与齐次线性方程组的解空间同构, 且的零度等于. -
若, 则:
是可逆变换为可逆矩阵.
-
-
线性算子在不同基下的矩阵是相似的.
设, 在下的矩阵分别为和, 且到的过渡矩阵为, 则.