高等代数的五种证明方法【转】

高代五种证明方法概说 【转帖】

五种高代方法概说一. 标准型方法:变换理论的两大方法之一。对于一个命题将它关联到一个变换理论,至于哪一种变换当然看命题里的量是否在该种变换下不变。其方法分两步,先对标准型验证或证明命题成立,再用变换将命题推广到(过渡到)一般情形。例子：1）正定矩阵有正定的平方根矩阵。2）任一矩阵有列满秩阵与行满秩阵的乘积分解.3）特征值互异的方阵Ａ,与Ａ交换的矩阵必然是Ａ的多项式。（它在相似变换下的标准型说法就是：当对角矩阵对角元素互相不同时，与它交换的矩阵只能是对角矩阵）二 不变量方法变换理论的两大方法之二。主要用于证明两个方阵可以或不可以相互变换。例如不相似、不合同,以及正定性判断,求特征值等。此外一些计算也常用不变量方法。例如行列式等于特征值乘积,例如线性方程组有解等价于两个秩相等。三 初等变换方法要点是左行右列四个字---行变换行组合是在左边乘上变换阵组合系数阵,而列变换列组合是在右边乘。例如:Ａ＋Ｂ＝Ｅｎ,则ＡＢ＝０当且仅当Ａ的秩加上Ｂ的秩等于ｎ。四 选基底方法高代中基底是表示线性(子)空间的方法。在教材中求极大无关组和求齐次线性方程组的基础解系都可理解为选基底。把矩阵相似对角化也可看成是选择由该矩阵的特征向量组成的基底。有两种应用:其一,计算维数或证明维数关系。选基底后维数、秩都成为基向量个数了,所以数一数个数就可以得到维数关系和秩关系。这个用法可概括成---选择基底使得维数、秩表示成了向量个数。其二,选择基底可以得到坐标化,例如线性变换对应到了方阵,而抽象向量表示成了一个列矩阵,线性泛函表示成了行矩阵。这样给出了方阵理论与线性变换理论相互转化的方法。通常这方面选基底的方法是要选出最好的基底以便得到最好的坐标化,这与标准型方法是统一的。例如：使得线性变换的矩阵是对角阵的基底正好是由线性变换的特征向量组成的基底。五 扰动方法主要用于从可逆方阵到不可逆方阵的过渡。原理是:对任何一个ｎ阶方阵Ａ, Ａ＋ｋＥ除了至多ｎ个数以外总是可逆的。所以一个公式如果对于可逆矩阵成立,且把可逆方阵代为Ａ＋ｋＥ时等式两边是ｋ的多项式,则可以令ｋ趋于０而得到对于不可逆方阵Ａ公式也成立。例如对于伴随矩阵公式 （ＰＱ）* = Ｐ＊Ｑ＊　的处理，可以用扰动法。具体的例子散见于论坛的各帖子中，或者搜索一下我发的所有帖子也可以。过段时间可能就会没时间来发帖子了，加上考研将近，希望这个帖子能对大家有些裨益。最后，将此帖送给听过我的课的学生们，希望他们考好。各种方法的帖子（仅限于有我本人所发帖子的主题，所用方法附后）：
http://www.math.org.cn/forums/index.php?showtopic=40569&hl=（初等变换与标准型方法）http://www.math.org.cn/forums/index.php?showtopic=39653&hl=（初等变换）http://www.math.org.cn/forums/index.php?showtopic=40572&hl=（选基底）http://www.math.org.cn/forums/index.php?showtopic=40564&hl=（初等变换）http://www.math.org.cn/forums/index.php?showtopic=40534&hl=（标准型）http://www.math.org.cn/forums/index.php?showtopic=40482&hl=（选基底）http://www.math.org.cn/forums/index.php?showtopic=40470&hl=（初等变换）http://www.math.org.cn/forums/index.php?showtopic=40112&hl=（分块对角化，一个有意思的中间结果，分块矩阵方法）
http://www.math.org.cn/forums/index.php?showtopic=40430&hl=（扰动法）http://www.math.org.cn/forums/index.php?showtopic=40240&hl=（可交换问题---可以归结为标准型方法，但是是有理标准型或者Frobenius型，candy_z君所提供的巧妙方法，问题由pagnini君提出）
http://www.math.org.cn/forums/index.php?showtopic=40396&hl=（选基底）http://www.math.org.cn/forums/index.php?showtopic=39881&hl=（选基底）http://www.math.org.cn/forums/index.php?showtopic=39506&hl=（扰动法，加法君的经典总结贴）http://www.math.org.cn/forums/index.php?showtopic=39058（标准型方法---问题是两个正规矩阵同时对角化，中间我有一个命题值得注意：与一个对角矩阵交换的所有矩阵是分块对角矩阵）
http://www.math.org.cn/forums/index.php?showtopic=40033&hl=（伴随矩阵的Jordan型，dinghy君提出的好问题）
http://www.math.org.cn/forums/index.php?showtopic=40513（秩1矩阵的总结，可认为是不变量方法）