previous contents next

3.5 Элементарные преобразования матриц.

Везде далее в этом разделе $R$ - коммутативное кольцо с единицей.

Определение 3.11:
Элементарным преобразованием строк (столбцов) матрицы $A\in{R}_{n,m}$ называется

  1. умножение строки (столбца) на обратимый элемент кольца $R$,
  2. прибавление к строке (столбцу) другой строки (столбца) умноженной на любой элемент кольца $R$.
Элементарными преобразованиями матрицы называются элементарные преобразования ее строк и столбцов.

Утверждение 3.9:

  1. Умножение $i$-той строки (столбца) матрицы $A\in{R}_{n,m}$ на элемент $r\in{R}$ равносильно умножению матрицы $A$ слева (справа) на матрицу $D_n^{(i)}(r)$ ($D_m^{(i)}(r)$). Где матрица $D_n^{(i)}=(d_{s,t})_{n\times{n}}$ такая, что при $s\neq{t}$ $d_{s,t}=0$, при $s\neq{i}$ $d_{s,s}=e$, $d_{i,i}=r$.
  2. Прибавление к $i$-той строке (столбцу) $j$-той $j\neq{i}$ строки (столбца) умноженной на элемент $r\in{R}$ равносильно умножению слева (справа) матрицы $A$ на матрицу $T_n^{(i,j)}(r)$ ($T_n^{(j,i)}(r)$). Где матрица $T_n^{(i,j)}=(c_{s,t})_{n\times{n}}$ такая, что для любого $s\in\overline{1,n}$ $c_{s,s}=e$, для любого $(s,t)\in(\overline{1,n})^2$ такого, что $s\neq{t}$ и $(s,t)\neq(i,j)$ $c_{s,t}=0$ и $c_{i,j}=r$.

Доказательство:

  1. Пусть $D_n^{(i)}(r)A=(b_{s,t})_{n\times{m}}$, тогда $b_{s,t}=\overrightarrow{(D_n^{(i)}(r))}_sA_t^{\downarrow}$. Тогда для любого $s\neq{i}$ $b_{s,t}=d_{s,s}a_{s,t}=a_{s,t}$, а $b_{i,t}=d_{i,i}a_{i,t}=ra_{i,t}$.
    Пусть $AD_m^{(i)}(r)=(b_{s,t})_{n\times{m}}$, тогда $b_{s,t}=\vec{A}_s(D_m^{(i)}(r))_t^{\downarrow}$. Тогда для любого $t\neq{i}$ $b_{s,t}=a_{s,t}c_{t,t}=a_{s,t}$, а $b_{s,i}=d_{i,i}a_{s,i}=a_{s,i}r$.
  2. Пусть матрица $U_n^{(i,j)}(r)=(u_{s,t})_{n\times{n}}\in{R}_{n,n}$ такая, что $u_{i,j}=r$, а для любых $(s,t)\neq(i,j)$ $u_{s,t}=0$. Обозначим $B:=U_n^{(i,j)}(r)A=(b_{s,t})_{n\times{m}}$, тогда $b_{s,t}=\overrightarrow{(U_n^{(i,j)}(r))}_sA_t^{\downarrow}$. Следовательно, для любого $s\neq{i}$ $b_{s,t}=0$, а $b_{i,t}=u_{i,j}a_{j,t}=ra_{j,t}$. Таким образом, для любого $s\neq{i}$ $\vec{B}_s=\vec{0}$, и $\vec{B}_i=r\vec{A}_j$. Поэтому, доказываемое утверждение следует из равенства $T_n^{(i,j)}(r)=E+U_n^{(i,j)}(r)$ и дистрибутивности операции $\cdot$ относительно операции $+$, так как $T_n^{(i,j)}(r)A=(E+U_n^{(i,j)}(r))A=A+B$.
    Для столбцов доказывается аналогично.

Определение 3.12:
Матрицы $D_n^{(i)}(r)$ при всех $r\in{R}^*$ и $T_n^{(i,j)}(r)$ при всех $r\in{R}$, $i\neq{j}$ называются элементарными.

Замечание 3.1:

  1. Матрица $D_k^{(i)}(r)$ обратима тогда и только тогда, когда $r\in{R}^*$, при этом $(D_k^{(i)}(r))^{-1}=D_k^{(i)}(r^{-1})$. Действительно, $$D_k^{(i)}(r)\in(R_{k,k})^*\Rightarrow|D_k^{(i)}(r)|\in{R}^*\Rightarrow{e}\cdots{e}r\in{R}^*\Rightarrow{r}\in{R}^*.$$ С другой стороны, $$ r\in{R}^*\Rightarrow\exists{r}^{-1}\in{R}\Rightarrow \exists(D_k^{(i)}(r))^{-1}:=D_k^{(i)}(r^{-1}):D_k^{(i)}(r)(D_k^{(i)}(r))^{-1}=(D_k^{(i)}(r))^{-1}D_r^{(i)}(r)=E\Rightarrow{D}_k^{(i)}(r)\in(R_{k,k})^*. $$
  2. Матрица $T_k^{(i,j)}$ обратима при любых $i\neq{j}$. При этом $(T_k^{(i,j)}(r))^{-1}=T_k^{(i,j)}(-r)$.

