[矩阵论] Unit 1. 线性空间与线性变换 - 知识点整理

  • 注: 以下内容均由个人整理, 不保证完全准确, 如有纰漏, 欢迎交流讨论
  • 参考: 杨明, 刘先忠. 矩阵论(第二版)[M]. 武汉: 华中科技大学出版社, 2005

1 线性空间与线性变换

1.1 线性空间

线性空间

Def 1.1: 设 V V V 是一个非空集合( V ≠ ∅ V\neq \varnothing V=), F F F 是一个数域.在其中定义两种运算, 加法与数乘(满足封闭性): ∀ α , β ∈ V , α + β ∈ V ; \forall \alpha,\beta\in V,\alpha+\beta\in V; α,βV,α+βV; ∀ α ∈ V , k ∈ F , k α ∈ V \forall\alpha\in V,k\in F,k\alpha\in V αV,kF,kαV 并且满足下面 8 条运算性质:
5 条运算律:

  • 加法交换律: α + β = β + α \alpha+\beta=\beta+\alpha α+β=β+α
  • 加法结合律: ( α + β ) + γ = α + ( β + γ ) (\alpha+\beta)+\gamma=\alpha+(\beta+\gamma) (α+β)+γ=α+(β+γ)
  • 数乘结合律: ( k l ) α = k ( l α ) (kl)\alpha=k(l\alpha) (kl)α=k(lα)
  • 乘法分配律: ( k + l ) α = k α + l α (k+l)\alpha=k\alpha+l\alpha (k+l)α=kα+lα k ( α + β ) = k α + k β k(\alpha+\beta)=k\alpha+k\beta k(α+β)=kα+kβ

3 个特殊元素:

  • 零元(唯一): ∃ α 0 ∈ V , ∀ α ∈ V , α + α 0 = α \exists\alpha_0\in V,\forall\alpha\in V,\alpha+\alpha_0=\alpha α0V,αV,α+α0=α, 记 α 0 = 0 ⃗ \alpha_0=\vec{0} α0=0
  • 负元(唯一): ∀ α ∈ V , ∃ β ∈ V : α + β = 0 ⃗ \forall\alpha\in V,\exists\beta\in V:\alpha+\beta=\vec{0} αV,βV:α+β=0 , 记 β = − α \beta=-\alpha β=α
  • 数 1: ∃ 1 ∈ F , 1 ⋅ α = α \exists 1\in F,1\cdot\alpha=\alpha 1F,1α=α

则称 V V V 是数域 F F F 上的线性空间, 记为 V ( F ) V(F) V(F).
注: 判断是否为线性空间时, 注意加法封闭性

线性空间的基

Def’ 1.2: ∃ α 1 , α 2 , . . . , α n ∈ V ( F ) : \exists\alpha_1,\alpha_2,...,\alpha_n\in V(F): α1,α2,...,αnV(F): ∀ β ∈ V , β = ∑ i = 1 n x i α i = [ α 1 , . . . , α n ] [ x 1 , . . . , x n ] T \forall\beta\in V, \beta=\sum_{i=1}^nx_i\alpha_i=[\alpha_1,...,\alpha_n][x_1,...,x_n]^T βV,β=i=1nxiαi=[α1,...,αn][x1,...,xn]T, 则称 { α 1 , α 2 , . . . , α n } \{\alpha_1,\alpha_2,...,\alpha_n\} {α1,α2,...,αn} V ( F ) V(F) V(F) 的一组基.

  • d i m V = n dim V=n dimV=n(即基向量的个数), V n ( F ) V_n(F) Vn(F)

坐标

Def’: V n ( F ) V_n(F) Vn(F) 中, 基 { α i } \{\alpha_i\} {αi}, β = ∑ i = 1 n x i α i \beta=\sum_{i=1}^nx_i\alpha_i β=i=1nxiαi, 则 { x i } \{x_i\} {xi} β \beta β 在基 { α i } \{\alpha_i\} {αi} 下的坐标, X = ( x 1 , . . . , x n ) T X=(x_1,...,x_n)^T X=(x1,...,xn)T 为对应坐标(向量).

  • 注: 坐标是列向量

同构

V n ( F ) V_n(F) Vn(F) 通过基 { α i } \{\alpha_i\} {αi} 与数域 F F F 同构.

过渡矩阵与基变换公式

基变换公式: { α i } \{\alpha_i\} {αi} { β i } \{\beta_i\} {βi} V n ( F ) V_n(F) Vn(F) 两组基:

( β 1 , . . . , β n ) = ( α 1 , . . . , α n ) C n × n (\beta_1,...,\beta_n)=(\alpha_1,...,\alpha_n)C_{n\times n} (β1,...,βn)=(α1,...,αn)Cn×n

