矩阵论学习笔记
$\mathbb{F}=\mathbb{R}$
- $\mathbb{R}_n[x]$ 是次数小于 $n$ 的多项式构成的线性空间;
- $\mathbb{R}[x]$ 是全体实系数多项式构成的线性空间,是无限维线性空间。
多项式空间的基与线性无关性
单项式组的线性无关性分析
$1,x,x^2,\cdots,x^{n-1}$ 是 $\mathbb{R}[x]$ 中的一组向量:- 线性无关性证明:
- 线性表示形式:
- 线性无关性验证:
若 需证 取 $x = 1,2,\cdots,n$ 代入得线性方程组: 该矩阵为范德蒙德矩阵,行列式非零,故只有零解,证得线性无关。
多项式组的线性相关性
给定多项式组记其为 $\mathbb{F}[x]$ 中的向量组,设
取 $d = \max{d_1,d_2,\cdots,d_N}$,则 $x^{d+1} \in \mathbb{F}[x]$ 无法由该多项式组线性表示:
假设整理得
左边多项式次数为 $d+1$ 但系数矛盾,故假设不成立。
1.3 子空间
子空间的定义
设 $V$ 是数域 $\mathbb{F}$ 上的线性空间,$W \subseteq V$ 若满足以下条件则称为线性子空间:
- 加法封闭性:
- 数乘封闭性:
此时称 $W$ 是 $V$ 的一个线性子空间。
注:子空间继承了原空间 $V$ 的加法和数乘运算,且必须包含零向量。
由向量组张成的子空间(生成子空间)
向量组张成空间的定义
给定向量组 $\alpha_1, \alpha_2, \cdots, \alpha_p$,其张成空间为:称该空间为向量组 ${\alpha_i}$ 生成的子空间。
性质:$W = \text{span}{\alpha_1, \alpha_2, \cdots, \alpha_p}$ 是 $V$ 的线性子空间,验证如下:
加法封闭性:数乘封闭性同理可证。
子空间的生成表示
若已知 $W$ 是线性子空间,存在向量组 $\alpha_1, \alpha_2, \cdots, \alpha_p$ 使得则称 ${\alpha_i}$ 是子空间 $W$ 的一组生成元。
生成元的核心作用是给出子空间的显式表示形式。
矩阵的核空间与像空间
设 $A \in \mathbb{F}^{m \times n}$,定义:
核空间(零空间):
$\ker(A)$ 是 $\mathbb{F}^n$ 的线性子空间。
像空间(列空间):
$\text{im}(A)$ 是 $\mathbb{F}^m$ 的线性子空间,也等于矩阵 $A$ 列向量张成的子空间。
子空间的运算性质
设 $U,W$ 是 $V$ 的线性子空间:
- $U \cap W$ 是线性子空间(交子空间);
- $U + W = \text{span}{U \cup W}$ 是线性子空间(和子空间);
- $U \cup W$ 一般不是线性子空间(除非其中一个包含另一个)。
1.4 线性映射
线性映射的定义
设 $V_1,V_2$ 是数域 $\mathbb{F}$ 上的线性空间,映射 $\sigma: V_1 \rightarrow V_2$ 若满足:
- 加法保持性:$\sigma(\alpha + \beta) = \sigma(\alpha) + \sigma(\beta)$
- 数乘保持性:$\sigma(k\alpha) = k\sigma(\alpha)$
则称 $\sigma$ 是从 $V_1$ 到 $V_2$ 的线性映射。当 $V_1 = V_2 = V$ 时,称 $\sigma$ 为 $V$ 上的线性变换。
注:线性映射要求是全空间的映射,且保持线性运算的结构不变。
矩阵与线性映射的对应关系
给定矩阵 $A \in \mathbb{F}^{m \times n}$,可诱导线性映射:
反之,任意线性映射 $\mathcal{A}: \mathbb{F}^n \rightarrow \mathbb{F}^m$ 对应唯一矩阵 $A{\mathcal{A}}$,满足 $\mathcal{A}(x) = A{\mathcal{A}}x$。
证明(标准基下):
取 $\mathbb{F}^n$ 的标准基 $\epsilon_1,\epsilon_2,\cdots,\epsilon_n$,则
由线性映射的性质:
其中 $A = \begin{bmatrix} \mathcal{A}(\epsilon_1) & \mathcal{A}(\epsilon_2) & \cdots & \mathcal{A}(\epsilon_n) \end{bmatrix}$。
线性映射的矩阵表示
设线性映射 $\mathcal{A}: V \rightarrow W$,$\dim(V)=n$,$\dim(W)=m$:
- 取 $V$ 的一组基:$\epsilon_1,\epsilon_2,\cdots,\epsilon_n$
- 取 $W$ 的一组基:$\eta_1,\eta_2,\cdots,\eta_m$
将 $\mathcal{A}(\epsilon_j)$ 用 $W$ 的基表示:
构造矩阵:
称 $A$ 为线性映射 $\mathcal{A}$ 在基 ${\epsilon_j}$(定义域)和基 ${\eta_i}$(值域)下的矩阵表示,满足:
记忆规则:
