# 子集生成的子空间

定义 11: 向量空间 FnF^n 的非空子集 WW 如果满足以下两个条件:

  1. u,v∈W⇒u+v∈W,u, v \in W \Rightarrow u + v \in W,
  2. u∈W,λ∈F⇒λu∈Wu \in W, \lambda \in F \Rightarrow \lambda u \in W

就称 WW 是 FnF^n 的 子空间。如果 FnF^n 的子空间 W1W_1 是子空间 W2W_2 的子集,则称 W1W_1 是 W2W_2 的子空间。

定义 22: 设 WW 是 FnF^n 的子空间,如果 WW 中存在 rr 个线性无关向量,并且任意 r+1r + 1 个向量线性相关,就称 WW 的 维数 为 rr,记为 dim⁡W=r\dim W = r.

如果 WW 中存在一组向量 M={α1,⋯ ,αr}M = \{ \alpha_1, \cdots, \alpha_r \},使 WW 中每个向量 α\alpha 都能写成 α1,⋯ ,αr\alpha_1, \cdots, \alpha_r 在 FF 上的线性组合

α=x1α1+⋯+xrαr(1)\alpha = x_1 \alpha_1 + \cdots + x_r \alpha_r \tag {1}

其中的系数 x1,⋯ ,xrx_1, \cdots, x_r 由 α\alpha 唯一决定,则 MM 称为 WW 的一组 基。α\alpha 的线性组合表达式 (1)(1) 中的系数组成的有序数组 (x1,⋯ ,xr)(x_1, \cdots, x_r) 称为 α\alpha 在基 MM 下的 坐标。

定理 11: 设 WW 是 FnF^n 的子空间,设

M={α1,⋯ ,αr}⊂W,M = \{ \alpha_1, \cdots, \alpha_r \} \sub W,

则:

  1. MM 是 WW 的基 ⇔\Leftrightarrow MM 是 WW 的极大线性无关组。
  2. WW 的基 MM 所含向量个数 ∣M∣=dim⁡W|M| = \dim W.

证明: (1) 先设 MM 是 WW 的极大线性无关组,则 WW 中每个向量 α\alpha 都能写成 MM 的线性组合:

α=x1α1+⋯+xrαr(2)\alpha = x_1 \alpha_1 + \cdots + x_r \alpha_r \tag {2}

若还有

α=y1α1+⋯+yrαr(3)\alpha = y_1 \alpha_1 + \cdots + y_r \alpha_r \tag {3}

将 (2),(3)(2), (3) 两式相减得:

(x1−y1)α1+(x2−y2)α2+⋯+(xr−yr)αr=0(x_1 - y_1) \alpha_1 + (x_2 - y_2) \alpha_2 + \cdots + (x_r - y_r) \alpha_r = 0

由 α1,⋯ ,αr\alpha_1, \cdots, \alpha_r 线性无关得

x1−y1=⋯=xn−yn=0x_1 - y_1 = \cdots = x_n - y_n = 0

从而 xi=yix_i = y_i 对 1≤i≤r1 \le i \le r 成立,可见 (x1,⋯ ,xr)∈Fr(x_1, \cdots, x_r) \in F^r 由 α\alpha 唯一决定。

这说明 MM 是 WW 的基。

再设 MM 是 WW 的基。设 λ1,⋯ ,λr∈F\lambda_1, \cdots, \lambda_r \in F 满足条件

λ1α1+⋯+λrαr=0(4)\lambda_1 \alpha_1 + \cdots + \lambda_r \alpha_r = 0 \tag {4}

另一方面有

0α1+⋯+0αr=0(5)0 \alpha_1 + \cdots + 0 \alpha_r = 0 \tag {5}

(4),(5)(4), (5) 式都是将零向量 00 表示为 α1,⋯ ,αr\alpha_1, \cdots, \alpha_r 得线性组合的等式,由于 MM 是基,表示的系数具有 唯一性,这使得 (λ1,⋯ ,λr)=(0,⋯ ,0)(\lambda_1, \cdots, \lambda_r) = (0, \cdots, 0)

这说明 MM 线性无关。

由于 WW 中所有的向量都是 MM 的线性组合,因此 MM 是 WW 的极大线性无关组。

(2) 设 M={α1,⋯ ,αr}M = \{ \alpha_1, \cdots, \alpha_r \} 是 WW 的基,由 rr 个向量组成。则 MM 中的向量就是 WW 中 rr 个线性无关的向量。WW 中任意 r+1r + 1 个向量 β1,⋯ ,βr+1\beta_1, \cdots, \beta_{r + 1} 都是 MM 中 rr 个向量的线性组合,由 2.5 向量组的秩 中的 引理 22,β1,⋯ ,βr+1\beta_1, \cdots, \beta_{r + 1} 线性相关。可见 dim⁡W=r=∣M∣\dim W = r = |M|.

推论: FnF^n 的子空间 WW 的所有的基所含向量个数相等,等于向量组 WW 的秩 rank W=dim⁡W\mathrm{rank} \, W = \dim W.

定理 22: 设 FnF^n 的子空间 WW 的维数为 rr,则 WW 中任意一个线性无关子集 SS 都能扩充为 WW 的一组基,SS 所含向量个数都不超过 rr. 如果 W0W_0 是 WW 的子空间,则 W0W_0 的任何一组基都能扩充为 WW 的一组基,dim⁡W0≤dim⁡W\dim W_0 \le \dim W,且 W0=W⇔dim⁡W0=dim⁡WW_0 = W \Leftrightarrow \dim W_0 = \dim W.

证明:WW 的线性无关子集 SS 可以扩充为 WW 的一个极大线性无关组 MM,MM 是 WW 的基,含有 rr 个向量,当然 SS 所含向量个数不超过 rr. (此处可参考 2.5 向量组的秩 中的 引理 55)

WW 的子空间 W0W_0 的基 M0={α1,⋯ ,αk}M_0 = \{ \alpha_1, \cdots, \alpha_k \} 是 WW 中的线性无关子集,当然可以扩充为 WW 的一组基 M={α1,⋯ ,αr}M = \{ \alpha_1, \cdots, \alpha_r \},且 dim⁡W0=k≤r=dim⁡W\dim W_0 = k \le r = \dim W 显然成立。

显然 W0=W⇒dim⁡W0=dim⁡WW_0 = W \Rightarrow \dim W_0 = \dim W.

而由 W0⊂MW_0 \sub M 知 dim⁡W0=k=dim⁡W=r⇒M0=M,W0=W\dim W_0 = k = \dim W = r \Rightarrow M_0 = M, W_0 = W.

定理 33: 设 FnF^n 的子空间 WW 的维数为 rr,M={α1,⋯ ,αr}⊂WM = \{ \alpha_1, \cdots, \alpha_r \} \sub W,则 MM 线性无关 ⇔\Leftrightarrow MM 是 WW 的基 ⇔\Leftrightarrow WW 中所有的向量都是 MM 的线性组合。

证明: 如果 MM 是 WW 的基,当然 “MM 线性无关” 与 “WW 中所有的向量都是 MM 的线性组合” 这两个条件同时满足。反之,当 MM 所含向量个数 r=dim⁡Wr = \dim W 时,只要满足这两个条件之一,MM 就是 WW 的基。

先设 MM 线性无关,则 MM 可以扩充为 WW 的一组基 M1M_1。M1M_1 包含 MM,且 M1M_1 中所含的向量个数也是 rr,与 MM 一样多。因此 M1=MM_1 = M,MM 是 WW 的基。

再设 WW 中所有的向量都是 MM 的线性组合。取 MM 的极大线性无关组 M0M_0,则 MM 是 M0M_0 的线性组合。由线性组合的传递性知 WW 中所有的向量也都是 M0M_0 的线性组合。

而 M0M_0 线性无关,因此是 WW 的极大线性无关组。从而 M0M_0 是 WW 的基,含有 rr 个向量。M0M_0 是 MM 的子集而且所含向量个数与 MM 一样多,因此 M0=MM_0 = M,MM 是 WW 的基。

定义 33: FnF^n 的非空子集 SS 的全体线性组合组成的子空间,称为 SS 生成的子空间,记作 L(S)L(S)。当 SS 是有限子集 {α1,⋯ ,αk}\{ \alpha_1, \cdots, \alpha_k \} 时,也将 L(S)L(S) 记作 L(α1,⋯ ,αk)L(\alpha_1, \cdots, \alpha_k).

