矩阵

它指向谁（出边）

推出 1

• 本页 ⟹ 线性映射 ⟷ 矩阵推出
  坐标 + 线性 $\implies$ 线性映射与矩阵一一对应

  记 $\mathcal{B} = (v_1, \ldots, v_n)$、$\mathcal{C} = (w_1, \ldots, w_m)$。

  构造：给定 $T$，它在每个基向量上的值 $T(v_j) \in W$ 有唯一坐标 $(a_{1j}, \ldots, a_{mj})^{\mathsf{T}}$，排成矩阵 $[T]_{\mathcal{B}}^{\mathcal{C}} := (a_{ij})$。

  反过来：给定矩阵 $A = (a_{ij})$，定义 $T(v_j) := \sum_i a_{ij} w_i$，再线性地延拓到整个 $V$（每个 $v = \sum_j c_j v_j$ 令 $T(v) := \sum_j c_j T(v_j)$）。良定义：因为坐标 $c_j$ 唯一（基的定义）。

  互逆：两个构造显然互相还原，故 $T \mapsto [T]$ 是双射。

  线性：$[T + cS]$ 的第 $j$ 列 $= (T + cS)(v_j)$ 的坐标 $= T(v_j)$ 的坐标 $+ c \cdot S(v_j)$ 的坐标 $=$ 相应两列之和再加数乘。

  复合对应乘法：设 $T : V \to W$、$S : W \to U$，$S$ 在 $\mathcal{C}, \mathcal{E}$ 下的矩阵为 $B$、$T$ 在 $\mathcal{B}, \mathcal{C}$ 下的矩阵为 $A$。则

  $$(S \circ T)(v_j) = S\Bigl( \sum_i a_{ij} w_i \Bigr) = \sum_i a_{ij} S(w_i) = \sum_i a_{ij} \sum_k b_{ki} u_k = \sum_k \Bigl( \sum_i b_{ki} a_{ij} \Bigr) u_k$$

  括号里正是 $(BA)_{kj}$，故 $[S \circ T] = BA$。∎

  「良定义」那一步用到了坐标的唯一性（即基的定义）。这正是整条定理的地基 —— 若基不是基，$T$ 就定义不出来。

定义引用 2

• 矩阵的加法与乘法 用到 本页定义引用

  加、数乘、乘法都是写在矩阵元素上的逐条公式，先要有矩阵这个对象。

• 初等变换与初等矩阵 用到 本页定义引用

  初等矩阵就是对单位矩阵做一次初等行变换得到的矩阵。

谁指向它（入边）

定义引用 1

• 向量空间的基 → 本页定义引用

  矩阵的元素取自域 $K$，而行列指标是有限集 —— 定义里用到的只有「域」与「有限指标集」。