{ α i } \{\alpha_i\} {αi} 到基 { β i } \{\beta_i\} {βi}过渡矩阵: C n × n C_{n\times n} Cn×n:

  • C C C k k k β k \beta_k βk 在基 { α i } \{\alpha_i\} {αi} 下的坐标
  • C C C 是非奇异矩阵( ∣ C ∣ ≠ 0 |C|\neq 0 C=0)

坐标变换公式

V n ( F ) V_n(F) Vn(F) 中两组基 { α i } \{\alpha_i\} {αi} { β i } \{\beta_i\} {βi}: ( β 1 , . . . , β n ) = ( α 1 , . . . , α n ) C n × n (\beta_1,...,\beta_n)=(\alpha_1,...,\alpha_n)C_{n\times n} (β1,...,βn)=(α1,...,αn)Cn×n
设向量 α ∈ V \alpha\in V αV: α = ( α 1 , . . . , α n ) X \alpha=(\alpha_1,...,\alpha_n)X α=(α1,...,αn)X, α = ( β 1 , . . . , β n ) Y \alpha=(\beta_1,...,\beta_n)Y α=(β1,...,βn)Y, 则:

X = C Y X=CY X=CY Y = C − 1 X Y=C^{-1}X Y=C1X

C C C 为基坐标从 { α i } \{\alpha_i\} {αi} { β i } \{\beta_i\} {βi}过渡矩阵.

子空间

Def’: W ⊆ V n ( F ) , W ≠ ∅ W\subseteq V_n(F),W\neq\varnothing WVn(F),W=, 若 W W W 的元素关于 V V V 中加法与数乘向量法运算也构成线性空间, 则称 W W W V V V 的一个子空间.
判别: W W W 的线性运算(加法和数乘)封闭, W W W有零元 0 ⃗ ∈ W \vec{0}\in W 0 W

由向量组 { α i } ⊆ V n ( F ) \{\alpha_i\}\subseteq V_n(F) {αi}Vn(F) 生成的子空间: L { α 1 , . . . , α n } = { ∑ i = 1 n k i α i ∣ k i ∈ F } L\{\alpha_1,...,\alpha_n\}=\{\sum_{i=1}^nk_i\alpha_i|k_i\in F\} L{α1,...,αn}={i=1nkiαikiF}

矩阵的零空间 列空间

矩阵 A ∈ F m × n A\in F^{m\times n} AFm×n零空间:
N ( A ) = { X ∈ F n : A X = 0 } = { [ A 1 , . . . , A n ] [ x 1 , . . . , x n ] T } = { ∑ i = 1 n A i x i } ⊆ F n N(A)=\{X\in F^n:AX=0\}=\{[A_1,...,A_n][x_1,...,x_n]^T\}=\{\sum_{i=1}^nA_ix_i\}\subseteq F^n N(A)={XFn:AX=0}={[A1,...,An][x1,...,xn]T}={i=1nAixi}Fn
矩阵 A ∈ F m × n A\in F^{m\times n} AFm×n列空间(值空间):
R ( A ) = L { A 1 , . . . , A n } = { y : ∃ x ∈ F n , y = A x } ⊆ F m R(A)=L\{A_1,...,A_n\}=\{y:\exists x\in F^n,y=Ax\}\subseteq F^m R(A)=L{A1,...,An}={y:xFn,y=Ax}Fm, A i A_i Ai 为矩阵 A A A 的第 i i i

交空间 和空间

交空间: W 1 ∩ W 2 = { α ∣ α ∈ W 1 ∧ α ∈ W 2 } W_1\cap W_2=\{\alpha|\alpha\in W_1\wedge\alpha\in W_2\} W1W2={ααW1αW2}
和空间: W 1 + W 2 = { α = α 1 + α 2 ∣ α 1 ∈ W 1 , α 2 ∈ W 2 } W_1+W_2=\{\alpha=\alpha_1+\alpha_2|\alpha_1\in W_1,\alpha_2\in W_2\} W1+W2={α=α1+α2α1W1,α2W2}

求法:
交空间: 满足子空间 W 1 , W 2 W_1, W_2 W1,W2 基构成的矩阵 ( A ∣ B ) = 0 (A|B)=0 (AB)=0
和空间: 合并两个子空间的基.

包含关系:
W 1 ∩ W 2 ⊆ W 1 , W 2 ⊂ W 1 + W 2 ⊆ V n ( F ) W_1\cap W_2\subseteq W_1, W_2\subset W_1+W_2\subseteq V_n(F) W1W2W1,W2W1+W2Vn(F)
d i m ( W 1 ∩ W 2 ) ≤ d i m W i ≤ d i m ( W 1 + W 2 ) ≤ d i m V n ( F ) dim(W_1\cap W_2)\leq dimW_i\leq dim(W_1+W_2)\leq dimV_n(F) dim(W1W2)dimWidim(W1+W2)dimVn(F)

