式 6.1:
\begin{equation} \begin{cases} \begin{array}{rrrl} 2 & \!\!\!\!\!\! x_1 + 4 &\!\!\!\!\!\!\!x_2 - 2 &\!\!\!\!\!\!x_3 = \hid{-}16, \\ - & \!\!\!\!\!\! x_1 - 7 &\!\!\!\!\!\!x_2 + 2 &\!\!\!\!\!\!x_3 = -27, \\ & 3 &\!\!\!\!\!\!x_2 - 6 &\!\!\!\!\!\!x_3 = -21. \\ \end{array} \end{cases} \end{equation}

式 6.5:
\begin{align} \mx{A}=& \left( \begin{array}{rrr} 2 & 4 & -2 \\ -1 & -7 & 2 \\ 0 & 3 & -6 \end{array} \right) = \left( \begin{array}{c} -\,\,\, \vc{a}_{1,}^\T - \\ -\,\,\, \vc{a}_{2,}^\T - \\ -\,\,\, \vc{a}_{3,}^\T - \end{array} \right), \\ &\text{其中 } \vc{a}_{1,} = \left( \begin{array}{rrr} 2 \\ 4\\ -2 \end{array} \right), \ \ \vc{a}_{2,} = \left( \begin{array}{rrr} -1 \\ -7\\ 2 \end{array} \right), \ \ \text{以及 } \vc{a}_{3,} = \left( \begin{array}{rrr} 0 \\ 3\\ -6 \end{array} \right). \end{align}

式 6.4:
\begin{align} \mx{A}=& \left( \begin{array}{rrr} 2 & 4 & -2 \\ -1 & -7 & 2 \\ 0 & 3 & -6 \end{array} \right) = \left( \begin{array}{ccc} \vert & \vert & \vert \\ \vc{a}_{,1} & \vc{a}_{,2} & \vc{a}_{,3} \\ \vert & \vert & \vert \end{array} \right), \\ &\\ &\\ &\text{其中 } \vc{a}_{,1} = \left( \begin{array}{rrr} 2 \\ -1\\ 0 \end{array} \right), \ \ \vc{a}_{,2} = \left( \begin{array}{rrr} 4 \\ -7\\ 3 \end{array} \right), \ \ \text{以及 } \vc{a}_{,3} = \left( \begin{array}{rrr} -2 \\ 2\\ -6 \end{array} \right). \end{align}

式 6.6:
\begin{equation} \mx{A} = \bigl(\vc{a}_{,1} \,\,\, \vc{a}_{,2} \,\,\,\dots\,\,\, \vc{a}_{,c}\bigr) = \left( \begin{array}{c} \vc{a}_{1,}^\T\\ \vc{a}_{2,}^\T\\ \vdots \\ \vc{a}_{r,}^\T\\ \end{array} \right). \end{equation}

定义 6.6：对称矩阵
若方阵 $\mx{A}$ 满足 $\mx{A}=\mx{A}^\T$，则称其为对称矩阵。

定义 6.7：矩阵的数乘
矩阵 $\mx{A}$ 可以乘以标量 $k$，得到与 $\mx{A}$ 同型的新矩阵 $\mx{S}=k\mx{A}$。 \begin{equation} \mx{S}= \left( \begin{array}{cccc} s_{11} & s_{12} & \dots & s_{1c} \\ s_{21} & s_{22} & \dots & s_{2c} \\ \vdots & \vdots & \ddots & \vdots \\ s_{r1} & s_{r2} & \dots & s_{rc} \end{array} \right) = \left( \begin{array}{cccc} k a_{11} & k a_{12} & \dots & k a_{1c} \\ k a_{21} & k a_{22} & \dots & k a_{2c} \\ \vdots & \vdots & \ddots & \vdots \\ k a_{r1} & k a_{r2} & \dots & k a_{rc} \end{array} \right) \end{equation} 更紧凑地写为： $[ s_{ij} ] = k[ a_{ij} ] = [ k a_{ij} ]$。

定义 3.4：标准正交基下的点积计算
在任意标准正交基下，两个 $n$ 维向量 $\vc{u}$ 与 $\vc{v}$ 的点积可计算为 \begin{equation} \vc{u}\cdot\vc{v} = \sum_{i=1}^{n} u_i v_i, \end{equation} 即各对应分量乘积之和。二维和三维点积分别为 \begin{align} \mathrm{二维} &:\ \ \vc{u}\cdot\vc{v} = u_xv_x + u_yv_y, \\ \mathrm{三维} &:\ \ \vc{u}\cdot\vc{v} = u_xv_x + u_yv_y +u_zv_z. \\ \end{align}

