北邮矩阵论 2. 第二讲 线性子空间
02 线性子空间hg

第二讲 线性子空间[回顾] 集合,定义运算,线性空间子集,线性空间? 子集的交,并,和, 线性空间?一、线性子空间的定义及其性质1. 定义:设W 是数域F 上的线性空间V 的一个非空子集合,且对V 已有的线性运算(加法和数乘)也构成线性空间,则称V 1是V 的一个线性子空间或子空间。
例 平凡子空间{0},V非平凡子空间2.判别方法非空子集W 是V 的线性子空间W 对V 的线性运算封闭。
证明:只需验证八条。
例 n n R ×中取集合{}1|,n n T W A A R A A ×=∈=;{}2|,||n n W B B R B ×=∈≠0;讨论Wi 是否为n n R ×的子空间。
Remark1 线性子空间V 1与线性空间V 享有共同的零元素; Remark2 线性子空间本身就是线性空间。
3.重要的线性子空间介绍★ 生成子空间:设{为V 中的一组向量,它们的所有线性组合的集合}12,,...,m ααα1|,1,2m i i i i k k F i m α=⎧⎫⎪⎪⎪⎪∈=⎨⎬⎪⎪⎪⎪⎩⎭∑也是V 的线性子空间(证明?),称为由生(张)成的子空间记为L ()或者Span ()。
1,......,m αα1,......,α1,......,m ααm α若线性无关,则1,......,m ααdim{L()}=m 。
1,......,m αα★与矩阵相关的子空间(零空间,列空间)对矩阵A ∈F m ×n ,定义A 的零空间:N (A )={X : A X =0}⊆F n ,A 的列空间:R (A )= L {A 1,A 2,···,A n }⊆F m ,A i 为A 的第i 列,由m 个分量的向量。
二、子空间的交与和1.定义:设W 1、W 2是线性空间V 的两个子空间,则{}1212|,W W W W ααα=∈∈∩{}12121122|,W W W W ααααα+==+∈∈分别称为W 1和W 2的交与和。
线性空间的子空间分析

线性空间的子空间分析对于线性代数领域来说,线性空间的子空间是一个重要的概念。
在本文中,我们将深入讨论线性空间的子空间,并分析它的特性以及与原始空间的关系。
一、子空间的定义与性质子空间是指在给定的线性空间中,满足线性组合封闭性质的一个非空集合。
具体而言,对于一个线性空间V,若W是V的一个子集,同时W也是一个线性空间,那么称W为V的子空间。
子空间的定义要求满足以下条件:1. 子空间必须包含零向量。
2. 子空间中的任意两个向量的线性组合仍然属于该子空间。
3. 子空间在对应线性空间中,也是线性无关的。
子空间的这些性质可以让我们更加深入地研究和理解线性空间的结构。
二、子空间与原始空间的关系子空间与原始空间之间存在着一种包含关系。
换句话说,子空间是原始空间的一个子集。
这是因为子空间满足了线性空间的所有特性,同时也满足了原始空间的条件。
我们可以通过一个例子来说明子空间与原始空间的关系。
假设有一个二维平面上的线性空间V,其中所有的二维向量都属于V。
如果我们选取平面上的一条直线L,那么L上的所有向量组成的集合就是V的一个子空间。
这个子空间与原始空间V之间存在着一一对应的关系。
三、子空间的维数和基底的选择与线性空间类似,子空间也可以有维数的概念。
子空间的维数是指子空间的一个最大线性无关向量组中所包含的向量个数。
维数的选择对于描述子空间的特性非常重要。
为了找到子空间的维数,我们可以选择一个合适的基底。
基底是指子空间中的一个最大线性无关向量组,通过基底的选择,我们可以得到子空间的维数。
而子空间的维数等于基底的向量个数。
在选择基底的时候,我们需要确保选择的向量组是线性无关的,并且能够张成整个子空间。
通过选择合适的基底,我们可以更好地描述子空间的几何结构。
四、子空间的应用与意义子空间的概念在数学和工程学科中都有广泛的应用。
在线性代数中,子空间是理解和分析线性空间结构的重要工具。
它可以帮助我们解决线性方程组、矩阵运算等问题。
矩阵论 线性子空间

例4 n元齐次线性方程组 a11 x1 a12 x2 a1n xn 0 a21 x1 a22 x2 a2 n xn 0 a x a x a x 0 s2 2 sn n s1 1
( *)
的全部解向量所成集合W对于通常的向量加法和数 量乘法构成的线性空间是 n 维向量空间 Pn 的一个子 空间,称W为方程组(*)的解空间.
则W关于V的运算作成V的一个子空间.
即1 , 2 ,, r 的一切线性 组合所成集合.
定义:V为数域P上的线性空间,
则子空间
二、一类重要的子空间 ——生成子空 间 , ,, V
1 2 r
,
W {k11 k2 2 kr r ki P , i 1,2, , r }
i
有 a1 1 a2 2 an n
故有 P L( 1 , 2 , , n )
n
即 Pn 由它的一组基生成. 类似地,还有
事实上,任一有限 维线性空间都可由 它的一组基生成.
P[ x ]n L(1, x , x 2 , , x n1 ) a0 a1 x an1 x n1 a0 , a1 , , an1 P
n1 (1,0,,0, 1) 就是W1 的一组基.
而在 W2中任取两个向量 , ,设
( x1 , x2 ,, xn ), ( y1 , y2 ,, yn )
则 ( x1 y1 , x2 y2 ,, xn yn )
但是 ( x1 y1 ) ( x2 y2 ) ( xn yn ) ( x1 x2 xn ) ( y1 y2 yn ) 1 1 2
2. 第二讲 线性子空间

n元齐次线性方程组
1,0, ,0
0,1, ,0
得到n-s个解向量 11 , 12 , , 1s 1,0, ,0
s1
0,0, ,1
, s 2 , , ss ,0,0, ,1
这个解向量组就是方程组的解空间的基
判断Rn的下列子集合哪些是子空间:
V1 k1 x1 kn xn ki K , i 1, 2, , n
称为由 x1 , x2 , , xn 生成(或张成)的子空间,记为
L x1 , x2 , , xn k1 x1 kn xn
是生成的子空间的基
如果 x1 , x2 , , xm 则 x1 , x2 , , xm
线性子空间V1也是线性空间 证明:必要性由定义直接得出
充分性:各运算律已在V中定义,我们只需证明
0 V1 x V1 , x V1 实际上, 0 0 x V1
x V1 , 1 K
x 1 x V1
所以线性子空间V1也是线性空间
V1是数域K上的线性空间V上一个非空子空间
的全部解向量所成集合V对于通常的向量加法 和数量乘法构成的线性空间是n维向量空间 Rn 的一个子空间,称V为方程组的解空间
方程组的解空间W的维数=n-秩(A), 方程组的一个基础解系就是解空间V的一组基
c11 x1 c x2 a a12 c a11snx x c0 sn 1, s 1 x s 1 c1 n xn 11 1 12 x2 a21 x1 c xx c c0 a22 x22 a sn s n 22 2, s 1 x s 1 c2 n xn 22x a x a x ca xx 0 s2 2 s1 1 sssn s n c s , s 1 x s 1 c sn xn 变形后, 用n-s组数表示自由未知量 x s 1 , , xn
第二讲线性子空间一、线性子空间的定义及其性质定义:设是数域上的

