113
правок
Изменения
→Свойства
\end {pmatrix}</tex>
Возьмем <tex> {{a}_{ij} \ne 0} </tex> и перестановками строк (домножением соответствующей элементарной матрицей слева) и или столбцов (домножением соответствующей элементарной матрицей справа) перемещаем его на первое место. Делим первую строку на этот элемент. Получим: <tex> \begin {pmatrix} 1 & {a}_{12}' & ... & {a}_{1n}'\\{a}_{21}' & {a}_{22}' & ... & {a}_{2n}'\\\vdots & \vdots & \ddots & \vdots\\{a}_{n1}' & {a}_{n2}' & ... & {a}_{nn}'\end {pmatrix}</tex> Вычтем теперь из <tex>i</tex> - й строки 1-ю, умноженную на число <tex> {a}_{i1}'Так как в каждой строке или столбце только одна единица, i = 2\ ...\ n </tex>. Затем вычтем из <tex>j</tex> - го столбца 1-й, умноженный на число <tex> {a}_{1j}', j = 2\ ...\ n </tex>. В результате то получим матрицу : <tex> \begin {pmatrix}
1 & 0 & ... & 0\\
0 & {a}_{22}'' & ... & {a}_{2n}''\\
\vdots & \vdots & \ddots & \vdots\\
0 & {a}_{n2}'' & ... & {a}_{nn}''\end {pmatrix}</tex> и так далее, пока не получится единичной матрицы.
В итоге: <tex> t_1 ... t_kAt_{k+1} ... t_{k+l} = E </tex>.
Все элементарные матрицы обратимы и обратная к элементарной матрице --- это тоже элементарная матрица, следовательно: <tex> A = t_k^{-1} ... t_1^{-1}Et_{k+l}^{-1} ... t_{k+1}^{-1} = t_k^{-1} ... t_1^{-1}t_{k+l}^{-1} ... t_{k+1}^{-1} </tex>.
Заметим, что с каждым шагом мы домнажаем на одну элементарную матрицу перестановок, следовательно всего будет <tex> (n-1) </tex> таких матриц.
}}
