1.5 Solution sets of linear systems (线性方程组的解集)

本文为《Linear algebra and its applications》的读书笔记

目录

• Homogeneous Linear Systems 齐次线性方程组
• Parametric Vector Form 参数向量形式
• Solutions of Nonhomogeneous Systems

This section uses vector notation to give explicit and geometric descriptions of solution sets of linear systems.

Homogeneous Linear Systems 齐次线性方程组

A system of linear equations is said to be homogeneous if it can be written in the form $A\boldsymbol x = \boldsymbol0$Ax=0, where $A$A is an $m \times n$m×n matrix and $\boldsymbol0$0 is the zero vector in $\mathbb{R^m}$Rm. Such a system $A\boldsymbol x = \boldsymbol0$Ax=0 always has at least one solution, namely, $\boldsymbol x = \boldsymbol0$x=0 (the zero vector in $\mathbb{R^n}$Rn. This zero solution is usually called the trivial solution (平凡解). For a given equation $A\boldsymbol x = \boldsymbol0$Ax=0; the important question is whether there exists a nontrivial solution (非平凡解), that is, a nonzero vector $\boldsymbol x$x that satisfies $A\boldsymbol x = \boldsymbol0$Ax=0: The Existence and Uniqueness Theorem in Section 1.2 leads immediately to the following fact.

The homogeneous equation $A\boldsymbol x = \boldsymbol0$Ax=0 has a nontrivial solution if and only if the equation has at least one free variable.

区别：
当$A$A 的每个列都是主元列时，$A\boldsymbol x = \boldsymbol0$Ax=0 或 $A\boldsymbol x = \boldsymbol b$Ax=b 有唯一解。
当$A$A 的每行都有主元时，$A\boldsymbol x = \boldsymbol b$Ax=b 对任意$\boldsymbol b$b 均有解

EXAMPLE 1
Determine if the following homogeneous system has a nontrivial solution. Then describe the solution set.

SOLUTION

As a vector, the general solution of $A\boldsymbol x = \boldsymbol0$Ax=0 has the form

This shows that every solution of $A\boldsymbol x = \boldsymbol0$Ax=0 in this case is a scalar multiple of $\boldsymbol v$v. The trivial solution is obtained by choosing $x_3 = 0$x3​=0: Geometrically, the solution set is a line through 0 in $\mathbb{R^3}$R3.

EXAMPLE 2
A single linear equation can be treated as a very simple system of equations. Describe all solutions of the homogeneous “system”
$10x_1-3x_2-2x_3=0\ \ \ \ \ \ \ (1)$10x1​−3x2​−2x3​=0       (1)
SOLUTION
The general solution is $x_1 = .3x_2 + .2x_3$x1​=.3x2​+.2x3​, with $x_2$x2​ and $x_3$x3​ free. As a vector, the general solution is

This calculation shows that every solution is a linear combination of the vectors $\boldsymbol u$u and $\boldsymbol v$v. That is, the solution set is Span{$\boldsymbol u,\boldsymbol v$u,v}. Since neither $\boldsymbol u$u nor $\boldsymbol v$v is a scalar multiple of the other, the solution set is a plane through the origin. See Figure 2.

Examples 1 and 2 illustrate the fact that the solution set of a homogeneous equation $A\boldsymbol x = \boldsymbol0$Ax=0 can always be expressed explicitly as Span{$\boldsymbol v_1,..., \boldsymbol v_p$v1​,...,vp​} for suitable vectors $\boldsymbol v_1,..., \boldsymbol v_p$v1​,...,vp​. If the only solution is the zero vector, then the solution set is Span{$\boldsymbol 0$0}. If the equation $A\boldsymbol x = \boldsymbol0$Ax=0 has only one free variable, the solution set is a line through the origin, as in Figure 1. A plane through the origin, as in Figure 2, provides a good mental image for the solution set of $A\boldsymbol x = \boldsymbol0$Ax=0 when there are two or more free variables.

Parametric Vector Form 参数向量形式

The original equation (1) for the plane in Example 2 is an $implicit$implicit description of the plane. Solving this equation amounts to finding an $explicit$explicit description of the plane as the set spanned by $\boldsymbol u$u and $\boldsymbol v$v. Equation (2) is called a parametric vector equation of the plane. Sometimes such an equation is written as
$\boldsymbol x = s\boldsymbol u+t\boldsymbol v\ \ \ (s,t\ in\ \mathbb{R})$x=su+tv   (s,t in R)In Example 1, the equation $\boldsymbol x = t \boldsymbol v$x=tv (with $t$t in $\mathbb R$R), is a parametric vector equation of a line.

Whenever a solution set is described explicitly with vectors as in Examples 1 and 2, we say that the solution is in parametric vector form.

通过将解写为参数向量形式，可以清楚的描述出解的几何分布情况 (直线、平面、点)

Solutions of Nonhomogeneous Systems

When a nonhomogeneous linear system has many solutions, the general solution can be written in parametric vector form as one vector plus an arbitrary linear combination of vectors that satisfy the corresponding homogeneous system. (非齐次线性方程组的通解可以表示为一个向量加上满足对应的齐次方程的一些向量的任意线性组合的形式)

EXAMPLE 3
Describe all solutions of $A\boldsymbol x = \boldsymbol b$Ax=b, where

SOLUTION
Here $A$A is the matrix of coefficients from Example 1.


The equation
$\boldsymbol x= \boldsymbol p+t \boldsymbol v\ \ \ \ (t\ in\ \mathbb{R})\ \ \ \ \ \ (3)$x=p+tv    (t in R)      (3)describes the solution set of $A\boldsymbol x = \boldsymbol b$Ax=b in parametric vector form. Recall from Example 1 that the solution set of $A\boldsymbol x = \boldsymbol 0$Ax=0 has the parametric vector equation
$\boldsymbol x= t \boldsymbol v\ \ \ \ (t\ in\ \mathbb{R})\ \ \ \ \ \ (4)$x=tv    (t in R)      (4)[with the same $\boldsymbol v$v]. Thus the solutions of $A\boldsymbol x = \boldsymbol b$Ax=b are obtained by adding the vector $\boldsymbol p$p to the solutions of $A\boldsymbol x = \boldsymbol 0$Ax=0. The vector $\boldsymbol p$p itself is just one particular solution of $A\boldsymbol x = \boldsymbol b$Ax=b [corresponding to $t = 0$t=0 in (3)].

To describe the solution set of $A\boldsymbol x = \boldsymbol b$Ax=b geometrically, we can think of vector addition as a $translation (平移)$translation(平移). Given $\boldsymbol v$v and $\boldsymbol p$p in $\mathbb{R^2}$R2 or $\mathbb{R^3}$R3, the effect of adding $\boldsymbol p$p to $\boldsymbol v$v is to move $\boldsymbol v$v in a direction parallel to the line through $\boldsymbol p$p and $\boldsymbol 0$0. We say that $\boldsymbol v$v is translated by $\boldsymbol p$p to $\boldsymbol v$v $+$+ $\boldsymbol p$p. See Figure 3.
If each point on a line $L$L in $\mathbb{R^2}$R2 or $\mathbb{R^3}$R3 is $translated$translated by a vector $\boldsymbol p$p, the result is a line parallel to $L$L. See Figure 4.

Suppose $L$L is the line through $\boldsymbol 0$0 and $\boldsymbol v$v, described by equation (4). Adding $\boldsymbol p$p to each point on $L$L produces the translated line described by equation (3). Note that $\boldsymbol p$p is on the line in equation (3). We call (3) the equation of the line through $\boldsymbol p$p parallel to $\boldsymbol v$v (通过$\boldsymbol p$p平行于$\boldsymbol v$v的直线方程). Thus the solution set of $A\boldsymbol x = \boldsymbol b$Ax=b is a line through $\boldsymbol p$p parallel to the solution set of $A\boldsymbol x = \boldsymbol 0$Ax=0. Figure 5 illustrates this case.

The relation between the solution sets of $A\boldsymbol x = \boldsymbol b$Ax=b and $A\boldsymbol x = \boldsymbol 0$Ax=0 shown in Figure 5 generalizes to any consistent equation $A\boldsymbol x = \boldsymbol b$Ax=b, although the solution set will be larger than a line when there are several free variables. The following theorem gives the precise statement.

$Warning$Warning: Theorem 6 and Figure 6 apply only to an equation $A\boldsymbol x = \boldsymbol b$Ax=b that has at least one nonzero solution $\boldsymbol p$p. When $A\boldsymbol x = \boldsymbol b$Ax=b has no solution, the solution set is empty.

PROOF
Suppose $\boldsymbol p$p satisfies $A\boldsymbol x = \boldsymbol b$Ax=b. Then $A\boldsymbol p = \boldsymbol b$Ap=b. Theorem 6 says that the solution set of $A\boldsymbol x = \boldsymbol b$Ax=b equals the set $S = \{\boldsymbol w : \boldsymbol w = \boldsymbol p +\boldsymbol v_h\ for\ some\ \boldsymbol v_h\ such\ that\ A\boldsymbol v_h = \boldsymbol 0\}$S={w:w=p+vh​ for some vh​ such that Avh​=0}. There are two things to prove: (a) every vector in $S$S satisfies $A\boldsymbol x = \boldsymbol b$Ax=b, (b) every vector that satisfies $A\boldsymbol x = \boldsymbol b$Ax=b is in S.

Theorem 6 says that if $A\boldsymbol x = \boldsymbol b$Ax=b has a solution, then the solution set is obtained by translating the solution set of $A\boldsymbol x = \boldsymbol 0$Ax=0, using any particular solution $\boldsymbol p$p of $A\boldsymbol x = \boldsymbol b$Ax=b for the translation. Figure 6 illustrates the case in which there are two free variables.

The number of free variables in $A\boldsymbol x = \boldsymbol b$Ax=b depends only on $A$A, not on $\boldsymbol b$b.

$Checkpoint$Checkpoint:
Let $A$A be a $2 \times 2$2×2 matrix. Answer True or False: If the solution set of $A\boldsymbol x = \boldsymbol 0$Ax=0 is a line through the origin in $\mathbb R^2$R2 and if $b \neq 0$b​=0, then the solution set of $A\boldsymbol x = \boldsymbol b$Ax=b is a line not through the origin
SOLUTION
False. The solution set could be empty. In this case, the solution set of $A\boldsymbol x = \boldsymbol b$Ax=b is not produced by translating the (nonempty) solution set of $A\boldsymbol x = \boldsymbol 0$Ax=0. See the Warning after Theorem 6.