矩阵理论 课件 第2章第1节线性空间.ppt

(7)分配律：(8)数因子分配律：此时,称为数域上的线性空间或向量空间.线性空间的元素也称向量.当然,这里所谓的向量比的向量的含义要广泛得多.实数域上的线性空间简称实线性空间,复数域上的线性空间简称复线性空间.例2.1维实(复)向量的全体()按通常的向量加法和数乘运算构成线性空间.例2.2维实(复)矩阵的全体()按通常的矩阵加法和数乘运算构成线性空间,称为矩阵空间.例2.3实数域上所有次数不超过的多项式全体按通常多项式的加法和数乘运算构成线性空间,称为多项式空间.记为例2.4闭区间上连续函数的全体按通常函数的加法与数乘运算构成线性空间,记为例2.5二阶齐次线性微分方程解的全体按通常函数的加法与数乘运算构成线性空间..例2.6齐次线性方程组解的全体在向量的加法和数乘运算下构成线性空间,称为齐次线性方程组的解空间或矩阵的核空间.例2.7设是所有正实数的集合,在其中定义加法与数乘运算分别为验证对上述加法与数乘运算构成实数域上的线性空间.证对任意,有;对任意和,有,即对所定义的加法与数乘运算封闭.对任意有以下结论.(1)(2)(3)称1是零元.(4)故是的负元.(5)(6)(7)(8)因此,对这两种运算构成实线性空间.线性空间具有如下一些基本性质.性质1零元是唯一的.证设和是线性空间的两个零元,则由是零元得,又由是零元得,故.性质2任一元素的负元是唯一的.证设和都是的负元,即于是性质3证因为所以.又因为所以.由此可得性质4若,则或.证若,由性质3可得;若,则由性质3可得向量组的线性相关性定义2.2设是数域上的线性空间,是的一个向量组,称向量为向量组的一个线性组合.若向量是向量组的一个线性组合,即存在于中一组数使得(2.1)则称可由