概述
第1章 线性空间和线性变换
1.线性空间
- 基变换
( y 1 , y 2 , . . . , y n ) = ( x 1 , x 2 , . . . , x n ) P (y_1,y_2,...,y_n) = (x_1,x_2,...,x_n)P (y1,y2,...,yn)=(x1,x2,...,xn)P
2.线性子空间
- 证明 V 是线性子空间
{ ∀ x , y ∈ V , x + y ∈ V ∀ x ∈ V , k x ∈ V begin{cases} forall x, y in V, x+y in V \ forall x in V, kx in V end{cases} {∀x,y∈V,x+y∈V∀x∈V,kx∈V - 生成子空间
V = S p a n { x 1 , x 2 , . . . , x n } = { λ 1 x 1 + λ 2 x 2 + . . . + λ n x n ∣ λ i ∈ R } d i m ( V ) = r ( x 1 , x 2 , . . . , x n ) begin{aligned} &V=Span{x_1,x_2,...,x_n} = {lambda_1x_1+lambda_2x_2+...+lambda_nx_n mid lambda_i in R} \ &dim(V) = r(x_1,x_2,...,x_n) end{aligned} V=Span{x1,x2,...,xn}={λ1x1+λ2x2+...+λnxn∣λi∈R}dim(V)=r(x1,x2,...,xn) - 子空间的和
V 1 + V 2 = S p a n { x 1 , x 2 , . . . , x r } + S p a n { y 1 , y 2 , . . . , y s } = S p a n { x 1 , x 2 , . . . , x r , y 1 , y 2 , . . . , y s } begin{aligned} V_1+V_2 &= Span{x_1,x_2,...,x_r}+Span{y_1,y_2,...,y_s}\ &= Span{x_1,x_2,...,x_r,y_1,y_2,...,y_s} end{aligned} V1+V2=Span{x1,x2,...,xr}+Span{y1,y2,...,ys}=Span{x1,x2,...,xr,y1,y2,...,ys} - 子空间的交
V 1 ∩ V 2 = S p a n { x 1 , x 2 , . . . , x n } ∩ S p a n { y 1 , y 2 , . . . , y s } = { λ 1 x 1 + . . . + λ r x r ∣ λ 1 x 1 + . . . + λ r x r = μ 1 y 1 + . . . + μ s y s } begin{aligned} V_1cap V_2 &= Span{x_1,x_2,...,x_n}cap Span{y_1,y_2,...,y_s}\ &={lambda_1x_1+...+lambda_rx_r mid lambda_1x_1+...+lambda_rx_r=mu_1y_1+...+mu_sy_s} end{aligned} V1∩V2=Span{x1,x2,...,xn}∩Span{y1,y2,...,ys}={λ1x1+...+λrxr∣λ1x1+...+λrxr=μ1y1+...+μsys} - 维数公式
d i m ( V 1 ) + d i m ( V 2 ) = d i m ( V 1 + V 2 ) + d i m ( V 1 ∩ V 2 ) dim(V_1)+dim(V_2)=dim(V_1+V_2)+dim(V_1cap V_2) dim(V1)+dim(V2)=dim(V1+V2)+dim(V1∩V2)
3.线性变换
- 证明 T 是线性变换
{ T ( x + y ) = T ( x ) + T ( y ) T ( λ x ) = λ T ( x ) begin{cases} T(x+y)=T(x)+T(y)\ T(lambda x)=lambda T(x) end{cases} {T(x+y)=T(x)+T(y)T(λx)=λT(x) - 证明 W 是 T 的不变子空间
∀ x ∈ W , T ( x ) ∈ W forall xin W, T(x) in W ∀x∈W,T(x)∈W - 值域、核
T ( V ) = { T ( x ) ∣ x ∈ V } K e r ( T ) = { x ∣ T x = 0 , x ∈ V } d i m ( T ( V ) ) + d i m ( K e r ( T ) ) = d i m ( V ) T(V) = {T(x) mid x in V} quad Ker(T)={x mid Tx=0,x in V} \ dim(T(V))+dim(Ker(T))=dim(V) T(V)={T(x)∣x∈V}Ker(T)={x∣Tx=0,x∈V}dim(T(V))+dim(Ker(T))=dim(V) - 线性变换的矩阵表示
T ( e 1 , e 2 , . . . , e n ) = ( e 1 , e 2 , . . . , e n ) A T(e_1,e_2,...,e_n)=(e_1,e_2,...,e_n)A T(e1,e2,...,en)=(e1,e2,...,en)A - 线性变换后的坐标变换
x = ( e 1 , e 2 , . . . , e n ) ( x 1 x 2 x 3 ) T x = ( e 1 , e 2 , . . . , e n ) A ( x 1 x 2 x 3 ) x = (e_1,e_2,...,e_n)begin{pmatrix} x_1\ x_2\ x_3 end{pmatrix} \ Tx = (e_1,e_2,...,e_n)Abegin{pmatrix} x_1\ x_2\ x_3 end{pmatrix} x=(e1,e2,...,en)⎝⎛x1x2x3⎠⎞Tx=(e1,e2,...,en)A⎝⎛x1x2x3⎠⎞ - T 在两组不同基下的矩阵相似,相似变换矩阵就是两组基的过渡矩阵
{ T ( x 1 , x 2 , . . . , x n ) = ( x 1 , x 2 , . . . , x n ) A T ( y 1 , y 2 , . . . , y n ) = ( x 1 , x 2 , . . . , x n ) B ( y 1 , y 2 , . . . , y n ) = ( x 1 , x 2 , . . . , x n ) P ⟹ P − 1 A P = B begin{cases} T(x_1,x_2,...,x_n)=(x_1,x_2,...,x_n)A \ T(y_1,y_2,...,y_n)=(x_1,x_2,...,x_n)B \ (y_1,y_2,...,y_n)=(x_1,x_2,...,x_n)P\ end{cases} implies P^{-1}AP=B ⎩⎪⎨⎪⎧T(x1,x2,...,xn)=(x1,x2,...,xn)AT(y1,y2,...,yn)=(x1,x2,...,xn)B(y1,y2,...,yn)=(x1,x2,...,xn)P⟹P−1AP=B
4.内积空间
-
证明为内积空间
{ ( x , y ) = ( y , x ) ‾ ( x , x ) ≥ 0 ( λ x + μ y , z ) = λ ( x , z ) + μ ( y , z ) begin{cases} (x,y)=overline{(y,x)} \ (x,x)geq0 \ (lambda x+mu y, z)=lambda(x,z)+mu(y,z) \ end{cases} ⎩⎪⎨⎪⎧(x,y)=(y,x)(x,x)≥0(λx+μy,z)=λ(x,z)+μ(y,z) -
基本性质
( x , λ y + μ z ) = λ ˉ ( x , y ) + μ ˉ ( x , z ) ( 0 , x ) = ( x , 0 ) = 0 begin{aligned} &(x,lambda y+mu z)=bar lambda(x,y)+bar mu(x,z)\ &(0,x)=(x,0)=0 end{aligned} (x,λy+μz)=λˉ(x,y)+μˉ(x,z)(0,x)=(x,0)=0 -
Schmidt 正交化
u 1 = x 1 u 2 = x 2 − ( x 2 , u 1 ) ( u 1 , u 1 ) u 1 u 2 = x 3 − ( x 3 , u 1 ) ( u 1 , u 1 ) u 1 − ( x 3 , u 2 ) ( u 2 , u 2 ) u 2 begin{aligned} &u_1 = x_1 \ &u_2 = x_2 - frac{(x_2, u_1)}{(u_1, u_1)} u_1 \ &u_2 = x_3 - frac{(x_3, u_1)}{(u_1, u_1)} u_1 - frac{(x_3, u_2)}{(u_2, u_2)} u_2 end{aligned} u1=x1u2=x2−(u1,u1)(x2,u1)u1u2=x3−(u1,u1)(x3,u1)u1−(u2,u2)(x3,u2)u2 -
正交补空间
5.正交变换和酉变换
T 为 正 交 变 换 / 酉 变 换 ⇔ { 1. ( T x , T y ) = ( x , y ) 2. ∣ ∣ T x ∣ ∣ = ∣ ∣ x ∣ ∣ 3. T 把 V 中 的 标 准 正 交 基 变 成 标 准 正 交 基 4. T 在 标 准 正 交 基 下 的 矩 阵 为 正 交 矩 阵 / 酉 矩 阵 T 为正交变换/酉变换 Leftrightarrow begin{cases} 1.(Tx, Ty)=(x, y) \ 2.||Tx|| = ||x|| \ 3. T把V中的标准正交基变成标准正交基\ 4. T在标准正交基下的矩阵为正交矩阵/酉矩阵 end{cases} T为正交变换/酉变换⇔⎩⎪⎪⎪⎨⎪⎪⎪⎧1.(Tx,Ty)=(x,y)2.∣∣Tx∣∣=∣∣x∣∣3.T把V中的标准正交基变成标准正交基4.T在标准正交基下的矩阵为正交矩阵/酉矩阵
第2章 矩阵特征值与Jordan标准型
3.Smith标准型
- k 阶行列式因子:所有非零 k 阶子式的最大公因式
- 不变因子:
- 初等因子:
- Smith标准型:必须满足
d
i
∣
d
i
+
1
d_i mid d_{i+1}
di∣di+1
求 矩 阵 A 的 S m i t h 标 准 型 ⇔ { 1. 对 λ E − A 初 等 变 换 2. 先 求 行 列 式 因 子 , 再 求 不 变 因 子 求矩阵A的Smith标准型Leftrightarrow begin{cases} 1.对lambda E-A初等变换\ 2.先求行列式因子,再求不变因子\ end{cases} 求矩阵A的Smith标准型⇔{1.对λE−A初等变换2.先求行列式因子,再求不变因子 - 初等因子反推不变因子:常用于求分块对角矩阵的 Smith 标准型
5.Jordan标准型
- 每个初等因子对应一个Jordan块:根为对角线元素,次数为阶数
6.最小多项式
- Cayley-Hamilton定理:
f ( λ ) = ∣ λ E − A ∣ ⇒ f ( A ) = O f(lambda)=|lambda E-A| Rightarrow f(A)=O f(λ)=∣λE−A∣⇒f(A)=O - 最小多项式:最后一个不变因子
- 矩阵相似于对角阵的充要条件
矩 阵 相 似 于 对 角 阵 ⇔ { 1. 有 n 个 线 性 无 关 的 特 征 向 量 2. 所 有 特 征 值 的 代 数 重 数 = 几 何 重 数 3. 初 等 因 子 均 为 一 次 4. 最 小 多 项 式 无 重 根 矩阵相似于对角阵 Leftrightarrow begin{cases} 1.有n个线性无关的特征向量\ 2.所有特征值的代数重数=几何重数\ 3.初等因子均为一次\ 4.最小多项式无重根\ end{cases} 矩阵相似于对角阵⇔⎩⎪⎪⎪⎨⎪⎪⎪⎧1.有n个线性无关的特征向量2.所有特征值的代数重数=几何重数3.初等因子均为一次4.最小多项式无重根
第3章 矩阵范数与幂级数
1.向量范数
-
x
=
(
x
1
,
x
2
,
.
.
.
,
x
n
)
T
∈
C
n
x=(x_1,x_2,...,x_n)^Tin C^n
x=(x1,x2,...,xn)T∈Cn,注意
∣
x
i
∣
|x_i|
∣xi∣ 是模长,不是绝对值
∣ ∣ x ∣ ∣ 1 = ∑ i = 1 n ∣ x i ∣ ∣ ∣ x ∣ ∣ 2 = ∑ i = 1 n ∣ x i ∣ 2 ∣ ∣ x ∣ ∣ ∞ = max { ∣ x 1 ∣ , ∣ x 2 ∣ , . . . , ∣ x n ∣ } begin{aligned} &||x||_1=sum_{i=1}^n|x_i| \ &||x||_2=sqrt{sum_{i=1}^n|x_i|^2}\ &||x||_{infty}=max{|x_1|,|x_2|,...,|x_n|} end{aligned} ∣∣x∣∣1=i=1∑n∣xi∣∣∣x∣∣2=i=1∑n∣xi∣2∣∣x∣∣∞=max{∣x1∣,∣x2∣,...,∣xn∣}
2.矩阵范数
-
A
∈
C
n
×
n
Ain C^{ntimes n}
A∈Cn×n,注意
∣
a
i
j
∣
|a_{ij}|
∣aij∣ 是模长,不是绝对值
列 范 数 : ∣ ∣ A ∣ ∣ 1 = max { ∑ i = 1 n ∣ a i 1 ∣ , ∑ i = 1 n ∣ a i 2 ∣ , . . . , ∑ i = 1 n ∣ a i n ∣ } 行 范 数 : ∣ ∣ A ∣ ∣ ∞ = max { ∑ j = 1 n ∣ a 1 j ∣ , ∑ j = 1 n ∣ a 2 j ∣ , . . . , ∑ j = 1 n ∣ a n j ∣ } 谱 范 数 : ∣ ∣ A ∣ ∣ 2 = λ max ( A H A ) F 范 数 : ∣ ∣ A ∣ ∣ F = ∑ i , j = 1 n ∣ a i j ∣ 2 begin{aligned} &列范数:||A||_1=max {sum_{i=1}^n |a_{i1}|, sum_{i=1}^n |a_{i2}|, ...,sum_{i=1}^n |a_{in}|} \ &行范数:||A||_{infty}=max{sum_{j=1}^n |a_{1j}|,sum_{j=1}^n |a_{2j}|,...,sum_{j=1}^n |a_{nj}|} \ &谱范数:||A||_2=sqrt{lambda_{max}(A^HA)}\ &F范数:||A||_F=sqrt{sum_{i,j=1}^n|a_{ij}|^2} end{aligned} 列范数:∣∣A∣∣1=max{i=1∑n∣ai1∣,i=1∑n∣ai2∣,...,i=1∑n∣ain∣}行范数:∣∣A∣∣∞=max{j=1∑n∣a1j∣,j=1∑n∣a2j∣,...,j=1∑n∣anj∣}谱范数:∣∣A∣∣2=λmax(AHA)F范数:∣∣A∣∣F=i,j=1∑n∣aij∣2
4.矩阵序列的极限
∃ ∣ ∣ A ∣ ∣ < 1 ⇒ lim k → ∞ A k = O ρ ( A ) < 1 ⇒ lim k → ∞ A k = O begin{aligned} &exist space ||A||<1 Rightarrow lim_{ktoinfty}A^k=O \ & rho(A)<1Rightarrow lim_{ktoinfty}A^k=O end{aligned} ∃ ∣∣A∣∣<1⇒k→∞limAk=Oρ(A)<1⇒k→∞limAk=O
5.矩阵幂级数
∃ ∣ ∣ A ∣ ∣ < R ⇒ ∑ k = 0 ∞ c k A k 绝 对 收 敛 ρ ( A ) < R ⇒ ∑ k = 0 ∞ c k A k 绝 对 收 敛 R = lim k → ∞ ∣ c k c k + 1 ∣ ρ ( A ) = max { ∣ λ 1 ∣ , ∣ λ 2 ∣ , . . . , ∣ λ n ∣ } begin{aligned} &exist space||A||<R Rightarrow sum_{k=0}^{infty}c_kA^k绝对收敛 \ & rho(A)<RRightarrow sum_{k=0}^{infty}c_kA^k绝对收敛 end{aligned}\,\ R=lim_{ktoinfty}|frac{c_k}{c_{k+1}}| quad rho(A)=max{|lambda_1|,|lambda_2|,...,|lambda_n|} ∃ ∣∣A∣∣<R⇒k=0∑∞ckAk绝对收敛ρ(A)<R⇒k=0∑∞ckAk绝对收敛R=k→∞lim∣ck+1ck∣ρ(A)=max{∣λ1∣,∣λ2∣,...,∣λn∣}
第4章 矩阵函数
1.Jordan标准型计算矩阵函数
- step1
P − 1 A P = J P^{-1}AP=J P−1AP=J - step2
f ( λ ) = e λ t f ′ ( λ ) = t e λ t f ′ ′ ( λ ) = t 2 e λ t f ( λ ) = s i n λ t f ′ ( λ ) = t c o s λ t f ′ ′ ( λ ) = − t 2 s i n λ t J = ( 1 2 3 ) e J t = ( e t e 2 t e 3 t ) s i n J t = ( s i n t s i n 2 t s i n 3 t ) J = ( 1 2 1 2 ) e J t = ( e t e 2 t t e 2 t e 2 t ) s i n J t = ( s i n t s i n 2 t t c o s 2 t s i n 2 t ) J = ( 2 1 2 1 2 ) e J t = ( e 2 t t e 2 t 1 2 t 2 e 2 t e 2 t t e 2 t e 2 t ) s i n J t = ( s i n 2 t t c o s 2 t − 1 2 t 2 s i n 2 t s i n 2 t t c o s 2 t s i n 2 t ) begin{aligned} & f(lambda)=e^{lambda t} quad f'(lambda)=t e^{lambda t} quad f''(lambda)=t^2e^{lambda t}\ & f(lambda)=sinlambda t quad f'(lambda)=t coslambda t quad f''(lambda)=-t^2sinlambda t end{aligned} \,\ begin{aligned} &J = begin{pmatrix} 1 & & \ & 2 & \ & & 3 end{pmatrix} quad e^{Jt} = begin{pmatrix} e^{t} & & \ & e^{2t} & \ & & e^{3t} end{pmatrix}quad sinJt = begin{pmatrix} sint & & \ & sin2t & \ & & sin3t end{pmatrix} \\ &J = begin{pmatrix} 1 & & \ & 2 &1 \ & & 2 end{pmatrix} quad e^{Jt} = begin{pmatrix} e^{t} & & \ & e^{2t} & te^{2t} \ & & e^{2t} end{pmatrix}quad sinJt = begin{pmatrix} sint & & \ & sin2t & tcos2t \ & & sin2t end{pmatrix} \\ &J = begin{pmatrix} 2 &1 & \ & 2 &1 \ & & 2 end{pmatrix} quad e^{Jt} = begin{pmatrix} e^{2t} &te^{2t} ½t^2e^{2t} \ & e^{2t} & te^{2t} \ & & e^{2t} end{pmatrix}quad sinJt = begin{pmatrix} sin2t &tcos2t & -frac12t^2sin2t\ & sin2t & tcos2t \ & & sin2t end{pmatrix} end{aligned} f(λ)=eλtf′(λ)=teλtf′′(λ)=t2eλtf(λ)=sinλtf′(λ)=tcosλtf′′(λ)=−t2sinλtJ=⎝⎛123⎠⎞eJt=⎝⎛ete2te3t⎠⎞sinJt=⎝⎛sintsin2tsin3t⎠⎞J=⎝⎛1212⎠⎞eJt=⎝⎛ete2tte2te2t⎠⎞sinJt=⎝⎛sintsin2ttcos2tsin2t⎠⎞J=⎝⎛21212⎠⎞eJt=⎝⎛e2tte2te2t21t2e2tte2te2t⎠⎞sinJt=⎝⎛sin2ttcos2tsin2t−21t2sin2ttcos2tsin2t⎠⎞ - step3
f ( A ) = P f ( J ) P − 1 f(A)=Pf(J)P^{-1} f(A)=Pf(J)P−1
2.待定系数法计算矩阵函数
- step1
m ( λ ) = ( λ − λ 1 ) j 1 ( λ − λ 2 ) j 2 . . ( λ − λ t ) j t m = ∑ i = 1 t j i Λ A = { ( λ 1 , j 1 ) , ( λ 2 , j 2 ) , . . . , ( λ t , j t ) } g ( λ ) = a 0 + a 1 λ + a 2 λ 2 + . . . + a m − 1 λ m − 1 m(lambda)=(lambda-lambda_1)^{j_1}(lambda-lambda_2)^{j_2}..(lambda-lambda_t)^{j_t} \ m=sum_{i=1}^tj_i quad Lambda_A={(lambda_1, j_1),(lambda_2, j_2),...,(lambda_t, j_t)} \ g(lambda)=a_0+a_1lambda+a_2lambda^2+...+a_{m-1}lambda^{m-1} m(λ)=(λ−λ1)j1(λ−λ2)j2..(λ−λt)jtm=i=1∑tjiΛA={(λ1,j1),(λ2,j2),...,(λt,jt)}g(λ)=a0+a1λ+a2λ2+...+am−1λm−1 - step2
f ( Λ A ) = g ( Λ A ) f(Lambda_A)=g(Lambda_A) f(ΛA)=g(ΛA) - step3
f ( A ) = g ( A ) f(A)=g(A) f(A)=g(A)
3.矩阵函数的微分和积分
5.矩阵微分方程组
最后
以上就是英勇小天鹅为你收集整理的矩阵论总结第1章 线性空间和线性变换第2章 矩阵特征值与Jordan标准型第3章 矩阵范数与幂级数第4章 矩阵函数的全部内容,希望文章能够帮你解决矩阵论总结第1章 线性空间和线性变换第2章 矩阵特征值与Jordan标准型第3章 矩阵范数与幂级数第4章 矩阵函数所遇到的程序开发问题。
如果觉得靠谱客网站的内容还不错,欢迎将靠谱客网站推荐给程序员好友。
发表评论 取消回复