Изменения
Нет описания правки
$y \in \operatorname{Cl} R(A), y = \lim y_n, y_n \in R(A), \varphi \in \operatorname {Ker}^* (A)$ $\varphi(y_n) = 0, \varphi(y_n) \xrightarrow[]{n \to \infty} \varphi(y) \implies \operatorname{Cl}(R(A)) \subset (\operatorname{Ker}(A^*))^\perp$ $\implies y \in (\operatorname{Ker}A^*)^\perp \implies(?) y \in \operatorname{Cl}(R(A))$
Проверим обратное:
$y \in (\operatorname{Ker}A^*)^\perp$ \implies (?) y \in \operatorname{Cl} R(A)$. Пусть это не так: $ y \notin \operatorname{Cl} R(A)$. Рассмотрим $F_1={z+ty, z \in \operatorname{Cl} R(A), t \in \R}$
{{TODO|t=мууть}}