Th 1.7 维数定理: d i m W 1 + d i m W 2 = d i m ( W 1 + W 2 ) + d i m ( W 1 ∩ W 2 ) dimW_1+dimW_2=dim(W_1+W_2)+dim(W_1\cap W_2) dimW1+dimW2=dim(W1+W2)+dim(W1W2)

子空间的直和

Def 1.6: 设 W 1 W_1 W1 W 2 W_2 W2 是线性空间 V V V 的子空间, W = W 1 + W 2 W=W_1+W_2 WW1+W2, 如果 W 1 ∩ W 2 = { 0 ⃗ } W_1\cap W_2=\{\vec{0}\} W1W2{0 }, 则称 W W W W 1 W_1 W1 W 2 W_2 W2 的直和子空间. 记为 W = W 1 ⊕ W 2 W=W_1\oplus W_2 WW1W2

直和子空间等价条件:

  • W = W 1 ⊕ W 2 W=W_1\oplus W_2 WW1W2
  • ∀ X ∈ W , X = X 1 + X 2 , X 1 ∈ W 1 , X 2 ∈ W 2 \forall X\in W, X=X_1+X_2, X_1\in W_1, X_2\in W_2 XW,X=X1+X2,X1W1,X2W2, X X X 表示唯一
  • W W W 中零向量表示唯一: 0 ⃗ = X 1 + X 2 , X 1 ∈ W 1 , X 2 ∈ W 2 \vec{0}=X_1+X_2, X_1\in W_1, X_2\in W_2 0 =X1+X2,X1W1,X2W2 X 1 = 0 ⃗ , X 2 = 0 ⃗ X_1=\vec{0},X_2=\vec{0} X1=0 ,X2=0
  • d i m W = d i m W 1 + d i m W 2 dimW=dimW_1+dimW_2 dimW=dimW1+dimW2

直和补子空间 U U U: V n = W ⊕ U V_n=W\oplus U Vn=WU

1.2 内积空间

Def 1.7 内积 ( α , β ) : V n ( F ) → F (\alpha,\beta): V_n(F)\rightarrow F (α,β):Vn(F)F: 满足

  • 对称性: ( α , β ) = ( β , α ) (\alpha,\beta)=(\beta,\alpha) (α,β)=(β,α)
  • 线性性: ( k α , β ) = k ( α , β ) (k\alpha,\beta)=k(\alpha,\beta) (kα,β)=k(α,β) ( α + β , γ ) = ( α , β ) + ( α , γ ) (\alpha+\beta,\gamma)=(\alpha,\beta)+(\alpha,\gamma) (α+β,γ)=(α,β)+(α,γ)
  • 正定性: ( α , α ) ≥ 0 (\alpha,\alpha)\geq 0 (α,α)0 ( α , α ) = 0    ⟺    α = 0 ⃗ (\alpha,\alpha)=0\iff\alpha=\vec{0} (α,α)=0α=0

内积空间: [ V n ( F ) ; ( α , β ) ] [V_n(F);(\alpha,\beta)] [Vn(F);(α,β)]
欧式空间: F = R F=R F=R
酉空间: F = C F=C F=C
[ R n ; ( α , β ) = α T β = β T α ] [R^n;(\alpha,\beta)=\alpha^T\beta=\beta^T\alpha] [Rn;(α,β)=αTβ=βTα] 标准正交基: 自然基 { e i } \{e_i\} {ei}
[ C n ; ( α , β ) = β H α ] [C^n;(\alpha,\beta)=\beta^H\alpha] [Cn;(α,β)=βHα], β H \beta^H βH β \beta β 共轭转置 标准正交基: 自然基 { e i } \{e_i\} {ei}
[ R m × n ; ( A , B ) = t r ( B T A ) = ∑ i = 1 m ∑ j = 1 n b j i a i j ] [R^{m\times n};(A,B)=tr(B^TA)=\sum_{i=1}^m\sum_{j=1}^nb_{ji}a_{ij}] [Rm×n;(A,B)=tr(BTA)=i=1mj=1nbjiaij] 标准正交基: 自然基 { E i } \{E_i\} {Ei}
[ C m × n ; ( A , B ) = t r ( B H A ) = ∑ i = 1 m ∑ j = 1 n b j i ‾ a i j ] [C^{m\times n};(A,B)=tr(B^HA)=\sum_{i=1}^m\sum_{j=1}^n\overline{b_{ji}}a_{ij}] [Cm×n;(A,B)=tr(BHA)=i=1mj=1nbjiaij] 标准正交基: 自然基 { E i } \{E_i\} {Ei}

向量长度

向量长度: ∣ ∣ α ∣ ∣ = ( α , α ) ||\alpha||=\sqrt{(\alpha,\alpha)} α=(α,α) , ∣ ∣ α ∣ ∣ = ∣ k ∣ ∥ α ∥ ||\alpha||=|k|\Vert\alpha\Vert α=kα