Определение 3.13:
Матрица $A$ эквивалентна матрице $B$ ($A\sim{B}$), если матрицу $B$ можно получить из матрицы $A$ с помощью конечного числа элементарных преобразований.

Утверждение 3.10:

  1. Отношение $\sim$ является отношнием эквивалентности (см. определение 2.15).
  2. Если матрица $B$ получена из матрицы $A$ перестановкой строк и столбцов, то $A\sim{B}$.
  3. $\forall{A},B\in{R}_{n,m}(A\sim{B}\Rightarrow\exists{U}\in(R_{n,n})^*\,\exists{V}\in(R_{m,m})^*:B=UAV)$.
  4. $\forall{A},B\in{R}_{n,n}(A\sim{B}\Rightarrow\exists{r}\in{R}^*:|B|=r|A|)$.

Доказательство:

  1. Проверим выполнение свойств отношения эквивалентноти для отношения эквивалентности матриц
  2. Достаточно рассмотреть случай, когд $B$ получено из $A$ перестановкой двух строк. Пусть для любых $k\notin{i,j}$ $\vec{A}_k=\vec{B}_k$, $B_i=A_j$ и $B_j=A_i$, тогда матрица $B$ получается из матрицы $B$ с помощью четырех элементарных преобразований $$A=\begin{pmatrix}\vec{A}_1 \\ \vdots \\ \vec{A}_i \\ \vdots \\ \vec{A}_j \\ \vdots \\ A_n \end{pmatrix}\sim \begin{pmatrix}\vec{A}_1 \\ \vdots \\ \vec{A}_i+\vec{A}_j\\ \vdots \\ \vec{A}_j \\ \vdots \\ \vec{A}_n \end{pmatrix}\sim \begin{pmatrix}\vec{A}_1 \\ \vdots \\ \vec{A}_i+\vec{A}_j \\ \vdots \\ -\vec{A}_i \\ \vdots \\ \vec{A}_n \end{pmatrix}\sim \begin{pmatrix}\vec{A}_1 \\ \vdots \\ \vec{A}_j \\ \vdots \\ -\vec{A}_i \\ \vdots \\ \vec{V}_n\end{pmatrix}\sim \begin{pmatrix}\vec{A}_1 \\ \vdots \\ \vec{A}_j \\ \vdots \\ \vec{A}_i \\ \vdots \\ \vec{A}_n\end{pmatrix}= B.$$
  3. По утверждению 3.9 и замечанию 3.1, если $A\sim{B}$, то существуют матрицы $U_1,\ldots,U_s\in(R_{n,n})^*$, $V_1,\ldots,V_t\in(R_{m,m})^*$ такие, что $B=U_s\cdots{U}_1AV_1\cdots{V}_t$. Так как для любых $i\in\overline{1,s}$ $U_i\in(R_{n,n})^*$ и для любых $j\in\overline{1,t}$ $V_j\in(R_{m,m})^*$, то по замечанию 2.1 $U_s\cdots{U}_1\in(R_{n,n})^*$ и $V_1\cdots{V}_t\in(R_{m,m})^*$.
  4. По пункту 3, теореме 3.6, теореме 3.8 и замечанию 2.1 имеем $$ A\sim{B}\Rightarrow\exists{U},V\in(R_{n,n})^*:B=UAV\Rightarrow |B|=|U||A||V|=|U||V||A|\Rightarrow\exists{r}:=|U||V|\in{R}^*:|B|=r|A|. $$

Определение 3.14:
Говоят, что матрица $A$ строчно эквивалентна матрице $B$ ($A\rsim{B}$), если матрицу $B$ можно получить из матрицы $A$ конечным числом элементарных преобразований строк.

Утверждение 3.11:

  1. Отношение $\rsim$ является отношением эквивалентности.
  2. Если матрица $B$ получена из матрицы $A$ перестановкой строк, то $A\rsim{B}$.
  3. $\forall{A},B\in{R}_{n,m}(A\rsim{B}\Rightarrow\exists{U}\in(R_{n,n})^*:B=UA)$.
  4. $\forall{A},\in{R}_{n,n}(A\rsim{B}\Rightarrow\exists{r}\in{R}^*:|B|=r|A|)$.

Доказательство:

  1. Следует из п. 1 утверждения 3.10 так как $$\forall{A},B\in{R}_{n,m}(A\rsim{B}\Rightarrow{A}\sim{B}).$$
  2. Аналогично п. 2 утверждения 3.10.
  3. По утверждению 3.9, замечанию 3.1 и замечанию 2.1
  4. $$ A\rsim{B}\Rightarrow\exists{U}_1,\ldots,U_s\in(R_{n,n})^*:B=U_1\cdots{U}_sA\Rightarrow\exists{U}:=U_1\cdots{U}_s\in(R_{n,n})^*:B=UA. $$
  5. Аналогично п. 4 утверждения 3.10.

Определение 3.15:
Говорят, что матрица $A$ столбцово эквивалентна матрице $B$ ($A\csim{B}$), если матрицу $B$ можно получить из матрицы $A$ конечным числом элементарных преобразований столбцов.

