# 子集生成的子空间

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

  1. u,vWu+vW,u, v \in W \Rightarrow u + v \in W,
  2. uW,λFλuWu \in W, \lambda \in F \Rightarrow \lambda u \in W

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

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

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

α=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 下的 坐标

定理 11WWFnF^n 的子空间,设

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

则:

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

证明: (1) 先设 MMWW 的极大线性无关组,则 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) 两式相减得:

(x1y1)α1+(x2y2)α2++(xryr)α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 线性无关得

x1y1==xnyn=0x_1 - y_1 = \cdots = x_n - y_n = 0

从而 xi=yix_i = y_i1ir1 \le i \le r 成立,可见 (x1,,xr)Fr(x_1, \cdots, x_r) \in F^r α\alpha 唯一决定

这说明 MMWW 的基

再设 MMWW 的基。设 λ1,,λrF\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 的线性组合,因此 MMWW 的极大线性无关组。

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

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

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

证明:WW 的线性无关子集 SS 可以扩充为 WW 的一个极大线性无关组 MMMMWW 的基,含有 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 \},且 dimW0=kr=dimW\dim W_0 = k \le r = \dim W 显然成立。

显然 W0=WdimW0=dimWW_0 = W \Rightarrow \dim W_0 = \dim W.

而由 W0MW_0 \sub MdimW0=k=dimW=rM0=M,W0=W\dim W_0 = k = \dim W = r \Rightarrow M_0 = M, W_0 = W.

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

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

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

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

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

定义 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).

定理 44S1,S2,S3S_1, S_2, S_3FnF^n 的非空子集。求证:

  1. S2S_2S1S_1 的线性组合 \Leftrightarrow L(S2)L(S1)L(S_2) \subseteq L(S_1)

    S1S_1S2S_2 等价 \Leftrightarrow L(S2)=L(S1)L(S_2) = L(S_1)

  2. S0S_0S1S_1 的极大线性无关组,则 S0S_0L(S1)L(S_1) 的基。rankS1=dimL(S1)\mathrm {rank} \, S_1 = \dim L(S_1)

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

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

故,S1S_1S2S_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_0S1S_1 等价。因而 L(S0)=L(S1)L(S_0) = L(S_1)L(S1)L(S_1)S0S_0 的线性组合,并且 S0S_0 线性无关,因此 S0S_0L(S1)L(S_1) 的极大线性无关组,S0S_0L(S1)L(S_1) 的基。dimL(S1)=S0=rankS1\dim L(S_1) = |S_0| = \mathrm {rank} \, S_1,这里 S0|S_0| 表示 S0S_0 所含元素个数。

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

定理 55 数域 FFnn 元齐次线性方程组 AX=0AX = 0全体解向量 组成的集合 VAV_AFnF^n 的子空间。

证明:

X1,X2VA{AX1=0AX2=0{A(X1+X2)=0A(λX1)=λAX1=0{X1+X2VAλX1VAX_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_AFnF^n 的子空间。

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

定理 66 设数域 FFnn 元齐次线性方程组的系数矩阵为 AA,则它的 解空间的维数 dimVA=nrankA\dim V_A = n - \mathrm {rank} \, A

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

B=(00b1,j1b1,n0000b2,j2b2,n0000000br,jrbr,n000000000)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,1j1<j2<<jrnb_{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=rankB=rankAr = \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=0xjr+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+1b1,jnxjnxj2=b2,jr+1xjr+1b2,jnxjnxjr=br,jr+1xjr+1br,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)。这组解 XXnrn - r 元数组 (xjr+1,,xjn)(x_{j_{r + 1}}, \cdots, x_{j_n}) 唯一决定,可记为:

u=(xjr+1,,xjn)FnrX=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})

对每个 1inr1 \le i \le n - r,记 eie_iFnrF^{n - r} 中第 ii 分量为 11、其余分量为 00 的数组向量,则 {e1,,enr}\{ e_1, \cdots, e_{n - r} \}FnrF^{n - r} 的自然基。

u=(xjr+1,,xjn)=xjr+1e1++xjnenrX=f(u)=f(xjr+1e1++xjnenr)=xjr+1f(e1)++xjnf(enr)=xjr+1X1++xjnXnru = (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,,XnrX_1, \cdots, X_{n - r} 分别等于 f(e1),,f(enr)f(e_1), \cdots, f(e_{n - r}),是方程组的 nrn - r 个解,以下说明方程组所有的解 XX 都是这 nrn - r 个解的额线性组合。

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

X=(x1xn)T=f(xjr+1,,xjn)=(00)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,,XnrX_1, \cdots, X_{n - r} 线性无关,组成解空间 VAV_A 的一组基。这组基由 nrn - r 个向量组成,因此

dimVA=nr=nrankA\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)(105101101133)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=010x1+3x2+x4=011x1+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=b2am,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,2a1,nb1a2,1a2,2a2,nb2am,1am,2am,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,1am,1),α2=(a1,2a2,2am,2),,αn=(a1,na2,nam,n),β=(b1b2bm)\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 β\betaSS 的线性组合 \Leftrightarrow βL(S)\beta \in L(S) \Leftrightarrow L(S{β})=L(S)L(S \cup \{ \beta \}) = L(S) \Leftrightarrow dimL(S{β})=dimL(S)\dim L(S \cup \{ \beta \}) = \dim L(S)

SSAA 的列向量组 \Rightarrow dimL(S)=rankS=rankA\dim L(S) = \mathrm {rank} \, S = \mathrm {rank} \, A

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