第二讲 线性子空间一、线性子空间的定义及其性质1. 定义:设1V 是数域K 上的线性空间V 的一个非空子集合,且对V 已有的线性运算满足以下条件 (1) 如果1,V y x ∈,则1V y x ∈+; (2) 如果1V x ∈,K k ∈,则1V kx ∈, 则称1V 是V 的一个线性子空间或子空间。
2. 性质:(1)线性子空间1V 与线性空间V 享有共同的零元素; (2)1V 中元素的负元素仍在1V 中。
[证明](1)O x =0V V x ⊂∈1∴ V 中的零元素也在1V 中,1V 与V 享有共同的零元素。
(2)1V x ∈∀1)()1(V x x ∈-=- 封闭性∴ 1V 中元素的负元素仍在1V 中3. 分类:子空间可分为平凡子空间和非平凡子空间平凡子空间:{0}和V 本身 非平凡子空间:除以上两类子空间4. 生成子空间:设m x x x ,,21 为V 中的元素,它们的所有线性组合的集合⎭⎬⎫⎩⎨⎧=∈∑=m i i i i m i K k x k 1,2,1,也是V 的线性子空间,称为由m x x x ,,21 生(张)成的子空间,记为),,(21m x x x L 或者),,(21m x x x Span 。
若m x x x ,,21 线性无关,则{}m x x x L m =),,(dim 215. 基扩定理:设1V 是数域K 上的线性空间n V 的一个m 维子空间,m x x x ,,21 是1V 的一个基,则这m 个基向量必可扩充为n V 的一个基;换言之,在n V 中必可找到m n -个元素n m m x x x ,,21 ++,使得n x x x ,,21 成为n V 的一个基。
这m n -个元素必不在1V 中。
二、子空间的交与和1.定义:设1V 、2V 是线性空间V 的两个子空间,则 {}2121,V x V x x V V ∈∈={}2121,V y V x y x V V ∈∈+=+分别称为1V 和2V 的交与和。
线性子空间

α1 ,α 2 ,⋯ ,α t ( t ≤ r ) 为它的一个极大无关组. 为它的一个极大无关组.
因为 α 1 ,α 2 ,⋯ ,α r 与 α 1 ,α 2 ,⋯ ,α t 等价, 所以, 等价, 所以,
L(α1 ,α 2 ,⋯ ,α r ) = L(α1 ,α 2 ,⋯ ,α t ).
第六章 线性空间 §5 线性子空间
例5
判断P 的下列子集合哪些是子空间: 判断 n的下列子集合哪些是子空间:
W1 = {( x1 , x2 ,⋯ , xn ) x1 + x2 + ⋯ + xn = 0, xi ∈ P } W2 = {( x1 , x2 ,⋯ , xn ) x1 + x2 + ⋯ + xn = 1, xi ∈ P } W3 = {( x1 , x2 ,⋯ , xn−1 ,0) xi ∈ P , i = 1,2,⋯ , n − 1}
的一个子空间. 则R[x]为V的一个子空间. 为 的一个子空间 例3 P[x]n是P[x]的的线性子空间. 的的线性子空间. 的的线性子空间
线性子空间
第六章 线性空间 §5
ห้องสมุดไป่ตู้
例4
n元齐次线性方程组 元齐次线性方程组
a11 x1 + a12 x2 + ⋯ + a1n xn = 0 a21 x1 + a22 x2 + ⋯ + a2 n xn = 0 ⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯ a x + a x +⋯ + a x = 0 s2 2 sn n s1 1
∀α ∈ L(α1 ,α 2 ,⋯ ,α r ) , 可被 α 1 ,α 2 ,⋯ ,α r 线性表出, α 线性表出,
线性空间与子空间

线性空间与子空间线性空间是线性代数中的重要概念,它是指具有线性运算和封闭性的向量集合。
在线性空间中,有一个与之相关的概念,那就是子空间。
子空间是线性空间的一个非空子集,且在同样的线性运算下也构成了一个线性空间。
本文将重点讨论线性空间和子空间的相关概念以及它们之间的关系。
一、线性空间的定义与性质线性空间可以定义为一个非空集合V,上面定义了两种运算:“加法”和“数乘”。
具体而言,对于V中的任意两个元素u和v,其和u+v也属于V,并且对于任意的α∈R(实数域)或C(复数域),定义了数乘运算,即αu也属于V。
这样的集合V称为线性空间,也称为向量空间。
对于线性空间V,具有以下性质:1. 零向量:存在一个元素0∈V,对于V中的任意元素v,有0+v=v+0=v。
2. 加法逆元:对于V中任意的元素v,存在一个元素-v∈V,使得v+(-v)=-v+v=0。
3. 数乘分配律:对于α,β∈R(或C)和v∈V,有(α+β)v=αv+βv,α(βv)=(αβ)v。
4. 数乘结合律:对于α∈R(或C)和u,v∈V,有α(u+v)=αu+αv,(α+β)v=αv+βv。
二、子空间的定义与判定条件在线性空间V中,如果非空集合W满足以下条件,则W称为V的一个子空间:1. 零向量:零向量0∈W。
2. 加法封闭性:对于W中任意的元素u和v,有u+v∈W。
3. 数乘封闭性:对于W中任意的元素u和任意的α∈R(或C),有αu∈W。
判定一个集合是否为线性空间V的子空间,可以应用以下方法:1. 非空性:判断该集合是否为空集,如果为空集,则不是V的子空间。
2. 加法封闭性:取集合中的任意两个元素,进行加法运算,看结果是否属于该集合。
3. 数乘封闭性:取集合中的一个元素,进行数乘运算,看结果是否属于该集合。
三、线性空间与子空间的关系子空间是线性空间的一个重要概念,它可以理解为线性空间的一个子集,且在同样的线性运算下也成为了一个线性空间。
子空间与线性空间之间有以下关系:1. 子空间是线性空间的一个子集,即子空间的元素也是线性空间的元素。
矩阵论线性子空间

2、线性子空间的判定 定理:设V为数域P上的线性空间,集合 WV
(W),若W对于V中两种运算封闭,即
, W ,有 W ; W , k P ,有 k W
则W是V的一个子空间.
推论:V为数域P上的线性空间,W V (W ),则
W是V的子空间 , W , a , b P , a b W .
量乘法构成的线性空间是 n维向量空间Pn的一个子
空间,称W为方维数=n-秩(A),A(aij)sn ;
② (*)的一个基础解系就是解空间W的一组基.
例5 判断Pn的下列子集合哪些是子空间:
W 1 { ( x 1 , x 2 ,, x n ) x 1 x 2 x n 0 , x i P } W 2 { ( x 1 , x 2 ,, x n ) x 1 x 2 x n 1 , x i P }
证明:要证明W也为数域P上的线性空间,
即证W中的向量满足线性空间定义中的八条规则. 由于 WV,规则1)、2)、5)、6)、7)、8)
是显然成立的.下证3)、4)成立.
∵ W,∴ W. 且对 W ,由数乘运算
封闭,有 ( 1) W ,即W中元素的负元素就是
它在V中的负元素,4)成立.
由加法封闭,有 0( ) W ,即W中的零元
就是V中的零元, 3)成立.
例1 设V为数域P上的线性空间,只含零向量的
子集合 W {0}是V的一个线性子空间,称之为V的
零子空间.线性空间V本身也是V的一个子空间. 这两个子空间有时称为平凡子空间,而其它的
子空间称为非平凡子空间.
例2 设V为所有实函数所成集合构成的线性空间,
W 2, 故W2不是Pn的子空间.
2. 线性空间与线性子空间

