$\mathbb{F}=\mathbb{R}$

  1. $\mathbb{R}_n[x]$ 是次数小于 $n$ 的多项式构成的线性空间;
  2. $\mathbb{R}[x]$ 是全体实系数多项式构成的线性空间,是无限维线性空间。

多项式空间的基与线性无关性

  1. 单项式组的线性无关性分析
    $1,x,x^2,\cdots,x^{n-1}$ 是 $\mathbb{R}[x]$ 中的一组向量:

    1. 线性无关性证明:
    2. 线性表示形式:
    3. 线性无关性验证:
      若 需证 取 $x = 1,2,\cdots,n$ 代入得线性方程组: 该矩阵为范德蒙德矩阵,行列式非零,故只有零解,证得线性无关。
  2. 多项式组的线性相关性
    给定多项式组

    记其为 $\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$ 若满足以下条件则称为线性子空间:

  1. 加法封闭性:
  2. 数乘封闭性:

此时称 $W$ 是 $V$ 的一个线性子空间。
注:子空间继承了原空间 $V$ 的加法和数乘运算,且必须包含零向量。

由向量组张成的子空间(生成子空间)

  1. 向量组张成空间的定义
    给定向量组 $\alpha_1, \alpha_2, \cdots, \alpha_p$,其张成空间为:

    称该空间为向量组 ${\alpha_i}$ 生成的子空间。

    性质:$W = \text{span}{\alpha_1, \alpha_2, \cdots, \alpha_p}$ 是 $V$ 的线性子空间,验证如下:
    加法封闭性:

    数乘封闭性同理可证。

  2. 子空间的生成表示
    若已知 $W$ 是线性子空间,存在向量组 $\alpha_1, \alpha_2, \cdots, \alpha_p$ 使得

    则称 ${\alpha_i}$ 是子空间 $W$ 的一组生成元。
    生成元的核心作用是给出子空间的显式表示形式。

矩阵的核空间与像空间

设 $A \in \mathbb{F}^{m \times n}$,定义:

  1. 核空间(零空间):

    $\ker(A)$ 是 $\mathbb{F}^n$ 的线性子空间。

  2. 像空间(列空间):

    $\text{im}(A)$ 是 $\mathbb{F}^m$ 的线性子空间,也等于矩阵 $A$ 列向量张成的子空间。

子空间的运算性质

设 $U,W$ 是 $V$ 的线性子空间:

  1. $U \cap W$ 是线性子空间(交子空间);
  2. $U + W = \text{span}{U \cup W}$ 是线性子空间(和子空间);
  3. $U \cup W$ 一般不是线性子空间(除非其中一个包含另一个)。

1.4 线性映射

线性映射的定义

设 $V_1,V_2$ 是数域 $\mathbb{F}$ 上的线性空间,映射 $\sigma: V_1 \rightarrow V_2$ 若满足:

  1. 加法保持性:$\sigma(\alpha + \beta) = \sigma(\alpha) + \sigma(\beta)$
  2. 数乘保持性:$\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}$(值域)下的矩阵表示,满足:

记忆规则:

线性映射的基本性质(待补充)