因此 rankA=rankA~\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,,XnrX_1, \cdots, X_{n - r} 是对应的齐次线性方程组 (13)(13) 的一个基础解系,则非齐次线性方程组 (11)(11) 的通解为:

X=η+t1X1++tnrXnrX = \eta + t_1 X_1 + \cdots + t_{n - r} X_{n - r}

其中 t1,,tnrt_1, \cdots, t_{n - r}FF 中的任意常数。

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

α1=(1234)T,5α22α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 的维数 dimVA=4rankA=43=1\dim V_A = 4 - \mathrm {rank} \, A = 4 - 3 = 1。如果原方程组是齐次线性方程组,则 α1,5α22α3\alpha_1, 5 \alpha_2 - 2 \alpha_3 都是它的解,都在一维空间 VAV_A 中。

α1,5α22α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)=(1694)TX_1 = 5(\alpha_2 - \alpha_1) - 2(\alpha_3 - \alpha_1) = \begin {pmatrix} -1 & 6 & 9 & -4 \end {pmatrix}^T

因此,方程组的通解为

α1+tX1=(1234)+t(1694)\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) 解:按列向量排成矩阵并进行初等行变换:

    (6117404112901316124223)(1,3)(1290611740411316124223)6(1)+(2),4(1)+(3),(1)+(4),2(1)+(5)(1290011557084010525100403)811(2)+(3),511(2)+(4)(12900115570004511000241100403)(3,5)(12900115570040300045110002411)815(4)+(5)(12900115570040300045110000) \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) 解:按列向量排成矩阵并进行初等行变换:

    (103121301121725421406)(1)+(2),2(1)+(3),4(1)+(4)(10312033030110102242)(2,3)(10312011010330302242)3(2)+(3),2(2)+(4)(10312011010000000044)(3,4)(10312011010004400000) \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+α23α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) 解:写作列向量矩阵,并进行初等行变换:

    (1112151313)2(1)+(2),(1)+(3)(1110130412)4(2)+(3)(111013000) \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) 解:写作列向量矩阵,并进行初等行变换:

    (111194132)(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) 解:写作列向量矩阵,并进行初等行变换:

    (124111139)(1)+(2),(1)+(3)(124033015)13(2)+(3)(124033004) \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+4x4x_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+2x23x34x4=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(0043) 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)(1111013204121)4(2)+(3)(1111013200249)(2),124(3)(1111013200138)(3)+(1),3(3)+(2)(1101180107800138)(2)+(1)(100120107800138) \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=(127838)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=0x1x32x43x5=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+x44x5=0x12x2+3x34x4+2x5=0x1+3x25x3+7x44x5=0x1+2x2x3+4x46x5=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) 解:将方程组写作系数矩阵并进行初等行变换:

    (111111234510123)(1)+(2),(1)+(3)(111110123401234)(2)+(3)(111110123400000)(2)+(1)(101230123400000) \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}

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

    (12100)T,(23010)T,(34001)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(12100)+t2(23010)+t3(34001) 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) 解:写出方程组的系数矩阵并进行初等行变换:

    (11114123421357412146)(1)+(2),(1)+(3),(1)+(4)(11114032560448801232)(2,4)(11114012320448803256)4(2)+(3),3(2)+(4)(11114012320044000440)(3)+(4)(11114012320044000000)14(3)(11114012320011000000)(3)+(1),2(3)+(2)(11024010120011000000)(2)+(1)(10012010120011000000) \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}

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

    (11110)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(11110)+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) 解:将三个解向量排成列向量矩阵并进行初等行变换:

    (111120133142153)(1)+(2),(1)+(3),(1)+(4),(1)+(5)(111011024033044)2(2)+(3),3(2)+(4),4(2)+(5)(111011002000000) \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 的维度 dimW=53=2\dim W = 5 - 3 = 2,矛盾,因此该方程组为非齐次线性方程组,任意两个解的差构成对应齐次线性方程组的解,即 α2α1,α3α1\alpha_2 - \alpha_1, \alpha_3 - \alpha_1 构成一组基础解系:

    α2α1=(01234)T,α3α1=(01434)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(01434) 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)=(1t1t2)α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

    由此可列出方程组:

    {1t1t2=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) 同理可列出方程组:

    {1t1t2=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α12α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 的维度 dimW=43=1\dim W = 4 - 3 = 1,若该方程组为齐次线性方程组,则 α1,α2,α3\alpha_1, \alpha_2, \alpha_3 应线性相关,从而 3α12α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α12α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=(1234)+t(0244) 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+5x3x4=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 的值及方程组的通解。

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

    (1111143511a13b1)4(1)+(2),a(1)+(3)(111110115301a3aba1+a)(1a)(2)+(3)(11111011530042a4a+b542a) \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}

    由此可得方程组:

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

    解得:

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

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

    (111110115300000)(2)(111110115300000)(2)+(1)(102420115300000) \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=(2300)+t1(2110)+t2(4501) 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. UUC5\mathbb C^5 的子空间,U={(z1,z2,z3,z4,z5)C56z1=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 的维数 dimU=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,1ai,2+ai,3ai,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}

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

    (1234511111124816)(1)+(2),(1)+(3)(1234503254001411)13(2)(1234501235343001411)23(3)+(2),3(3)+(1)(12082801016001411)2(2)+(1)(10061601016001411) \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(61410)+t2(1661101) A = t_1 \begin {pmatrix} 6 \\ 1 \\ -4 \\ 1 \\ 0 \end {pmatrix} + t_2 \begin {pmatrix} 16 \\ 6 \\ -11 \\ 0 \\ 1 \end {pmatrix}

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

    {6x1+x24x3+x4=016x1+6x211x3+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}