矩阵等价
定义 3.2. 矩阵等价
- 若矩阵 经一系列初等变换变成矩阵 ,则称 等价于 。
\begin{aligned} \boldsymbol{A} &=\boldsymbol{A}{1} \rightarrow \boldsymbol{A}{2} \rightarrow \boldsymbol{A}{3} \rightarrow \ &\cdots \rightarrow \boldsymbol{A}{s} = B \quad(s \geqslant 1) \end{aligned} - 其中每个 $\boldsymbol{A}_{i+1}(i=1,2, \cdots, s-1)$ 可由 $\boldsymbol{A}_{i}$ 经一次初等变换得到.
- 换句话说, 等价于 是指有一个由矩阵组成的序列
等价关系
” 等价于 “是两个矩阵之间的关系,它满足以下三条性质:
- 反身性:即 等价于 ;
- 对称性:若 等价于 ,则 等价于 ;
- 传递性:若 等价于 等价于 ,则 等价于 。
\begin{proof}
- 反身性显然成立,
- 传递性也不难证明。
- 而我们已经指出,当 经一次初等变换变成 时, 也可由 经一次初等变换得到,故对称性成立。
\end{proof}
因为有对称性,我们可把 ” 等价于 “表述成 ” 等价”。