定理 44: 设 S1,S2,S3S_1, S_2, S_3 是 FnF^n 的非空子集。求证:

  1. S2S_2 是 S1S_1 的线性组合 ⇔\Leftrightarrow L(S2)⊆L(S1)L(S_2) \subseteq L(S_1)。

    S1S_1 与 S2S_2 等价 ⇔\Leftrightarrow L(S2)=L(S1)L(S_2) = L(S_1)。

  2. 设 S0S_0 是 S1S_1 的极大线性无关组,则 S0S_0 是 L(S1)L(S_1) 的基。rank S1=dim⁡L(S1)\mathrm {rank} \, S_1 = \dim L(S_1)。

证明:(1)L(S1)L(S_1) 包含了 S1S_1 的全体线性组合。因此,S2S_2 是 S1S_1 的线性组合 ⇔\Leftrightarrow S2⊆L(S1)S_2 \subseteq L(S_1)。

由于 L(S1)L(S_1) 是子空间,如果它包含 S2S_2,必然包含 S2S_2 的全体线性组合组成的集合 L(S2)L(S_2)。

故,S1S_1 与 S2S_2 互为线性组合 ⇔\Leftrightarrow L(S1)L(S_1) 与 L(S2)L(S_2) 相互包含 ⇔\Leftrightarrow L(S1)=L(S2)L(S_1) = L(S_2)。

(2)S1S_1 的极大线性无关组 S0S_0 与 S1S_1 等价。因而 L(S0)=L(S1)L(S_0) = L(S_1)。L(S1)L(S_1) 是 S0S_0 的线性组合,并且 S0S_0 线性无关,因此 S0S_0 是 L(S1)L(S_1) 的极大线性无关组,S0S_0 是 L(S1)L(S_1) 的基。dim⁡L(S1)=∣S0∣=rank S1\dim L(S_1) = |S_0| = \mathrm {rank} \, S_1,这里 ∣S0∣|S_0| 表示 S0S_0 所含元素个数。

# 齐次线性方程组的解空间

定理 55: 数域 FF 上 nn 元齐次线性方程组 AX=0AX = 0 的 全体解向量 组成的集合 VAV_A 是 FnF^n 的子空间。

证明:

