初等变换的矩阵有哪些性质