定义 6.2：矩阵的行向量与列向量
$r\times c$ 矩阵 $\mx{A}$ 的第 $i$ 个行向量记作 $\vc{a}_{i,}^\T$，含有 $c$ 个标量元素。 $\mx{A}$ 的第 $i$ 个列向量记作 $\vc{a}_{,i}$，含有 $r$ 个标量元素。因此，矩阵可以用向量写成以下两种形式： \begin{equation} \mx{A} = \bigl(\vc{a}_{,1} \,\,\, \vc{a}_{,2} \,\,\,\dots\,\,\, \vc{a}_{,c}\bigr) = \left( \begin{array}{c} \vc{a}_{1,}^\T\\ \vc{a}_{2,}^\T\\ \vdots \\ \vc{a}_{r,}^\T\\ \end{array} \right). \end{equation}

式 6.22:
\begin{equation} [p_{ij}] = \Biggl[\sum_{k=1}^s a_{ik} b_{kj}\Biggr] = \bigl[ \vc{a}_{i,} \cdot \vc{b}_{,j} \bigr], \end{equation}

式 6.20:
\begin{equation} (r \times \bcancel{s})\, (\bcancel{s} \times t) \longrightarrow (r \times t), \end{equation}

定义 6.9：矩阵乘法
若 $\mx{A}$ 为 $r\times s$ 矩阵，$\mx{B}$ 为 $s\times t$ 矩阵，则其乘积 $\mx{P}=\mx{A}\mx{B}$ 是 $r\times t$ 矩阵，定义为 \begin{align} \mx{P} =& \mx{A}\mx{B} = \left( \begin{array}{ccc} a_{11} & \dots & a_{1s} \\ \vdots & \ddots & \vdots \\ a_{r1} & \dots & a_{rs} \end{array} \right) \left( \begin{array}{ccc} b_{11} & \dots & b_{1t} \\ \vdots & \ddots & \vdots \\ b_{s1} & \dots & b_{st} \end{array} \right)\\ &\\ =& \left( \begin{array}{ccc} \sum_{k=1}^s a_{1k} b_{k1} & \dots & \sum_{k=1}^s a_{1k} b_{kt} \\ \vdots & \ddots & \vdots \\ \sum_{k=1}^s a_{rk} b_{k1} & \dots & \sum_{k=1}^s a_{rk} b_{kt} \end{array} \right) = \left( \begin{array}{ccc} p_{11} & \dots & p_{1t} \\ \vdots & \ddots & \vdots \\ p_{r1} & \dots & p_{rt} \end{array} \right). \end{align} 注意，$\mx{A}$ 的列数必须等于 $\mx{B}$ 的行数，否则矩阵乘法没有定义。 矩阵乘法可更紧凑地写成 $\bigl[p_{ij}\bigr] = \Bigl[\sum_{k=1}^s a_{ik} b_{kj}\Bigr]$。

式 6.8:
\begin{equation} \underbrace{ \mx{A} }_{3\times 1} = \left( \begin{array}{c} 3 \\ 2 \\ 6 \end{array} \right) = \underbrace{\vc{a}}_{\begin{array}{c} \text{列} \\ \text{向量} \end{array} } ,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \underbrace{ \mx{B} }_{1\times 3} = \bigl(5\,\,\, 1 \,\,\, 4\bigr) = \underbrace{ \vc{b}^\T }_{\begin{array}{c} \text{转置的} \\ \text{列} \\ \text{向量} \end{array} } \end{equation}

式 6.27:
\begin{gather} \begin{cases} \begin{array}{r} z_1 = a_{11} y_1 + a_{12} y_2 \\ z_2 = a_{21} y_1 + a_{22} y_2 \end{array} \end{cases} \,\,\,\,\,\,\,\,\text{且}\,\,\,\,\,\,\,\, \begin{cases} \begin{array}{r} y_1 = b_{11} x_1 + b_{12} x_2 \\ y_2 = b_{21} x_1 + b_{22} x_2 \end{array} \end{cases} . \end{gather}

式 6.28:
\begin{gather} \begin{cases} \begin{array}{r} z_1 = a_{11} (b_{11} x_1 + b_{12} x_2) + a_{12} (b_{21} x_1 + b_{22} x_2) \\ z_2 = a_{21} (b_{11} x_1 + b_{12} x_2) + a_{22} (b_{21} x_1 + b_{22} x_2) \end{array} \end{cases} \\  \Longleftrightarrow \\ \begin{cases} \begin{array}{r} z_1 = (a_{11} b_{11} + a_{12} b_{21}) x_1 + (a_{11} b_{12} + a_{12} b_{22}) x_2 \\ z_2 = (a_{21} b_{11} + a_{22} b_{21}) x_1 + (a_{21} b_{12} + a_{22} b_{22}) x_2 \end{array} \end{cases} . \end{gather}

