矩阵的初等变换的性质