1、第三章第三章 线性空间线性空间第一节第一节 n 维向量的线性相关性维向量的线性相关性 一、一、n 维向量维向量定义定义1由由 n 个数个数 所组成的有序数组所组成的有序数组12,na aa 称为称为 n 维向量维向量，或简称为或简称为向量向量其中其中 n 称为向量的称为向量的维数维数，第第 i（）个数）个数 称为称为 n 维向量维向量1,2,inia 的第的第 i 个个分量分量，并且把并且把 n 个分量均为实数的向量称个分量均为实数的向量称为为实向量实向量；n 维向量可以写成一行形式维向量可以写成一行形式T12(,),na aa 也可以一列的形式也可以一列的形式12T12(,).nnaaa a
2、aa 把个分量均为复数的向量称为把个分量均为复数的向量称为复向量复向量而用符号而用符号 表示行向量表示行向量 TT,按照上一章的约定，通常用黑体希腊字母按照上一章的约定，通常用黑体希腊字母,表示列向量，表示列向量，在本书中，如果没有特别说明，我们涉及的向量在本书中，如果没有特别说明，我们涉及的向量均指分量为实数的列向量，即列形式的实向量均指分量为实数的列向量，即列形式的实向量 将所有将所有 n 维实向量的全体记为维实向量的全体记为 ，nR R即即T12(,)|,1,2,nnia aaainR RR R并将其称为并将其称为 n 维向量空间维向量空间事实上，事实上，n 维向量是解析几何中向量概念的
3、推广维向量是解析几何中向量概念的推广 定义定义2设设 ，TT1212(,),(,)nnna aab bb R RkR R，则，则对应的分量均相等，即对应的分量均相等，即1）称向量）称向量 与与 相等相等，记作，记作 ，如果，如果 与与 ,iiab1,2,;in2）称向量）称向量T1122(,)nnab abab 为向量为向量 与与 的的和和，并记，并记 ；3）称向量）称向量T12(,)nkka kaka 为数为数 k 与向量与向量 的的数量乘法数量乘法，也简称为，也简称为数乘数乘 向量的加法和数量乘法通常称为向量的向量的加法和数量乘法通常称为向量的线性运算线性运算 定义定义3将将 中分量全为中
4、分量全为 0 的向量的向量nR R(0,0,0)称为称为零向量零向量，并且仍记为，并且仍记为 0；设设 ，将向量，将向量 TT1212(,),(,)nnna aab bb R RT12(1)(,)naaa 称为向量称为向量 的负向量，记为的负向量，记为 ；并且，定义向量并且，定义向量 与与 的减法为的减法为 ().容易验证，向量的加法和数量乘法满足下面容易验证，向量的加法和数量乘法满足下面8条性质：条性质：1）加法交换律：）加法交换律：；2）加法结合律：）加法结合律：；()()3）对于任意的）对于任意的 ，均有，均有 ；n R R0 4）对于任意的）对于任意的 ，均存在负向量，均存在负向量 ，
5、使得，使得n R R()0;5）；1 6）数乘结合律：）数乘结合律：；()()k lkl 7）；()klkl 8）()kkk 二、二、n 维向量的线性相关性维向量的线性相关性定义定义4将若干个维数相同的向量所组成的集合称为将若干个维数相同的向量所组成的集合称为向量组向量组；将由向量组的一部分向量组成的向量组称将由向量组的一部分向量组成的向量组称为原向量组的为原向量组的部分组部分组例如，将例如，将 s 个向量个向量 所组成的向量组记成所组成的向量组记成 I，12,s 即即 12I,s 通常也将集合的大括号去掉，写通常也将集合的大括号去掉，写成向量组成向量组 ，或向量组，或向量组 12I:,s 1
6、2,s 对于一个对于一个 mn 矩阵矩阵 A，按列进行分块，即，按列进行分块，即12,n A其全体列向量构成一个含有其全体列向量构成一个含有 n 个个 m 维列向量的向量维列向量的向量组，通常称为矩阵组，通常称为矩阵 A 的的列向量组列向量组；若对；若对 A 按行进行按行进行分块，即分块，即 T1T2Tm A其全体行向量构成一个含有其全体行向量构成一个含有 m 个个 n 维行向量的向量维行向量的向量组，称为矩阵的行向量组组，称为矩阵的行向量组 并且，矩阵和含有有限个向量的有序向量组是一并且，矩阵和含有有限个向量的有序向量组是一一对应的一对应的 定义定义5设设 ，12,ns R R1s 12,s
7、k kk R R ，使得，使得1122,sskkk则称向量则称向量 是向量组是向量组 的一个的一个线性组合线性组合，12I:,s 或者说，向量或者说，向量 可以由向量组可以由向量组 线性表线性表 12I:,s 出出（或（或线性表示线性表示）此时，相应地被称此时，相应地被称12,sk kk为为组合系数组合系数或者或者表出系数表出系数两个向量之间成比例的关系是线性组合最简单两个向量之间成比例的关系是线性组合最简单的情形，的情形，使得使得 所谓两个向量和成比例，即存在数所谓两个向量和成比例，即存在数 kk 如果存在数如果存在数定义定义6将将 n 维向量维向量T1T2T(1,0,0),(0,1,0),
8、(0,0,1)n 称为称为 n 维单位向量维单位向量 任何一个任何一个 n 维向量维向量 可以写成可以写成T12(,)na aa n 维单位向量维单位向量 的线性组合，的线性组合，12,n 即即1 122;nnaaa另外，零向量另外，零向量 0 是任何向量组的线性组合是任何向量组的线性组合 定义定义7设设 和和 是两个向是两个向12I:,s 12II:,t 量组量组均可以由向量组均可以由向量组 线性表出，线性表出，12II:,t 则称向量则称向量组组 I 可以由向量组可以由向量组 II 线性表出线性表出如果向量组如果向量组 I 中的每一个向量中的每一个向量 ()i 1,2,is 如果向量组如果
9、向量组 I 和和 II 可以相互线性表出，则称这可以相互线性表出，则称这两个向量组两个向量组等价等价显然，任何一个向量组可以由其自身线性表出显然，任何一个向量组可以由其自身线性表出1）反身性：）反身性：2）对称性：）对称性：II 和和 I 也等价；也等价；3）传递性：）传递性：和和 III 也等价，那么向量组也等价，那么向量组 I 和和 III 等等价价另外，向量组之间的等价关系满足如下规律：另外，向量组之间的等价关系满足如下规律：任何向量组均与本身等价；任何向量组均与本身等价；如果向量组如果向量组 I 和和 II 等价，那么向量组等价，那么向量组如果向量组如果向量组 I 和和 II 等价，且
10、向量组等价，且向量组 II定义定义8给定一个向量组给定一个向量组 ，如果存在，如果存在12I:,s 不全为零不全为零的数的数 ，使得，使得12,sk kk1122sskkk 0,则称向量组则称向量组 I 是是线性相关线性相关的；的；性无关性无关的的线性无关也就是线性不相关，线性无关也就是线性不相关，即不存在不全为即不存在不全为零的数零的数 ，使得，使得12,sk kk1122sskkk 0.否则，称向量组是否则，称向量组是线线因此，线性无关的定义也可以叙述为：因此，线性无关的定义也可以叙述为：对于向量组对于向量组 ，如果由，如果由 12I:,s 1122sskkk0可以推出可以推出120,sk
11、kk则称向量组是则称向量组是线性无关线性无关的的 例例1证明：证明：n 维单位向量维单位向量 是线性无是线性无12,n 关的关的定理定理 1 向量组向量组 （）线性相关的）线性相关的12I:,s 2s 充分必要条件是向量组充分必要条件是向量组 I 中至少有一个向量可以由中至少有一个向量可以由其余的向量线性表出其余的向量线性表出定义定义 如果向量组如果向量组 （）中至少）中至少812I:,s 2s 有一个向量可以由其余的向量线性表出，则称向量有一个向量可以由其余的向量线性表出，则称向量组组 I 是是线性相关线性相关的的任何包含零向量任何包含零向量 0 的向量组是线性相关的的向量组是线性相关的 另
12、外，容易证明，另外，容易证明，性相关的性相关的由单个向量由单个向量 0 组成的向量组是线组成的向量组是线于是，于是，单个向量单个向量 组成的向量组线性相关当且仅当组成的向量组线性相关当且仅当 0;换句话说，换句话说，单个向量组单个向量组 成的向量组线性无关当成的向量组线性无关当 0.且仅当且仅当定理定理2如果向量组如果向量组 的一个部分组线的一个部分组线12I:,s 性相关，那么这个向量组性相关，那么这个向量组 I 就线性相关就线性相关这个命题的逆否命题为：这个命题的逆否命题为：如果向量组如果向量组 线性无关，那么它任线性无关，那么它任12I:,s 何一个部分组也线性无关何一个部分组也线性无关
13、定理定理3如果向量组如果向量组 线性无关，而向量线性无关，而向量12,s 组组 线性相关，则线性相关，则 可以由向量组可以由向量组 I 线线12,s 性表出，并且表示法唯一性表出，并且表示法唯一推论推论任意一个任意一个 n 维向量维向量 可以由可以由T12(,)na aa n 维的单位向量维的单位向量 线性表出，且表示法唯线性表出，且表示法唯12,n 一一第二节第二节 向量组的秩和矩阵的秩向量组的秩和矩阵的秩将线性方程组将线性方程组 11 11221121 1222221 122,nnnnmmmnnma xa xa xba xa xa xba xaxaxb（1）的系数矩阵按列进行分块，的系数矩
14、阵按列进行分块，即即12,n A则方程组（）可以写成则方程组（）可以写成1 122nnxxx 线性方程组（）有解当且仅当方程组的常数线性方程组（）有解当且仅当方程组的常数项向量可以由其系数矩阵的列向量组线性表出项向量可以由其系数矩阵的列向量组线性表出对于齐次线性方程组对于齐次线性方程组 11 1122121 122221 1220,0,0.nnnnmmmnna xa xa xa xa xa xa xaxax（3）也将其系数矩阵按列进行分块：也将其系数矩阵按列进行分块：12,n A则方程组（）可以写成则方程组（）可以写成1 122nnxxx 0.齐次线性方程组（）有非零解当且仅当方程齐次线性方程
15、组（）有非零解当且仅当方程组系数矩阵的列向量组是线性相关的组系数矩阵的列向量组是线性相关的 或者说或者说齐次线性方程组（）只有零解当且仅当方程齐次线性方程组（）只有零解当且仅当方程组系数矩阵的列向量组是线性无关的组系数矩阵的列向量组是线性无关的一、消元法解线性方程组一、消元法解线性方程组定义定义9设设 A 是一个是一个 mn 矩阵矩阵如果如果 A 满足下列满足下列两个条件：两个条件：1）如果第）如果第 i 行元素全为零，那么第行元素全为零，那么第 i+1 行（如果行（如果存在）的元素也全为零；存在）的元素也全为零；2）如果矩阵中存在非零元素，那么每个非零行）如果矩阵中存在非零元素，那么每个非零
16、行的第一个非零元素所在列号自上而下严格单调上升的第一个非零元素所在列号自上而下严格单调上升则称则称 A 是一个是一个行阶梯型矩阵行阶梯型矩阵 特别地，特别地，对于一个行阶梯型矩阵，如果它的每个非对于一个行阶梯型矩阵，如果它的每个非零行的第一个非零元素均为零行的第一个非零元素均为 1，且这些元素，且这些元素 1 所在列所在列的其它元素均为的其它元素均为 0，则称是一个，则称是一个最简行阶梯型矩阵最简行阶梯型矩阵例如例如1212501324000270000010102014030001200000rEOOO 行阶梯型矩阵中每一行的第一个不为零的元素的行阶梯型矩阵中每一行的第一个不为零的元素的左边
17、及其所在列以下全为零左边及其所在列以下全为零例例2求解线性方程组求解线性方程组1234123412341234231,24,2231,2225.xxxxxxxxxxxxxxxx例例3求解线性方程组求解线性方程组123412341234232,23,22425.xxxxxxxxxxxx例例4求解线性方程组求解线性方程组1234123423422,32321,35.xxxxxxxxxxx 例例5判断向量组判断向量组T1(2,1,1,1),T2(0,3,1,0),T3(5,3,2,1),T4(6,6,1,3)的相关性的相关性例例6设向量设向量 T(1,2,1,1)T1(1,1,1,1)T2(1,1,
18、1,1)T3(1,1,1,1)T4(1,1,1,1)试把试把 表示成其它向量的线性组合表示成其它向量的线性组合 二、向量组的极大无关组和向量组的秩二、向量组的极大无关组和向量组的秩定理定理4如果向量组如果向量组 可以由向量组可以由向量组12I:,s 线性表出，且线性表出，且 ，12II:,t st 线性相关线性相关12I:,s 推论推论1如果向量组如果向量组 可以由向量组可以由向量组12I:,s 线性表出，且线性无关，线性表出，且线性无关，12II:,t .st推论推论2如果如果 与与 等等12I:,s 12II:,t 价，且两个向量组均线性无关，则有价，且两个向量组均线性无关，则有.st那么
19、向量组那么向量组则有则有推论推论3任意任意 n+1 个个 n 维向量均线性相关维向量均线性相关定理定理5设向量组设向量组 线性无关，线性无关，12I:,s T12(,),1,2,.iiiniaaais 且且如果在向量组如果在向量组 I 的每一个向量上均添加的每一个向量上均添加 r 个分量，个分量，得到一组得到一组 n+r 维向量维向量T121,(,),1,2,.iiininin r iaaaaais 那么向量组那么向量组 仍然线性无关仍然线性无关12II:,t 推论推论设设 线性相关，则将向量组的每线性相关，则将向量组的每12,s 一个向量去掉若干分量所得到的向量组仍线性相关一个向量去掉若干分
20、量所得到的向量组仍线性相关定义定义10设向量组设向量组120I:,riii 是向量组是向量组 的一个部分组的一个部分组 12I:,s 如果如果 1）向量组）向量组 是线性无关的；是线性无关的；0I2）向量组）向量组 I 可以由向量组可以由向量组 线性表出，线性表出，0I则称部分组则称部分组 是向量组是向量组 I 的一个的一个极大无关组极大无关组0I非零向量组非零向量组 I 均存在极大无关组均存在极大无关组 线性无关的向量组的极大无关组就是这个向量线性无关的向量组的极大无关组就是这个向量组本身组本身定理定理6 非零向量组与其极大无关组等价，非零向量组与其极大无关组等价，换句话说，换句话说，极大无
21、关组是一个与向量组自身等价的无关部分组极大无关组是一个与向量组自身等价的无关部分组例例7验证验证 与与 均为向量组均为向量组 12,23,TTT123(2,1,3,1),1,2,0,1=1,1,3,0，的极大无关组的极大无关组向量组的任意两个极大无关组是等价的向量组的任意两个极大无关组是等价的;所含向量的个数是相同的所含向量的个数是相同的定义定义11将向量组将向量组 的极大无关组所含向量的极大无关组所含向量12,s 的个数称为向量组的的个数称为向量组的秩秩，记为记为 12(,)sR 从而，从而，并规定，含有单个零向量的向量组的秩为并规定，含有单个零向量的向量组的秩为 0定理定理7向量组向量组
22、线性无关的充分必要条线性无关的充分必要条12,s 件是件是 12(,),sRs 向量组向量组 线性相关的充分必要线性相关的充分必要12,s 12(,).sRs 换句话说，换句话说，条件是条件是定理定理8等价的向量组必有相同的秩等价的向量组必有相同的秩 定理定理9设向量组设向量组 的秩为的秩为 r 12,s 那么该向量那么该向量组中任意含有组中任意含有 r 个向量的无关部分组均为这个向量组个向量的无关部分组均为这个向量组的一个极大无关组的一个极大无关组三、矩阵的秩及性质三、矩阵的秩及性质定义定义12设设 是是 mn 矩阵，矩阵，()ijaA是一个正整数是一个正整数 1min,km n在中任取在中
23、任取 k 行（第行（第 行）和行）和12,ki iik 列（第列（第 列）交叉点上的列）交叉点上的 个元素，个元素，12,kjjj2k它们在它们在 A 中所处的位置不变，中所处的位置不变，按照按照而得到的一个而得到的一个 k 阶行阶行列式列式1 11 212 12 2212kkkkk ki ji ji ji ji ji ji ji ji jaaaaaaDaaa称为矩阵的一个称为矩阵的一个 k 阶子式阶子式 当子式当子式 D 的值为零时，称这个子式的值为零时，称这个子式 D 为为零子式零子式，否则，称为否则，称为非零子式非零子式特别地，特别地，当当 时，时，,1,2,ssijsk称子式称子式 D
24、 为为A 的一个的一个 k 阶主子式阶主子式定义定义13如果在矩阵如果在矩阵 A 中存在一个中存在一个 r 阶的非零子式阶的非零子式 D，而的所有而的所有 r+1 阶子式（如果存在的话）均为零子式，阶子式（如果存在的话）均为零子式，那么称为矩阵那么称为矩阵 A 的一个的一个最高阶非零子式最高阶非零子式，并将并将 D 的阶的阶数数 r 称为矩阵称为矩阵 A 的秩，记为的秩，记为 R(A)并规定零矩阵并规定零矩阵 O 的的秩为秩为 0mn 矩阵矩阵 A 的秩的秩 R(A)满足满足 0()min,Rm nA矩阵矩阵 A 的秩的秩 R(A)即为即为 A 中非零子式的最高阶数中非零子式的最高阶数 性质性
25、质1 T()()RRAA性质性质2如果矩阵如果矩阵 A 存在一个存在一个 k 阶的非零子式，那么阶的非零子式，那么 ;()RkA如果矩阵如果矩阵 A 的的 l 阶子式全为零子式，则阶子式全为零子式，则()Rl.A性质性质3初等变换不改变矩阵的秩，即如果初等变换不改变矩阵的秩，即如果 ，AB则则 ()()RRAB性质性质4设设 A 是一个是一个 mn 矩阵，矩阵，P,Q 分别为分别为 m 阶、阶、n 阶可逆矩阵，则阶可逆矩阵，则()().RRPAQA性质性质5设设 A 是一个是一个 n 阶方阵则阶方阵则 的充分必的充分必|0A要条件是要条件是 R(A)=n例例8计算下列矩阵的秩：计算下列矩阵的秩
26、：132322,211 A121234,115B114202110000C例例9求矩阵求矩阵 R(A)，并求，并求 A 的一个最高阶非零子式：的一个最高阶非零子式：121032321511113312124A定义定义14设设 A 是一个矩阵将是一个矩阵将 A 的行向量组的秩称的行向量组的秩称为矩阵为矩阵 A 的的行秩行秩；的的列秩列秩例例10计算矩阵计算矩阵 A 的秩，及其行秩和列秩的秩，及其行秩和列秩 11121002310001400000A引理引理1初等行变换不改变矩阵的行秩初等行变换不改变矩阵的行秩 引理引理2初等行变换不改变矩阵的列秩初等行变换不改变矩阵的列秩 将将 A 的列向量组的
27、秩称为矩阵的列向量组的秩称为矩阵 A定理定理10初等变换不改变矩阵的行秩，也不改变矩阵初等变换不改变矩阵的行秩，也不改变矩阵的列秩的列秩定理定理11矩阵的行秩与列秩相等，并且等于矩阵的秩矩阵的行秩与列秩相等，并且等于矩阵的秩 例例11求向量组的秩，并给出这个向量组的一个极大求向量组的秩，并给出这个向量组的一个极大无关组无关组 123451120122024,3122510332 性质性质6 max(),()(,)()()RRRRRABA BAB性质性质7 ()()()RRRABAB第三节第三节 线性空间的基本概念线性空间的基本概念一、线性空间的定义一、线性空间的定义定义定义15 设设 V 是一
28、个非空集合，是一个非空集合，或者或者 是一是一F R RC C个数域个数域定义两种运算：定义两种运算：1）加法加法：对于任意的对于任意的 ，存在唯一的，存在唯一的,V V 与之对应，称为与之对应，称为 与与 的的和和，2）数量乘法数量乘法：对于任意的对于任意的 ，存在唯一，存在唯一,kFV 的的 与之对应，称为与之对应，称为 k 与与 的的数量乘积数量乘积，V k .如果加法和数量乘法满足以下如果加法和数量乘法满足以下 8 条运算规律，则称条运算规律，则称 V 是数域是数域 F 上的一个上的一个线性空间线性空间，记为记为 ；记为记为仍记为仍记为 V 1）加法交换律：）加法交换律：；2）加法结合
29、律：）加法结合律：；()()3）存在）存在 ，V()0,5）；1 6）数乘结合律：）数乘结合律：；()()k lkl 7）；()klkl 8）()kkk 0 使得使得 ，将将 0 称为称为零元素零元素；4）存在）存在 ，V 使得使得将将 称为称为 的的负元素负元素；当当 时，时，F R R我们称我们称 F 上的线性空间上的线性空间 V 为为实空间实空间，当当 时，时，F C C我们称我们称 F 上的线性空间上的线性空间 V 为为复空间复空间 本课程中，如果不特别说明，涉及的线性空间本课程中，如果不特别说明，涉及的线性空间均为实空间均为实空间通常情况下，通常情况下，我们仍将线性空间中的元素称为我
30、们仍将线性空间中的元素称为向量向量，并用黑体希腊字母并用黑体希腊字母 表示，表示，,也将线也将线性空间中的加法和数量乘法称为性空间中的加法和数量乘法称为线性运算线性运算 例例12 数域数域 F 本身按照数的加法和乘法，构成数域本身按照数的加法和乘法，构成数域 F上的一个线性空间上的一个线性空间 例例13所有所有 mn 实矩阵的全体，仍记为实矩阵的全体，仍记为()()|;m nijm nijMaaR RR RA按照矩阵的加法和数与矩阵的数量乘法，按照矩阵的加法和数与矩阵的数量乘法，的一个线性空间的一个线性空间构成构成 上上R R同样，同样，所有所有 mn 复矩阵的全体，仍记为复矩阵的全体，仍记为
31、()()|m nijm nijMaaAC CC C按照矩阵的加法和数与矩阵的数量乘法，按照矩阵的加法和数与矩阵的数量乘法，的一个线性空间的一个线性空间构成构成 上上C C例例14 以数域以数域 F 中的数作为系数的多项式的全体，中的数作为系数的多项式的全体，为为 ，即即 F x111001 ()|,nnnnnF xf xa xaxa xaaaaF按照多项式的加法和数与多项式的数量乘法，按照多项式的加法和数与多项式的数量乘法，记记 F 上的一个线性空间上的一个线性空间例例15 区间区间 a,b 上所有连续实函数的全体，上所有连续实函数的全体，按照函数的加法和数与函数的乘法，按照函数的加法和数与函
32、数的乘法，,C a b个线性空间个线性空间构成构成记为记为R R构成构成 上的一上的一二、线性空间的简单性质二、线性空间的简单性质性质性质1线性空间线性空间 V 中的零元素中的零元素 0 是唯一的是唯一的 一的一的性质性质2线性空间线性空间 V 中任意元素中任意元素 的负元素的负元素 是唯是唯 性质性质3对于线性空间对于线性空间 V 中的任意元素中的任意元素 ，的数的数 ，kF以及任意以及任意有有00,()()(),kkk k 00.特别地，特别地，当当 k=1 时，有时，有 (1)性质性质4设设 ，kFV 如果如果 ，那么，那么k 0 0k 或者或者 0 第四节第四节 线性空间的基、维数线性
33、空间的基、维数 及向量的坐标及向量的坐标 一、基、维数及向量坐标的定义一、基、维数及向量坐标的定义定义定义16设设 V 是数域是数域 F 上的一个线性空间上的一个线性空间 V 中存在中存在 n 个线性无关的向量，个线性无关的向量，记为记为 ，12,n 且任意的且任意的 均可由这组向量线性表出，均可由这组向量线性表出，V 即存在即存在 12,nk kkF ，使得使得1122,nnkkk则称则称 V 是一个是一个 n 维线性空间维线性空间，维数维数是是 n，记为记为 ，dimVn或者说线性空间或者说线性空间 V 的的并且称并且称 是线是线12,n 性空间的一组性空间的一组基基如果在如果在如果在如果
34、在 V 中存在无限多个线性无关的向量，中存在无限多个线性无关的向量，称称 V 是是无限维的线性空间无限维的线性空间 则则如果不特别说明，如果不特别说明，本课程提到的线性空间均为本课程提到的线性空间均为有限维的有限维的在在 n 维线性空间维线性空间 V 中，中，任意向量任意向量 在在 V 的一组的一组 基基 下的表出系数下的表出系数 是由是由 和这和这12,n 12,nk kk 组基所唯一确定，组基所唯一确定，下的下的坐标坐标或或坐标向量坐标向量，将这组数称为将这组数称为 在基在基 12,n 记为记为 T12(,).nk kk例例16将数域将数域 F 看作其自身上一个线性空间，看作其自身上一个线
35、性空间，数数 1 就是一组基，从而这个线性空间是就是一组基，从而这个线性空间是 1 维的维的 且且对于任意的对于任意的 ，kF本身本身 关于基关于基 1 的坐标就是的坐标就是 k 这个数这个数例例17对于对于 n 维向量空间维向量空间 T12(,)|,1,2,.nnia aaainR RR R则有则有 是是 的一组基，的一组基，12,n nR R从而从而 的维数为的维数为nR R n对于任意的对于任意的 ，T12(,)nna aa n nR R在基在基12,n 下的坐标就为向量下的坐标就为向量 本身本身 T12(,)na aa 那么那么例例18对于数域对于数域 F 上的线性空间上的线性空间()
36、()|.m nijm nijMFaaFA令令 表示第表示第 i 行第行第 j 列是列是 1，其余位置均，其余位置均()ijm nMFE为零的为零的 mn 矩阵矩阵 容易验证容易验证|1,2,1,2,ijimjnE构成构成 的一组基，的一组基，()m nMF从而从而 dim()m nMFmn任意任意 ，()()ijm naMFA关于上面这组基的坐标关于上面这组基的坐标为为|1,2,1,2,.ijaimjn例例19在数域在数域 F 上的线性空间上的线性空间111001 ()|,nnnnnF xf xa xaxa xaaaaF中，中，对于一个固定的正整数对于一个固定的正整数 n，所有次数小于，所有次
37、数小于 n 的多项的多项式的全体式的全体 111001 ()|,nnnnF xf xaxa xaaaaF按照多项式的加法、数与多项式的乘法也构成数域按照多项式的加法、数与多项式的乘法也构成数域 F上的一个线性空间上的一个线性空间并且并且 中的元素中的元素 nF x12,1nnxxx就是就是 的一组基，的一组基，nF x从而从而 dim nF xn任意多项式任意多项式 1110()nnnf xaxa xaF x关于这组基的坐标就是多项式的系数构成的向量关于这组基的坐标就是多项式的系数构成的向量 二、基与基之间的过渡矩阵及坐标变换二、基与基之间的过渡矩阵及坐标变换设设 V 是数域是数域 F 上的一
38、个上的一个 n 维线性空间，维线性空间，且且是是 V 的两组基的两组基 12,n 12,n 由线性空间基的定义，由线性空间基的定义，11112121212122221122,.nnnnnnnnnnaaaaaaaaa利用矩阵的乘法法则，可以将（利用矩阵的乘法法则，可以将（11）式写成）式写成（11）1112121222121212,nnnnnnnnaaaaaaaaa （12）定义定义17设设 与与 是是 n 维线性空间维线性空间 V12,n 12,n 的两组基，的两组基，并且满足（并且满足（13）式的关系）式的关系将（将（13）式右端）式右端的的 n 阶方阵阶方阵111212122212nnnnnnaaaaaaaaaA称为从称为从 基到基基到基 的的过渡矩阵过渡矩阵 12,n 12,n 定理定理12 线性空间中两组基之间的过渡矩阵是可逆的线性空间中两组基之间的过渡矩阵是可逆的 推论推论 设设 是是 n 维线性空间维线性空间 V 的一组基，的一组基，12,n n阶方阵阶方阵 是可逆矩阵是可逆矩阵()ijaA令令1,1,2,njijiiajn 即即 满足满足 12,n 1212,nn A则则 也是的一组基也是的一组基12,n
