n维向量⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ 运算线性表示{概念判定 线性相关⎧ ⎩ ⎨ ⎪ ⎪ 概念判定{充要条件充分条件 线性无关⎧ ⎩ ⎨ ⎪ ⎪ 概念判定{充要条件充分条件 极大无关组{概念求法
向量空间{概念向量空间的基
线性方程组{Ax=bAx=0 }⟹ 初等行变换 阶梯形⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ 有解判定{R(A)≠R(B)无解R(A)=R(B)有解 }解的结构总有解{R(A)=n仅有0解R(A)<n有非零解 }基础解系
例1.设α 1 =(2,5,1,3) T ;α 2 =(10,1,5,10) T ;α 3 =(4,1,−1,1) T ;满足3(α 1 −α)+2(α 2 +α)=5(α 3 +α),求α.
解:由3(α 1 −α)+2(α 2 +α)=5(α 3 +α),可得α=16 (3α 1 +2α 2 −5α 3 )而3α 1 =(6,15,3,9) T ;2α 2 =(20,2,10,20) T ;5α 3 =(20,5,−5,5) T ;α=16 (6,12,18,24) T ,∴α=(1,2,3,4) T .
例2.设三阶矩阵A=⎛ ⎝ ⎜ α2γ 2 3γ 3 ⎞ ⎠ ⎟ ,B=⎛ ⎝ ⎜ βγ 2 γ 3 ⎞ ⎠ ⎟ ,其中α,β,γ 2 ,γ 3 均为三维行向量.且|A|=18,|B|=2,求|A−B|.
解:|A−B|=∣ ∣ ∣ ∣ ∣ α−βγ 2 2γ 3 ∣ ∣ ∣ ∣ ∣ =∣ ∣ ∣ ∣ ∣ αγ 2 2γ 3 ∣ ∣ ∣ ∣ ∣ +∣ ∣ ∣ ∣ ∣ −βγ 2 2γ 3 ∣ ∣ ∣ ∣ ∣ =13 ∣ ∣ ∣ ∣ ∣ α2γ 2 3γ 3 ∣ ∣ ∣ ∣ ∣ −2∣ ∣ ∣ ∣ ∣ βγ 2 γ 3 ∣ ∣ ∣ ∣ ∣ =13 ×18−2×2=2
例3.设β,α 1 ,α 2 线性相关,β,α 2 ,α 3 线性无关,则正确的结论是( C )
A.α 1 ,α 2 ,α 3 线性相关;B.α 1 ,α 2 ,α 3 线性无关;C.α 1 可由β,α 2 ,α 3 线性表示;D.β可由α 1 ,α 2 线性表示
例4.讨论向量组α 1 =(1,1,1);α 2 =(0,2,5);α 3 =(1,3,6)的线性相关性.
设有x 1 ,x 2 ,x 3 使x 1 α 1 +x 2 α 2 +x 3 α 3 =0(x 1 +x 3 ,x 1 +2x 2 +3x 3 ,x 1 +5x 2 +6x 3 )=(0,0,0)
亦即⎧ ⎩ ⎨ ⎪ ⎪ x 1 +x 3 =0x 1 +2x 2 +3x 3 =0x 1 +5x 2 +6x 3 =0
解得x 1 =x 2 =−x 3 令x 3 =−1,x 1 =x 2 =1于是有不全为零的解.使α 1 +α 2 −α 3 =0所以,α 1 ,α 2 ,α 3 线性相关.
例5.设α 1 ,α 2 ,α 3 是向量组T的极大无关组,且β 1 =α 1 +α 2 +α 3 ;β 2 =α 1 +α 2 +2α 3 ;β 3 =α 1 +2α 2 +3α 3 ∈T证明:β 1 ,β 2 ,β 3 也是T的极大无关组.
证:首先证明向量组β 1 ,β 2 ,β 3 与α 1 ,α 2 ,α 3 等价.不妨设都是行向量的形式.记B=⎛ ⎝ ⎜ β 1 β 2 β 3 ⎞ ⎠ ⎟ ,A=⎛ ⎝ ⎜ α 1 α 2 α 3 ⎞ ⎠ ⎟ ,
因为⎧ ⎩ ⎨ ⎪ ⎪ α 1 +α 2 +α 3 =β 1 α 1 +α 2 +2α 3 =β 2 α 1 +2α 2 +3α 3 =β 3
即⎛ ⎝ ⎜ 111 112 123 ⎞ ⎠ ⎟ ⎛ ⎝ ⎜ α 1 α 2 α 3 ⎞ ⎠ ⎟ =⎛ ⎝ ⎜ β 1 β 2 β 3 ⎞ ⎠ ⎟ C=⎛ ⎝ ⎜ 111 112 123 ⎞ ⎠ ⎟ 显然C可逆,则上式为CA=B,从而A=C −1 B,所以α 1 ,α 2 ,α 3 可由β 1 ,β 2 ,β 3 线性表示,故β 1 ,β 2 ,β 3 与α 1 ,α 2 ,α 3 等价.再证β 1 ,β 2 ,β 3 线性无关,因为A=C −1 B,所以R(A)=R(C −1 B)=R(B),故β 1 ,β 2 ,β 3 线性无关,从而β 1 ,β 2 ,β 3 也是向量组T的极大无关组.
例6.设A=⎛ ⎝ ⎜ ⎜ ⎜ 10−21 011−2 1−20−2 −2110 ⎞ ⎠ ⎟ ⎟ ⎟ 求矩阵A的秩及A的列向量的极大无关组.
解:对矩阵A作初等行变换A=⎛ ⎝ ⎜ ⎜ ⎜ 10−21 011−2 −2−20−2 −2110 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 011−2 −2−220 −21−32 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 −2−24−4 −21−44 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 −2−210 −21−10 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 0010 −4−1−10 ⎞ ⎠ ⎟ ⎟ ⎟ R(A)=3,α 1 ,α 2 ,α 3 ;α 1 ,α 2 ,α 4 为列向量组的极大无关组.
例7.已知α 1 =⎛ ⎝ ⎜ ⎜ ⎜ 1402 ⎞ ⎠ ⎟ ⎟ ⎟ ,α 2 =⎛ ⎝ ⎜ ⎜ ⎜ 2713 ⎞ ⎠ ⎟ ⎟ ⎟ ,α 3 =⎛ ⎝ ⎜ ⎜ ⎜ 01−1a ⎞ ⎠ ⎟ ⎟ ⎟ ,β=⎛ ⎝ ⎜ ⎜ ⎜ 310b4 ⎞ ⎠ ⎟ ⎟ ⎟ ,问(1)a、b为何值时,β不能由α 1 ,α 2 ,α 3 线性表示;(2)a、b为何值时,β能由α 1 ,α 2 ,α 3 唯一线性表示,并写出表示式;(3)a、b为何值时,β能由α 1 ,α 2 ,α 3 线性表示,且表示法不唯一,并写出表示式.
解:讨论方程组x 1 α 1 +x 2 α 2 +x 3 α 3 =β(1)的解B=(α 1 ,α 2 ,α 3 ,β )=⎛ ⎝ ⎜ ⎜ ⎜ 1402 2713 01−1a 310b4 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 2−11−1 01−1a 3−2b−2 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 2−100 010a−1 3−2b−20 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 2100 0−1a−10 320b−2 ⎞ ⎠ ⎟ ⎟ ⎟
当b≠2时,R(α 1 ,α 2 ,α 3 )≠R(α 1 ,α 2 ,α 3 ,β)(1)式无解,即β不能由α 1 ,α 2 ,α 3 线性表示;b=2,a≠1时,R(α 1 ,α 2 ,α 3 )=R(α 1 ,α 2 ,α 3 ,β)=3(1)式有唯一解,此时B∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 2100 0−1a−10 3200 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 0010 −1200 ⎞ ⎠ ⎟ ⎟ ⎟ 故解为x 1 =−1,x 2 =2,x 3 =0当b=2,a=1时,R(α 1 ,α 2 ,α 3 )=R(α 1 ,α 2 ,α 3 ,β)=2<3,(1)式有多解.B∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 2100 0−100 3200 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 2−100 −1200 ⎞ ⎠ ⎟ ⎟ ⎟ x=k⎛ ⎝ ⎜ −211 ⎞ ⎠ ⎟ +⎛ ⎝ ⎜ −120 ⎞ ⎠ ⎟ ,k∈R于是β=(−2k−1)α 1 +(k+2)α 2 +kα 3 k为任意常数.
例8.验证α 1 =(1,−1,0) T ,α 2 =(2,1,3) T ,α 3 =(3,1,2) T 为R 3 的一个基,并把β 1 =(5,0,7) T ;β 2 =(−9,−8,−13) T 用这个基线性表示(或求β 1 ,β 2 在这组基下的坐标)
解:要证α 1 ,α 2 ,α 3 是R 3 的一组基,只需证α 1 ,α 2 ,α 3 线性无关即可,即只需证A∼E.若A经过行初等变换为E,即有p 1 ,p 2 ,⋯,p l 使p 1 p 2 ⋯p l A=E,则p 1 p 2 ⋯p l =A −1 .设β 1 =x 11 α 1 +x 21 α 2 +x 31 α 3 ,β 2 =x 12 α 1 +x 22 α 2 +x 32 α 3 ,即(β 1 ,β 2 )=(α 1 ,α 2 ,α 3 )⎛ ⎝ ⎜ x 11 x 21 x 31 x 12 x 22 x 32 ⎞ ⎠ ⎟ 记作B=AX,则A −1 B=X即p 1 p 2 ⋯p l B=X,于是有p 1 p 2 ⋯p l (A|B)= 初等行变换 (E|X)当A变成E时,α 1 ,α 2 ,α 3 为R 3 的一个基,且当A变成E时,B变成X=A −1 B,所以⎛ ⎝ ⎜ 1−10 213 312 507 −9−8−13 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 233 342 557 −9−17−13 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 230 34−2 552 −9−174 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 230 341 55−1 −9−17−2 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 230 001 89−1 −3−9−2 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 210 001 83−1 −3−3−2 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 010 001 23−1 3−3−2 ⎞ ⎠ ⎟ 所以A∼E,故α 1 ,α 2 ,α 3 是R 3 的一个基,且β 1 =2α 1 +3α 2 −α 3 ,β 2 =3α 1 −3α 2 −2α 3 .
例9.设α 1 ,α 2 ,⋯,α n 是一组n维向量,已知n维单位向量坐标向量e 1 ,e 2 ,⋯,e n 能由它们线性表示,证明:α 1 ,α 2 ,⋯,α n 线性无关.
证:因为e 1 ,e 2 ,⋯,e n 能由α 1 ,α 2 ,⋯,α n 线性表示,而任意n维向量都能由n维向量组e 1 ,e 2 ,⋯,e n 线性表示,所以向量组α 1 ,α 2 ,⋯,α n 能由e 1 ,e 2 ,⋯,e n 线性表示,因此它们等价.又因为e 1 ,e 2 ,⋯,e n 的秩为n,所以α 1 ,α 2 ,⋯,α n 的秩亦为n.故α 1 ,α 2 ,⋯,α n 线性无关.
例10.设α 1 ,α 2 ,⋯,α n 是一组n维向量,证明它们线性无关的充分必要条件是:任一n维向量都可由它们线性表示.
证:必要性:由α 1 ,α 2 ,⋯,α n 线性无关,对于任意n维向量α,都有α 1 ,α 2 ,⋯,α n ,α线性相关,所以任意向量α都可由向量组α 1 ,α 2 ,⋯,α n 线性表示;充分性:由任意n维向量都可由向量组α 1 ,α 2 ,⋯,α n 线性表示,所以单位坐标向量组e 1 ,e 2 ,⋯,e n 可由α 1 ,α 2 ,⋯,α n 线性表示,由例9可知α 1 ,α 2 ,⋯,α n 线性无关.
例11.求齐次线性方程组的基础解系.
⎧ ⎩ ⎨ ⎪ ⎪ x 1 −8x 2 +10x 3 +2x 4 =02x 1 +4x 2 +5x 3 −x 4 =03x 1 +8x 2 +6x 3 −2x 4 =0
解:对系数矩阵A作行初等变换:A=⎛ ⎝ ⎜ 123 −848 1056 2−1−2 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 −82032 10−15−24 2−5−8 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 −844 10−3−3 2−1−1 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 040 4−30 0−10 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 010 4−34 0 0−14 0 ⎞ ⎠ ⎟
同解方程组:{x 1 =−4x 3 x 2 =34 x 3 +14 x 4
取x 3 ,x 4 为自由未知量,令x 3 =k 1 ,x 4 =k 2 ,(k 1 ,k 2 ∈R)
⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ x 1 =−4k 1 x 2 =34 k 1 +14 k 2 x 3 =k 1 x 4 =k 2
矩阵表示⎛ ⎝ ⎜ ⎜ ⎜ x 1 x 2 x 3 x 4 ⎞ ⎠ ⎟ ⎟ ⎟ =k 1 ⎛ ⎝ ⎜ ⎜ ⎜ ⎜ −434 10 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ +k 2 ⎛ ⎝ ⎜ ⎜ ⎜ ⎜ 014 01 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ,(k 1 ,k 2 ∈R)得齐次线性方程组的基础解系为:ξ 1 =(−4,34 ,1,0) T ,ξ 2 =(0,14 ,0,1) T
例12.设四元非齐次线性方程组的系数矩阵的秩为3,已知η 1 ,η 2 ,η 3 是它的三个解向量,且η 1 =⎛ ⎝ ⎜ ⎜ ⎜ 2345 ⎞ ⎠ ⎟ ⎟ ⎟ ,η 2 +η 3 =⎛ ⎝ ⎜ ⎜ ⎜ 1234 ⎞ ⎠ ⎟ ⎟ ⎟ ,求该方程组的通解.
解:由系数矩阵的秩为3,所以基础解系只含有一个解向量,又因为两个非齐次线性方程组的解的差为对应齐次线性方程组的解;两个非其次线性方程组解的和的12 仍然是它的解,所以η 2 +η 3 2 =⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ 12 132 2 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ 为非齐次线性方程组的解,而η 1 为一个特解,所以ξ=η 1 −η 2 +η 3 2 =(32 2 52 3 ) T 为对应齐次线性方程组的一个基础解系,非齐次线性方程组的通解为X=kξ+η 1 =k⎛ ⎝ ⎜ ⎜ ⎜ ⎜ 32 252 3 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ +⎛ ⎝ ⎜ ⎜ ⎜ 2345 ⎞ ⎠ ⎟ ⎟ ⎟ ,(k∈R)