行列式性质证明-济南大学.DOC

用定义证明行列式的性质 李可峰 （济南大学数学科学院） 在北京大学编的《高等代数》（第三版）中，行列式的性质是借用后面的代数余子式给出的，没有严格用行列式的定义给出，这不符合数学的从定义---性质---定理的研究规律。为此，我们作此材料补充该部分证明。 一、行列式定义 定义1. 阶行列式 （1） 等于所有取自不同行不同列的个元素的乘积 （2） 的代数和，这里为的一个排列，每一项（2）都按下列规则带有符号：若为偶排列，（2）带正号；若为奇排列，（2）带负号。即 （3） 这里表示对所有级排列求和. 显然，若行列式的某行（列）元素全为，则该行列式为. 二、行列式的性质 称阶行列式为行列式的转置行列式. 性质1 行列式与它的转置行列式相等. 证明：对于阶行列式的任一项而言，是取自不同行不同列的个元素的乘积，按行标自然排列，用列标排列的奇偶性决定其符号.而这一项对而言，则依然是取自不同行不同列的个元素的乘积.其元素的位置由在中的变成，这需要对实施个对换：变成同时，变成，从而分别与有相同奇偶性.故等于.于是有，而恰好是按行标自然排列的定义，故. 该性质主要什么说明对行列式行成立的性质对列也成立. 性质2 互换行列式两行（列），行列式变号. 证明：互换行列