替换定理的矩阵证法.pdfVIP

第 33 卷第 6 期 数学的实践与认识 V o l33　N o 6　 2003 年 6 月 M A TH EM A T ICS IN PRA CT ICE AND TH EO R Y June, 2003　 替换定理的矩阵证法 张景晓, 　韩忠月, 　连秀国, 　姜曰华 (德州学院数学系, 山东 德州　253023) 摘要: 　本文给出了替换定理的一种新证法, 并解决了具体的替换问题. 关键词: 　向量空间; 替换定理; 矩阵; 初等变换 1　引　　言 　　替换定理是高等代数的重要定理之一, 向量空间中的许多结论都是根据替换定理得出 的. 在一般教材中, 替换定理是用数学归纳法证明的. 本文给出一种新的证明方法——矩阵 证法. 这种方法不仅证明了替换定理, 同时也给出了一种具体的替换方法. 2　替换定理及其证明 设W 是数域F 上的一个m 维向量空间, 1 , 2 , …, m 是W 的一个基, 对于任意向量 ∈ , 用[ ]表示 在基 , , …, 下的坐标, 则有以下结论: W 1 2 m 引理　设 , , …, 是 中的 个向量, 则在 , , …, 下有: 1 2 n W n 1 2 m 1) 1 , 2 , …, n 线性无关 [ 1 ], [ 2 ], …, [ n ]线性无关. 2) = 1 1+ 2 2 + …+ n n [ ]= 1 [ 1 ]+ 2 [ 2 ]+ …+ n [ n ] k k k k k k 3) ( 1 , 2 , …, n ) = ( 1 , 2 , …, n ) ( [ 1 ], [ 2 ], …, [ n ]) = ( [ 1 ], [ 2 ], …, A [n ])A . 4 ) i 1 , i2 , …, ir 是 1 , 2 , …, n 的极大无关组的充要条件是[ i 1 ], [ i2 ], …, [ ir ] 是 [1 ], [ 2 ], …, [ n ] 的极大无关组. 此引理属常见结论, 其证明略. 下面证明替换定理: 替换定理　设向量组 { 1 , 2 , …, r }线性无关, 并且每一 i 都可以由向量组{ 1 , 2 , ( ) ( ) …, s } 线性表示, 那麽 ≤ , 并且必要时可以对 中向量重新编号, 使得用 1 , 2 , r S …, r 替换 1 , 2 , …, r 后, 所得的向量组{ 1, 2 , …, r , r+ 1 , …, s }与向量组{ 1 , 2 , …, s }等价. 证　设 = ( , , …, , , …, ) , 的维数设为 , 由于 , , …, 可由 , W L 1 2