Изменения

Перейти к: навигация, поиск

Обратная матрица

2953 байта добавлено, 22:41, 25 июня 2018
fix typo
: <math>\! AA^{-1} = A^{-1}A = E</math>
}}
==Обратимость в алгебре==
{{Определение
|definition=Пусть <tex>X</tex> - алгебра над <tex>F</tex>. <tex>e \in X</tex> называется единицей <tex>X</tex>, если <tex>\forall x \in X: e*x=x*e=x</tex>, причем <tex>e</tex> единственна
}}
 
{{Определение
|definition=Пусть в алгебре <tex>X: x*y=e</tex>, тогда <tex>X</tex> называется левым обратным по отношению к <tex>y</tex>, а <tex>y</tex> - правым обратным по отношению к <tex>x</tex>
}}
 
{{Определение
|definition=Пусть <tex>z \in X</tex>. Левый обратный элементу <tex>z</tex>, являющийся одновременно и правым обратным к нему, называется обратным и обозначается <tex>z^{-1}</tex>. При этом сам элемент называется обратимым.
}}
 
{{Лемма
|statement=
Пусть <tex>x,y,z \in</tex> алгебре <tex>X</tex>
 
<tex>xz=e, \ x</tex> {{---}} левый обратный
 
<tex>zy=e, \ y</tex> {{---}} правый обратный.
 
Тогда <tex>z</tex> обратим, при этом <tex>z^{-1}=x=y</tex> и <tex>z^{-1} - !</tex>
|proof=
'''Факт 1.''' <tex>x \cdot z \cdot y=(x \cdot z) \cdot y=e \cdot y=y</tex>, но <tex>x \cdot z \cdot y=x \cdot (z \cdot y)=x \cdot e=x \Rightarrow x=y</tex>, тогда по определению <tex>z^{-1}=x=y</tex>.
 
'''Факт 2.''' Пусть <tex>\exists z^{-1}, \ \tilde{z}^{-1}</tex>
<tex>z^{-1} \cdot z \cdot \tilde{z}^{-1}=(z^{-1} \cdot z) \cdot \tilde{z}^{-1}=e \cdot \tilde{z}^{-1}=\tilde{z}^{-1}</tex>, но <tex>z^{-1} \cdot z \cdot \tilde{z}^{-1}=z^{-1} \cdot (z \cdot \tilde{z}^{-1})=z^{-1} \cdot e=z^{-1} \Rightarrow z^{-1}=\tilde{z}^{-1} \Rightarrow z^{-1}-!</tex>
}}
 
==Критерий обратимости матрицы==
{{Теорема
|statement=
Квадратная матрица <tex>A</tex> обратима (имеет обратную матрицу) тогда и только тогда, когда она невырожденная, то есть ее определитель НЕ равен нулю<tex>\det A \neq 0</tex>.
|proof =
*'''Шаг 1.''' Если матрица <tex>A</tex> обратима, то <tex>AB = E</tex> для некоторой матрицы <tex>B</tex>. Тогда в силу теоремы(, если квадратные матрицы одного и того же порядка, то <tex>\det(AB) = detA * detB\det A \cdot \det B</tex>): <tex>1 = \det E = \det(AB) = detA * detB\det A \cdot \det B</tex>, следовательно, <tex>detA \ne det A \neq 0, \det B \neq 0</tex>.*Теперь докажем '''Шаг 2.''' Докажем обратное утверждение. Пусть <tex>\det A \ne 0</tex>. Положим 1) Докажем существование правой обратной матрицы <tex>B</tex>. Предположим <tex>\exists B: AB=E</tex>, где <tex>A=\Vert \alpha_{k}^{i} \Vert, \ B = \fracVert \beta_{k}^{1i}\Vert, \ E=\Vert \delta_{detAk}A^{*i}\Vert</tex>Тогда <tex>AB = A(E: \sum\fraclimits_{j=1}^{n} \alpha_{j}^{i} \beta_{k}^{detAj}=\delta_{k}A^{*i}, \ (i,k=1..n) = </tex>, фиксируем <tex>k</tex>, тогда: <tex>(\fracbeta_{k}^{1}...\beta_{detAk}(AA^{*n})^T \rightarrow (\xi^1...\xi^n)^T</tex> то есть, тогда получим, что <tex>\sum\limits_{j=1}^{n} \alpha_{j}^{i} \xi^{j}=\delta_{k}^{i} \Rightarrow A=\Vert \alpha_{k}^{i} \Vert </tex> обратима справа. *Поскольку для квадратной матрицы одно и двусторонняя обратимость эквивалентны (Квадратная {{---}} матрица системы уравнений, так как <tex>\det A\ne 0</tex> обратима справа тогда и только тогда, когда она обратима слевато по Крамеру <tex>\exists! (\xi^1...\xi^n), получаем^T</tex> В итоге для всех <tex>k</tex> получим матрицу <tex>B</tex>, что и требовалось.  2) Докажем существование левой обратной матрицы <tex>AC</tex> обратима и . Предположим <tex>A\exists C: CA=E \Rightarrow \sum\limits_{j=1}^{n} \gamma_{i}^{j}\alpha_{j}^{-1k} = B = \fracdelta_{k}^{i}</tex> Фиксируем <tex>i</tex>, тогда <tex>(\gamma_{1}^{detAi}...\gamma_{n}A^{*i}) \rightarrow (\xi_1...\xi_n)</tex>,получаем заполнение по строчкам, аналогично первому пункту показываем <tex>\exists C</tex>. ''3) Тогда по лемме <tex>C=B=A^{*-1}</tex> - присоединенная матрица'', теорема доказана.
}}
=== Метод присоединенной матрицы ===
<math dpi = "145">A^{-1} = \frac{1\widehat{A}^T}{\det A}\cdot \mbox{adj}\,A,</math> , где <math dpi = "145">\mboxwidehat{adjA}\,A</math> — присоединенная матрица;
{{Определение
|definition= '''Присоединенная(союзная, взаимная) матрица''' — матрица, составленная из алгебраических дополнений для соответствующих элементов исходной матрицы.
}}
<math dpi = "145">\widehat{C}^{*A}= \begin{pmatrix}
{A}_{11} & {A}_{12} & \cdots & {A}_{1n} \\
{A}_{21} & {A}_{22} & \cdots & {A}_{2n} \\
Где:
* <math dpi = "145">\widehat{C}^{*A}</math> — присоединённая(союзная, взаимная) матрица;
* <math dpi = "145">{A}_{ij}</math> — алгебраические дополнения исходной матрицы;
* <math dpi = "145">{a}_{ij}</math> — элементы исходной матрицы.
\end{pmatrix}</math>
====Алгоритм получения обратной матрицы====
:*заменить каждый элемент исходной матрицы на его алгебраическое дополнение,:*транспонировать полученную матрицу - в результате будет получена союзная присоединенная матрица,:*разделить каждый элемент союзной транспонированной присоединенной матрицы на определитель исходной матрицы.
<tex dpi="145">A^{-1} = (C^*)\widehat{A}^T \times \frac{1}{det A}</tex>
==Ссылки==
* [http://neerc.ifmo.ru/wiki/index.php?title=Обратный_оператор Обратный оператор]
==Источники==
* [http://ru.wikipedia.org/wiki/Обратная_матрица Википедия {{---}} Обратная матрица]
* [http://en.wikipedia.org/wiki/Invertible_matrix Wikipedia {{---}} Invertible matrix]
* Анин конспект
[[Категория: Алгебра и геометрия 1 курс]]
[[Категория: Линейные операторы]]
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/32100...66171»

Навигация