Теорема 3.9:

  1. $\forall{A}\in{R}_{n,n}\,\forall{B}\in{R}_{n,m}((AB)\rsim(EC)\Rightarrow(A\in(R_{n,n})^*\wedge{C}=A^{-1}B))$.
  2. $\displaystyle\forall{A}\in{R}_{n,n}\,\forall{B}\in{R}_{m,n}\left(\binom{A}B\csim\binom{E}D\Rightarrow(A\in(R_{n,n})^*\wedge{D}=BA^{-1})\right)$.

Доказательство:

  1. $$ (A,B)\rsim(E,C)\Rightarrow\exists{U}\in(R_{n,n})^*:U(A,B)=(E,C)\Rightarrow(UA,UB)=(E,C)\Rightarrow(UA=E\wedge{U}B=C)\Rightarrow(U=A^{-1}\wedge{C}=A^{-1}B). $$
  2. $$ \binom{A}B\csim\binom{E}D\Rightarrow\exists{V}\in(R_{n,n})^*:\binom{A}{B}V=\binom{E}D\Rightarrow\binom{AV}{BV}=\binom{E}D\Rightarrow (AV=E\wedge{BV}=D)\Rightarrow(V=A^{-1}\wedge{D}=BA^{-1}). $$

Следствие 3.5:

  1. $\forall{A},B\in{R}_{n,n}((A,E)\rsim(E,B)\Rightarrow(A\in(R_{n,n})^*\wedge{A}^{-1}=B))$.
  2. $\displaystyle\forall{A},B\in{R}_{n,n}\left(\binom{A}E\csim\binom{E}B\Rightarrow(A\in(R_{n,n})^*\wedge{A}^{-1}=B)\right).$

Доказательство:

Следует из теоремы 3.9 при $C=E$.

Замечание 3.2:

  1. Если $P$ - поле и $A\in(P_{n,n})^*$, то $A\rsim{E}$.
  2. Если $A\in(R_{n,n})^*$, $B\in{R}_{n,m}$, $C\in{R}_{k,n}$, $AX=B$, $YA=C$, тогда $X=A^{-1}B$, $Y=CA^{-1}$.

Теорема 3.10: О минорах эквивалентных матриц.
Пусть $A,B\in{R}_{n,m}$, $A\sim{B}$, $c\in{R}$, $k\in\overline{1,\min\{n,m\}}$. Тогда если все миноры $k$-того порядка матрицы $A$ делятся на $c$, то все миноры $k$-того порядка матрицы $B$ тоже делятся на $c$

Доказательство:

Утверждение теоремы достаточно доказать для случая, тогда матрица $B$ получена из матрицы $A$ с помощью одного элементарного преобразования. Без ограничения общности будем считать, что это преобразование строк.

  1. Пусть матрица $B$ получается из матрицы $A$ умножением $i$-той строки на $r\in{R}^*$. Тогда для любых фиксированных $i_1,\ldots,i_k\in\overline{1,n}$, если $i\notin\{i_1,\ldots,i_k\}$, то $$M_B\begin{pmatrix}i_1, & \ldots, & i_k \\ j_1, & \ldots, & j_k\end{pmatrix}=M_A\begin{pmatrix}i_1, & \ldots, & i_k \\ j_1, & \ldots, & i_k\end{pmatrix},$$ а если $i\in\{i_1\ldots,i_k\}$, то $$M_B\begin{pmatrix}i_1, & \ldots, & i_k \\ j_1, & \ldots, & j_k\end{pmatrix}=rM_A\begin{pmatrix}i_1, & \ldots, & i_k \\ j_1, & \ldots, & j_k\end{pmatrix}.$$ В любом случае, $$c\left|M_A\begin{pmatrix}i_1, & \dots, & i_k \\ j_1, & \ldots, & j_k\end{pmatrix}\right.\Rightarrow{c}\left|M_B \begin{pmatrix}i_1, & \ldots, & i_k \\ j_1, & \ldots, & j_k\end{pmatrix}\right..$$
  2. Пусть матрица $B$ получена из матрицы $A$ прибавлением к $s$-той строке $t$-той строки умноженой на $u\in{R}$. Фиксируем $i_1,\ldots,i_k\in\overline{1,n}$, $j_1,\ldots,j_k\in\overline{1,m}$ и обозначим $\Delta:=M_B\begin{pmatrix}i_1, & \dots, & i_k \\ j_1, & \ldots, & j_k\end{pmatrix}$.

Следствие 3.6:
Если $A,B\in{R}_{n,m}$, $A\sim{B}$ и все миноры $k$-того порядка матрицы $A$ равны $0$, то все миноры $k$-того порядка матрицы $B$ тоже равны $0$.

Доказательство:
Если все миноры $k$-того порядка матрицы $A$ равны $0$, то $0$ делит все миноры $k$-того порядка матрицы $A$. Тогда по теореме 3.10 $0$ делит все миноры $k$-порядка матрицы $B$, а это возможно только если все миноры $k$-того порядка матрицы $B$ равны $0$, так как $0$ делит только $0$.

previous contents next