§2 线性空间与线性子空间一、 线性空间[线性运算] 设F 是一个域,其元素a ,b ,c ,…作为数量;V 是任一种类对象的集,其元素用希腊字母α,β,γ,…表示. 确定两个运算法则:1o V 中元素的加法. 对V 中任二元素α,β,总有唯一确定的元素γ与它们对应,称为α与β之和,记作βγ+=α.2o F 中的数量与V 中元素的乘法. 对F 中任一数a 与V 中任一元α,总有唯一确定的元素δ与它们对应,称为a 与α的数乘,记作αδa =这两个运算法则称为线性运算.[线性空间及其性质] 设F 是一个域,V 是任一种类对象的集,若对线性运算满足以下条件,则称V 为域F 上的线性空间:(i) V 是一个加法群;(ii) 对任意元a ∈F 与α∈V ,对应着唯一确定的一个元V a ∈=αβ(iii) 满足分配律和结合律,即对V F b a ∈∈βα,,,有)()()(,)(αααααβαβαb a ab b a b a a a a =+=++=+ 域F 的元素称为线性空间的数量,V 的元素称为它的矢量,因而线性空间又称矢量空间. 加法群的单位元称为零矢量,记作0,(-1)α是α∈V 的逆元,称为负矢量.实数域上的线性空间称为实线性空间;复数域上的线性空间称为复线性空间. 例1 三维空间中的矢量全体组成一个实线性空间.例2 数域F 上的多项式环F [x ],按照通常的多项式加法与多项式乘法,组成数域F 上的线性空间.例3 元素属于数域F 的m ×n 矩阵,按照矩阵的加法和矩阵与数的乘法,组成数域F 上的线性空间.例4 按照通常的加法和乘法,实数全体是实数域R 上的线性空间. 复数全体是复数域C 上的线性空间. 任一域是用自己当作数量域的线性空间.例5 把在一个实区间(a ,b )中定义的每个连续实函数当作一个元素,任意两个元素f 与g 的和记作g f +,g f +是在),(b a 中定义的一个连续实函数,它在每一点x 的值规定为)()())((x g x f x g f +=+又把一个元素f 乘实数c 所得到的元素cf 规定为b x a x cf x cf <<=),())(( 则这些元素全体组成一个实线性空间.线性空间有以下性质:1o 零矢量是唯一的.2o 负矢量是唯一的.3o F c c V ∈=∈=,;,0000αα.4o 若0=∈∈ααc V F c ,,则c =0或α=0.[线性相关与线性无关] 域F 上的线性空间V 中一组有限个矢量{}n ααα,,,21 ,如果对F c c c n ∈,,,21 ,仅当021====n c c c 时等式02211=+++n n c c c ααα才成立,则称矢量组{}n ααα,,,21 为线性无关,否则称为线性相关. 若矢量组{}n ααα,,,21线性相关,则其中至少有一个矢量i α是其余矢量)(i k k ≠α的一个线性组合:n n i i i i i k k k k ααααα+++++=++-- 111111含零矢量0的任一组矢量是线性相关的.假定域F 上的线性空间V 上又定义了收敛性(第二十一章,§3,四),V 中一组无限多个矢量{} ,,21αα,如果对F 中的 ,,21c c 仅当021=== c c 时等式0=++ 2211ααc c才成立,则称矢量{} ,,21αα为线性无关,否则称为线性相关.[基底与坐标] 域F 上的线性空间V 中一组矢量},,{1n αα 如果满足(i) },,,{21n ααα 是线性无关的;(ii) V 中任一矢量都是矢量),,2,1(n i i =α的一个有限线性组合;则称},,,{21n ααα 为V 的一个有限基底,也称},,,{21n ααα 生成(或张成)这个空间,},,,{21n ααα 为空间的一组生成元.设},,,{21n ααα 为V 的一组基底,则V 中任一矢量α一定可以用n ααα,,,21 的线性组合来表示:n n a a a αααα+++= 2211式中复数n a a a ,,,21 是唯一确定的,它称为矢量α关于基底},,,{21n ααα 的坐标.如果V 有一个有限基底,就称V 是一个有限维线性空间,否则,称为无限维空间. 有限维线性空间V 的基底的矢量个数称为V 的维数,记作V dim .[第一维数定理] 域F 上有限维线性空间V 的任意两个基底有相同个数的元素. 推论 设},,,{21k ααα 为一个n 维线性空间V 中一组线性无关的矢量,显然n k ≤,则在V 中存在一个基底使得},,,{21k ααα 是它的一部分.二、 线性子空间[线性子空间] 设S 是域F 上线性空间V 的一个非空子集,若S 对于V 的线性运算也构成线性空间,则称S 为V 的一个线性子空间,简称为子空间.设S 是域F 上线性空间V 的一个子集,若关于线性运算是封闭的,即(i) 若S ∈βα,则S ∈+βα;(ii) 若F a S ∈∈,α,则S a ∈α;则S 是V 的子空间.例如,在线性空间V 中的单个零矢量所组成的子集是V 的一个子空间,称为零子空间. V 本身也是V 的一个子空间. 这两个子空间称为V 的平凡子空间.设r ααα,,,21 为域F 上线性空间V 中的一组矢量,这组矢量的一切线性组合),,2,1(,2211r i F c c c c i r r =∈+++ααα构成V 的一个子空间,称为由r ααα,,,21 生成(或张成)的子空间. 这是V 的非平凡子空间.[子空间的交与和] 设S ,T 是域F 上线性空间V 的子空间,属于S 又属于T 的V 中一切矢量所构成的子集称为S 与T 的交(通集),记作T S . 由能表示为),(T S ∈∈+βαβα的一切矢量构成的子集称为S 与T 的和(和集),记作T S +(或T S ).设S 与T 是F 上线性空间V 的两个子空间,则S 与T 的交T S 以及和T S +都是V 的子空间.[第二维数定理] 设S 与T 是线性空间V 的两个子空间,则)dim()dim(dim dim T S T S T S ++=+(这里V dim 表示线性空间V 的维数).推论 若n 维线性空间V 中两个子空间S 与T 的维数之和大于n ,则S ,T 必含有公共非零矢量.例如,三维空间中两个不同平面(二维子空间)交于一条直线,由于422dim dim =+=+T S ,但3)dim(=+T S ,所以1)dim(=T S .[子空间的直和] 设k S S S ,,,21 是线性空间V 的子空间,若和k S S S +++ 21中每个矢量α的分解式),,2,1(,21k i S i i k =∈+++=ααααα是唯一的. 这个和就称为直和,记作k S S S ⊕⊕⊕ 21子空间的直和具有以下性质:1o 和k S S S +++ 21是直和的充分必要条件是:),,2,1(,21k i S i i k =∈=+++αααα0仅当i α全为零矢量时才成立.2o 和k S S S +++ 21是直和的充分必要条件是:=∑≠ij j i S S Φ(空集)),,2,1(k i =3o 设k S S S ,,,21 是线性空间V 的子空间,若k S S S W ⊕⊕⊕= 21则 k S S S W d i m d i m d i m d i m 21+++=其逆也真.这表明对于子空间的直和,维数是可加的. 由此可见,若k S S S W ⊕⊕⊕= 21把子空间),,2,1(k i S i =的基),,,(,,,k i i in i i 2121=ααα合并起来就得到子空间W 的一组基.[商空间] 设S 是V 的一个子空间,并设两个矢量V ∈',αα,若S ∈-αα',则说α和'α是等价的,记作'~αα. 实际上,这个关系具有等价关系的三个性质:(i) 反身性 对每个S ∈α,有'~αα;(ii ) 对称性 若'~αα,则αα~';(iii) 传递性 若'~αα,"'~αα,则"~αα.和集合的情形一样,称两个等价的矢量α和'α是属于同一类. 每个矢量V ∈α恰好包含在一个类中,这一类记作_α. V 中的零矢量0包含在与子空间S 重合的_0类中.若把每个类作为一个元素,则这一切元素组成的集是一个线性空间,称为V 关于S 的商空间,记作S V /. 商空间的零矢量是_0,且有S V S V dim dim /dim -=由此可见,若V S =,则商空间的维数是零;又若S 是零空间,则商空间的维数与V 的维数相同.。
线性子空间——精选推荐

目 录绪论.................................................................................... (1) 1 预备知识 (1)1.1 线性空间 (1)1.2 子空间 (2)1.3 商空间 (2)1.4 线性变换 (3)1.5 有限域........................................................................... (5) 2 线性空间的同态、同构定理 (5)2.1 秩与零度定理 (6)2.2 线性空间的同态定理 (7)2.3 线性空间的同构定理......................................................... (8) 3 有限域上的线性子空间...............................................................(10) 4 线性空间的-结构............................................................... (12) q F 参考文献 (17)线性子空间摘 要线性空间及其子空间理论是线性代数的核心内容之一,在数学及其它领域中有着广泛的应用.态射的观点已经是现代数学的基本观点之一,同构分类也是现代数学的主要内容.本文基于线性空间的秩与零度定理,首先建立了线性空间的同态基本定理及三个同构定理,这可以看作是群、环等代数结构的类似.其次,我们讨论了有限域上的线性子空间.随着计算机技术的空前发展,有限域已经成为现代工程、技术等许多发展领域的数学基础.在数学中扮演着越来越重要的角色.因而有限域上的线性空间的研究已成为现代数学的一个重要领域.本文的第二部分主要运用组合的方法,讨论了有限域上的线性子空间的个数问题.当系数域的特征大于零时,我们讨论了通过扩张系数域的方法,将研究线性空间的问题转化为研究它的较小的特殊子空间,即线性空间的-结构.我们给出了线性空间存在-结构的判定定理,以及-结构的唯一性定理.q F q F q F 【关键词】线性空间 线性子空间 线性变换 有限域 -结构 q F Frobenius 映射Linear SubspaceAbstractLinear spaces and subspaces are one of important contents of linear algebra ,and they have been applied to mathematics or other fields extensively .Morphism is a basic viewpoint of modern mathematics and classification up to isomorphism is also a main content of modern mathematics .Firstly ,in this paper we establish the homomorphism and three isomorphism theorems of linear spaces based on rank and nullity theorem ,which can be regarded as an analog of the corresponding theorems on the algebraic systems such as group ,ring and so on .Secondly , we discuss linear subspaces over finite field .With the unprecedented development of computer science ,finite field has been the mathematical fundament of modern engineering ,technology and so on .And it plays a more and more important role in mathematics .So the study of linear subspace over finite field has been an important subject of modern mathematics .We discuss the number of linear subspace of a given linear space over finite field in terms of combinatorics in the second part of this paper .Finally ,in case the characteristic of the coefficient field is positive ,we transform the study of linear space into that of a smaller ,special subspace of it by extending the coefficient field ,that is ,we discuss the -structures of linear spaces .Moreover ,we give the criterion theorems of existence and uniqueness of -structure of linear spaces .q F q F 【Key words 】Linear space Linear subspace Linear transformation Finite field q F -structure Frobenius map绪论线性空间及其子空间理论是高等代数中的重要内容,在数学、物理、通信、化学等各方面有广泛应用.线性空间的概念是维向量空间概念的抽象和提高,它把具体、直观的平面与集合空间推广到抽象的线性空间.线性子空间是线性空间的子集,线性子空间中的元素满足对原线性空间的加法与数量乘法封闭.n 邓春红,唐建国]1[给出并证明了若干个子空间的并以及两个子空间的交构成子空间的充要条件.从而本质地揭示了除子空间的交与和是构造新的子空间的方法外,集合的其它运算不能构造新的子空间.最后分析了子空间直和的两种不同定义的优缺点,指出了张禾瑞教材中子空间直和定义 推广时应注意的一个问题.杨闻起和金志英引入了线性空间的极大子空间的概念,主要得出了三个]2[结论:(1)线性空间V 的子空间M 是极大子空间当且仅当M 是一维子空间的余子空间.(2)线性空间的任意子空间都可表示成一些极大子空间的交.(3)在满足子空间降链条件的线性空间中,每个子空间可表示成有限个极大子空间的交.在本篇论文中,我们首先给出了线性空间的同态以及三个同构定理.这与近世代数中群或环的同态、同构定理的证明思想类似.通过已经证明的定理,我们可以得出两个有限维线性空间同构的充要条件.有限域是一类特殊的域,在编码理论、正交试验设计、信息论、密码学以及计算机技术中都有广泛应用.我们考虑有限域上的线性空间的子空间的一些问题.本论文给出了给定维数的线性子空间的个数定理的证明.这个定理为我们提供一个计算有限域上线性空间的有限维子空间个数的方法.已知域K 上的线性空间V 且V 是维的.能否通过用扩大系数域的方法而只研究V 的一个特定的子空间来达到研究V 的目的呢?为此我们引入-结构的定义.利用Frobenius 映射我们证明了-结构的存在性和唯一性定理,从而回答了上述问题.设n 0V q F q F K 是的代数闭域.研究域q F K 上的线性空间V 可以转化为研究它的-结构.粗略地说即研究V 的子空间,使得.这里是V 上的Frobenius 映射的稳定点集.q F 0V V K V q F ≅⊗00V F F V 1预备知识线性空间是数学中最基本的概念之一.线性空间理论不仅是高等代数的核心,而且广泛渗透到各自然科学、工程技术、经济管理科学中.因而线性空间理论既是现代数学的支柱,又是应用广泛的理论之一.线性空间又称为向量空间.在一定意义上,线性空间是几何学特别是解析几何学的推广与升华.1.1线性空间定义1.1.1 若是域,其中元素称为纯量.F 上的向量空间是一个非空集合V ,它的元素称为向量,有运算加法,对,有F V V v u ×∈),(V v u ∈+;以及与V 的运算数乘,用毗连表示,对.并且满足下列条件:F V ru V F u r ∈×∈有,),((1)V 对“+”成Abel 群,令其单位元是0,称为零向量;(2)任取F r ∈, ,有一双向运算(通常称为乘法“.”)存在,使及V v ∈V v r ∈⋅v v =⋅1.此处1为的乘法单位元(乘法符号经常忽略不写); F (3)四种运算(域的加法与乘法,V 的加法与对V 的数量乘法)适合结合律与分配律.即 F F 对所有的V v u F s r ∈∈,,,有分配律.;su ru u s r rv ru v u r +=++=+)()( 结合律.;u u su r u rs ==1)()( 性质1.1.1 线性空间除了对加法作成Abel 群,对数量乘法满足结合律与分配律之外,还有如下性质:(1)零元是唯一的.(2)对,都有唯一的(),使得V u ∈u −0)(=−+u u ,称(u −)为的负元或负向量.u (3)消去律: 若,且V w v u ∈,,w u v u +=+,则w v =.(4)u u u V u r F r −=−=⋅∈∀=⋅∈∀)1(0000; , ;,.(5)F r ∈, ,且,则V u ∈0=ru 0=r 或0=u .1.2子空间本节介绍了运算的封闭性定义,子空间的定义以及要注意的问题.运算的封闭性 设是域上的线性空间V 的子集.如果对任意的S F S v u ∈,,有,则称对加法封闭.如果对任何S v u ∈+S F r ∈, S u ∈,有S ru ∈,则称对数量乘法封闭.S 定义1.2.1 设是域上的线性空间V 的非空子集.如果对V 的加法与数量乘法也构成一个线性空间,则称是V 的子空间,简称子空间.S F S S 注意 子空间的定义应该注意下面两点.(1)设是线性空间V 的非空子集,则下面三个命题等价:S (i)是V 的子空间.S (ii)S 对V 的加法,数量乘法封闭.(iii )任意的V v u F s r ∈∈,,, ,有S sv ru ∈+.(2)在子空间的定义中,要求中的两种运算与V 中的两种运算一致.因而如果在子集中另外定义加法与数量乘法使成为线性空间,不能叫做V 的子空间.S 1S 1S 1S 1.3商空间商空间可看成是整数、多项式等代数体系中同余概念的推广.商空间也是线性代数中的重要概念.本节介绍了同余及同余类的性质,给出了商空间的定义.定义 1.3.1设是域上的线性空间V 的子空间.称u 与模同余,如果有.记作. ]6[S F v S S v u V v u ∈−∈,,)(mod S v u ≡将所有与同余的元素的全体记作[].[]= v v v }{)(mod S v u u ≡:.则有)(mod ][S v u v u ≡⇔∈.称[]为线性空间V 中的陪集.v S 性质1.3.1 同余、同余类有以下性质.(1)(自反性). (2)若)(mod S u u ≡)(mod S v u ≡,则)(mod S u v ≡(对称性). (3)若,则)(mod ),(mod S w v S v u ≡≡)(mod S w u ≡(传递性).由以上三条知道同余是一种等价关系,它可以将V 进行划分.(4)][][,,v u V v u =∈当且仅当Φ≠∩][][v u 当且仅当)(mod S v u ≡.证明 若,则必有][][v u =Φ≠∩][][v u .设∈w ][][v u ∩,则有、,进而)(mod S w u ≡)(mod S w v ≡)(mod S v u ≡.若)(mod S v u ≡,则)(mod S u ≡γ当且仅当)(mod S v ≡γ,即 [u ]=[].v 性质1.3.1中的(4)说明两个同余类或者相等,或者不相交.定理1.3.1 设V 是上的线性空间, 是V 的子空间.用F S S V表示V 中元素模的同余类的集合.在S S V中定义 加法[u ]+[v ]=[],∀[u ],[] v u +v ∈S V.数量乘法 ][u r = [],[u ] ru ∀∈S V,F r ∈. 则S V 构成域上的线性空间,称为V 对的商空间.F S 证明思路 首先证明上述两种运算定义的合理性.即证:① 对任意[]=[u ],[]=[],其中[],[],[],[v ]∈1u 1v v 1u u 1v S V ,有[][]11v u v u +=+ (加法的合理性);② 对任意F r ∈,[]=[u ] 1u ∈S V ,则= [](数量乘法的合理性);③ 再验证上述两种运算满足线性空间定义的条件.证明从略.][1ru ru 1.4线性变换这一节主要介绍了映射乘积的概念及性质,线性变换的概念和性质.为了将有限维线性空间分类,先介绍映射的乘积.定义1.4.1 设,.现定义的映射为:,对任意 ,称为21S S f →:32S S g →:31S S →gf ))(()(a f g a gf =1S a ∈gf g 与的乘积.f 性质1.4.1 映射乘积有如下性质:(1)若,是一一的,则也是一一的.g f gf (2)若,是满的,则也是满的.g f gf (3)若g ,是一一对应,则也是一一对应,而且.f gf 111−−−=g f gf )(定义 1.4.2 设V 与是域W F 上的两个线性空间.映射W V →:τ称为线性变换,若,有V v u F s r ∈∈∀,,,)()()(v s u r sv ru τττ+=+.记从V 到W 的所有线性变换的全体为.特别地,若),(W V L ∈τ),(W V L 且τ是一一对应,则称τ是V 到W 的同构映射,此时称V 与W 同构.定义1.4.3 )(V τ=}{w v t s V v W w =∈∃∈)(,τ . 是W 的子空间,称)(V τ为V 在τ下的象,记为)(τim .事实上,由)()0(0V ττ∈=,知)(V τΦ≠.又任意V v u F s r ∈∈,,,,有)()()(sv ru v s u r +=+τττ∈)(V τ.故)(V τ是W 的子空间(可用子空间的定义证明). 定义1.4.4 }{0)()ker(=∈=u V u ττ称为τ的核,则)ker(τ为V 的子空间(可用子空间的定义证明).性质1.4.2 τ是同构映射当且仅当)(V τ=W 和0)ker(=τ.证明 设τ是同构映射,故τ为满射,则)(V τ=W .由τ是一一映射且0)(=u τ,必有=0.即u 0)ker(=τ.反之,设W V =)(τ且0)ker(=τ.由W V =)(τ,知τ为满射.若)()(v u ττ=,则0)(=−v u τ,有)ker(τ∈−v u .由0)ker(=τ,知0=−v u ,从而v u =.即τ是同构映射.证毕.性质1.4.3 同态和同构映射有如下性质:(1)若W V →:τ是同构映射,则是同构映射.V W →−:1τ(2)若W V →:τ是同态映射,G W →:φ是同态映射,则φτ是V 到G 的同态映射.特别地,若φτ,都是同构映射,则φτ也是同构映射.(3)由V 到V 的恒等映射I :,V V →αα=)(I 是V 到V 的同构映射.由性质1.4.3,知线性空间的同构关系具有自反性、对称性和传递性.故可将F 上线性空间按同构关系分类.在同一类中只要找到一个具有代表性的空间进行研究即可.性质1.4.4 对于映射τ我们有如下结论:(i )τ是满射的充分必要条件是)(τim =W . (ii )τ为单射的充分必要条件是0)ker(=τ. 证明 (i )可以根据象的定义得出.(ii )如果τ为单射,则对任意,有y x V y x ≠∈,,)()(y x ττ≠.即若 则必有0≠−y x 0)(≠−y x τ,从而)ker(τ∉−y x .故0)ker(=τ.反过来,如果0)ker(=τ,不妨设)()(y x ττ=,则根据τ为线性映射,有0)(=−y x τ.即)ker(τ∈−y x ⇒0=−y x ⇒y x =⇒ τ为单射.证毕.特别地,若线性变换),(W V L ∈τ是双射,则称τ为从V 到 的同构变换.称V 与W 同构,记作.W W V ≅1.5有限域有限域是一类特殊的域,在编码理论、正交试验设计、信息论、密码学以及计算机技术中都有广泛应用.定义1.5.1 只含有有限个元素的域叫有限域.下面我们给出有限域的三个同构定理.]3[定理1.5.1 设F 是一个特征为的有限域,那么的元素个数一定是的方幂.(这个定理给出了有限域的元素个数与域的特征的关系.)p F p 定理1.5.2 设p 是一个素数,而是一个正整数,那么总存在一个有个元素的有限域. n n p 注 把包含个元素的有限域称为阶Galois 域,记作.n p n p )(np GF 定理 1.5.3 任意两个元素个数相同的有限域一定同构.定理1.5.1的推广 设F 是一个有限域,它包含一个有q 个元素的有限域作为子域.那么的元素个数一定是的一个方幂.q F F q 接下来给出有限域子域的存在性与唯一性.定理1.5.4 对n 的每个正因数,中存在唯一的阶子域,并且这些是m )(n p GF m p )(n p GF 中仅有的子域. 2线性空间的同态、同构定理在高等代数中有:若V 是一个线性空间,是V 的一个子空间,则存在的补空间,]54[,S S c S使得并且.Φ=∩S S c S S V c ⊕=2.1秩与零度定理下面在给出秩与零度概念的基础上,给出秩与零度定理及其证明.]6[定义 2.1.1 若V ,W 为两个线性空间,),(W V L ∈τ.称))dim(ker(τ为τ的零度,记作)(τnull .称))(dim(τim 为τ的秩,记作)(τrk .定理2.1.1(秩与零度定理)若),(W V L ∈τ,则)(τrk +)(τnull =.)dim(V 证明 由于),(W V L ∈τ,故)ker(τ为的一个子空间.于是有补,满足.设是V c )ker(τc V )ker()ker(ττ⊕=Κ)ker(τ的基,C 是的基.由c )ker(τΦ=∩C K 及是V 的基,知.将C K ∪))dim(ker())dim(ker()dim(c V ττ+=]6[τ限制在上,记作.易证:是同构.c)ker(τc τc τ)()ker(ττim c →(1) 先证为单射:若,则.由是c τ∈v c )ker(τ0)(=v c τc ττ在)ker(τc 上的限制,故0)(=v τ(只将零向量映到零向量),则,进而c v )ker()ker(ττ∩∈0=v . (2) 再证为满射:若c τ,)()(ττim v ∈则w u v +=,这里.故 cw u )ker(),ker(ττ∈∈)()()()(w u w u v ττττ+=+==,.)()(w w c ττ=)()(c im v ττ∈即,而是显然的.从而. )()(c im im ττ⊂)()(ττim im c ⊂)()(ττim im c=(3) 显然是线性的.故由(1),(2),(3) 可知是将映到c τc τc )ker(τ)(τim 的同构映射.即.有)()ker(ττim c ≅)()())(dim())dim(ker())dim(ker())dim(ker()dim(ττττττrk null im V c +=+=+=.证毕. 由秩与零度定理,可得如下定理.定理2.1.2 若),(W V L ∈τ,且∞<=)dim()dim(W V ,则下面三个条件等价:(i)τ为单射. (ii) τ为满射. (iii )τ为双射.证明 由),(W V L ∈τ,故τ:是一个线性映射.不妨设. W V →n W V ==)dim()dim((i)(ii) 如果⇒τ为单射,则有)ker(τ=0,故0)0)dim(ker()(===ττnull .据秩与零度定理得n n null V rk =−=−.即n rk im ==)())(dim(ττ.又)(τim 是W 的子空间,=0)()dim()(ττ故W im =)(τ.即τ为满射.(ii)(i) 如果⇒τ为满射,则W im =)(τ,有n rk im ===)dim()())(dim(τττ.据秩与零度定理得0)()dim()())dim(ker(=−=−==.得)ker(τ=0,即τ为单射.n n rk V null τττ(ii)(iii) 如果⇒τ为满射,则τ为单射,即τ为双射.(iii)(ii) 如果⇒τ为双射,则τ为满射是显然的.证毕.定理2.1.3 若是线性空间V 的一个子空间,是的补空间,则有S c S S c S S V ≅,.)dim()dim()dim(V S S c =+证明 由于V =+,故V 中的任何一个向量均可以唯一地写成.其中,.现定义线性算子S c S v c s s v +=S s ∈c c S s ∈ρ:V V → .c s s +a c s (1) 这样定义的映射是合理的:任意V v ∈,v 可唯一写成.其中, c s s v +=S s ∈c c S s ∈.由于,故在c c s s s =+)(ρv ρ下有唯一象.c s (2) 及c S im =)(ρ}{}{S s S s s s s V s s c c c ==+∈===+∈+=0)0(0)()ker(ρρρ::.由同构第一定理得:c S S V≅.由秩与零度定理得: )dim()dim()dim(V S S c =+.证毕.说明 这是高等代数线性空间理论中的一个定理,但是证明思路换了一个角度.2.2线性空间的同态定理在近世代数中曾经接触过群的同态基本定理和环的同态定理,与这些定理的证明类似,本节给出线性空间的同态定理.]7[定理2.2.1(线性空间的同态定理)若),(W V L ∈τ,)ker(τV 是V 模)ker(τ的商空间,则有)()ker(ττim V ≅.证明 由),(W V L ∈τ,故τ:是一个线性变换.我们定义一个映射W V →W V →)ker('ττ:)ker(τ+v a )(v τ.(1) 这样定义的映射是合理的:若V v u ∈,且)ker()ker(ττ+=+u v ,则)()(u v ττ=.即证若)ker(τ∈−v u ,则0=−)(v u τ.据核的定义即得. (2) 这样定义的'τ是单射:如果)ker()ker(ττ+≠+v u ,则)ker(τ∉−v u .进而0)(≠−v u τ, 有0)()(≠−v u ττ,即)()(v u ττ≠.(3) 显然W V →)ker('ττ:是一个线性变换.)))ker(())ker((('τττ+++v s u r ))ker()(('ττ++=sv ru)(sv ru +=τ))()(v s u r ττ+=)ker((')))(ker(('ττττ+++=v s u r .(4) 由秩与零度定理与'τ是单射知:)'())ker(dim()'())'(dim(ττττnull Vrk im −==))ker(dim(0))ker(dim(ττVV =−=.}{}{)()()ker()ker())ker((')'(τττττττim V v v Vv v im =∈=∈++=::.故'τ为)ker(τV到)(τim 的满射.据(1),(2),(3),(4)知W V →)ker('ττ:是线性同构映射.故)()ker(ττim V ≅.证毕.说明 线性空间的同态定理又称为第一同构定理.2.3线性空间的同构定理定理2.3.1(第二同构定理)若V 是一个向量空间,为其两个子空间,则有T S ,TS STTS ∩≅+.证明 (1)首先证明和T S +S ∩T 均为V 的子空间.]8[不妨设V 是域F 上的向量空间.对任意''t s t s ++,∈T S +,F b a ∈,.其中S s s ∈',,.由与T 是V 的子空间,知T t t ∈',S S bs as ∈+',.从而T bt at ∈+'T S bt at bs as +∈+++)'()'(.故+T 是V 的子空间.S 对任意,,有T S v u ∩∈,F b a ∈,T v u S v u ∈∈,,,.由与是V 的子空间,故S T au+, +bv .从而bv ∈S au ∈T T S bv au ∩∈+.所以S ∩T 是V 的子空间.(2)现在定映射τ:TT S +→TS S∩,使得T S s T t s ∩,对任意,S s ∈T t ∈.+++a 由,则.即T t ∈T t =+T T S s T s ∩++a :τ, 对任意S s ∈.(i) 首先τ是合理的:对任意TTS T s T s +∈+=+',其中S s s ∈',.故,又T s s ∈−'S s s ∈−',则有T S s T s ∩+=+)(τ,T S s T s ∩+=+')'(τ.故 T S s s ∩∈−'.即T S s ∩+=.因此T S s ∩+')(T s +τ=)'(T s +τ.(ii)再证τ是一个一一映射.①τ是一个单射:对任意T s T s +≠+'∈TTS +,其中S s s ∈',.有,故,也就是T s s ∉−'T S s s ∩∉−'T S s ∩+≠T S s ∩+'.即)(T s +τ≠)'(T s +τ.②τ是一个满射:对任意TS ST S s ∩∈∩+,其中S s ∈.则存在TTS T s +∈+,满足T S s T s ∩+=+)(τ.(iii )不妨设V 是域F 上的线性空间.现在证明τ是一个线性映射:对任意,F s r ∈,TT+S T s T s ∈++21,,其中.则有21,s s S ∈=++=+++))(())()((2121T ss rs T s s T s r ττT S ss rs ∩++)(21=)()(21T S s s T S s r ∩++∩+=)()(21T s s T s r +++ττ综上,结论TS STTS ∩≅+成立.证毕.定理2.3.2(第三同构定理)若V 是一个向量空间,均为V 的子空间,则有V T S ⊂⊂TV STSV≅.分析 要证明这个定理成立,分为以下步骤: (1) 设S V V ST T ==____,,则__T 为的一个子空间;__V (2) 定义一个映射TVSV →:τ,证明τ是一个满线性映射且它的核为ST;(3) 根据第一同构定理即得结论. 证明 (1)由分析中知要证__T =ST是=__V SV的子空间.不妨设V 是域F 上的向量空间.如果∈++S S βα,__T =ST,其中βα,∈T .对F b a ∈∀,,)(S a +α+=+)(S b β(βαb S a ()+++) (是V 的子空间,则S S S bS S aS ==,). S b a ++=)(βα. (T 为W 的子空间,则T b a ∈+βα).从而有S b a ++)(βα∈__T =ST,即__T =ST是=__V SV的子空间.(2) 下面证τ是满线性映射且核为ST.首先映射τ是合理的:若有SVS v S v ∈+=+21,其中V v v ∈21,.则.由,则.故有S v v ∈−21T S ⊂T v v ∈−21T v T v +=+21,即)()(21S v S v +=+ττ.其次τ是满射:任意TVT v ∈+,其中V v ∈. 存在SVS v ∈+,使得T v S v +=+)(τ.然后τ是一个线性映射:不妨设V 是域F 上的线性空间.对F s r ∈∀,,SV T v T v ∈++21,,其中.则21,v v V ∈))(())()((2121S sv rv S v s S v r ++=+++ττT sv rv ++=)(21)()(21T v s T v r +++= )()(21S v s S v r +++=ττ.即τ是一个线性映射.最后τ的核为ST : }{}{S T T v S V S v T T v S v SVS v =∈∈+==+=+∈+=)()ker(ττ.根据同构第一定理TV STSV≅成立.证毕.3有限域上的线性子空间我们在这一章考虑:计算一给定维数的有限域上线性空间的特定维数的线性子空间的个数问题.令是有个元素的有限域,是域上的线性空间.如果给定,那么V 的维子空间的个数是多少,该如何去计算呢?q F q nq F V =q F n m ≤≤1m 定理3.1 若是域上的线性空间,则V 有个向量.nq F V =q F nq 证明 不妨设}{n ααα,,,21⋅⋅⋅是V 的一组基,对V v ∈∀,有n n a a a v ααα⋅⋅⋅++=2211,其中q i F a ∈.每个的取法有q 种,故的取法有种.即V 有个向量.证毕.i a v n q n q ]9[问题 中线性无关的向量组V }{m v v v ,,,21⋅⋅⋅有多少个?}计算方法 计算V 中线性无关的向量组{m v v v ,,,21⋅⋅⋅有多少个,可应用排列组合的思想.即先确定的取法有种,然后再确定的取法有种.依次类推,最后计算的取法个数有种.则中有线性无关的向量组的个数为1v 1n 2v 2n m v m n V }{v ,1m v v ,,2⋅⋅⋅m n n n ⋅⋅⋅21.定理3.2 中线性无关的向量组V }{m v v v ,,,21⋅⋅⋅有个.)()(1)1(−−⋅⋅⋅−−m nnnqq q q q 证明 由是线性无关的向量组中的向量,故是一非零向量.即的取法有种.在取定后,可取V 中任何一个与线性无关的向量.若与线性相关,则存在1v 1v 1v 1−nq 1v 2v 1v 2v 1v ,,011≠∈r F r q 使得.由的取法有种,知与线性相关的向量的个数为个.故的取法有种.在与取定后,可以取V 中任何一个与线性无关的向量.若与线性相关,则存在或,使得112v r v =1r q 1v q ]10[2v qq n−1v 2v 3v 21,v v 3v 21,v v 0,121≠∈r F r r q ,02≠r 22113v r v r v +=.从而与线性相关的向量的个数为个.故的取法有种.21,v v 2q 3v 2q q n −依次类推,一旦,,确定,则可以是V 中任何一个与,,线性无关的向量.但,,是线性无关的,则的取法有种.因此V 中线性无关的向量组有个.证毕. 1v 2v 1,−⋅⋅⋅m v m v 1v 2v 1,−⋅⋅⋅m v 1v 2v 1,−⋅⋅⋅m v m v 1−−m nq q}{m v v v ,,,21⋅⋅⋅)()(1)1(−−⋅⋅⋅−−m n n n q q q q q 注 特别地,任意维子空间W ,中线性无关的向量组有个.m W }{m u u u ,,,21⋅⋅⋅)()(1)1(−−⋅⋅⋅−−m m m m q q q q q 最后给出本章主要的定理.定理3.3 的维子空间的个数为V m )1()1)(1()1()1)(1()())(1()())(1(11111−⋅⋅⋅−−−⋅⋅⋅−−=−⋅⋅⋅−−−⋅⋅⋅−−−+−−−−q q q q q q q q q q q q q q q q m m m n n n m m m m m n n n . 证明 设V 有t 个m 维子空间.不妨设为t W W W ,,,21⋅⋅⋅.据“两个有限维线性空间同构的充要条件是它们的维数相同”,得.其中]11[j i W W ≅=j i ,1,2,t ,⋅⋅⋅.若取中的一个线性无关的向量组,则存在一个线性同构映射和线性子空间.根据同构映射的性质,知这个线性无关的向量组在i W j W线性映射下的象仍然是线性无关的.由上面分析知:中线性无关向量组i W }{mi i i w w w ,,,21⋅⋅⋅的个数必然和中线性无关向量组j W }{mj j jw w w,,,21⋅⋅⋅的个数相同.在维数是的线性子空间中,任何一组由m 个向量组成的线性无关向量组必然生成.m i W }{mi i i w w w ,,,21⋅⋅⋅i W 故可把V 中线性无关的向量组进行分类,则一共有t 类.每一类中共有=个线性无关的个向量组成的线性无关组.在每一类中,任意取一个由个向量组成的线性无关组i W )()−q )(1(1−−⋅⋅⋅−m m m m q q q q 2A m i W m }{mi i i w w w ,,,21⋅⋅⋅,由这一组向量生成的线性空间即是(的维数是).如果把这些所有类中的线性无关组全部取出,加起来的个数之和即为V 中的线性无关的向量组的个数=.i W i W m )())(1(1−−⋅⋅⋅−−m nnnqq q q q 1A 我们可以很容易得出V 的维子空间的个数m t 满足:2A t =,也就是说V 的维子空间的个数为1A m )1()1)(1()1()1)(1()())(1()())(1(11111−⋅⋅⋅−−−⋅⋅⋅−−=−⋅⋅⋅−−−⋅⋅⋅−−=−+−−−−q q q q q q q q q q q q q q q q t m m m n n n m m m m m n n n .证毕. 4线性空间的-结构q F 线性空间有两个要素:系数域和向量集合V .对一个给定的维向量空间V ,能否通过用扩大系数域的方法,只研究V 的一个特定的子空间来达到研究V 的目的呢?为此我们引入线性空间-结构的定义.表示有个元素的有限域,其中为素数的方幂.是的代数闭域.F n F 0V q F q F q q __q F K =q F 定义4.1(-结构)一个代数闭域qF ]13[K 上的线性空间的-结构是:一个V 的-子空间,满足标准同态是一个同构.其中q F q F 0V V K V q F →⊗0⊗表示上的张量积.我们通常记V 为. q F K V q F ⊗0定义4.2(Frobenius 映射)映射称为Frobenius 映射,如果映射 满足:]12[F V V F →:(a ),对所有的)()(v F v F qλλ=V v ∈且K ∈λ; (b )对任意的,存在某一个使得. V v ∈1≥n v v F n=)(下面将给出这一章的主要定理.定理4.1(-结构的存在性定理)q F K -空间V 有一个-结构当且仅当存在一个Frobenius 映q F 0V射,使得0V =}{v v F V v V F =∈=)(:. 证明 必要性:若V 有一个-结构,则V =q F 0V K V q F ⊗0.现在定义映射 , 亦即 V V F →:K V K V F q q F F ⊗→⊗00:λ⊗v . q v λ⊗a λ⊗v .q v λ⊗a 其中K,∈∈λ0V v . 则有)()()(v F v v v F v F q q ==⊗=⊗=λλλλ.其中.即(a )成立.现在对任意V 中元,有0V v ∈v i iivv λ⊗=∑,m i ,,2,1⋅⋅⋅= .可得∑∑∑⊗=⊗=⊗=iqi i ii i i ii v v F v F v F λλλ)()()(.由于K∈i λ,从而i λ必是某一有限域中的元素,并且这一有限域是的扩域.则对每一个q F i λ,都存在一个,使得.取i n i q i in λλ=}{m n n n n ,,,max 1⋅⋅⋅=2,可得对任意i λ,有成立.也就是存在,使得i q inλλ=n v v v v F i ii q iii nn=⊗=⊗=∑∑λλ)(.即(b )成立.充分性:设是一个-结构,满足条件(a )和(b )且令=.如果是上的线性无关元,我们断言它们在V V F →:q F 0V F V 021,,,V v v v n ∈⋅⋅⋅q F K 上仍线性无关:否则,设021,,,V v v v n ∈⋅⋅⋅是上的线性无关元,它们在q F K 上是线性相关的.设是满足这样的向量组的最小的向量个数(最小数原理).即有不全为零的,使得n K a i ∈01=∑=n i i i v a .)1.2.4(不妨设(如果11=a 11≠a 并且.由01≠a K 是域,则可以把转化成1.若,则可以适当地调换的位置,使得的左边求和中第一个系数不为零).对式两边作用1a 01=a i a )1.2.4()1.2.4(F ,就有 )()()(111i ni qi i i n i n i i i v F a v a F v a F ∑∑∑=====.由,有.我们可以得到0V v i ∈i i v v F =)(i ni i qi i n i qi i i n i n i i i v a v F a v a F v a F ∑∑∑∑========1111)()()(.)2.2.4(用式减去式,可得)2.2.4()1.2.4(0)(2=−∑=ni i i qi v a a .我们知道为i q i a a −K 中元,是不全为零的.否则,对所有的n i ≤≤2,有,即有得出.这将与0=−i q i a a i qi a a =q i F a ∈K a i ∈矛盾.故不全为零.从而我们有i qi a a −02,,V v v n ∈⋅⋅⋅是上的线性无关元,但在q F K 上是线性相关的,而此时的向量个数为1−n .这与我们对的取法矛盾.因此自然映射是一个单射.n K V q F ⊗0V →为证明结论成立,须证这个映射为满射.即V 是由的固定点集生成的.条件(b )说明对任意,有v 是有限维稳定子空间的元素.现在假设V 是有限维的.F 0V V v ∈F 对V 的维数用数学归纳法来讨论生成V .设V 是域0V K 上的线性空间.若=1,令,则,对某一非零元)dim(V V v ∈≠0av v F =)(K a ∈.若对任意K b ∈,取,有q b a −=1bv v b b av b v F b bv F q q q q ====−1)()(.此时有V 是生成的.0V 现在假设V 有一个非空-稳定的真子空间W .设F n m W <=dim ,W 有基.根据据归纳法,}{m w w w ,,,21⋅⋅⋅W V存在被固定的非零向量F W v +.不妨设存在K 上的元,使得i a ∑+=+i i i w a v W v .)3.2.4(由于在的作用下保持不动,因此有W v +F W v W v F W F v F W v F +=+=+=+)()()()(.)4.2.4(根据和,得)2.2.4()4.2.4(∑=−i i i w a v v F )(.对.对任意,存在m i ≤≤1K a i ∈K b i ∈,使得.定义且.则qi i i b b a −=∑∈+=i iiVw b v v 0':''Kv W W +=: '')(v v F −)()(ii iii iw b v w b v F ∑∑+−+=)()]()([ii iii iw b v w b F v F ∑∑+−+=))(())((i i i i i qi w b w F b v v F ∑∑−+−=i i qi i w b b v v F ∑−−−=)())((i i i w a v v F ∑−−=))(( 0=−=∑∑i i i i i i w a w a .即.故是由生成的'')(v v F =''Kv W W +=:F W W '0'=1+m 维子空间.归纳地我们可以得V 是由生成的.0V 最后证明V 上任何非空真子空间W ,W 不是的稳定子空间.如果,则V 是由生成的.设F V v ∈≠0⋅⋅⋅),(),(,2v F v F v n V =)dim(,由是一个单射,则是F )(,),(),(,12v F v F v F v n −⋅⋅⋅K -线性无关的 ,因而∑−==1)()(n i ii n v F a v F , K a a a n ∈⋅⋅⋅−110,,,且00≠a . 则当且仅当010)(V v F b n i i i ∈∑−= .i qn qi i a b b b 11−−−=)5.2.4(对,其中.即n i ≤≤101=−:b ⎪⎪⎪⎩⎪⎪⎪⎨⎧−=⋅⋅⋅−=−=−=−−−−−−−112121121101010n qn q nn qn q qn q qna b b b a b b b a b b b a b b ')5.2.4(在中消去,得出一个关于的次数为的可分多项式方程.用这种方法,可被逆推解出.')5.2.4(210,,,−⋅⋅⋅n b b b 1−n b 1−n q)5.2.4(110,,,−⋅⋅⋅n b b b 且01≠−n b ,从而00≠V .由于在中有q 组解,故.证毕.)5.2.4(q F 1=n 注 一个V 上的-结构等价于一个Frobenius 映射的存在性.从证明过程来看,若是一个Frobenius 映射,则存在一组V 中的基q F V V F →:}{i v 满足∑∑=ipi iii v v F λλ)(.定义4.3 设V 和W 是两个K -线性空间.一个上的线性同构称为一个q -扭转映射,如果,对所有的q F W V F →:)()=(v F v F qλλK V v ∈∈λ且.由上面定理的证明可得出如下推论.推论 令V 是一个有限维K -空间,则一个映射是一个Frobenius 映射当且仅当是一个-扭转映射.V V F V →:V F q 定理4.2(-结构的唯一性)若和是q F F 'F K -空间V 上的两个Frobenius 映射,则是1'−F F o K -线性的.更进一步,如果V 是有限维的,则存在一个正整数,满足n n nF F'=.证明 第一步的证明是显然的.令V 是有限维的且,则. l V K =)(dim l V V FF F F q q ==)(dim )(dim '取,,且}{l F v v v V ,,,21⋅⋅⋅的基}{l F w w w V ,,,'21⋅⋅⋅的基ii ijj v x w ∑=.其中.令满足所有的在中,则.可容易验证在上有,因此在V 上有.证毕.K xij∈1≥n ij x n q F n q n q n q F F q F F q F V F V F V ⊗=⊗=')(:)(n q F V n n F F '=n n F F '=参考文献[1] 邓春红,唐建国.由给定的子空间构造新的子空间.数学理论与应用[J].辽宁师专学报:自然科学版,2003年,23卷,2期:53~55[2] 杨闻起,金志英.线性空间的极大子空间[J].宝鸡文学院学报:自然科学版,2001年,21卷,4期:265~267[3] 万哲先.有限域上典型群的几何学[M].第二版.北京:科学出版社,1993.95~97[4] 丘维声.高等代数[M].第二版.北京:高等教育出版社,2003.102~103[5] 潘仲等.高等代数与几何[M].西安交通大学出版社,1999.200~201[6] 龚升.线性代数五讲[M].北京:科学出版社,2005. 50~55[7] (苏)阿伊柯斯特利金.代数学引论[M].张顺燕.北京:高等教育出版社,1988.86~88[8] 许以超.线性代数与矩阵论[M].北京:高等教育出版社,1992. 120~122[9] 韩士安,林磊.近世代数[M]. 北京:科学出版社,2004. 110~112[10] 孟道骥.高等代数与解析几何[M]. 第二版(上册).北京:科学出版社,2004.95~97[11] 王萼芳, 石生明. 高等代数[M]. 第三版. 北京:高等教育出版社,2003.134~136[12] Strang G.,Linear Algebra[M]. Academic Press,1976. 126~128[13] Gilbert J.and Gilbert L.,Linear Algebra and Matrix Theory[M].Academic Press,San Diego,1995.301~303。
矩阵论-第二讲

i 1 m
定理:设W是线性空间V的一个非空子集,则W是V的 子空间的充要条件是: W对V的加法和数乘运算是封 闭的。
称为子空间W1和W2的和。
定理:设W1和W2是线性空间V的两个子空间,则它 们的交以及它们的和仍然是V的子空间。
定义: 设W1和W2是线性空间V的两个子空间,如果
W 1 W 2 {0}
则称W1+W2为子空间W1和W2的直和,记为 W 1 W 2 。
W 1 {( a,0, b,0) | a, b R} W 2 {( 0, c,0,0) | c R} W 3 {( 0,0, d , e) | d , e R} W 4 {( f ,0,0, g ) | f , g R} 定理:设W1和W2是线性空间V的两个子空间,则W1+W2 是直和的充要条件是:对W1+W2中的任何元素u,分解 式u=x+y是唯一的,其中 x W 1, y W 2 。
( , ( , , ( 1) 2) n)是W 2 的一组基.
定理: 数域F上的任意两个n维线性空间同构。
推论:数域F上的两个有限维线性空间同构的充要条 件是它们的维数相同。
T { A | S1 A A, A M 22 (R)} 2 { A | S2 A A, A M 22 (R)}
定义: 设W1和W2是线性空间V的两个子空间,
W 1 W 2 { | W 1, W 2}
称为子空间W1和W2的交。
W 1 W 2 { 1 2 | 1 W 1, 2 W 2}
第二讲
线性子空间知识点

线性子空间知识点线性代数是数学中的一个重要分支,广泛应用于各个领域,包括数学、物理、计算机科学等等。
其中,线性子空间是线性代数中的一个重要概念,本文将逐步介绍线性子空间的相关知识点。
1.什么是线性子空间?在了解线性子空间之前,我们首先要明白什么是向量空间。
向量空间是一个满足一系列特定条件的集合,其中包含了一些特殊的向量,可以进行向量的加法和标量乘法运算。
而线性子空间就是向量空间中的一个子集,满足向量加法和标量乘法运算的封闭性。
2.线性子空间的特点线性子空间具有以下几个特点:•包含零向量:线性子空间必须包含零向量,即加法单位元素。
•封闭性:线性子空间对于向量的加法和标量乘法运算都是封闭的,即对于任意属于线性子空间的向量,进行这两种运算后得到的向量仍然属于该线性子空间。
•相对于向量空间的操作:线性子空间是向量空间的一个子集,因此线性子空间遵循向量空间的所有运算规则和性质。
3.线性子空间的例子现在我们通过几个具体的例子来更好地理解线性子空间的概念。
例子1:考虑三维空间中的一个平面P,该平面上的所有向量构成了一个线性子空间。
这个线性子空间满足加法和标量乘法运算的封闭性,包含零向量,并且相对于三维空间的操作遵循向量加法和标量乘法的规则。
例子2:在n维空间中,所有分量为零的向量构成了一个线性子空间,也就是零子空间。
这个线性子空间是向量空间的一个子集,满足线性子空间的所有特点。
4.线性子空间的基与维数对于一个线性子空间来说,它可以由一个或多个向量张成。
我们将这些向量称为线性子空间的基。
一个线性子空间的基向量要满足以下两个条件:•线性无关:基向量之间不能通过线性组合得到零向量。
•极大线性无关组:如果再添加任意一个向量进来,就会导致线性相关。
而线性子空间的维数则是由基向量的个数决定的。
维数是线性子空间的一个重要概念,可以用来描述线性子空间的大小和维度。
5.线性子空间的运算线性子空间之间可以进行加法和标量乘法运算。
矩阵论课件

P 是数域, 若 n是正整数, 则系数属于 P 而未知元为 x 的
所有次数不超过 n 的多项式的集合,此集合连同零多 项式在内按通常多项式的加法及数与多项式的乘法, 构成数域 P 上的一个线性空间全体记作: Pn [ x ].
4 December 2014 河北科技大学
机动 目录 上页 下页 返回 结束
, t 可以由1 , 2 ,
, s 线性表
, t 线性相关.
推论1 若 1 , 2 ,
, t 可 以 由 1 , 2 ,
, s 线 性 表 示 , 且
1 , 2 , , t 线性无关,则 t s .
推论2 若 1 , 2 ,
, t 与 1 , 2 , , s 等 价 ,且 均 线性 无
实数域 R 上的线性空间简称为实线性空间; 复数域 C 上的线性空间简称为复线性空间.
下面看几个线性空间的例子.
4 December 2014
河北科技大学
机动 目录 上页 下页 返回 结束
矩阵论
例1 若 P= 是数域,V 是分量属于 P= 的 n元有序数组的集合
V a1 , a2 ,
, an | ai P,i 1, 2,
矩阵论
例4 所有定义在区间 a , b a t b 上的实值连续
函数全体构成的集合, 按照函数的加法及数与函数 的数量乘法,构成实数域 R 上的一个线性空间,记 作: R a , b .
例5 实(复)系数齐次线性方程组 Ax 0( A R mn
或 C mn ; x R n 或 C n ;行向量和列向量不做区别) 的解空间 S 构成 R 或C 上的一个线性空间.
才成立,称 x1 , x2 ,
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
, xn−1 , 0) xi ∈ R, i = 1, 2,
, xm 还不是V 的一组基,它又是线
性无关的,那么在Vn 中必定有一个向量 xm +1不能被
x1 , x2 , x1 , x2 ,
, xm 线性表出,把它添加进去,则 , xm , xm +1 必定是线性无关的.
, xm +1 ) 是m+1维的.
由定理, 子空间 L( x1 , x2 , 由归纳假设,L( x1 , x2 ,
故 kx + ly ∈V1
(加法封闭)
#
n元齐次线性方程组
⎧ a11 x1 + a12 x2 + ⎪ a21 x1 + a22 x2 + ⎨ ⎪a x + a x + s2 2 ⎩ s1 1
+ a1n xn = 0 + a2 n xn = 0 + a sn xn = 0
的全部解向量所成集合V对于通常的向量加法 和数量乘法构成的线性空间是n维向量空间 Rn 的一个子空间,称V为方程组的解空间 方程组的解空间W的维数=n-秩(A), 方程组的一个基础解系就是解空间V的一组基
x + y = ( x1 + x2 ) + ( y1 + y2 ) ∈ V1 + V2 kx = k ( x1 + x2 ) = kx1 + kx2 ∈ V1 + V2 , ∀k ∈ K
子空间的交满足交换率与结合率
V1 ∩ V2 = V2 ∩ V1 , (V1 ∩ V2 ) ∩ V3 = V1 ∩ (V2 ∩ V3 )
+ c1n xn + c2 n x n + csn xn
( 1,0,
,0 )
( 0,1,
,0 )
( 0,0,
,1)
得到n-s个解向量 ( γ 11 , γ 12 , , γ 1s 1,0, ,0 )
( γ s1 , γ s 2 ,
, γ ss ,0,0,
,1)
这个解向量组就是方程组的解空间的基
判断Rn的下列子集合哪些是子空间:
包含在V1和V2中 的最大的子空间 子空间的交与和的有关性质
1、设 V1 ,V2 ,W 为线性空间V的子空间
1)若 W ⊆ V1 ,W ⊆ V2 , 则 W ⊆ V1 ∩ V2 . 2)若 V1 ⊆ W ,V2 ⊆ W , 则 V1 + V2 ⊆ W .
2、设 V1 ,V2 为线性空间V的子空间,则以下三
V1 ∪ V2 = {( a, 0, 0), (0, b, 0) a, b ∈ R} = {( a, b, 0) a, b ∈ R 且a, b中至少有一是0}
并不是R3的子空间. 因为它对R3的运算不封闭,如
(1, 0, 0), (0,1, 0) ∈ V1 ∪ V2
但是 (1, 0, 0) + (0,1, 0) = (1,1, 0) ∉ V1 ∪ V2
L( x1 , x2 ,
, yt )
, yt )
= L( x1 , x2 ,
4、维数公式 (定理1.6)
设 V1 ,V2为线性空间V的两个子空间,则
dimV1 + dimV2 = dim(V1 + V2 ) + dim(V1 ∩ V2 )
矩阵分析与应用
第二讲 线性子空间
2009-9-22
本讲主要内容
线性子空间的定义 线性子空间的性质 线性子空间的交 线性子空间的和 子空间交与和的有关性质
线性子空间
设V1是数域K上的线性空间V上一个非空子 集合,且对已有的线性运算满足以下条件: 1. 如果 x , y ∈V1 ,则 x + y ∈V1 ; 2. 如果 x ∈V1 , k ∈ K , kx ∈V1 则称V1是V的线性子空间或子空间 线性子空间也是线性空间 非零线性空间的平凡子空间:线性空间自身 以及零空间 线性子空间的维数小于等于线性空间的维数
条件等价: 1) V1 ⊆ V2 包含V1和V2中的 最小的子空间
2) V1 ∩ V2 = V1 3) V1 + V2 = V2
3、 x1 , x2 , , x s ; y1 , y2,
向量,则
, yt 为线性空间V中两组 , x s ) + L( y1 , y2,
, x s , y1 , y2,
若为Rn的子空间,求出其维数与一组基. 解:V1 、V3是Rn的子空间, V2不是Rn的子空间. 事实上,V1 是n元齐次线性方程组 ① 的解空间. 所以,维V1 =n-1,①的一个基础解系
x1 + x2 + + xn = 0
η1 = (1, −1, 0, η n−1 = (1, 0,
, 0), η 2 = (1, 0, −1, 0,
是 Cn 的子空间,称为矩阵A的值域,或列空间 矩阵的零空间(核空间)
A ∈ Cm×n的n个列向量为 a1 , a2 , , an 则 设 n N ( A ) = { x | Ax = 0, x ∈ C } 是 Cn 的子空间,称为矩阵A的零空间,其维 数为A的零度,记为 n( A )
⎡1 0 1⎤ 已知 A = ⎢ ⎥ 求A的秩和零度 ⎣0 1 1⎦ 显然A的秩为2,即 rankA = 2 又由 Ax = 0 ,可以解得 T 可以得到 x = (1 1 −1) t n ( A ) = 1
,n
L ( x1 , x2 ,
, xn 生成(或张成)的子空间,记为
如果 x1 , x2 , 则 x1 , x2 ,
, xm
m < n 是线性无关组,
, xm 是生成的子空间的基
零子空间就是零元素生成的子空间
例:设V为数域K上的线性空间, x1 , x2 ,
, xm ∈ V
V1 = {k1 x1 + k2 x2 +
同样可以得到
rankA = 2,
T
n(A
T
)=0
若 A ∈ R m×n ,有
rankA + n ( A ) = n n ( A ) − n ( A
T
)= n−m
定理: 设V1、V2为线性空间V的子空间,则集合
V1 ∩ V2 = { a | a ∈ V1 且a ∈ V2 }
也为V的子空间,称之为V1与V2的交空间. 事实上, ∵ 0 ∈ V1 , 0 ∈ V2 , ∴ 0 ∈ V1 ∩ V2 ≠ ∅ 任取 x , y ∈ V1 ∩ V2 , 即 x , y ∈ V1 , 且x , y ∈ V2 , 则有 x + y ∈ V1 , x + y ∈ V2 , ∴ x + y ∈ V1 ∩ V2 同时有 kx ∈ V1 , kx ∈ V2 , ∴ kx ∈ V1 ∩ V2 , ∀k ∈ K 故 V1 ∩ V2 为V的子空间.
∀x, y ∈V1 , ∀k , l ∈ K 有 ∃kx + ly ∈V1
充分性:设 k=l=1,∀x , y ∈V1 ⇒ x + y ∈V1 取l=0, x ∈V1 , ∀k ∈ K ⇒ kx ∈V1 ∀ 必要性: ∀x ∈V1 , ∀k ∈ K ⇒ kx ∈V1 (数乘封闭)
∀y ∈V1 , ∀l ∈ K ⇒ ly ∈V1 (数乘封闭)
线性子空间V1也是线性空间 证明:必要性由定义直接得出
充分性:各运算律已在V中定义,我们只需证明
∃0 ∈V1 ∀x ∈ V1 , ∃ − x ∈ V1 实际上, 0 = 0i x ∈ V1
∀x ∈ V1 , −1 ∈ K
− x = ( −1) x ∈V1
所以线性子空间V1也是线性空间
V1是数域K上的线性空间V上一个非空子空间
ε i = (0,
, 0,1, 0
i
, 0), i = 1, 2,
,n−1
就是V3的一组基.
设 x1 , x2 , , xn 是数域K上的线性空间V的 一组向量,所有可能的线性组合的集合
V1 = {k1 x1 +
称为由 x1 , x2 ,
+ kn xn } ki ∈ K , i = 1, 2, , xn ) = {k1 x1 + + k n xn }
+ xn ) + ( y1 + y2 +
+ yn ) = 1 + 1 = 2
∴ x + y ∉ V2 ,
故V2不是Rn的子空间.
下证V3是Rn的子空间.
首先 0 = (0, 0, , 0) ∈ V3 , ∴V3 ≠ ∅
其次,∀ x , y ∈ V 3 , ∀ k ∈ K , 设 x = ( x1 , x 2 ,
子空间的和满足交换率与结合率
V1 + V2 = V2 + V1 ,
(V1 + V2 ) + V3 = V1 + (V2 + V3 )
注意:
V的两子空间的并集未必为V的子空间. 例如
V1 = {( a, 0, 0) a ∈ R}, V2 = {(0, b, 0) b ∈ R}
皆为R3的子空间,但是它们的并集
+ km xm ki ∈ P , i = 1,2,
, m}
则V1关于V的运算作成V的一个子空间. 证: ∀x ∈ V1 ⇒ x = k1 x1 + k2 x2 +
+ km xm