AoZai
AoZai

阅读声明

本页为个人学习整理与翻译笔记,仅供学习参考;原课程内容版权归 MIT OpenCourseWare 及相关权利方所有。

线性代数 ZoomNotes

Gilbert Strang,MIT 18.06 · 第8章 / 11

第 8 部分:线性变换及其矩阵

8.1 线性变换的例子

线性变换 (linear transformation) T:VWT: V \to W 满足:

T(cv+dw)=cT(v)+dT(w)T(c\mathbf{v} + d\mathbf{w}) = cT(\mathbf{v}) + dT(\mathbf{w})

关键要求: T(0)=0T(0) = 0 (由线性性质推得).

线性变换的例子:

  1. R2\mathbb{R}^2 中转角为 θ\theta旋转 (rotation): T(x,y)=(xcosθysinθ,xsinθ+ycosθ)T(x,y) = (x\cos\theta - y\sin\theta, x\sin\theta + y\cos\theta)

  2. 关于一条直线的反射 (reflection)

  3. 到子空间上的投影 (projection)

  4. 矩阵的对角化 (diagonalization of matrices) (相似变换 T(A)=B1ABT(A) = B^{-1}AB)

  5. 多项式的导数: T(p)=dp/dtT(p) = dp/dt, 将 nn 次多项式映射为 n1n-1 次多项式

  6. 积分: T(f)=0xf(t)dtT(f) = \int_0^x f(t) dt, 将 nn 次多项式映射为 n+1n+1 次多项式

复合:T:VWT: V \to WS:WZS: W \to Z 是线性变换,则 ST:VZS \circ T: V \to Z 也是线性的。复合变换的矩阵是各个矩阵的乘积。


8.2 导数矩阵 DD 与积分矩阵 D+D^+

作为线性变换的导数: 考虑次数 2\leq 2 的多项式 (维数为3的空间) 映到次数 1\leq 1 的多项式 (维数为2的空间).

三次多项式的基: {1,x,x2}\{1, x, x^2\} 线性多项式的基: {1,x}\{1, x\}

导数矩阵 DD (3列, 2行):

D=[010002]D = \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 2 \end{bmatrix}

因为 ddx(1)=0\frac{d}{dx}(1) = 0, ddx(x)=1\frac{d}{dx}(x) = 1, ddx(x2)=2x\frac{d}{dx}(x^2) = 2x.

积分矩阵 D+D^+ (伪逆):

D+=[001001/2]D^+ = \begin{bmatrix} 0 & 0 \\ 1 & 0 \\ 0 & 1/2 \end{bmatrix}

因为 0x1dt=x\int_0^x 1 \, dt = x, 0xtdt=x2/2\int_0^x t \, dt = x^2/2.

微积分基本定理: DD+=ID D^+ = I (积分的导数 = 恒等变换).

复合: D+DD^+ D = 到常数项为零的多项式子空间上的投影 (导数的积分丢失了常数项).

这种矩阵观点表明,积分和微分是相差一个投影的逆运算,这与微积分中完全一致。


8.3 VV 的基与 WW 的基:T:VWT: V \to W 的矩阵

线性变换 T:VWT: V \to W矩阵表示 AA 依赖于基的选择:

  • VV 选择一组基 v1,,vn\mathbf{v}_1, \dots, \mathbf{v}_n
  • WW 选择一组基 w1,,wm\mathbf{w}_1, \dots, \mathbf{w}_m

AA 的第 jj给出了将 T(vj)T(\mathbf{v}_j) 用输出基表示时的系数:

T(vj)=i=1maijwiT(\mathbf{v}_j) = \sum_{i=1}^m a_{ij} \mathbf{w}_i

应用变换: 对于用 VV-基表示的任意 xx, AxAx 给出了 T(x)T(x)WW-基下的坐标.

基变换: 如果我们改变基,矩阵通过相似变换改变:

M=Y1AVM = Y^{-1} A V

其中 VV 用旧基表示 VV 的新基向量,YY 用旧基表示 WW 的新基。这就是基变换 —— 同一个线性变换,只是用不同的坐标来描述.

重要: 矩阵的大小取决于 VVWW 的维数。矩阵的秩等于 TT 的像的维数 (秩-零化度定理).

上一篇 下一篇
© MIT OpenCourseWare  |  18.06 Linear Algebra  |  Gilbert Strang  |  Spring 2010
ocw.mit.edu  ·  CC BY-NC-SA 4.0