式 6.21:
\begin{align} \mx{P} = \mx{A}\mx{B} &= \left( \begin{array}{c} -\,\,\, \vc{a}_{1,}^\T - \\ \textcolor{#cc0000}{-}\,\,\, \textcolor{#cc0000}{\vc{a}_{2,}^\T} \textcolor{#cc0000}{-} \\ \vdots \\ -\,\,\, \vc{a}_{r,}^\T - \end{array} \right) \left( \begin{array}{ccccc} \vert & \vert & \textcolor{#cc0000}{\vert} & & \vert \\ \vc{b}_{,1} & \vc{b}_{,2} & \textcolor{#cc0000}{\vc{b}_{,3}} & \dots & \vc{b}_{,t} \\ \vert & \vert & \textcolor{#cc0000}{\vert} & & \vert \end{array} \right) \\ &\\ &= \left( \begin{array}{ccccc} \vc{a}_{1,}\cdot \vc{b}_{,1} & \vc{a}_{1,}\cdot \vc{b}_{,2} & \vc{a}_{1,}\cdot \vc{b}_{,3} & \dots & \vc{a}_{1,}\cdot \vc{b}_{,t} \\ \vc{a}_{2,}\cdot \vc{b}_{,1} & \vc{a}_{2,}\cdot \vc{b}_{,2} & \textcolor{#cc0000}{\vc{a}_{2,}\cdot \vc{b}_{,3}} & \dots & \vc{a}_{2,}\cdot \vc{b}_{,t} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ \vc{a}_{r,}\cdot \vc{b}_{,1} & \vc{a}_{r,}\cdot \vc{b}_{,2} & \vc{a}_{r,}\cdot \vc{b}_{,3} & \dots & \vc{a}_{r,}\cdot \vc{b}_{,t} \\ \end{array} \right). \end{align}

定理 5.2：高斯消元法规则
对线性方程组实施下列操作，其解集不变：

1. 交换两个方程的次序；
2. 将某个方程乘以非零常数；或
3. 将另一方程的倍数加到某个方程上。

定义 6.10：二维旋转矩阵
二维旋转矩阵定义为 \begin{align} \mx{R}(\phi) = & \left(\begin{array}{rr} \cos \phi & -\sin \phi \\ \sin \phi & \cos \phi \end{array} \right), \end{align} 其中 $\phi$ 是矩阵逆时针旋转的弧度数。

定义 6.12：二维错切矩阵
二维错切矩阵定义为以下两种形式之一： \begin{align} \mx{H}_{xy}(s) = \begin{pmatrix} 1 & s \\ 0 & 1 \end{pmatrix} \ \ \ \mathrm{或} \ \ \ \mx{H}_{yx}(s) = \begin{pmatrix} 1 & 0 \\ s & 1 \end{pmatrix} . \end{align} 注意，$\mx{H}$ 的第一个下标表示被改变的坐标，第二个下标表示先乘以 $s$、再加到第一个坐标上的那个坐标。

定理 3.1：点积运算规则
点积运算满足以下常用规则。 \begin{align} \begin{array}{llr} (i) & \vc{u} \cdot \vc{v} = \vc{v} \cdot \vc{u} & \spc\text{（交换律）} \\ (ii) & k(\vc{u} \cdot \vc{v}) = (k\vc{u}) \cdot \vc{v} & \spc\text{（结合律）} \\ (iii) & \vc{v} \cdot (\vc{u} +\vc{w}) = \vc{v} \cdot \vc{u} + \vc{v} \cdot \vc{w} & \spc\text{（分配律）} \\ (iv) & \vc{v} \cdot \vc{v} = \ln{\vc{v}}^2 \geq 0, \mathrm{等号仅在\ } \vc{v}=\vc{0}. & \spc\text{（长度的平方）} \\ \end{array} \end{align}

式 6.23:
\begin{equation} [p_{ij}] = \Biggl[ \sum_{k=1}^s a_{ik} b_{kj} \Biggr] = \biggl[ \vc{a}_{i,}^\T \vc{b}_{,j} \biggr] = \Biggl[ \Bigl(a_1\spc a_2 \dots a_s \Bigr) \left( \begin{array}{c} b_1\\ b_2\\ \vdots\\ b_s \end{array} \right) \Biggr]. \end{equation}

定义 6.4：零矩阵
零矩阵 $\mx{O}$ 的所有矩阵元素均为零。

式 6.50:
\begin{gather} \mx{A}\mx{B} = \mx{A}\mx{C} \\ \Longleftrightarrow \\ \mx{A}\mx{B} - \mx{A}\mx{C} = \mx{O} \\ \Longleftrightarrow \\ \mx{A}(\mx{B} -\mx{C}) = \mx{O}, \end{gather}

式 6.49:
\begin{align} \mx{A}= \left( \begin{array}{rr} 2 & 1 \\ 6 & 3 \end{array} \right) \spc\spc\text{且}\spc\spc \mx{B}= \left( \begin{array}{rr} -2 & 3 \\ 4 & -6 \end{array} \right) \\ \mx{A}\mx{B}= \left( \begin{array}{rr} 2\cdot(-2) + 1\cdot 4 & 2\cdot 3 + 1\cdot (-6) \\ 6\cdot(-2) + 3\cdot 4 & 6\cdot 3 + 3\cdot (-6) \end{array} \right) = \left( \begin{array}{rr} 0 & 0 \\ 0 & 0 \end{array} \right) =\mx{O}. \end{align}

定理 6.1：矩阵运算性质
以下均假定各矩阵的大小使相应运算有定义。 \begin{equation} \begin{array}{llr} (i) & k(l\mx{A}) = (kl)\mx{A} & \spc\text{（结合律）} \\ (ii) & (k+l)\mx{A} = k\mx{A} +l\mx{A} & \spc\text{（分配律）} \\ (iii) & k(\mx{A}+\mx{B}) = k\mx{A} +k\mx{B} & \spc\text{（分配律）} \\ (iv) & \mx{A} + \mx{B} = \mx{B} + \mx{A} & \spc\text{（交换律）} \\ (v) & \mx{A}+(\mx{B}+\mx{C})=(\mx{A}+\mx{B})+\mx{C} & \spc\text{（结合律）} \\ (vi) & \mx{A}+ (-1)\mx{A} = \mx{O} & \spc\text{（加法逆元）} \\ (vii) & \mx{A}(\mx{B}+\mx{C})=\mx{A}\mx{B}+\mx{A}\mx{C} & \spc\text{（分配律）} \\ (viii) & (\mx{A}+\mx{B})\mx{C}=\mx{A}\mx{C}+\mx{B}\mx{C} & \spc\text{（分配律）} \\ (ix) & (\mx{A}\mx{B})\mx{C}=\mx{A}(\mx{B}\mx{C}) & \spc\text{（结合律）} \\ (x) & \mx{I}\mx{A}=\mx{A}\mx{I}=\mx{A} & \spc\text{（乘法单位元）} \\ (xi) & (k\mx{A})^\T=k\mx{A}^\T & \spc\text{（转置规则 1）} \\ (xii) & (\mx{A}+\mx{B})^\T=\mx{A}^\T+\mx{B}^\T & \spc\text{（转置规则 2）} \\ (xiii) & (\mx{A}^\T)^\T=\mx{A} & \spc\text{（转置规则 3）} \\ (xiv) & (\mx{A}\mx{B})^\T=\mx{B}^\T\mx{A}^\T & \spc\text{（转置规则 4）} \\ \end{array} \end{equation} 此外还有几条显然的规则：$1\mx{A}=\mx{A}$、$0\mx{A}=\mx{O}$、$k\mx{O}=\mx{O}$ 以及 $\mx{A}+\mx{O}=\mx{A}$。

式 6.55:
\begin{equation} ax = b. \end{equation}

式 6.54:
\begin{equation} \mx{A}\mx{X} = \mx{B}. \end{equation}

式 6.58:
\begin{equation} \mx{A}\mx{A}^{-1} = \mx{A}^{-1}\mx{A} = \mx{I}. \end{equation}

定义 6.17：逆矩阵
若存在矩阵 $\mx{A}^{-1}$ 使得下式成立，则称方阵 $\mx{A}$ 可逆，并称 $\mx{A}^{-1}$ 为 $\mx{A}$ 的逆矩阵： \begin{equation} \mx{A}\mx{A}^{-1} = \mx{A}^{-1}\mx{A} = \mx{I}. \end{equation} 若 $\mx{A}\mx{A}^{-1}=\mx{I}$，则称 $\mx{A}^{-1}$ 为右逆；若 $\mx{A}^{-1}\mx{A}=\mx{I}$，则称其为左逆。

定理 6.3：二维矩阵的逆
对 $2\times 2$ 矩阵 $\mx{A}$，其逆为 \begin{equation} \mx{A}^{-1} = \begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix} ^{-1} = \frac{1}{a_{11}a_{22} - a_{12}a_{21}} \begin{pmatrix} \hid{-}a_{22} & -a_{12} \\ -a_{21} & \hid{-}a_{11} \end{pmatrix} , \end{equation} 条件是 $a_{11}a_{22} - a_{12}a_{21} \neq 0$；否则逆矩阵不存在。

式 6.64:
\begin{gather} \mx{A}\vc{x} = \vc{y} \\ \Longleftrightarrow \\ \mx{A}\vc{x} = \mx{I}\vc{y}, \end{gather}

式 6.26:
\begin{gather} \begin{cases} \begin{array}{rrrl} 2 & \!\!\!\!\!\! x_1 + 4 &\!\!\!\!\!\!\!x_2 - 2 &\!\!\!\!\!\!x_3 = \hid{-}16 \\ - & \!\!\!\!\!\! x_1 - 7 &\!\!\!\!\!\!x_2 + 2 &\!\!\!\!\!\!x_3 = -27 \\ & 3 &\!\!\!\!\!\!x_2 - 6 &\!\!\!\!\!\!x_3 = -21 \\ \end{array} \end{cases} \\ \Longleftrightarrow \\ \underbrace{ \left( \begin{array}{rrr} 2 & 4 & -2 \\ -1 & -7 & 2 \\ 0 & 3 & -6 \end{array} \right) }_{\mx{A}} \, \underbrace{ \left( \begin{array}{c} x_1\\ x_2\\ x_3 \end{array} \right) }_{\vc{x}} = \underbrace{ \left( \begin{array}{r} -16\\ -27\\ -21 \end{array} \right) }_{\vc{b}} \\ \Longleftrightarrow \\ \mx{A} \vc{x} = \vc{b}. \end{gather}

定理 6.4：逆矩阵的性质
若矩阵 $\mx{A}$ 与 $\mx{B}$ 可逆，则 $\mx{A}^{\T}$、$\mx{A}^{-1}$、$\mx{B}^{-1}$ 以及 $\mx{A}\mx{B}$ 也都可逆，并且 \begin{equation} \begin{array}{llr} (i) & (\mx{A}^{-1})^{-1} = \mx{A} & \spc\text{（逆的逆）}, \\ (ii) & (\mx{A}\mx{B})^{-1} = \mx{B}^{-1}\mx{A}^{-1} & \spc\text{（乘积的逆）}, \\ (iii) & (\mx{A}^{-1})^{\T} = (\mx{A}^{\T})^{-1} & \spc\text{（逆的转置）}. \\ \end{array} \end{equation} 注意式 $(ii)$ 中的次序：右端 $\mx{A}$ 与 $\mx{B}$ 的次序相对于左端发生了颠倒。

定义 5.2：线性无关与线性相关
若向量组 $\vc{v}_1,\dots,\vc{v}_n$ 所对应的方程 \begin{equation} k_1\vc{v}_1 + k_2 \vc{v}_2 + \dots + k_n \vc{v}_n = \vc{0}, \end{equation} 只有如下唯一解，则称该向量组线性无关： \begin{equation} k_1 = k_2 = \dots = k_n =0. \end{equation} 若还存在其他解，则称该向量组线性相关。

定义 5.3：张成
若对 $\R^n$ 中的向量组 $\{\vc{v}_1,\dots,\vc{v}_q\}$，方程 \begin{equation} k_1\vc{v}_1 + k_2 \vc{v}_2 + \dots + k_q \vc{v}_q = \vc{u}, \end{equation} 对每个向量 $\vc{u}$ 都至少有一个解，则称该向量组张成 $\R^n$。

定理 6.2：逆矩阵的存在性与唯一性
设左逆为 $\mx{A}_l^{-1}$、右逆为 $\mx{A}_r^{-1}$，即 $\mx{A}_l^{-1}\mx{A}=\mx{I}$ 且 $\mx{A}\mx{A}_r^{-1}=\mx{I}$。则有：$(i)$ 若 $\mx{A}_l^{-1}\mx{A}=\mx{A}\mx{A}_r^{-1}=\mx{I}$，则 $\mx{A}_l^{-1}=\mx{A}_r^{-1}$；$(ii)$ 矩阵 $\mx{A}$ 的逆矩阵至多有一个，即 $\mx{A}^{-1}=\mx{A}_l^{-1}=\mx{A}_r^{-1}$。

定理 5.5：基定理

1. 平面中的两个向量 $\vc{u}$ 与 $\vc{v}$ 构成一组基，当且仅当它们线性无关。
2. 三维空间中的三个向量 $\vc{u}$、$\vc{v}$ 与 $\vc{w}$ 构成一组基，当且仅当它们线性无关。
3. 平面中的三个或更多向量必定线性相关。
4. 三维空间中的四个或更多向量必定线性相关。

定理 6.8：矩阵与张成
若 $\mx{A}$ 的列向量张成 $\R^p$，则矩阵 $\mx{A}$ 存在右逆 $\mx{A}_r^{-1}$。

定理 6.6：矩阵与线性无关
若矩阵 $\mx{A}$ 存在左逆 $\mx{A}_l^{-1}$，则 $\mx{A}$ 的列向量线性无关。

式 5.102:
\begin{gather} \hat{\vc{e}}_1 = x_{11} \vc{e}_1 + x_{21} \vc{e}_2,\\ \hat{\vc{e}}_2 = x_{12} \vc{e}_1 + x_{22} \vc{e}_2. \end{gather}

式 6.83:
\begin{align} \hat{\vc{e}}_j = \sum_{i=1}^n b_{ij}\vc{e}_i, \end{align}

式 6.82:
\begin{align} \vc{v} &= \sum_{i=1}^n x_i\vc{e}_i \\ &= \sum_{i=1}^n \hat{x}_i\hat{\vc{e}}_i, \end{align}

定理 2.5：三维坐标
设 $\vc{e}_1$、$\vc{e}_2$ 与 $\vc{e}_3$ 为三个非零基向量，且不存在同时平行于这三个向量的平面。对于三维空间中的任意向量 $\vc{v}$，都存在唯一的坐标三元组 $(x,y,z)$，使得 \begin{equation} \vc{v} = x\vc{e}_1 + y\vc{e}_2 + z\vc{e}_3. \end{equation}

式 6.81:
\begin{align} \vc{v} = \mx{B}\hat{\vc{v}} = \begin{pmatrix} b_{11} & b_{12} & \dots & b_{1,n} \\ b_{21} & b_{22} & \dots & b_{2,n} \\ \vdots & \vdots & \ddots & \vdots \\ b_{n,1} & b_{n,2} & \dots & b_{n,n} \end{pmatrix} \vc{\hat{v}}, \end{align}

定义 3.3：标准正交基
对于由基向量组 $\{\vc{e}_1,\dots,\vc{e}_n\}$ 构成的 $n$ 维标准正交基，有 \begin{equation} \vc{e}_i \cdot \vc{e}_j = \begin{cases} 1 & \text{若 } i=j, \\ 0 & \text{若 } i\neq j. \\ \end{cases} \end{equation} 这表示各基向量均为单位向量（已归一化），且两两正交。

定义 6.18：正交矩阵
若方阵 $\mx{B}$ 的列向量构成一组标准正交基，则称 $\mx{B}$ 为正交矩阵。

定理 6.12：正交性与长度保持
$\mx{B}$ 为正交矩阵，当且仅当对所有向量 $\vc{v}$ 都有 $\ln{\mx{B}\vc{v}}=\ln{\vc{v}}$，即该变换保持长度。

定理 6.14：
若 $\mx{A}$ 与 $\mx{B}$ 均为正交矩阵，则 $\mx{A}\mx{B}$ 也是正交矩阵。

定理 6.10：基变换
设 $\R^n$ 中两组基 $\{\vc{e}_1,\vc{e}_2,\dots,\vc{e}_n\}$ 与 $\{\hat{\vc{e}}_1,\hat{\vc{e}}_2,\dots,\hat{\vc{e}}_n\}$ 满足以下关系： \begin{align} \hat{\vc{e}}_1 &= b_{11} \vc{e}_1 + b_{21} \vc{e}_2 + \dots + b_{n,1} \vc{e}_n, \\ \hat{\vc{e}}_2 &= b_{12} \vc{e}_1 + b_{22} \vc{e}_2 + \dots + b_{n,2} \vc{e}_n, \\ &\dots \\ \hat{\vc{e}}_n &= b_{1,n} \vc{e}_1 + b_{2,n} \vc{e}_2 + \dots + b_{n,n} \vc{e}_n, \end{align} 某一向量 $\vc{v}$ 在两组基下分别表示为 \begin{align} \vc{v} &= v_1\vc{e}_1 + v_2\vc{e}_2 + v_3\vc{e}_3+\dots+v_n\vc{e}_n = \\ &= \hat{v}_1\hat{\vc{e}}_1 + \hat{v}_2\hat{\vc{e}}_2 + \hat{v}_3\hat{\vc{e}}_3+\dots+\hat{v}_n\hat{\vc{e}}_n, \end{align} 令 $\mx{B}$ 的列向量为 $\hat{\vc{e}}_i$，则有 \begin{align} \vc{v} = \mx{B}\hat{\vc{v}} = \begin{pmatrix} b_{11} & b_{12} & \dots & b_{1,n} \\ b_{21} & b_{22} & \dots & b_{2,n} \\ \vdots & \vdots & \ddots & \vdots \\ b_{n,1} & b_{n,2} & \dots & b_{n,n} \end{pmatrix} \vc{\hat{v}}, \end{align} 其中 $\vc{v}=(v_1,v_2,v_3,\dots,v_n)$，$\hat{\vc{v}}=(\hat{v}_1,\hat{v}_2,\hat{v}_3,\dots,\hat{v}_n)$。

术语提示：
基是向量空间中一组线性无关且张成整个空间的向量。 若基为 $\{\vc{e}_1,\vc{e}_2,\vc{e}_3\}$，则空间中的任意向量 $\vc{v}$ 都可由三个数 $(x,y,z)$ 表示，使得 $\vc{v} = x\vc{e}_1 +y\vc{e}_2 +z\vc{e}_3$。基常常省略不写，此时可记作 $\vc{v} = (x,y,z)$。为了区分不同向量的分量，也可记作 $\vc{v}=(v_x,v_y,v_z)$、$\vc{u}=(u_x,u_y,u_z)$。

术语提示：
$n$ 维列向量 $\vc{v}$ 相对于一组基表示，由 $n$ 个标量排成一列。 向量元素有时记作 $v_1$、$v_2$、……、$v_n$。对于二维和三维向量，有时也用 $v_x$、$v_y$、$v_z$。 记法为

\begin{equation} \underbrace{ \vc{u} = \begin{pmatrix} u_x \end{pmatrix} = \begin{pmatrix} u_1 \end{pmatrix}}_{\text{一维向量}}, \spc\spc \underbrace{ \vc{v} = \begin{pmatrix} v_x \\ v_y \end{pmatrix} = \begin{pmatrix} v_1 \\ v_2 \end{pmatrix}}_{\text{二维向量}}, \spc\spc \underbrace{ \vc{w} = \begin{pmatrix} w_x \\ w_y \\ w_z \end{pmatrix} = \begin{pmatrix} w_1 \\ w_2 \\ w_3 \end{pmatrix}}_{\text{三维向量}}, \end{equation}

其中 $\vc{u} = u_x \vc{e}_1$，$\vc{v} = v_x \vc{e}_1 + v_y \vc{e}_2$， $\vc{w} = w_x \vc{e}_1 + w_y \vc{e}_2 + w_z \vc{e}_3$。注意，$\vc{e}_i$ 是基向量。
正文中也使用简写 $\vc{w} = \bigl(w_1,w_2,w_3\bigr)$，含义与上式相同（注意各向量元素之间有逗号）。行向量的各元素之间则不加逗号。

术语提示：
交换律是指交换运算中两个操作数的次序不会改变结果。 例如，向量加法满足交换律：$\vc{u}+\vc{v} = \vc{v}+\vc{u}$。 点积也满足交换律：$\vc{u}\cdot\vc{v} =\vc{v}\cdot\vc{u}$。 但矩阵乘法一般不满足交换律，即 $\mx{A}\mx{B} \neq \mx{B}\mx{A}$；矩阵加法则满足：$\mx{A}+\mx{B} = \mx{B} + \mx{A}$。

术语提示：
分配律是指一个操作数与若干操作数之和相乘，可以改写为它分别与各项相乘后再求和。
例如，向量数乘满足分配律： $k(\vc{u}+\vc{v}) = k\vc{u}+k\vc{v}$，且 $(k+l)\vc{u} = k\vc{u}+l\vc{u}$.
对于点积，有 $\vc{v}\cdot(\vc{u}+\vc{w}) = \vc{v}\cdot\vc{u} + \vc{v}\cdot\vc{w}$。
对于向量积，有 $\vc{u} \times (\vc{v} + \vc{w}) = \vc{u} \times \vc{v} + \vc{u} \times \vc{w}$ 以及 $(\vc{u} + \vc{v}) \times \vc{w} = \vc{u} \times \vc{w} + \vc{v} \times \vc{w}$.
对于矩阵，有下列运算律： $(k+l)\mx{A} = k\mx{A} +l\mx{A}$, $k(\mx{A}+\mx{B}) = k\mx{A} +k\mx{B}$, $\mx{A}(\mx{B}+\mx{C})=\mx{A}\mx{B}+\mx{A}\mx{C}$，以及 $(\mx{A}+\mx{B})\mx{C}=\mx{A}\mx{C}+\mx{B}\mx{C}$.

术语提示：
点积又称数量积，是一个标量，记作 $\vc{u}\cdot \vc{v}$：

\begin{equation} \vc{u}\cdot \vc{v} = \left\{ \begin{array}{ll} \ln{\vc{u}}\ \ln{\vc{v}} \cos[\vc{u},\vc{v}], & \text{若 } \vc{u}\neq \vc{0} \text{ 且 } \vc{v}\neq \vc{0}\\ 0, & \text{若 } \vc{u}=\vc{0} \text{ 或 } \vc{v}=\vc{0}, \end{array} \right. \end{equation}

其中 $[\vc{u},\vc{v}]$ 是 $\vc{u}$ 与 $\vc{v}$ 之间的最小夹角。 $\vc{u} \cdot \vc{v} = 0$ 当且仅当两向量正交（垂直）。 还有 $\vc{u} \cdot \vc{v}>0 \Leftrightarrow 0 < [\vc{u},\vc{v}] < \pi/2$，以及 $\vc{u} \cdot \vc{v}<0 \Leftrightarrow \pi/2 < [\vc{u},\vc{v}] \leq \pi$。
在标准正交基下，$\vc{u}\cdot\vc{v} = \sum_{i=1}^{n} u_i v_i$，其中 $n$ 是空间的维数。例如在三维空间中，$\vc{u}\cdot\vc{v} = u_xv_x + u_yv_y +u_zv_z$。

术语提示：
高斯消元法通过逐行消去未知量，把线性方程组化为阶梯形；随后通过回代求出主元变量，并在存在自由变量时用它们表示通解。

术语提示：
在参数形式下，直线由起点 $S$、方向向量 $\vc{d}$ 和标量参数 $t$ 定义。直线上的任意点都可由直线方程 $P(t) = S + t\vc{d}$ 得到。这种表示适用于任意维数。
在隐式形式下，直线由一点 $S$ 和法向量 $\vc{n}$ 定义。对直线上的任意点 $P$，都有 $\vc{n}\cdot (P-S) = 0$。这种表示只适用于二维空间。

术语提示：
“线性”表示有关对象与运算保持加法和数乘结构。映射 $F$ 是线性的，当且仅当 $F(\vc{u}+\vc{v})=F(\vc{u})+F(\vc{v})$ 且 $F(k\vc{v})=kF(\vc{v})$。线性方程组只含未知量的一次项与常数项。

术语提示：
若方程

\begin{equation} k_1\vc{v}_1 + k_2 \vc{v}_2 + \dots + k_n \vc{v}_n = \vc{0}, \end{equation}

仅有一个解 $k_1=k_2=\dots=k_n=0$，则称向量组 $\vc{v}_1,\dots,\vc{v}_n$ 线性无关。若至少还存在一个其他解，则称该向量组线性相关。

术语提示：
在二维空间中，逆时针次序为正定向，顺时针次序为负定向。若沿正方向旋转 $\vc{u}$ 能使最小夹角 $[\vc{u},\vc{v}]$ 变为零，则平面中的 $\vc{u}$ 与 $\vc{v}$ 具有正定向。
对从同一原点出发的三维向量 $\vc{u}$、$\vc{v}$、$\vc{w}$，想象自己位于 $\vc{w}$ 的末端并望向原点；若从该处看 $\vc{u}$、$\vc{v}$ 具有正定向，则称三个向量具有正定向。负定向的定义类似。

术语提示：
例如，两条直线相交成直角时，称它们彼此正交。 两个向量的夹角为 $90^\circ$ 或 $\pi/2$ 弧度，即 $[\vc{u},\vc{v}]=\pi/2$ 时，称它们正交，也记作 $\vc{u} \perp \vc{v}$。这里“正交”与“垂直”含义相同。 两个向量正交时，它们的点积为零，即 $\vc{u}\cdot\vc{v}=0$。 正交矩阵 $\mx{B}$ 是列向量构成一个标准正交基的方阵。

术语提示：
$n$ 维标准正交基由 $n$ 个基向量 $\vc{e}_i$ 构成，并满足：当 $i\neq j$ 时 $\vc{e}_i\cdot \vc{e}_j=0$，当 $i=j$ 时 $\vc{e}_i\cdot \vc{e}_j=1$。标准基就是标准正交基。 在二维空间中，$\vc{e}_1\cdot\vc{e}_2=$$(1,0)\cdot(0,1)=0$ 且 $\vc{e}_i\cdot\vc{e}_i=1$，所以这一点显然成立。

术语提示：
在参数形式（也称显式形式）下，平面方程为 $P(t_1, t_2) = S + t_1 \vc{d}_1 + t_2\vc{d}_2$， 其中 $S$ 是平面内一点，$\vc{d}_1$ 和 $\vc{d}_2$ 是平面内两个不平行的非零向量。改变参数 $t_1$ 和 $t_2$，可到达平面上的任意点 $P(t_1,t_2)$。
在隐式形式下，平面方程为 $\vc{n}\cdot(P-S)=0$，其中 $\vc{n}$ 是平面的法向量，$S$ 是平面内一点。当且仅当点 $P$ 位于该平面内时，等式左边等于 $0$。

术语提示：
具有正定向的一组向量也称为右手系。

术语提示：
行向量是列向量转置后得到的向量，原来的一列变为一行。 本书默认向量为列向量。因此，对列向量 $\vc{v}$ 作转置，即得行向量 $\vc{v}^\T$。 所以行向量写作 $\vc{v}^\T = \bigl(v_1\ \ v_2 \ \ v_3\bigr)$，注意各向量元素之间的空格。 与之相对，列向量写作 $\vc{w} = \begin{pmatrix} w_1 \\ w_2 \\ w_3 \end{pmatrix}$.

术语提示：
一个（线性）方程组，就是若干个需要联立求解的（线性）方程，其解必须同时满足其中每一个方程。

术语提示：
两个向量 $\vc{u}$ 与 $\vc{v}$ 相加会形成一个新向量，记作 $\vc{u}+\vc{v}$。 可平移 $\vc{u}$，使其起点落在 $\vc{v}$ 的端点上；也可反过来操作，因为向量加法满足交换律，即 $\vc{u}+\vc{v} = \vc{v}+\vc{u}$。

术语提示：
向量 $\vc{v}$ 的长度记作 $\ln{\vc{v}}$。在标准正交基下，长度的平方为 $\ln{\vc{v}}^2 = \vc{v}\cdot\vc{v}$，即 $\ln{\vc{v}} = \sqrt{\vc{v}\cdot\vc{v}}$。 例如，对三维向量可化简为 $\ln{\vc{v}} = \sqrt{v_x^2 + v_y^2 + v_z^2}$。

第 5 章：高斯消元法（上一章）

第 7 章：行列式（下一章）