Изменения

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

Сопряжённый оператор

1126 байт добавлено, 10:53, 7 июня 2013
Теоремы о множестве значений оператора
== Теоремы о множестве значений оператора ==
Lock{{TODO|t=придумать нормальный заголовок}}<wikitex> Следующие две теоремы — условие разрешимости операторных уравнений. Смысл: $Ax = y$, $y$ — дано, то ответ на вопрос, есть ли решение, состоит в проверке $y \in R(A)$, но можно ограничиться $R(A) = \operatorname{Cl} R(A) \implies R(A) = (\operatorname{Ker}A^*)^\bot$, сопряженный оператор можно построить, ядро поддается конструктивному описанию: $y \in R(A) \Leftrightarrow y \perp \operatorname{Ker} A^*$.
Например, $A: \mathbb{R}^m \to \mathrm{TODO|tR}^n$, $A^* =придумать нормальный заголовокA^\top : \mathrm{R}^n \to \mathrm{R}^m$. $R(A) = \operatorname{Cl} R(A)$, $Ax = y$, $y$ — дано. Надо смотреть $y \perp \operatorname{Ker} A^*$, то есть $A^\top y = 0$.
Далее введем класс бесконечномерных параметров, для которых $R(A)$ — замкнуто, в частности, в этот класс входят интегральные операторы.
|proof = {{TODO | t = написать доказательство}}
}}
 
</wikitex>

Навигация