线性代数中的线性方程组
1.3 向量方程
线性方程组的重要性质都可用向量概念与符号来描述。
R 2 \mathbb{R}^2 R2中的向量
仅含一列的矩阵称为列向量,或简称向量.包含两个元素的向量如下所示.
u
=
[
3
−
1
]
,
v
=
[
0.2
0.3
]
,
w
=
[
w
1
w
2
]
u=\begin{bmatrix} 3 \\ -1 \\ \end{bmatrix},v=\begin{bmatrix} 0.2 \\ 0.3 \\ \end{bmatrix},w=\begin{bmatrix} w_1 \\ w_2 \\ \end{bmatrix}
u=[3−1],v=[0.20.3],w=[w1w2]
其中
w
1
w_1
w1和
w
2
w_2
w2是任意实数.所有两个元素的向量的集记为
R
2
\mathbb{R}^2
R2,
R
\mathbb{R}
R表示向量中的元素是实数,而指数2表示每个向量包含两个元素.
R
2
\mathbb{R}^2
R2中两个向量相等当且仅当其对应元素相等.因此,
[
4
7
]
\begin{bmatrix} 4\\ 7 \\ \end{bmatrix}
[47]和
[
7
4
]
\begin{bmatrix} 7\\ 4 \\ \end{bmatrix}
[74]是不相等的,因为
R
2
\mathbb{R}^2
R2中的向量是实数的有序对.
给定
R
2
\mathbb{R}^2
R2中两个向量
u
u
u和
v
v
v,它们的和
u
+
v
u+v
u+v是把
u
u
u和
v
v
v对应元素相加所得的向量.例如,
[
1
−
2
]
+
[
2
5
]
=
[
1
+
2
−
2
+
5
]
=
[
3
3
]
\begin{bmatrix} 1\\ -2 \\ \end{bmatrix} + \begin{bmatrix} 2\\ 5 \\ \end{bmatrix} = \begin{bmatrix} 1+2\\ -2+5 \\ \end{bmatrix} = \begin{bmatrix} 3\\ 3 \\ \end{bmatrix}
[1−2]+[25]=[1+2−2+5]=[33]
给定向量
u
u
u和实数
c
c
c,
u
u
u与
c
c
c的标量乘法(或数乘)是把
u
u
u的每个元素乘以
c
c
c,所得向量记为
c
u
cu
cu.例如:
若
u
=
[
3
−
1
]
,
c
=
5
,
u=\begin{bmatrix} 3\\ -1 \\ \end{bmatrix},c=5,
u=[3−1],c=5,则
c
u
=
5
[
3
−
1
]
=
[
15
−
5
]
cu=5\begin{bmatrix} 3\\ -1 \\ \end{bmatrix}=\begin{bmatrix} 15\\ -5 \\ \end{bmatrix}
cu=5[3−1]=[15−5]
c
u
cu
cu中的数
c
c
c称为标量(或数).
向量加法与标量乘法也可以组合起来,如下例所示.
例1 给定
u
=
[
1
−
2
]
u=\begin{bmatrix} 1\\ -2 \\ \end{bmatrix}
u=[1−2]和
v
=
[
2
−
5
]
v=\begin{bmatrix} 2\\ -5 \\ \end{bmatrix}
v=[2−5],求
4
u
4u
4u,
(
−
3
)
v
(-3)v
(−3)v以及
4
u
+
(
−
3
)
v
4u+(-3)v
4u+(−3)v
4
u
=
[
4
−
8
]
,
(
−
3
)
v
=
[
−
6
15
]
,
4
u
+
(
−
3
)
v
=
[
4
−
8
]
+
[
−
6
15
]
=
[
−
2
7
]
4u=\begin{bmatrix} 4\\ -8 \\ \end{bmatrix},(-3)v=\begin{bmatrix} -6\\ 15 \\ \end{bmatrix},4u+(-3)v=\begin{bmatrix} 4\\ -8 \\ \end{bmatrix} + \begin{bmatrix} -6\\ 15 \\ \end{bmatrix} = \begin{bmatrix} -2\\ 7 \\ \end{bmatrix}
4u=[4−8],(−3)v=[−615],4u+(−3)v=[4−8]+[−615]=[−27]
有时为了方便,将向量
[
3
−
1
]
\begin{bmatrix} 3\\ -1 \\ \end{bmatrix}
[3−1]写成
(
3
,
−
1
)
(3,-1)
(3,−1)的形式.这时,用圆括弧表示向量,并在两个元素之间加上逗号,以便区别向量
(
3
,
−
1
)
(3,-1)
(3,−1)与
1
×
2
1\times 2
1×2行矩阵
[
3
−
1
]
[3\quad -1]
[3−1],后者使用方括号且两个元素之间无逗号.于是
[
3
−
1
]
≠
[
3
−
1
]
\begin{bmatrix} 3\\ -1 \\ \end{bmatrix} \neq [3\quad -1]
[3−1]=[3−1]因为这两个矩阵的维数不同,尽管它们有相同的元素.
R 2 \mathbb{R}^2 R2的几何表示
考虑平面上的直角坐标系.因为平面上每个点由实数的有序对确定,所以可把几何点
(
a
,
b
)
(a,b)
(a,b)与列向量
[
a
b
]
\begin{bmatrix} a\\ b \\ \end{bmatrix}
[ab]等同.因此可以把
R
2
\mathbb{R}^2
R2看作平面上所有点的集合.
向量
[
3
−
1
]
\begin{bmatrix} 3\\ -1 \\ \end{bmatrix}
[3−1]的几何表示是一条由原点
(
0
,
0
)
(0,0)
(0,0)指向点
(
3
,
−
1
)
(3,-1)
(3,−1)的有向线段.
向量加法的平行四边形法则
若 R 2 \mathbb{R}^2 R2中向量 u u u和 v v v用平面上的点表示,则 u + v u+v u+v对应于以 u , 0 u,0 u,0和 v v v为三个顶点的平行四边形的第4个顶点.
R 3 \mathbb{R}^3 R3中的向量
R 3 \mathbb{R}^3 R3中的向量是 3 × 1 3\times 1 3×1列矩阵,有3个元素.它们表示三维坐标空间中的点,或起点为原点的箭头.
R n \mathbb{R}^n Rn中的向量
若
n
n
n是正整数,则
R
n
\mathbb{R}^n
Rn表示所有
n
n
n个实数数列(或有序
n
n
n元组)的集合,通常写成
n
×
1
n\times 1
n×1列矩阵的形式,如:
u
=
[
u
1
u
2
⋮
u
n
]
u=\begin{bmatrix} u_1\\ u_2 \\ \vdots\\ u_n \end{bmatrix}
u=
u1u2⋮un
所有元素都是零的向量称为零向量,用0表示(0中元素的个数可由上下文确定).
R
n
\mathbb{R}^n
Rn中向量相等以及向量加法与标量乘法运算类似于
R
2
\mathbb{R}^2
R2中的定义.向量运算有下列性质,它们可直接由实数的相应性质证明.
R n \mathbb{R}^n Rn中向量的代数性质
对 R n \mathbb{R}^n Rn中一切向量 u , v , w u,v,w u,v,w以及标量 c c c和 d d d:
(Ⅰ) u + v = v + u u+v=v+u u+v=v+u
(Ⅱ) ( u + v ) + w = u + ( v + w ) (u+v)+w=u+(v+w) (u+v)+w=u+(v+w)
(Ⅲ) u + 0 = 0 + u = u u+0=0+u=u u+0=0+u=u
(Ⅳ) u + ( − u ) = − u + u = 0 u+(-u)=-u+u=0 u+(−u)=−u+u=0
(Ⅴ) c ( u + v ) = c u + c v c(u+v)=cu+cv c(u+v)=cu+cv
(Ⅵ) ( c + d ) u = c u + d u (c+d)u=cu+du (c+d)u=cu+du
(Ⅶ) c ( d u ) = ( c d ) u c(du)=(cd)u c(du)=(cd)u
(Ⅷ) 1 u = u 1u=u 1u=u
线性组合
给定
R
n
\mathbb{R}^n
Rn中的向量
v
1
,
v
2
,
⋯
,
v
p
v_1,v_2,\cdots,v_p
v1,v2,⋯,vp和标量
c
1
,
c
2
,
⋯
,
c
p
c_1,c_2,\cdots,c_p
c1,c2,⋯,cp,向量:
y
=
c
1
v
1
+
⋯
+
c
p
v
p
y=c_1v_1+\cdots +c_pv_p
y=c1v1+⋯+cpvp
称为向量
v
1
,
v
2
,
⋯
,
v
p
v_1,v_2,\cdots,v_p
v1,v2,⋯,vp以
c
1
,
c
2
,
⋯
,
c
p
c_1,c_2,\cdots,c_p
c1,c2,⋯,cp为权的线性组合.线性组合中的权可为任意实数,包括零.
例2 设
a
1
=
[
1
−
2
−
5
]
,
a
2
=
[
2
5
6
]
,
b
=
[
7
4
−
3
]
a_1=\begin{bmatrix} 1\\ -2 \\ -5 \\ \end{bmatrix},a_2=\begin{bmatrix} 2\\ 5 \\ 6 \\ \end{bmatrix},b=\begin{bmatrix} 7\\ 4 \\ -3 \\ \end{bmatrix}
a1=
1−2−5
,a2=
256
,b=
74−3
,确定
b
b
b能否写成
a
1
a_1
a1和
a
2
a_2
a2的线性组合,也就是说,确定是否存在权
x
1
x_1
x1和
x
2
x_2
x2使
x
1
a
1
+
x
2
a
2
=
b
(1)
x_1a_1+x_2a_2=b \tag{1}
x1a1+x2a2=b(1)
若向量方程(1)有解,求它的解.
根据向量加法和标量乘法的定义有以下向量方程:
x
1
[
1
−
2
−
5
]
+
x
2
[
2
5
6
]
=
[
7
4
−
3
]
x_1\begin{bmatrix} 1 \\ -2 \\ -5 \end{bmatrix} + x_2\begin{bmatrix} 2 \\ 5 \\ 6 \end{bmatrix} = \begin{bmatrix} 7 \\ 4 \\ -3 \end{bmatrix}
x1
1−2−5
+x2
256
=
74−3
写成
[
x
1
+
2
x
2
−
2
x
1
+
5
x
2
−
5
x
1
+
6
x
2
]
=
[
7
4
−
3
]
(2)
\begin{bmatrix} x_1+2x_2 \\ -2x_1+5x_2 \\ -5x_1+6x_2 \end{bmatrix} = \begin{bmatrix} 7 \\ 4 \\ -3 \end{bmatrix} \tag{2}
x1+2x2−2x1+5x2−5x1+6x2
=
74−3
(2)
(2)式左右两边的向量相等当且仅当它们的对应元素相等.即
x
1
x_1
x1和
x
2
x_2
x2满足向量方程(1)当且仅当
x
1
x_1
x1和
x
2
x_2
x2满足方程组
{
x
1
+
2
x
2
=
7
−
2
x
1
+
5
x
2
=
4
−
5
x
1
+
6
x
2
=
−
3
(3)
\left \{ \begin{array}{c} x_1+2x_2=7 \\ \tag{3} -2x_1+5x_2=4 \\ -5x_1+6x_2=-3 \end{array} \right.
⎩
⎨
⎧x1+2x2=7−2x1+5x2=4−5x1+6x2=−3(3)
可以用行化简算法将上述线性方程组的增广矩阵化简:
[
1
2
7
−
2
5
4
−
5
6
−
3
]
∽
[
1
2
7
0
9
18
0
16
32
]
∽
[
1
0
3
0
1
2
0
0
0
]
\begin{bmatrix} 1&2&7 \\ -2&5&4\\ -5&6&-3 \end{bmatrix} \backsim \begin{bmatrix} 1&2&7 \\ 0&9&18\\ 0&16&32 \end{bmatrix} \backsim \begin{bmatrix} 1&0&3 \\ 0&1&2\\ 0&0&0 \end{bmatrix}
1−2−525674−3
∽
100291671832
∽
100010320
(3)的解是
x
1
=
3
,
x
2
=
2
x_1=3,x_2=2
x1=3,x2=2,因此
b
b
b是
a
1
a_1
a1与
a
2
a_2
a2的线性组合,权为
x
1
=
3
x_1=3
x1=3和
x
2
=
2
x_2=2
x2=2,即
3
[
1
−
2
−
5
]
+
2
[
2
5
6
]
=
[
7
4
−
3
]
3\begin{bmatrix} 1 \\ -2 \\ -5 \end{bmatrix} + 2\begin{bmatrix} 2 \\ 5 \\ 6 \end{bmatrix} = \begin{bmatrix} 7 \\ 4 \\ -3 \end{bmatrix}
3
1−2−5
+2
256
=
74−3
可以将向量
a
1
a_1
a1,
a
2
a_2
a2和
b
b
b进行行化简的增广矩阵列:
[
1
2
7
−
2
5
4
−
5
6
−
3
]
\begin{bmatrix} 1&2&7 \\ -2&5&4\\ -5&6&-3 \end{bmatrix}
1−2−525674−3
为简洁起见,可以将此矩阵写成另外一种形式即:
[
a
1
a
2
b
]
(4)
\begin{bmatrix} a_1&a_2&b \end{bmatrix} \tag{4}
[a1a2b](4)
这样,由向量方程(1)可以直接写出增广矩阵而不必经过中间步骤.按照在(1)中出现的次序排列,就得到矩阵(4).
由上述讨论可以得到以下结论.
向量方程
x 1 a 1 + x 2 a 2 + ⋯ + x n a n = b x_1a_1+x_2a_2+\cdots +x_na_n=b x1a1+x2a2+⋯+xnan=b
和增广矩阵为
[ a 1 a 2 ⋯ a n b ] (5) \begin{bmatrix} a_1&a_2&\cdots &a_n&b \end{bmatrix} \tag{5} [a1a2⋯anb](5)
的线性方程组有相同的解集.特别地, b b b可表示为 a 1 , a 2 , ⋯ a n a_1,a_2,\cdots a_n a1,a2,⋯an的线性组合当且仅当对应于(5)式的线性方程组有解.
线性代数的一个主要思想是研究可以表示为某一固定向量集合 { v 1 , v 2 , ⋯ , v p } \lbrace v_1,v_2,\cdots,v_p \rbrace {v1,v2,⋯,vp}的线性组合的所有向量.
定义 若 v 1 , v 2 , ⋯ , v p v_1,v_2,\cdots,v_p v1,v2,⋯,vp是 R n \mathbb{R}^n Rn中的向量,则 v 1 , v 2 , ⋯ , v p v_1,v_2,\cdots,v_p v1,v2,⋯,vp的所有线性组合所成的集合用记号 S p a n { v 1 , v 2 , ⋯ , v p } Span\lbrace v_1,v_2,\cdots,v_p \rbrace Span{v1,v2,⋯,vp}表示,称为由 v 1 , v 2 , ⋯ , v p v_1,v_2,\cdots,v_p v1,v2,⋯,vp所生成(或张成)的 R n \mathbb{R}^n Rn的子集.
S p a n { v 1 , v 2 , ⋯ , v p } Span\lbrace v_1,v_2,\cdots,v_p \rbrace Span{v1,v2,⋯,vp}是有所形如
c 1 v 1 + c 2 v 2 + ⋯ + c p v p c_1v_1+c_2v_2+\cdots +c_pv_p c1v1+c2v2+⋯+cpvp
的向量的集合,其中 c 1 , c 2 , ⋯ , c p c_1,c_2,\cdots,c_p c1,c2,⋯,cp为标量.
要判断向量
b
b
b是否属于
S
p
a
n
{
v
1
,
v
2
,
⋯
,
v
p
}
Span\lbrace v_1,v_2,\cdots,v_p \rbrace
Span{v1,v2,⋯,vp},就是判断向量方程
x
1
v
1
+
x
2
v
2
+
⋯
+
x
p
v
p
=
b
x_1v_1+x_2v_2+\cdots +x_pv_p=b
x1v1+x2v2+⋯+xpvp=b
是否有解,或等价地,判断增广矩阵为
[
v
1
v
2
⋯
v
p
b
]
\begin{bmatrix} v_1&v_2&\cdots &v_p&b \end{bmatrix}
[v1v2⋯vpb]的线性方程组是否有解.
注意
S
p
a
n
{
v
1
,
v
2
,
⋯
,
v
p
}
Span\lbrace v_1,v_2,\cdots,v_p \rbrace
Span{v1,v2,⋯,vp}包含
v
1
v_1
v1的所有倍数,这是因为
c
v
1
=
c
v
1
+
0
v
2
+
⋯
0
v
p
cv_1=cv_1+0v_2+\cdots 0v_p
cv1=cv1+0v2+⋯0vp.特别地,它一定包含零向量.
S p a n { v } Span\lbrace v\rbrace Span{v}与 S p a n { u , v } Span\lbrace u,v\rbrace Span{u,v}的几何解释
设
v
v
v是
R
3
\mathbb{R}^3
R3中的向量,那么
S
p
a
n
{
v
}
Span\lbrace v\rbrace
Span{v}就是
v
v
v的所有标量倍数的集合,也就是
R
3
\mathbb{R}^3
R3中通过
v
v
v和
0
0
0的直线上所有点的集合.
若
u
u
u和
v
v
v是
R
3
\mathbb{R}^3
R3中的非零向量,
v
v
v不是
u
u
u的倍数,则
S
p
a
n
{
u
,
v
}
Span\lbrace u,v\rbrace
Span{u,v}是
R
3
\mathbb{R}^3
R3中包含
u
,
v
u,v
u,v和
0
0
0的平面.特别地,
S
p
a
n
{
u
,
v
}
Span\lbrace u,v\rbrace
Span{u,v}包含
R
3
\mathbb{R}^3
R3中通过
u
u
u和
0
0
0的直线,也包含通过
v
v
v与
0
0
0的直线.
例3 设
a
1
=
[
1
−
2
3
]
,
a
2
=
[
5
−
13
−
3
]
,
b
=
[
−
3
8
1
]
a_1=\begin{bmatrix} 1\\ -2 \\ 3 \\ \end{bmatrix},a_2=\begin{bmatrix} 5 \\ -13 \\ -3 \\ \end{bmatrix},b=\begin{bmatrix} -3 \\ 8 \\ 1 \\ \end{bmatrix}
a1=
1−23
,a2=
5−13−3
,b=
−381
,则
S
p
a
n
{
a
1
,
a
2
}
Span\lbrace a_1,a_2\rbrace
Span{a1,a2}是
R
3
\mathbb{R}^3
R3中通过原点的一个平面,问
b
b
b是否在该平面内?
方程
x
1
a
1
+
x
2
a
2
=
b
x_1a_1+x_2a_2=b
x1a1+x2a2=b是否有解,把增广矩阵
[
a
1
a
2
b
]
\begin{bmatrix} a_1&a_2&b \end{bmatrix}
[a1a2b]进行化简:
[
1
5
−
3
−
2
−
13
8
3
−
3
1
]
∽
[
1
5
−
3
0
−
3
2
0
−
18
10
]
∽
[
1
5
−
3
0
−
3
2
0
0
−
2
]
\begin{bmatrix} 1&5&-3 \\ -2&-13&8 \\ 3&-3&1 \end{bmatrix} \backsim \begin{bmatrix} 1&5&-3 \\ 0&-3&2 \\ 0&-18&10 \end{bmatrix} \backsim \begin{bmatrix} 1&5&-3 \\ 0&-3&2 \\ 0&0&-2 \end{bmatrix}
1−235−13−3−381
∽
1005−3−18−3210
∽
1005−30−32−2
第3个方程为
0
=
−
2
0=-2
0=−2,说明方程组无解.向量方程
x
1
a
1
+
x
2
a
2
=
b
x_1a_1+x_2a_2=b
x1a1+x2a2=b无解,故
b
b
b不属于
S
p
a
n
{
a
1
,
a
2
}
Span\lbrace a_1,a_2\rbrace
Span{a1,a2}.