X1,X2∈VA⇒{AX1=0AX2=0⇒{A(X1+X2)=0A(λX1)=λAX1=0⇒{X1+X2∈VAλX1∈VAX_1, X_2 \in V_A \Rightarrow \begin {cases} AX_1 = 0 \\ AX_2 = 0 \end {cases} \Rightarrow \\ \begin {cases} A(X_1 + X_2) = 0 \\ A(\lambda X_1) = \lambda AX_1 = 0 \end {cases} \Rightarrow \begin {cases} X_1 + X_2 \in V_A \\ \lambda X_1 \in V_A \end {cases}

证明了 VAV_A 是 FnF^n 的子空间。

齐次线性方程组的解集合称为 解空间。

定理 66: 设数域 FF 上 nn 元齐次线性方程组的系数矩阵为 AA,则它的 解空间的维数 dim⁡VA=n−rank A\dim V_A = n - \mathrm {rank} \, A

证明: 系数矩阵 AA 可经过初等行变换化为

B=(0⋯0b1,j1⋯⋯⋯⋯⋯⋯⋯⋯⋯b1,n0⋯00⋯0b2,j2⋯⋯⋯⋯⋯⋯b2,n⋮⋱⋮⋮⋱⋮⋮⋱⋱⋱⋱⋱⋱⋮0⋯00⋯00⋯0⋯0br,jr⋯br,n0⋯00⋯00⋯0⋯00⋯0⋮⋮⋮⋮⋮⋮⋮⋮⋮⋮⋮⋮⋮⋮)B = \begin {pmatrix} 0 & \cdots & 0 & b_{1, j_1} & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots & b_{1, n} \\ 0 & \cdots & 0 & 0 & \cdots & 0 & b_{2, j_2} & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots & b_{2, n} \\ \vdots & \ddots & \vdots & \vdots & \ddots & \vdots & \vdots & \ddots & \ddots & \ddots & \ddots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & 0 & \cdots & 0 & 0 & \cdots & 0 & \cdots & 0 & b_{r, j_r} & \cdots & b_{r, n} \\ 0 & \cdots & 0 & 0 & \cdots & 0 & 0 & \cdots & 0 & \cdots & 0 & 0 & \cdots & 0 \\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots \end {pmatrix}

其中 b1,j1=b2,j2=⋯=br,jr==1,1≤j1<j2<⋯<jr≤nb_{1, j_1} = b_{2, j_2} = \cdots = b_{r, j_r} = =1, 1 \le j_1 < j_2 < \cdots < j_r \le n。

BB 是最简行阶梯型。故 r=rank B=rank Ar = \mathrm {rank} \, B = \mathrm {rank} \, A。

设 nn 个数中除了 j1,j2,⋯ ,jrj_1, j_2, \cdots, j_r 之外的剩下的数从小到大依次是 jr+1,⋯ ,jnj_{r + 1}, \cdots, j_n。

将 AA 经过初等行变换化为 BB,也就是将方程组经过同解变形化为:

{xj1+b1,jr+1xjr+1+⋯+b1,jnxjn=0xj2+b2,jr+1xjr+1+⋯+b2,jnxjn=0⋯ ⋯xjr+br,jr+1xjr+1+⋯+br,jnxjn=0(6)\begin {cases} x_{j_1} + b_{1, j_{r + 1}} x_{j_{r + 1}} + \cdots + b_{1, j_n} x_{j_n} = 0 \\ x_{j_2} + b_{2, j_{r + 1}} x_{j_{r + 1}} + \cdots + b_{2, j_n} x_{j_n} = 0 \\ \cdots \, \cdots \\ x_{j_r} + b_{r, j_{r + 1}} x_{j_{r + 1}} + \cdots + b_{r, j_n} x_{j_n} = 0 \\ \end {cases} \tag {6}

将方程组 (6)(6) 变为:

{xj1=−b1,jr+1xjr+1−⋯−b1,jnxjnxj2=−b2,jr+1xjr+1−⋯−b2,jnxjn⋯ ⋯xjr=−br,jr+1xjr+1−⋯−br,jnxjn(7)\begin {cases} x_{j_1} = -b_{1, j_{r + 1}} x_{j_{r + 1}} - \cdots - b_{1, j_n} x_{j_n} \\ x_{j_2} = -b_{2, j_{r + 1}} x_{j_{r + 1}} - \cdots - b_{2, j_n} x_{j_n} \\ \cdots \, \cdots \\ x_{j_r} = -b_{r, j_{r + 1}} x_{j_{r + 1}} - \cdots - b_{r, j_n} x_{j_n} \\ \end {cases} \tag {7}

将独立变量 xjr+1,⋯ ,xjnx_{j_{r + 1}}, \cdots, x_{j_n} 取任意值,每一组值代入就可计算出 xj1,⋯ ,xjrx_{j_1}, \cdots, x_{j_r} 的唯一一组值,得到原方程 (7)(7) 的一个解 X=(x1,⋯ ,xn)X = (x_1, \cdots, x_n)。这组解 XX 由 n−rn - r 元数组 (xjr+1,⋯ ,xjn)(x_{j_{r + 1}}, \cdots, x_{j_n}) 唯一决定,可记为:

u=(xjr+1,⋯ ,xjn)∈Fn−rX=f(u)=f(xjr+1,⋯ ,xjn)u = (x_{j_{r + 1}}, \cdots, x_{j_n}) \in F^{n - r} \qquad X = f(u) = f(x_{j_{r + 1}}, \cdots, x_{j_n})

对每个 1≤i≤n−r1 \le i \le n - r,记 eie_i 是 Fn−rF^{n - r} 中第 ii 分量为 11、其余分量为 00 的数组向量,则 {e1,⋯ ,en−r}\{ e_1, \cdots, e_{n - r} \} 是 Fn−rF^{n - r} 的自然基。

u=(xjr+1,⋯ ,xjn)=xjr+1e1+⋯+xjnen−rX=f(u)=f(xjr+1e1+⋯+xjnen−r)=xjr+1f(e1)+⋯+xjnf(en−r)=xjr+1X1+⋯+xjnXn−ru = (x_{j_{r + 1}}, \cdots, x_{j_n}) = x_{j_{r + 1}}e_1 + \cdots + x_{j_n} e_{n - r} \\ \begin {aligned} X &= f(u) = f(x_{j_{r + 1}} e_1 + \cdots + x_{j_n} e_{n - r}) \\ &= x_{j_{r + 1}} f(e_1) + \cdots + x_{j_n} f(e_{n - r}) \\ &= x_{j_{r + 1}} X_1 + \cdots + x_{j_n} X_{n - r} \end {aligned}

其中 X1,⋯ ,Xn−rX_1, \cdots, X_{n - r} 分别等于 f(e1),⋯ ,f(en−r)f(e_1), \cdots, f(e_{n - r}),是方程组的 n−rn - r 个解,以下说明方程组所有的解 XX 都是这 n−rn - r 个解的额线性组合。

设

xjr+1X1+⋯+xjnXn−r=0(8)x_{j_{r + 1}} X_1 + \cdots + x_{j_n} X_{n - r} = 0 \tag {8}

即

X=(x1⋯xn)T=f(xjr+1,⋯ ,xjn)=(0⋯0)TX = \begin {pmatrix} x_1 & \cdots & x_n \end {pmatrix}^T = f(x_{j_{r + 1}}, \cdots, x_{j_n}) = \begin {pmatrix} 0 & \cdots & 0 \end {pmatrix}^T

(8)(8) 成立当且仅当 XX 的分量 xjr+1=⋯=xjn=0x_{j_{r + 1}} = \cdots = x_{j_n} = 0,这说明 X1,⋯ ,Xn−rX_1, \cdots, X_{n - r} 线性无关,组成解空间 VAV_A 的一组基。这组基由 n−rn - r 个向量组成,因此

dim⁡VA=n−r=n−rank A\dim V_A = n - r = n - \mathrm {rank} \, A

齐次线性方程组的解空间的一组基称为这个方程组的一个 基础解系。

例 1.1. 已知 F5F^5 中的向量

X1=(1,2,3,4,5),X2=(1,3,2,1,2)X_1 = (1, 2, 3, 4, 5), \qquad X_2 = (1, 3, 2, 1, 2)

求一个齐次线性方程组,使 X1,X2X_1, X_2 组成这个方程组的基础解系。

解: 设

ai,1x1+ai,2x2+ai,3x3+ai,4x4+ai,5x5=0a_{i, 1} x_1 + a_{i, 2} x_2 + a_{i, 3} x_3 + a_{i, 4} x_4 + a_{i, 5} x_5 = 0

是方程组 AX=0AX = 0 的任意一个方程。将 X1,X2X_1, X_2 的坐标代入得:

{ai,1+2ai,2+3ai,3+4ai,4+5ai,5=0ai,1+3ai,2+2ai,3+ai,4+2ai,5=0(9)\begin {cases} a_{i, 1} + 2 a_{i, 2} + 3 a_{i, 3} + 4 a_{i, 4} + 5 a_{i, 5} = 0 \\ a_{i, 1} + 3 a_{i, 2} + 2 a_{i, 3} + a_{i, 4} + 2 a_{i, 5} = 0 \end {cases} \tag {9}

将上式看作 以 ai,1,ai,2,ai,3,ai,4,ai,5a_{i, 1}, a_{i, 2}, a_{i, 3}, a_{i, 4}, a_{i, 5} 为变量 的线性方程组来解。系数矩阵如下:

B=(1234513212)→(105101101−1−3−3)B = \begin {pmatrix} 1 & 2 & 3 & 4 & 5 \\ 1 & 3 & 2 & 1 & 2 \end {pmatrix} \rightarrow \begin {pmatrix} 1 & 0 & 5 & 10 & 11 \\ 0 & 1 & -1 & -3 & -3 \end {pmatrix}

则方程组 (9)(9) 的一组基础解系是

(−5,1,1,0,0),(−10,3,0,1,0),(−11,3,0,0,1)(-5, 1, 1, 0, 0), (-10, 3, 0, 1, 0), (-11, 3, 0, 0, 1)

以该基础解系中的三个线性无关解为系数组成的齐次线性方程组为

{−5x1+x2+x3=0−10x1+3x2+x4=0−11x1+3x2+x5=0(10)\begin {cases} -5 x_1 + x_2 + x_3 = 0 \\ -10 x_1 + 3 x_2 + x_4 = 0 \\ -11 x_1 + 3 x_2 + x_5 = 0 \end {cases} \tag {10}

易知方程组 (10)(10) 即为所求的一组齐次线性方程组。

# 非齐次线性方程组

# 非齐次线性方程组的向量形式

对于非齐次线性方程组:

{a1,1x1+a1,2x2+⋯+a1,nxn=b1a2,1x1+a2,2x2+⋯+a2,nxn=b2⋯ ⋯am,1x1+am,2x2+⋯+am,nxn=bm(11)\begin {cases} a_{1, 1} x_1 + a_{1, 2} x_2 + \cdots + a_{1, n} x_n = b_1 \\ a_{2, 1} x_1 + a_{2, 2} x_2 + \cdots + a_{2, n} x_n = b_2 \\ \cdots \, \cdots \\ a_{m, 1} x_1 + a_{m, 2} x_2 + \cdots + a_{m, n} x_n = b_m \end {cases} \tag {11}

该方程组的增广矩阵可记为:

A~=(a1,1a1,2⋯a1,nb1a2,1a2,2⋯a2,nb2⋮⋮⋱⋮⋮am,1am,2⋯am,nbm)\tilde {A} = \begin {pmatrix} a_{1, 1} & a_{1, 2} & \cdots & a_{1, n} & b_1 \\ a_{2, 1} & a_{2, 2} & \cdots & a_{2, n} & b_2 \\ \vdots & \vdots & \ddots & \vdots & \vdots \\ a_{m, 1} & a_{m, 2} & \cdots & a_{m, n} & b_m \end {pmatrix}

令

α1=(a1,1a2,1⋮am,1),α2=(a1,2a2,2⋮am,2),⋯ ,αn=(a1,na2,n⋮am,n),β=(b1b2⋮bm)\alpha_1 = \begin {pmatrix} a_{1, 1} \\ a_{2, 1} \\ \vdots \\ a_{m, 1} \end {pmatrix}, \alpha_2 = \begin {pmatrix} a_{1, 2} \\ a_{2, 2} \\ \vdots \\ a_{m, 2} \end {pmatrix}, \cdots, \alpha_n = \begin {pmatrix} a_{1, n} \\ a_{2, n} \\ \vdots \\ a_{m, n} \end {pmatrix}, \beta = \begin {pmatrix} b_{1} \\ b_{2} \\ \vdots \\ b_{m} \end {pmatrix}

则方程组 (11)(11) 可记为:

x1α1+x2α2+⋯+xnαn=β(12)x_1 \alpha_1 + x_2 \alpha_2 + \cdots + x_n \alpha_n = \beta \tag {12}

几何意义: 已知 FmF^m 中的向量 α1,α2,⋯ ,αn,β\alpha_1, \alpha_2, \cdots, \alpha_n, \beta,将 β\beta 表示成 α1,α2,⋯ ,αn\alpha_1, \alpha_2, \cdots, \alpha_n 的线性组合,求组合系数。

# 非齐次线性方程组有解的充要条件

定理 77: 非齐次线性方程组有解 ⇔\Leftrightarrow 其系数矩阵与增广矩阵的秩相同。

证明: 记 S={α1,α2,⋯ ,αn}S = \{ \alpha_1, \alpha_2, \cdots, \alpha_n \},则 (11)(11) 有解 ⇔\Leftrightarrow (12)(12) 有解 ⇔\Leftrightarrow β\beta 是 SS 的线性组合 ⇔\Leftrightarrow β∈L(S)\beta \in L(S) ⇔\Leftrightarrow L(S∪{β})=L(S)L(S \cup \{ \beta \}) = L(S) ⇔\Leftrightarrow dim⁡L(S∪{β})=dim⁡L(S)\dim L(S \cup \{ \beta \}) = \dim L(S)

SS 是 AA 的列向量组 ⇒\Rightarrow dim⁡L(S)=rank S=rank A\dim L(S) = \mathrm {rank} \, S = \mathrm {rank} \, A

S∪{β}S \cup \{ \beta \} 是 A~\tilde A 的列向量组 ⇒\Rightarrow dim⁡L(S∪{β})=rank (S∪{β})=rank A~\dim L(S \cup \{ \beta \}) = \mathrm {rank} \, (S \cup \{ \beta \}) = \mathrm {rank} \, \tilde A

因此 rank A=rank A~\mathrm {rank} \, A = \mathrm {rank} \, \tilde A,得证。

# 非齐次线性方程组解集的结构

定理 88: 任意取定非齐次线性方程组 (11)(11) 的一个特解 η\eta,则 (11)(11) 的通解为 X=η+YX = \eta + Y,其中 YY 是与 (11)(11) 对应的齐次线性方程组:

x1α1+x2α2+⋯+xnαn=0(13)x_1 \alpha_1 + x_2 \alpha_2 + \cdots + x_n \alpha_n = 0 \tag {13}

的解。

也就是说,若 X1,⋯ ,Xn−rX_1, \cdots, X_{n - r} 是对应的齐次线性方程组 (13)(13) 的一个基础解系,则非齐次线性方程组 (11)(11) 的通解为:

X=η+t1X1+⋯+tn−rXn−rX = \eta + t_1 X_1 + \cdots + t_{n - r} X_{n - r}

其中 t1,⋯ ,tn−rt_1, \cdots, t_{n - r} 是 FF 中的任意常数。

例 2.2. 设四元线性方程组的系数矩阵 AA 的秩 rank A=3\mathrm {rank} \, A = 3,α1,α2,α3\alpha_1, \alpha_2, \alpha_3 是它的 33 个解,其中

α1=(1−2−34)T,5α2−2α3=(2008)T\alpha_1 = \begin {pmatrix} 1 & -2 & -3 & 4 \end {pmatrix}^T, 5 \alpha_2 - 2 \alpha_3 = \begin {pmatrix} 2 & 0 & 0 & 8 \end {pmatrix}^T

求这个线性方程组的通解。

以 AA 为系数矩阵的齐次线性方程组的解空间 VAV_A 的维数 dim⁡VA=4−rank A=4−3=1\dim V_A = 4 - \mathrm {rank} \, A = 4 - 3 = 1。如果原方程组是齐次线性方程组,则 α1,5α2−2α3\alpha_1, 5 \alpha_2 - 2 \alpha_3 都是它的解,都在一维空间 VAV_A 中。

但 α1,5α2−2α3\alpha_1, 5 \alpha_2 - 2 \alpha_3 线性无关,不在同一个一维子空间中。因此原方程组是非齐次线性方程组。

原线性方程组的任意两个解的差是对应的齐次线性方程组的解,含于 VAV_A。因此 VAV_A 包含 α2−α1,α3−α1\alpha_2 - \alpha_1, \alpha_3 - \alpha_1,从而包含它们的线性组合:

X1=5(α2−α1)−2(α3−α1)=(−169−4)TX_1 = 5(\alpha_2 - \alpha_1) - 2(\alpha_3 - \alpha_1) = \begin {pmatrix} -1 & 6 & 9 & -4 \end {pmatrix}^T

因此,方程组的通解为

α1+tX1=(1−2−34)+t(−169−4)\alpha_1 + t X_1 = \begin {pmatrix} 1 \\ -2 \\ -3 \\ 4 \end {pmatrix} + t \begin {pmatrix} -1 \\ 6 \\ 9 \\ -4 \end {pmatrix}

# 习题

  1. 求由以下每组向量生成子空间的维数,并求出一组基:

    (1) α1=(6,4,1,−1,2),α2=(1,0,2,3,4),α3=(1,4,−9,−16,22),α4=(7,1,0,−1,3)\alpha_1 = (6, 4, 1, -1, 2), \alpha_2 = (1, 0, 2, 3, 4), \alpha_3 = (1, 4, -9, -16, 22), \alpha_4 = (7, 1, 0, -1, 3);

    (2) α1=(1,−1,2,4),α2=(0,3,1,2),α3=(3,0,7,14),α4=(1,−1,2,0),α5=(2,1,5,6)\alpha_1 = (1, -1, 2, 4), \alpha_2 = (0, 3, 1, 2), \alpha_3 = (3, 0, 7, 14), \alpha_4 = (1, -1, 2, 0), \alpha_5 = (2, 1, 5, 6)

    (1) 解:按列向量排成矩阵并进行初等行变换:

    (6117404112−90−13−16−124223)→(1,3)(12−9061174041−13−16−124223)→−6(1)+(2),−4(1)+(3),(1)+(4),−2(1)+(5)(12−900−115570−840105−25−100403)→−811(2)+(3),511(2)+(4)(12−900−11557000−4511000241100403)→(3,5)(12−900−1155700403000−45110002411)→815(4)+(5)(12−900−1155700403000−45110000) \begin {pmatrix} 6 & 1 & 1 & 7 \\ 4 & 0 & 4 & 1 \\ 1 & 2 & -9 & 0 \\ -1 & 3 & -16 & -1 \\ 2 & 4 & 22 & 3 \end {pmatrix} \quad \xrightarrow {(1, 3)} \quad \begin {pmatrix} 1 & 2 & -9 & 0 \\ 6 & 1 & 1 & 7 \\ 4 & 0 & 4 & 1 \\ -1 & 3 & -16 & -1 \\ 2 & 4 & 22 & 3 \end {pmatrix} \quad \xrightarrow {-6(1) + (2), -4(1) + (3), (1) + (4), -2(1) + (5)} \quad \begin {pmatrix} 1 & 2 & -9 & 0 \\ 0 & -11 & 55 & 7 \\ 0 & -8 & 40 & 1 \\ 0 & 5 & -25 & -1 \\ 0 & 0 & 40 & 3 \end {pmatrix} \quad \xrightarrow {- \frac 8 {11} (2) + (3), \frac 5 {11} (2) + (4)} \quad \begin {pmatrix} 1 & 2 & -9 & 0 \\ 0 & -11 & 55 & 7 \\ 0 & 0 & 0 & - \frac {45} {11} \\ 0 & 0 & 0 & \frac {24} {11} \\ 0 & 0 & 40 & 3 \end {pmatrix} \quad \xrightarrow {(3, 5)} \quad \begin {pmatrix} 1 & 2 & -9 & 0 \\ 0 & -11 & 55 & 7 \\ 0 & 0 & 40 & 3 \\ 0 & 0 & 0 & - \frac {45} {11} \\ 0 & 0 & 0 & \frac {24} {11} \end {pmatrix} \quad \xrightarrow {\frac 8 {15} (4) + (5)} \quad \begin {pmatrix} 1 & 2 & -9 & 0 \\ 0 & -11 & 55 & 7 \\ 0 & 0 & 40 & 3 \\ 0 & 0 & 0 & - \frac {45} {11} \\ 0 & 0 & 0 & 0 \end {pmatrix}

    则该向量组生成子空间的维数为 44,一组基为 {(1,0,0,0),(0,1,0,0),(0,0,1,0),(0,0,0,1)}\{ (1, 0, 0, 0), (0, 1, 0, 0), (0, 0, 1, 0), (0, 0, 0, 1) \}。

    (2) 解:按列向量排成矩阵并进行初等行变换:

    (10312−130−1121725421406)→(1)+(2),−2(1)+(3),−4(1)+(4)(103120330301101022−4−2)→(2,3)(103120110103303022−4−2)→−3(2)+(3),−2(2)+(4)(103120110100000000−4−4)→(3,4)(1031201101000−4−400000) \begin {pmatrix} 1 & 0 & 3 & 1 & 2 \\ -1 & 3 & 0 & -1 & 1 \\ 2 & 1 & 7 & 2 & 5 \\ 4 & 2 & 14 & 0 & 6 \end {pmatrix} \quad \xrightarrow {(1) + (2), -2(1) + (3), -4(1) + (4)} \quad \begin {pmatrix} 1 & 0 & 3 & 1 & 2 \\ 0 & 3 & 3 & 0 & 3 \\ 0 & 1 & 1 & 0 & 1 \\ 0 & 2 & 2 & -4 & -2 \end {pmatrix} \quad \xrightarrow {(2, 3)} \quad \begin {pmatrix} 1 & 0 & 3 & 1 & 2 \\ 0 & 1 & 1 & 0 & 1 \\ 0 & 3 & 3 & 0 & 3 \\ 0 & 2 & 2 & -4 & -2 \end {pmatrix} \quad \xrightarrow {-3(2) + (3), -2(2) + (4)} \quad \begin {pmatrix} 1 & 0 & 3 & 1 & 2 \\ 0 & 1 & 1 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & -4 & -4 \end {pmatrix} \quad \xrightarrow {(3, 4)} \quad \begin {pmatrix} 1 & 0 & 3 & 1 & 2 \\ 0 & 1 & 1 & 0 & 1 \\ 0 & 0 & 0 & -4 & -4 \\ 0 & 0 & 0 & 0 & 0 \end {pmatrix}

    由此该向量组生成子空间的维数为 33,一组基为 {(1,−1,2,4),(0,3,1,2),(1,−1,2,0)}\{ (1, -1, 2, 4), (0, 3, 1, 2), (1, -1, 2, 0) \}。

  2. 设 α1,α2,α3\alpha_1, \alpha_2, \alpha_3 是向量空间 VV 的一组基,求由如下向量组生成子空间的维数:

    (1) β1=α1+2α2+α3,β2=α1+α2−3α3,β3=α1+5α2+13α3\beta_1 = \alpha_1 + 2 \alpha_2 + \alpha_3, \beta_2 = \alpha_1 + \alpha_2 - 3 \alpha_3, \beta_3 = \alpha_1 + 5 \alpha_2 + 13 \alpha_3;

    (2) β1=α1+α2−α3,β2=α1+9α2+3α3,β3=α1+4α2+2α3\beta_1 = \alpha_1 + \alpha_2 - \alpha_3, \beta_2 = \alpha_1 + 9 \alpha_2 + 3 \alpha_3, \beta_3 = \alpha_1 + 4 \alpha_2 + 2 \alpha_3;

    (3) β1=α1+α2+α3,β2=2α1−α2+3α3,β3=4α1+α2+9α3\beta_1 = \alpha_1 + \alpha_2 + \alpha_3, \beta_2 = 2 \alpha_1 - \alpha_2 + 3 \alpha_3, \beta_3 = 4 \alpha_1 + \alpha_2 + 9 \alpha_3。

    (1) 解:写作列向量矩阵,并进行初等行变换:

    (1112151−313)→−2(1)+(2),−(1)+(3)(1110−130−412)→−4(2)+(3)(1110−13000) \begin {pmatrix} 1 & 1 & 1 \\ 2 & 1 & 5 \\ 1 & -3 & 13 \end {pmatrix} \quad \xrightarrow {-2(1) + (2), -(1) + (3)} \quad \begin {pmatrix} 1 & 1 & 1 \\ 0 & -1 & 3 \\ 0 & -4 & 12 \end {pmatrix} \quad \xrightarrow {-4(2) + (3)} \quad \begin {pmatrix} 1 & 1 & 1 \\ 0 & -1 & 3 \\ 0 & 0 & 0 \end {pmatrix}

    因此该向量组生成子空间的维数为 22。

    (2) 解:写作列向量矩阵,并进行初等行变换:

    (111194−132)→−(1)+(2),(1)+(3)(111083043)→−12(2)+(3)(1110830032) \begin {pmatrix} 1 & 1 & 1 \\ 1 & 9 & 4 \\ -1 & 3 & 2 \end {pmatrix} \quad \xrightarrow {-(1) + (2), (1) + (3)} \quad \begin {pmatrix} 1 & 1 & 1 \\ 0 & 8 & 3 \\ 0 & 4 & 3 \end {pmatrix} \quad \xrightarrow {- \frac 1 2 (2) + (3)} \quad \begin {pmatrix} 1 & 1 & 1 \\ 0 & 8 & 3 \\ 0 & 0 & \frac 3 2 \end {pmatrix}

    因此该向量组生成子空间的维数为 33。

    (3) 解:写作列向量矩阵,并进行初等行变换:

    (1241−11139)→−(1)+(2),−(1)+(3)(1240−3−3015)→13(2)+(3)(1240−3−3004) \begin {pmatrix} 1 & 2 & 4 \\ 1 & -1 & 1 \\ 1 & 3 & 9 \end {pmatrix} \quad \xrightarrow {-(1) + (2), -(1) + (3)} \quad \begin {pmatrix} 1 & 2 & 4 \\ 0 & -3 & -3 \\ 0 & 1 & 5 \end {pmatrix} \quad \xrightarrow {\frac 1 3 (2) + (3)} \quad \begin {pmatrix} 1 & 2 & 4 \\ 0 & -3 & -3 \\ 0 & 0 & 4 \end {pmatrix}

    因此该向量组生成子空间的维数为 33。

  3. 问下列方程的解集是否是 R4\R^4 的子空间?

    (1) x1+2x2=3x3+4x4x_1 + 2 x_2 = 3 x_3 + 4 x_4;

    (2) x1+2x2=3x3+4−x4x_1 + 2 x_2 = 3 x_3 + 4 - x_4;

    (3) (x1+2x2)2=(3x3+4x4)2(x_1 + 2 x_2)^2 = (3 x_3 + 4 x_4)^2;

    (4) (x1+2x2)2+(3x3+4x4)2=0(x_1 + 2 x_2)^2 + (3 x_3 + 4 x_4)^2 = 0。

    (1) 解:方程可化为:

    x1=−2x2+3x3+4x4 x_1 = -2 x_2 + 3 x_3 + 4 x_4

    可得通解的向量形式为:

    X=t1(−2100)+t2(3010)+t3(4001) X = t_1 \begin {pmatrix} -2 \\ 1 \\ 0 \\ 0 \end {pmatrix} + t_2 \begin {pmatrix} 3 \\ 0 \\ 1 \\ 0 \end {pmatrix} + t_3 \begin {pmatrix} 4 \\ 0 \\ 0 \\ 1 \end {pmatrix}

    则解空间的维度为 33,是 R4\R^4 的子空间。

    (2) 解:方程可化为:

    x1=−2x2+3x3+4x4+4 x_1 = -2 x_2 + 3 x_3 + 4 x_4 + 4

    可得通解的向量形式为:

    X=(4000)+t1(−2100)+t2(3010)+t3(4001) X = \begin {pmatrix} 4 \\ 0 \\ 0 \\ 0 \end {pmatrix} + t_1 \begin {pmatrix} -2 \\ 1 \\ 0 \\ 0 \end {pmatrix} + t_2 \begin {pmatrix} 3 \\ 0 \\ 1 \\ 0 \end {pmatrix} + t_3 \begin {pmatrix} 4 \\ 0 \\ 0 \\ 1 \end {pmatrix}

    则零向量不包括在该解空间里,不构成 R4\R^4 的一个子空间。
    忽略了子空间必须包含零向量(不然对于数乘不封闭)

    (3) 解:方程可化为:

    x1+2x2−3x3−4x4=0(1) x_1 + 2 x_2 - 3 x_3 - 4 x_4 = 0 \tag {1}

    x1+2x2+3x3+4x4=0(2) x_1 + 2 x_2 + 3 x_3 + 4 x_4 = 0 \tag {2}

    以上方程中任意一个成立即可。方程 (1)(1) 通解为:

    X1=t1(−2100)+t2(3010)+t3(4001) X_1 = t_1 \begin {pmatrix} -2 \\ 1 \\ 0 \\ 0 \end {pmatrix} + t_2 \begin {pmatrix} 3 \\ 0 \\ 1 \\ 0 \end {pmatrix} + t_3 \begin {pmatrix} 4 \\ 0 \\ 0 \\ 1 \end {pmatrix}

    方程 (2)(2) 通解为:

    X2=t1(−2100)+t2(−3010)+t3(−4001) X_2 = t_1 \begin {pmatrix} -2 \\ 1 \\ 0 \\ 0 \end {pmatrix} + t_2 \begin {pmatrix} -3 \\ 0 \\ 1 \\ 0 \end {pmatrix} + t_3 \begin {pmatrix} -4 \\ 0 \\ 0 \\ 1 \end {pmatrix}

    两个解空间均为三维空间,该方程解空间为以上两个解空间的并集,不具有加法的封闭性,不构成 R4\R^4 的子空间。
    忽略了子空间要求对加法的封闭性

    (4) 解:方程可化为:

    {x1+2x2=03x3+4x4=0 \begin {cases} x_1 + 2 x_2 = 0 \\ 3 x_3 + 4 x_4 = 0 \end {cases}

    写作系数矩阵并进行初等行变换:

    (12000034)→13(2)(120000143) \begin {pmatrix} 1 & 2 & 0 & 0 \\ 0 & 0 & 3 & 4 \end {pmatrix} \quad \xrightarrow {\frac 1 3 (2)} \quad \begin {pmatrix} 1 & 2 & 0 & 0 \\ 0 & 0 & 1 & \frac 4 3 \end {pmatrix}

    则方程组通解为:

    X=t1(−2100)+t2(00−43) X = t_1 \begin {pmatrix} -2 \\ 1 \\ 0 \\ 0 \end {pmatrix} + t_2 \begin {pmatrix} 0 \\ 0 \\ -4 \\ 3 \end {pmatrix}

    即解空间为二维空间,是 R4\R^4 的子空间。

  4. 求如下方程组的通解:

    x(121)+y(115)+z(1513)=(100)x \begin {pmatrix} 1 \\ 2 \\ 1 \end {pmatrix} + y \begin {pmatrix} 1 \\ 1 \\ 5 \end {pmatrix} + z \begin {pmatrix} 1 \\ 5 \\ 13 \end {pmatrix} = \begin {pmatrix} 1 \\ 0 \\ 0 \end {pmatrix}

    解:将该方程组写作增广矩阵并进行初等行变换:

    (1111215015130)→−2(1)+(2),−(1)+(3)(11110−13−20412−1)→4(2)+(3)(11110−13−20024−9)→−(2),124(3)(111101−32001−38)→−(3)+(1),3(3)+(2)(11011801078001−38)→−(2)+(1)(1001201078001−38) \begin {pmatrix} 1 & 1 & 1 & 1 \\ 2 & 1 & 5 & 0 \\ 1 & 5 & 13 & 0 \end {pmatrix} \quad \xrightarrow {-2 (1) + (2), -(1) + (3)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 \\ 0 & -1 & 3 & -2 \\ 0 & 4 & 12 & -1 \end {pmatrix} \quad \xrightarrow {4(2) + (3)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 \\ 0 & -1 & 3 & -2 \\ 0 & 0 & 24 & -9 \end {pmatrix} \quad \xrightarrow {-(2), \frac 1 {24} (3)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 \\ 0 & 1 & -3 & 2 \\ 0 & 0 & 1 & -\frac 3 8 \end {pmatrix} \quad \xrightarrow {-(3) + (1), 3(3) + (2)} \quad \begin {pmatrix} 1 & 1 & 0 & \frac {11} 8 \\ 0 & 1 & 0 & \frac 7 8 \\ 0 & 0 & 1 & -\frac 3 8 \end {pmatrix} \quad \xrightarrow {-(2) + (1)} \quad \begin {pmatrix} 1 & 0 & 0 & \frac 1 2 \\ 0 & 1 & 0 & \frac 7 8 \\ 0 & 0 & 1 & -\frac 3 8 \end {pmatrix}

    则方程组通解唯一,为 X=(1278−38)TX = \begin {pmatrix} \dfrac 1 2 & \dfrac 7 8 & -\dfrac 3 8 \end {pmatrix}^T

  5. 求下列每个齐次线性方程组的一个基础解系,并写出通解。

    (1)

    {x1+x2+x3+x4+x5=0x1+2x2+3x3+4x4+5x5=0x1−x3−2x4−3x5=0\begin {cases} x_1 + x_2 + x_3 + x_4 + x_5 = 0 \\ x_1 + 2 x_2 + 3 x_3 + 4 x_4 + 5 x_5 = 0 \\ x_1 - x_3 - 2 x_4 - 3 x_5 = 0 \end {cases}

    (2)

    {x1+x2+x3+x4−4x5=0x1−2x2+3x3−4x4+2x5=0−x1+3x2−5x3+7x4−4x5=0x1+2x2−x3+4x4−6x5=0\begin {cases} x_1 + x_2 + x_3 + x_4 - 4 x_5 = 0 \\ x_1 - 2 x_2 + 3 x_3 - 4 x_4 + 2 x_5 = 0 \\ -x_1 + 3 x_2 - 5 x_3 + 7 x_4 - 4 x_5 = 0 \\ x_1 + 2 x_2 - x_3 + 4 x_4 - 6 x_5 = 0 \end {cases}

    (1) 解:将方程组写作系数矩阵并进行初等行变换:

    (111111234510−1−2−3)→−(1)+(2),−(1)+(3)(11111012340−1−2−3−4)→(2)+(3)(111110123400000)→−(2)+(1)(10−1−2−30123400000) \begin {pmatrix} 1 & 1 & 1 & 1 & 1 \\ 1 & 2 & 3 & 4 & 5 \\ 1 & 0 & -1 & -2 & -3 \end {pmatrix} \quad \xrightarrow {-(1) + (2), -(1) + (3)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & 1 & 2 & 3 & 4 \\ 0 & -1 & -2 & -3 & -4 \end {pmatrix} \quad \xrightarrow {(2) + (3)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & 1 & 2 & 3 & 4 \\ 0 & 0 & 0 & 0 & 0 \end {pmatrix} \quad \xrightarrow {-(2) + (1)} \quad \begin {pmatrix} 1 & 0 & -1 & -2 & -3 \\ 0 & 1 & 2 & 3 & 4 \\ 0 & 0 & 0 & 0 & 0 \end {pmatrix}

    由此可得方程组的一个基础解系为:

    (1−2100)T,(2−3010)T,(3−4001)T \begin {pmatrix} 1 & -2 & 1 & 0 & 0 \end {pmatrix}^T, \begin {pmatrix} 2 & -3 & 0 & 1 & 0 \end {pmatrix}^T, \begin {pmatrix} 3 & -4 & 0 & 0 & 1 \end {pmatrix}^T

    方程组的通解为:

    X=t1(1−2100)+t2(2−3010)+t3(3−4001) X = t_1 \begin {pmatrix} 1 \\ -2 \\ 1 \\ 0 \\ 0 \end {pmatrix} + t_2 \begin {pmatrix} 2 \\ -3 \\ 0 \\ 1 \\ 0 \end {pmatrix} + t_3 \begin {pmatrix} 3 \\ -4 \\ 0 \\ 0 \\ 1 \end {pmatrix}

    (2) 解:写出方程组的系数矩阵并进行初等行变换:

    (1111−41−23−42−13−57−412−14−6)→−(1)+(2),(1)+(3),−(1)+(4)(1111−40−32−5604−48−801−23−2)→(2,4)(1111−401−23−204−48−80−32−56)→−4(2)+(3),3(2)+(4)(1111−401−23−2004−4000−440)→(3)+(4)(1111−401−23−2004−4000000)→14(3)(1111−401−23−2001−1000000)→−(3)+(1),2(3)+(2)(1102−40101−2001−1000000)→−(2)+(1)(1001−20101−2001−1000000) \begin {pmatrix} 1 & 1 & 1 & 1 & -4 \\ 1 & -2 & 3 & -4 & 2 \\ -1 & 3 & -5 & 7 & -4 \\ 1 & 2 & -1 & 4 & -6 \end {pmatrix} \quad \xrightarrow {-(1) + (2), (1) + (3), -(1) + (4)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 & -4 \\ 0 & -3 & 2 & -5 & 6 \\ 0 & 4 & -4 & 8 & -8 \\ 0 & 1 & -2 & 3 & -2 \end {pmatrix} \quad \xrightarrow {(2, 4)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 & -4 \\ 0 & 1 & -2 & 3 & -2 \\ 0 & 4 & -4 & 8 & -8 \\ 0 & -3 & 2 & -5 & 6 \end {pmatrix} \quad \xrightarrow {-4(2) + (3), 3(2) + (4)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 & -4 \\ 0 & 1 & -2 & 3 & -2 \\ 0 & 0 & 4 & -4 & 0 \\ 0 & 0 & -4 & 4 & 0 \end {pmatrix} \quad \xrightarrow {(3) + (4)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 & -4 \\ 0 & 1 & -2 & 3 & -2 \\ 0 & 0 & 4 & -4 & 0 \\ 0 & 0 & 0 & 0 & 0 \end {pmatrix} \quad \xrightarrow {\frac 1 4 (3)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 & -4 \\ 0 & 1 & -2 & 3 & -2 \\ 0 & 0 & 1 & -1 & 0 \\ 0 & 0 & 0 & 0 & 0 \end {pmatrix} \quad \xrightarrow {-(3) + (1), 2(3) + (2)} \quad \begin {pmatrix} 1 & 1 & 0 & 2 & -4 \\ 0 & 1 & 0 & 1 & -2 \\ 0 & 0 & 1 & -1 & 0 \\ 0 & 0 & 0 & 0 & 0 \end {pmatrix} \quad \xrightarrow {-(2) + (1)} \quad \begin {pmatrix} 1 & 0 & 0 & 1 & -2 \\ 0 & 1 & 0 & 1 & -2 \\ 0 & 0 & 1 & -1 & 0 \\ 0 & 0 & 0 & 0 & 0 \end {pmatrix}

    由此可得方程组的一个基础解系:

    (−1−1110)T,(22001)T \begin {pmatrix} -1 & -1 & 1 & 1 & 0 \end {pmatrix}^T, \begin {pmatrix} 2 & 2 & 0 & 0 & 1 \end {pmatrix}^T

    方程组的通解为:

    X=t1(−1−1110)+t2(22001) X = t_1 \begin {pmatrix} -1 \\ -1 \\ 1 \\ 1 \\ 0 \end {pmatrix} + t_2 \begin {pmatrix} 2 \\ 2 \\ 0 \\ 0 \\ 1 \end {pmatrix}

  6. 已知五元线性方程组的系数矩阵的秩为 33,且以下向量是它的解向量:

    α1=(1,1,1,1,1),α2=(1,2,3,4,5),α3=(1,0,−3,−2,−3)\alpha_1 = (1, 1, 1, 1, 1), \alpha_2 = (1, 2, 3, 4, 5), \alpha_3 = (1, 0, -3, -2, -3)

    (1) 求方程组的通解。

    (2) α1+α2+α3\alpha_1 + \alpha_2 + \alpha_3 是否为方程组的解?

    (3) 13(α1+α2+α3)\dfrac 1 3 (\alpha_1 + \alpha_2 + \alpha_3) 是否为方程组的解?

    (1) 解:将三个解向量排成列向量矩阵并进行初等行变换:

    (11112013−314−215−3)→−(1)+(2),−(1)+(3),−(1)+(4),−(1)+(5)(11101−102−403−304−4)→−2(2)+(3),−3(2)+(4),−4(2)+(5)(11101−100−2000000) \begin {pmatrix} 1 & 1 & 1 \\ 1 & 2 & 0 \\ 1 & 3 & -3 \\ 1 & 4 & -2 \\ 1 & 5 & -3 \end {pmatrix} \quad \xrightarrow {-(1) + (2), -(1) + (3), -(1) + (4), -(1) + (5)} \quad \begin {pmatrix} 1 & 1 & 1 \\ 0 & 1 & -1 \\ 0 & 2 & -4 \\ 0 & 3 & -3 \\ 0 & 4 & -4 \end {pmatrix} \quad \xrightarrow {-2(2) + (3), -3(2) + (4), -4(2) + (5)} \quad \begin {pmatrix} 1 & 1 & 1 \\ 0 & 1 & -1 \\ 0 & 0 & -2 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end {pmatrix}

    由此可知向量组 α1,α2,α3\alpha_1, \alpha_2, \alpha_3 线性无关。又已知五元线性方程组的系数矩阵的秩为 33,若该方程组为齐次线性方程组,其解空间 WW 的维度 dim⁡W=5−3=2\dim W = 5 - 3 = 2,矛盾,因此该方程组为非齐次线性方程组,任意两个解的差构成对应齐次线性方程组的解,即 α2−α1,α3−α1\alpha_2 - \alpha_1, \alpha_3 - \alpha_1 构成一组基础解系:

    α2−α1=(01234)T,α3−α1=(0−1−4−3−4)T \alpha_2 - \alpha_1 = \begin {pmatrix} 0 & 1 & 2 & 3 & 4 \end {pmatrix}^T, \alpha_3 - \alpha_1 = \begin {pmatrix} 0 & -1 & -4 & -3 & -4 \end {pmatrix}^T

    方程组的通解可表示为:

    X=(11111)+t1(01234)+t2(0−1−4−3−4) X = \begin {pmatrix} 1 \\ 1 \\ 1 \\ 1 \\ 1 \end {pmatrix} + t_1 \begin {pmatrix} 0 \\ 1 \\ 2 \\ 3 \\ 4 \end {pmatrix} + t_2 \begin {pmatrix} 0 \\ -1 \\ -4 \\ -3 \\ -4 \end {pmatrix}

    (2) 解:由 (1)(1) 可知,方程组的通解可以写作:

    X=α1+t1(α2−α1)+t2(α3−α1)=(1−t1−t2)α1+t1α2+t2α3 X = \alpha_1 + t_1 (\alpha_2 - \alpha_1) + t_2 (\alpha_3 - \alpha_1) = (1 - t_1 - t_2) \alpha_1 + t_1 \alpha_2 + t_2 \alpha_3

    由此可列出方程组:

    {1−t1−t2=1t1=1t2=1 \begin {cases} 1 - t_1 - t_2 = 1 \\ t_1 = 1 \\ t_2 = 1 \end {cases}

    上述方程组无解,因此 α1+α2+α3\alpha_1 + \alpha_2 + \alpha_3 不是方程组的解。

    (3) 解:与 (2)(2) 同理可列出方程组:

    {1−t1−t2=13t1=13t2=13 \begin {cases} 1 - t_1 - t_2 = \frac 1 3 \\ t_1 = \frac 1 3 \\ t_2 = \frac 1 3 \end {cases}

    由此可解得方程组的唯一解:

    {t1=13t2=13 \begin {cases} t_1 = \frac 1 3 \\ t_2 = \frac 1 3 \end {cases}

    因此 13(α1+α2+α3)\dfrac 1 3 (\alpha_1 + \alpha_2 + \alpha_3) 是方程组的解。

  7. 设四元线性方程组系数矩阵的秩为 33,α1,α2,α3\alpha_1, \alpha_2, \alpha_3 是它的三个解向量,且

    3α1−2α2=(1,0,1,0),α3=(1,−2,−3,4).3 \alpha_1 - 2 \alpha_2 = (1, 0, 1, 0), \alpha_3 = (1, -2, -3, 4).

    求这个线性方程组的通解。

    解:由题,该线性方程组的解空间 WW 的维度 dim⁡W=4−3=1\dim W = 4 - 3 = 1,若该方程组为齐次线性方程组,则 α1,α2,α3\alpha_1, \alpha_2, \alpha_3 应线性相关,从而 3α1−2α2,α33 \alpha_1 - 2 \alpha_2, \alpha_3 应线性相关,显然 (1,0,1,0),(1,−2,−3,4)(1, 0, 1, 0), (1, -2, -3, 4) 线性无关,因此该线性方程组为非齐次线性方程组。因此 α1−α3,α2−α3\alpha_1 - \alpha_3, \alpha_2 - \alpha_3 为对应齐次线性方程组的解,于是 3(α1−α3)−2(α2−α3)=(3α1−2α2)−α3=(0,2,4,−4)3 (\alpha_1 - \alpha_3) - 2 (\alpha_2 - \alpha_3) = (3 \alpha_1 - 2 \alpha_2) - \alpha_3 = (0, 2, 4, -4) 构成一个基础解系,方程组通解可写为:

    X=(1−2−34)+t(024−4) X = \begin {pmatrix} 1 \\ -2 \\ -3 \\ 4 \end {pmatrix} + t \begin {pmatrix} 0 \\ 2 \\ 4 \\ -4 \end {pmatrix}

  8. 已知非齐次线性方程组

    {x1+x2+x3+x4=−14x1+3x2+5x3−x4=−1ax1+x2+3x3+bx4=1\begin {cases} x_1 + x_2 + x_3 + x_4 = -1 \\ 4 x_1 + 3 x_2 + 5 x_3 - x_4 = -1 \\ a x_1 + x_2 + 3 x_3 + b x_4 = 1 \end {cases}

    有三个线性无关的解向量,求 a,ba, b 的值及方程组的通解。

    解:由题,该方程的基础解系至少由两个解向量组成。又已知前两个方程线性无关,则第三个方程必定能由前两个方程线性表出。写出增广矩阵并进行初等行变换:

    (1111−1435−1−1a13b1)→−4(1)+(2),−a(1)+(3)(1111−10−11−5301−a3−ab−a1+a)→(1−a)(2)+(3)(1111−10−11−53004−2a4a+b−54−2a) \begin {pmatrix} 1 & 1 & 1 & 1 & -1 \\ 4 & 3 & 5 & -1 & -1 \\ a & 1 & 3 & b & 1 \end {pmatrix} \quad \xrightarrow {-4(1) + (2), -a(1) + (3)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 & -1 \\ 0 & -1 & 1 & -5 & 3 \\ 0 & 1 - a & 3 - a & b - a & 1 + a \end {pmatrix} \quad \xrightarrow {(1 - a) (2) + (3)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 & -1 \\ 0 & -1 & 1 & -5 & 3 \\ 0 & 0 & 4 - 2a & 4a + b - 5 & 4 - 2a \end {pmatrix}

    由此可得方程组:

    {4−2a=04a+b−5=0 \begin {cases} 4 - 2a = 0 \\ 4a + b - 5 = 0 \end {cases}

    解得:

    {a=2b=−3 \begin {cases} a = 2 \\ b = -3 \end {cases}

    代入上述矩阵,继续进行初等行变换:

    (1111−10−11−5300000)→−(2)(1111−101−15−300000)→−(2)+(1)(102−4201−15−300000) \begin {pmatrix} 1 & 1 & 1 & 1 & -1 \\ 0 & -1 & 1 & -5 & 3 \\ 0 & 0 & 0 & 0 & 0 \end {pmatrix} \quad \xrightarrow {-(2)} \quad \begin {pmatrix} 1 & 1 & 1 & 1 & -1 \\ 0 & 1 & -1 & 5 & -3 \\ 0 & 0 & 0 & 0 & 0 \end {pmatrix} \quad \xrightarrow {-(2) + (1)} \quad \begin {pmatrix} 1 & 0 & 2 & -4 & 2 \\ 0 & 1 & -1 & 5 & -3 \\ 0 & 0 & 0 & 0 & 0 \end {pmatrix}

    由此可得方程组的通解为:

    X=(2−300)+t1(−2110)+t2(4−501) X = \begin {pmatrix} 2 \\ -3 \\ 0 \\ 0 \end {pmatrix} + t_1 \begin {pmatrix} -2 \\ 1 \\ 1 \\ 0 \end {pmatrix} + t_2 \begin {pmatrix} 4 \\ -5 \\ 0 \\ 1 \end {pmatrix}

  9. 设 UU 是 C5\mathbb C^5 的子空间,U={(z1,z2,z3,z4,z5)∈C5∣6z1=z2,z3+2z4+3z5=0}U = \{ (z_1, z_2, z_3, z_4, z_5) \in \mathbb C^5 | 6 z_1 = z_2, z_3 + 2 z_4 + 3 z_5 = 0 \},求 UU 的维数及一组基,并将其扩充为 C5\mathbb C^5 的一组基。

    解:由题可得,UU 的维数 dim⁡U=3\dim U = 3,一组基为:

    (1,6,0,0,0),(0,0,−2,1,0),(0,0,−3,0,1) (1, 6, 0, 0, 0), (0, 0, -2, 1, 0), (0, 0, -3, 0, 1)

    扩充后的 C5\mathbb C^5 的一组基为:

    (1,6,0,0,0),(0,0,−2,1,0),(0,0,−3,0,1),(0,1,0,0,0),(0,0,1,0,0) (1, 6, 0, 0, 0), (0, 0, -2, 1, 0), (0, 0, -3, 0, 1), (0, 1, 0, 0, 0), (0, 0, 1, 0, 0)

  10. 已知 F5\mathbb F^5 中的向量 X1=(1,2,3,4,5),X2=(1,−1,1,−1,1),X3=(1,2,4,8,16)X_1 = (1, 2, 3, 4, 5), X_2 = (1, -1, 1, -1, 1), X_3 = (1, 2, 4, 8, 16),求一个齐次线性方程组,使 X1,X2,X3X_1, X_2, X_3 组成这个方程组的基础解系。

    解:设该方程组的第 ii 个方程为:

    ai,1x1+ai,2x2+ai,3x3+ai,4x4+ai,5x5=0 a_{i, 1} x_1 + a_{i, 2} x_2 + a_{i, 3} x_3 + a_{i, 4} x_4 + a_{i, 5} x_5 = 0

    将 X1,X2,X3X_1, X_2, X_3 依次代入得到方程组:

    {ai,1+2ai,2+3ai,3+4ai,4+5ai,5=0ai,1−ai,2+ai,3−ai,4+ai,5=0ai,1+2ai,2+4ai,3+8ai,4+16ai,5=0 \begin {cases} a_{i, 1} + 2 a_{i, 2} + 3 a_{i, 3} + 4 a_{i, 4} + 5 a_{i, 5} = 0 \\ a_{i, 1} - a_{i, 2} + a_{i, 3} - a_{i, 4} + a_{i, 5} = 0 \\ a_{i, 1} + 2 a_{i, 2} + 4 a_{i, 3} + 8 a_{i, 4} + 16 a_{i, 5} = 0 \end {cases}

    写出系数矩阵,并进行初等行变换:

    (123451−11−11124816)→−(1)+(2),−(1)+(3)(123450−3−2−5−4001411)→−13(2)(1234501235343001411)→−23(3)+(2),−3(3)+(1)(120−8−28010−1−6001411)→−2(2)+(1)(100−6−16010−1−6001411) \begin {pmatrix} 1 & 2 & 3 & 4 & 5 \\ 1 & -1 & 1 & -1 & 1 \\ 1 & 2 & 4 & 8 & 16 \end {pmatrix} \quad \xrightarrow {-(1) + (2), -(1) + (3)} \quad \begin {pmatrix} 1 & 2 & 3 & 4 & 5 \\ 0 & -3 & -2 & -5 & -4 \\ 0 & 0 & 1 & 4 & 11 \end {pmatrix} \quad \xrightarrow {- \frac 1 3 (2)} \quad \begin {pmatrix} 1 & 2 & 3 & 4 & 5 \\ 0 & 1 & \frac 2 3 & \frac 5 3 & \frac 4 3 \\ 0 & 0 & 1 & 4 & 11 \end {pmatrix} \quad \xrightarrow {- \frac 2 3 (3) + (2), -3(3) + (1)} \quad \begin {pmatrix} 1 & 2 & 0 & -8 & -28 \\ 0 & 1 & 0 & -1 & -6 \\ 0 & 0 & 1 & 4 & 11 \end {pmatrix} \quad \xrightarrow {-2(2) + (1)} \quad \begin {pmatrix} 1 & 0 & 0 & -6 & -16 \\ 0 & 1 & 0 & -1 & -6 \\ 0 & 0 & 1 & 4 & 11 \end {pmatrix}

    即方程组通解为:

    A=t1(61−410)+t2(166−1101) A = t_1 \begin {pmatrix} 6 \\ 1 \\ -4 \\ 1 \\ 0 \end {pmatrix} + t_2 \begin {pmatrix} 16 \\ 6 \\ -11 \\ 0 \\ 1 \end {pmatrix}

    由此可写出一个符合题意的齐次线性方程组:

    {6x1+x2−4x3+x4=016x1+6x2−11x3+x5=0 \begin {cases} 6 x_1 + x_2 - 4 x_3 + x_4 = 0 \\ 16 x_1 + 6 x_2 - 11 x_3 + x_5 = 0 \end {cases}