Cauchy 不等式: ∣ ( α , β ) ∣ ≤ ∣ ∣ α ∣ ∣   ∣ ∣ β ∣ ∣ |(\alpha,\beta)|\leq||\alpha||\ ||\beta|| (α,β)α β
三角不等式: ∣ ∣ α + β ∣ ∣ ≤ ∣ ∣ α ∣ ∣ + ∣ ∣ β ∣ ∣ ||\alpha+\beta||\leq ||\alpha||+||\beta|| α+βα+β, ∣ ∣ α − β ∣ ∣ ≤ ∣ ∣ α ∣ ∣ + ∣ ∣ β ∣ ∣ ||\alpha-\beta||\leq||\alpha||+||\beta|| αβα+β

向量夹角 θ \theta θ: cos ⁡ θ = ( α , β ) ∣ ∣ α ∣ ∣   ∣ ∣ β ∣ ∣ \cos\theta=\frac{(\alpha,\beta)}{||\alpha||\ ||\beta||} cosθ=α β(α,β), α ≠ 0 ⃗ , β ≠ 0 ⃗ \alpha\neq\vec{0},\beta\neq\vec{0} α=0 ,β=0

线性空间内积的矩阵表示

V n ( F ) V_n(F) Vn(F) 一组基 { α i } \{\alpha_i\} {αi}, α , β ∈ V n ( F ) \alpha,\beta\in V_n(F) α,βVn(F)
α , β \alpha,\beta α,β 坐标分别为 X , Y X,Y X,Y: α = ( α 1 , . . . , α n ) X \alpha=(\alpha_1,...,\alpha_n)X α=(α1,...,αn)X, β = ( α 1 , . . . , α n ) Y \beta=(\alpha_1,...,\alpha_n)Y β=(α1,...,αn)Y, 则
( α , β ) = ∑ i = 1 n ∑ j = 1 n x i y j ‾ ( α i , α j ) = Y H A X = [ y 1 ‾ , . . . , y n ‾ ] T   A   [ x 1 , . . . , x n ] (\alpha,\beta)=\sum_{i=1}^n\sum_{j=1}^nx_i\overline{y_j}(\alpha_i,\alpha_j)=\pmb{Y^HAX}=[\overline{y_1},...,\overline{y_n}]^T\ A\ [x_1,...,x_n] (α,β)=i=1nj=1nxiyj(αi,αj)=YHAXYHAXYHAX=[y1,...,yn]T A [x1,...,xn]
A A A 为度量矩阵: A H = A A^H=A AH=A x H A x ≥ 0 x^HAx\geq 0 xHAx0

  • 注: 度量矩阵与选择的基 { α i } \{\alpha_i\} {αi} 是对应的.

标准正交基

正交向量组 { α 1 , . . . , α n } \{\alpha_1,...,\alpha_n\} {α1,...,αn} ( α i , α j ) = 0 ⃗ , ∀ i ≠ j (\alpha_i,\alpha_j)=\vec{0},\forall i\neq j (αi,αj)=0 ,i=j (正交向量组线性无关)

