Изменения

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

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

12 байт добавлено, 13:25, 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 = написать доказательство}}
<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>.
}}
</wikitex>
Анонимный участник

Навигация