Изменения

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

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

7 байт добавлено, 13:32, 8 июня 2013
Нет описания правки
|statement= <tex> A \in \mathcal{L}(E,F),~R(A) = \operatorname{Cl} R(A) \implies R(A^*) = (\operatorname{Ker}A )^\perp </tex>.
|proof = {{TODO | t = написать доказательство}}
1) <tex>f \in R(A^*) \implies f = \varphi A , \varphi \in F^*</tex>. Рассмотрим <tex> x \in (\operatorname{Ker}A). </tex>
<tex>f(x) = \varphi(Ax) = \varphi(0) = 0 \implies R(A^*) \subset (\operatorname{Ker}A )^\perp</tex>.
 2) Докажем теперь обратное включение:
Рассмотрим <tex>f \in (\operatorname{Ker}A )^\perp</tex>, если <tex>Ax=0</tex>, то <tex>f(x)=0</tex>. Теперь надо показать, что <tex>f \in R(A^*)</tex>, т.е. проверить, что <tex>f = \varphi A^*</tex>.
}}
</wikitex>
Анонимный участник

Навигация