403
правки
Изменения
м
→Теорема 2
<tex>(\operatorname{Ker}A )^\perp</tex> — набор таких <tex>f</tex>, что если <tex>Ax=0</tex>, то <tex>f(x)=0</tex>.
Надо показать, что <tex>f \in R(A^*)</tex>, т.е. проверить, что <tex>f = A^* \varphi = \varphi A</tex>.
Если найдем <tex>\varphi</tex>, заданный на <tex>R(A)</tex>, то сможем продолжить его на все <tex>F</tex> по теореме Хана-Банаха.
