矩阵初等变换有什么性质吗