Обратный оператор — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Источники)
(Определение)
Строка 3: Строка 3:
 
== Определение ==
 
== Определение ==
  
Пусть <tex>A:X \rightarrow X</tex> — автоморфизм. Тогда <tex>A^{-1}: X \rightarrow X</tex> называется '''обратным оператором''' к <tex>A</tex>, если <tex>A \cdot A^{-1} = A^{-1} \cdot A = J</tex>.
+
Пусть <tex>\mathcal{A}:X \rightarrow X</tex> — автоморфизм. Тогда <tex>\mathcal{A}^{-1}: X \rightarrow X</tex> называется '''обратным оператором''' к <tex>\mathcal{A}</tex>, если <tex>\mathcal{A} \cdot \mathcal{A}^{-1} = \mathcal{A}^{-1} \cdot \mathcal{A} = J</tex>.
  
 
== Критерий существования ==
 
== Критерий существования ==

Версия 17:49, 12 июня 2013

Обратный оператор

Определение

Пусть [math]\mathcal{A}:X \rightarrow X[/math] — автоморфизм. Тогда [math]\mathcal{A}^{-1}: X \rightarrow X[/math] называется обратным оператором к [math]\mathcal{A}[/math], если [math]\mathcal{A} \cdot \mathcal{A}^{-1} = \mathcal{A}^{-1} \cdot \mathcal{A} = J[/math].

Критерий существования

Для [math]\mathcal {9} A^{-1}[/math] нужно и достаточно, чтобы в некотором базисе [math]\left\{ e \right\}_{i = 1}^{n}\ det A \ne 0[/math].

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

Источники

  • Анин конспект