矩阵初等变换的一些性质及应用