标准正交基 { ϵ 1 , . . . ϵ n } \{\epsilon_1,...\epsilon_n\} {ϵ1,...ϵn} ( ϵ i , ϵ j ) = { 1   i = j 0   i ≠ j (\epsilon_i,\epsilon_j)=\begin{cases}1\ &i=j\\0\ &i\neq j\end{cases} (ϵi,ϵj)={1 0 i=ji=j
标准正交基的度量矩阵是单位矩阵 A = I A = I A=I: ( α , β ) = Y H X (\alpha,\beta) ={Y^HX} (α,β)=YHX

求标准正交基的步骤

{ α 1 , . . . , α n } \{\alpha_1,...,\alpha_n\} {α1,...,αn} 标准化为 { ϵ 1 , . . . ϵ n } \{\epsilon_1,...\epsilon_n\} {ϵ1,...ϵn}

  1. Schmidt 正交化并同时标准化
    β 1 = α 1 \beta_1=\alpha_1 β1=α1 ϵ 1 = β 1 ∣ ∣ β 1 ∣ ∣ \epsilon_1=\frac{\beta_1}{||\beta_1||} ϵ1=β1β1
    β 2 = α 2 − ( a 2 , ϵ 1 ) ϵ 1 \beta_2=\alpha_2-(a_2,\epsilon_1)\epsilon_1 β2=α2(a2,ϵ1)ϵ1 ϵ 2 = β 2 ∣ ∣ β 2 ∣ ∣ \epsilon_2=\frac{\beta_2}{||\beta_2||} ϵ2=β2β2
    β 3 = α 3 − ( a 3 , ϵ 1 ) ϵ 1 − ( a 3 , ϵ 2 ) ϵ 2 \beta_3=\alpha_3-(a_3,\epsilon_1)\epsilon_1-(a_3,\epsilon_2)\epsilon_2 β3=α3(a3,ϵ1)ϵ1(a3,ϵ2)ϵ2 ϵ 3 = β 3 ∣ ∣ β 3 ∣ ∣ \epsilon_3=\frac{\beta_3}{||\beta_3||} ϵ3=β3β3

    β k = α k − ∑ i = 1 k − 1 ( α k , ϵ i ) ϵ i \beta_k=\alpha_k-\sum_{i=1}^{k-1}(\alpha_k,\epsilon_i)\epsilon_i βk=αki=1k1(αk,ϵi)ϵi ϵ k = β k ∣ ∣ β k ∣ ∣ , k ≥ 2 \epsilon_k=\frac{\beta_k}{||\beta_k||},k\geq2 ϵk=βkβk,k2
  2. 矩阵表示
    ( α 1 , α 2 , . . . , α n ) = ( ϵ 1 , ϵ 2 . . . , ϵ n ) [ ∣ ∣ β 1 ∣ ∣ ( α 2 , ϵ 1 ) ⋯ ( α n , ϵ 1 ) ∣ ∣ β 2 ∣ ∣ ⋯ ( α n , ϵ 2 ) ⋱ ⋮ ∣ ∣ β n ∣ ∣ ] (\alpha_1,\alpha_2,...,\alpha_n)=(\epsilon_1,\epsilon_2...,\epsilon_n)\begin{bmatrix} ||\beta_1||&(\alpha_2,\epsilon_1)&\cdots&(\alpha_n,\epsilon_1)\\ &||\beta_2||&\cdots&(\alpha_n,\epsilon_2)\\ & &\ddots&\vdots\\ & & &||\beta_n|| \end{bmatrix} (α1,α2,...,αn)=(ϵ1,ϵ2...,ϵn)β1(α2,ϵ1)β2(αn,ϵ1)(αn,ϵ2)βn

正交补子空间

正交补子空间 U ⊥ = { α ∈ V n ( F ) : ∀ β ∈ U , ( α , β ) = 0 } U^\perp=\{\alpha\in V_n(F):\forall\beta\in U,(\alpha,\beta)=0\} U={αVn(F):βU,(α,β)=0}: U U U V n ( F ) V_n(F) Vn(F) 子空间, 则 U ⊥ U^\perp U 也是 V n ( F ) V_n(F) Vn(F) 子空间.
V n ( F ) = U ⊕ U ⊥ V_n(F)=U\oplus U^\perp Vn(F)=UU
("正交"体现在 U U U U ⊥ U^\perp U 中向量内积为 0, "补"体现在 U U U U ⊥ U^\perp U 直和为 V n ( F ) V_n(F) Vn(F))

1.3 线性变换

线性变换

Def 1.11: T T T V n ( F ) V_n(F) Vn(F) 上的变换: T : V n ( F ) → V n ( F ) T: V_n(F)\rightarrow V_n(F) T:Vn(F)Vn(F) ∀ α ∈ V n ( F ) , α ′ = T ( α ) ∈ V n ( F ) \forall\alpha\in V_n(F),\alpha'=T(\alpha)\in V_n(F) αVn(F),α=T(α)Vn(F) ( α \alpha α 为原像, T ( α ) T(\alpha) T(α) 为像)
T T T V n ( F ) V_n(F) Vn(F) 上的线性变换: T T T 是变换且满足线性性: T ( k 1 α + k 2 β ) = k 1 T ( α ) + k 2 T ( β ) T(k_1\alpha+k_2\beta)=k_1T(\alpha)+k_2T(\beta) T(k1α+k2β)=k1T(α)+k2T(β)

相似变换: T λ ( α ) = λ α T_\lambda(\alpha)=\lambda\alpha Tλ(α)=λα (恒等变换 T 1 ( α ) = α T_1(\alpha)=\alpha T1(α)=α, 零变换 T 0 ( α ) = 0 ⃗ T_0(\alpha)=\vec{0} T0(α)=0 )

线性变换性质:

  • T ( 0 ⃗ ) = 0 ⃗ T(\vec{0})=\vec{0} T(0 )=0
  • T ( − α ) = − T ( α ) T(-\alpha)=-T(\alpha) T(α)=T(α)
  • T ( ∑ i = 1 m k i α i ) = ∑ i = 1 m k i T ( α i ) T(\sum_{i=1}^mk_i\alpha_i)=\sum_{i=1}^mk_iT(\alpha_i) T(i=1mkiαi)=i=1mkiT(αi)
  • { α 1 , . . . , α n } \{\alpha_1,...,\alpha_n\} {α1,...,αn} 线性相关 { T ( α 1 ) , . . . , T ( α n ) } \{T(\alpha_1),...,T(\alpha_n)\} {T(α1),...,T(αn)} 线性相关 (线性无关 ⇏ 线性无关, eg: 零变换)

像空间 零空间

Th 1.12: T T T V n ( F ) V_n(F) Vn(F) 上的线性变换, 像空间和零空间均为 V n V_n Vn 子空间
像空间: R ( T ) = { β : ∃ α ∈ V n ( F ) , β = T ( α ) } R(T)=\{\beta:\exists\alpha\in V_n(F),\beta=T(\alpha)\} R(T)={β:αVn(F),β=T(α)} (变换后的所有组成的空间)
零空间: N ( T ) = { α : α ∈ V n ( F ) , T ( α ) = 0 ⃗ } N(T)=\{\alpha:\alpha\in V_n(F),T(\alpha)=\vec{0}\} N(T)={α:αVn(F),T(α)=0 } (转换后为零向量的原像组成的空间)

线性变换 T T T 的秩 d i m R ( T ) dimR(T) dimR(T), T T T 的零度 d i m N ( T ) dimN(T) dimN(T)

线性变换的运算

T , T 1 , T 2 T,T_1,T_2 T,T1,T2 V n ( F ) V_n(F) Vn(F) 上线性变换, 以下运算也为 V n ( F ) V_n(F) Vn(F) 上线性变换:

  • 加法 T 1 + T 2 T_1+T_2 T1+T2: ∀ α ∈ V n ( F ) , ( T 1 + T 2 ) ( α ) = T 1 ( α ) + T 2 ( α ) \forall\alpha\in V_n(F),(T_1+T_2)(\alpha)=T_1(\alpha)+T_2(\alpha) αVn(F),(T1+T2)(α)=T1(α)+T2(α)
  • 乘法 T 1 T 2 T_1T_2 T1T2: ∀ α ∈ V n ( F ) , ( T 1 T 2 ) ( α ) = T 1 ( T 2 ( α ) ) \forall\alpha\in V_n(F),(T_1T_2)(\alpha)=T_1(T_2(\alpha)) αVn(F),(T1T2)(α)=T1(T2(α))
  • 数乘 k T kT kT: ∀ α ∈ V n ( F ) , ( k T ) ( α ) = k ( T ( α ) ) \forall\alpha\in V_n(F),(kT)(\alpha)=k(T(\alpha)) αVn(F),(kT)(α)=k(T(α))
  • 可逆变换 T − 1 T^{-1} T1: ∃ T 2 : T 1 T 2 = T 2 T 1 = I \exists T_2: T_1T_2=T_2T_1=I T2:T1T2=T2T1=I, 记 T 2 = T − 1 T_2=T^{-1} T2=T1 T − 1 ( β ) = α ⇔ T ( α ) = β T^{-1}(\beta)=\alpha\Leftrightarrow T(\alpha)=\beta T1(β)=αT(α)=β
  • 注: 变换乘法一般不具有结合律(同矩阵乘法)

线性变换的矩阵

{ α 1 , . . . , α n } \{\alpha_1,...,\alpha_n\} {α1,...,αn}的变换矩阵 A A A: T ( α 1 , . . . , α n ) = ( α 1 , . . . , α n ) A n × n T(\alpha_1,...,\alpha_n)=(\alpha_1,...,\alpha_n)A^{n\times n} T(α1,...,αn)=(α1,...,αn)An×n

注: 变换矩阵 A A A i i i A i A_i Ai 是基中一向量 α i \alpha_i αi 的像 T ( α i ) T(\alpha_i) T(αi) 在基 { α 1 , . . . , α n } \{\alpha_1,...,\alpha_n\} {α1,...,αn} 下的坐标.

变换的坐标式: α = ( α 1 , . . . , α n ) X \alpha=(\alpha_1,...,\alpha_n)X α=(α1,...,αn)X, T ( α ) = ( α 1 , . . . , α n ) Y T(\alpha)=(\alpha_1,...,\alpha_n)Y T(α)=(α1,...,αn)Y, 则

Y = A X \pmb{Y=AX} Y=AXY=AXY=AX

  • Y Y Y: α \alpha α 的像 T ( α ) T(\alpha) T(α) 坐标
  • A A A: 基 { α 1 , . . . , α n } \{\alpha_1,...,\alpha_n\} {α1,...,αn} T T T 的变换矩阵
  • X X X: α \alpha α原像坐标

常见变换矩阵:

  • 相似变换 T λ T_\lambda Tλ: λ I \lambda I λI
  • 线性变换 T A T_A TA 在自然基 { e i } \{e_i\} {ei} 下: A A A
  • P n [ x ] P_n[x] Pn[x] 中微分变换在自然基 1 , x , x 2 , . . . , x n − 1 {1,x,x^2,...,x^{n-1}} 1,x,x2,...,xn1
    [ 0 1 0 ⋯ 0 0 0 2 ⋯ ⋮ 0 0 0 ⋱ 0 ⋮ ⋮ ⋮ ⋯ n − 1 0 0 0 ⋯ 0 ] \begin{bmatrix} 0&1&0&\cdots&0\\ 0&0&2&\cdots&\vdots\\ 0&0&0&\ddots&0\\ \vdots&\vdots&\vdots&\cdots&n-1\\ 0&0&0&\cdots&0 \end{bmatrix} 00001000020000n10

不同基下的变换矩阵

Th 1.14: V n ( F ) V_n(F) Vn(F) 的基 { α 1 , . . . , α n } \{\alpha_1,...,\alpha_n\} {α1,...,αn} 到基 { β 1 , . . . , β n } \{\beta_1,...,\beta_n\} {β1,...,βn} 的过渡矩阵为 C C C:

B = C − 1 A C \pmb{B=C^{-1}AC} B=C1ACB=C1ACB=C1AC

  • A A A: 线性变换 T T T 在基 { α 1 , . . . , α n } \{\alpha_1,...,\alpha_n\} {α1,...,αn} 的变换矩阵 T ( α 1 , . . . , α n ) T(\alpha_1,...,\alpha_n) T(α1,...,αn)
  • B B B: 线性变换 T T T 在基 { β 1 , . . . , β n } \{\beta_1,...,\beta_n\} {β1,...,βn} 的变换矩阵 T ( β 1 , . . . , β n ) T(\beta_1,...,\beta_n) T(β1,...,βn)
  • C C C: 基 { α 1 , . . . , α n } \{\alpha_1,...,\alpha_n\} {α1,...,αn} 到基 { β 1 , . . . , β n } \{\beta_1,...,\beta_n\} {β1,...,βn}过渡矩阵

线性变换 T T T 在不同基下的变换矩阵是相似的.

不变子空间

Def’ 1.14: 设 T T T V n ( F ) V_n(F) Vn(F) 上线性变换, W W W V n ( F ) V_n(F) Vn(F) 子空间. 满足 ∀ α ∈ W , T ( α ) ∈ W \forall\alpha\in W, T(\alpha)\in W αW,T(α)W. 则 W = { T ( α ) ∣ α ∈ W } W=\{T(\alpha)|\alpha\in W\} W={T(α)αW} T T T 的不变子空间. (不变子空间与变换相对应, 与子空间的基的选取无关)

不变子空间判别:

  • 定义: ∀ α ∈ W , T ( α ) ∈ W \forall\alpha\in W, T(\alpha)\in W αW,T(α)W (原像和像都在一个子空间 W W W)
  • T ( W ) ⊆ W T(W)\subseteq W T(W)W
  • 特别地, W = L { α 1 , . . . , α n } W=L\{\alpha_1,...,\alpha_n\} W=L{α1,...,αn} 则需 T ( α i ) ∈ W , i = 1 , . . . , n T(\alpha_i)\in W, i=1,...,n T(αi)W,i=1,...,n (只需要基向量的像在同一子空间)

W = L { α 1 , . . . , α r } , U = L { α r + 1 , . . . , α n } W=L\{\alpha_1,...,\alpha_r\},U=L\{\alpha_{r+1},...,\alpha_n\} W=L{α1,...,αr},U=L{αr+1,...,αn} T T T 的不变子空间, 其中 U U U W W W 直和补子空间. 变换 T T T 分别在 W , U W,U W,U 的基下对应变换矩阵 A 1 , A 2 A_1, A_2 A1,A2. 有 V n ( F ) = W ⊕ U V_n(F)=W\oplus U Vn(F)=WU. T T T 在基 { α 1 , . . . α r , . . . , α n } \{\alpha_1,...\alpha_r,...,\alpha_n\} {α1,...αr,...,αn} 的变换矩阵为 [ A 1 0 0 A 2 ] \begin{bmatrix}A_1&0\\0&A_2\end{bmatrix} [A100A2].

正交变换和酉变换

分别在欧式空间和酉空间内不改变内积的变换.
Th 1.15: T T T V n ( F ) V_n(F) Vn(F) 上线性变换, 以下条件等价:

  • T T T 是正交(酉)变换
  • T T T 保持向量长度不变
  • T T T 把空间 V n ( F ) V_n(F) Vn(F) 的标准正交基变换为标准正交基
  • T T T 在标准正交基下的矩阵是正交矩阵(酉矩阵)

Th 1.16 正交矩阵 C C C 和酉矩阵 U U U 性质:

  • C T C = I C^TC=I CTC=I U H U = I U^HU=I UHU=I
  • ∣ det ⁡ ( C ) ∣ = 1 |\det(C)|=1 det(C)=1 ∣ det ⁡ ( U ) ∣ = 1 |\det(U)|=1 det(U)=1
  • C − 1 = C T C^{-1}=C^T C1=CT U − 1 = U H U^{-1}=U^H U1=UH
  • 正交(酉)矩阵的逆矩阵与乘积仍然是正交(酉)矩阵
  • n 阶正交(酉)矩阵的列和行向量组是欧氏(酉)空间 R n R_n Rn( C n C_n Cn) 中的标准正交基

常见基本正交变换

  • 镜像变换: S ( x ) = x − 2 ( x , u ) u S(x)=x-2(x,u)u S(x)=x2(x,u)u, u u u 为对称轴
  • 平面 R 2 R^2 R2逆时针旋转 θ \theta θ 角的旋转变换 T θ T_\theta Tθ:
    自然基下变换矩阵: A θ = [ cos ⁡ θ − sin ⁡ θ sin ⁡ θ cos ⁡ θ ] A_\theta=\begin{bmatrix}\cos\theta&-\sin\theta\\ \sin\theta&\cos\theta\end{bmatrix} Aθ=[cosθsinθsinθcosθ]
  • R 3 R^3 R3 空间中平面的旋转变换 T L θ T_{L\theta} TLθ: 绕空间中过原点的一条直线 L L L, 旋转一 个 θ \theta θ 角:
    { u 1 , u 2 , u 3 } \{u_1,u_2,u_3\} {u1,u2,u3} 为基的变换矩阵 A L θ = [ 1 T θ ] = [ 1 cos ⁡ θ − sin ⁡ θ sin ⁡ θ cos ⁡ θ ] A_{L\theta}=\begin{bmatrix}1\\&T_\theta\end{bmatrix}=\begin{bmatrix}1\\&\cos\theta&-\sin\theta\\ &\sin\theta&\cos\theta\end{bmatrix} ALθ=[1Tθ]=1cosθsinθsinθcosθ
    其中 u 1 u_1 u1 是直线 L L L 的方向, u 1 , u 2 u_1,u_2 u1,u2 是与 L L L 垂直的平面的两个基.
    [矩阵论] Unit 1. 线性空间与线性变换 - 知识点整理_第1张图片

线性空间到线性空间的变换(不考)

Def’ 1.16: 变换 T : V n ( F ) → V m ( F ) T: V_n(F)\rightarrow V_m(F) T:Vn(F)Vm(F).

  • ∀ α ∈ V n ( F ) , T ( α ) ∈ V m ( F ) \forall\alpha\in V_n(F),T(\alpha)\in V_m(F) αVn(F),T(α)Vm(F)
  • T ( α 1 + α 2 ) = T ( α 1 ) + T ( α 2 ) T(\alpha_1+\alpha_2)=T(\alpha_1)+T(\alpha_2) T(α1+α2)=T(α1)+T(α2), T ( k α ) = k T ( α ) T(k\alpha)=kT(\alpha) T(kα)=kT(α)

线性变换: A ∈ F m × n , T A : V n ( F ) → V m ( F ) A\in F^{m\times n},T_A:V_n(F)\rightarrow V_m(F) AFm×n,TA:Vn(F)Vm(F): ∀ X ∈ F n , T A ( X ) = A X \forall X\in F^n,T_A(X)=AX XFn,TA(X)=AX

{ α 1 , . . . , α n } \{\alpha_1,...,\alpha_n\} {α1,...,αn} 到基 { β 1 , . . . , β n } \{\beta_1,...,\beta_n\} {β1,...,βn} 的变换矩阵: A A A: T ( α 1 , . . . , α n ) = ( β 1 , . . . , β n ) A m × n T(\alpha_1,...,\alpha_n)=(\beta_1,...,\beta_n)A^{m\times n} T(α1,...,αn)=(β1,...,βn)Am×n

像空间: R ( T ) = { β : ∃ α ∈ V n ( F ) , β = T ( α ) } ⊆ V m ( F ) R(T)=\{\beta:\exists\alpha\in V_n(F),\beta=T(\alpha)\}\subseteq V_m(F) R(T)={β:αVn(F),β=T(α)}Vm(F)
零空间: N ( T ) = { α : α ∈ V n ( F ) , T ( α ) = 0 ⃗ } ⊆ V n ( F ) N(T)=\{\alpha:\alpha\in V_n(F),T(\alpha)=\vec{0}\}\subseteq V_n(F) N(T)={α:αVn(F),T(α)=0 }Vn(F)

Th 1.17: d i m R ( T ) + d i m N ( T ) = n dimR(T) + dimN(T) = n dimR(T)+dimN(T)=n

空间 V n ( F ) V_n(F) Vn(F) V m ( F ) V_m(F) Vm(F) 的线性变换在不同基下的矩阵等价

你可能感兴趣的:(矩阵论,矩阵,线性代数)