Изменения
→Сопряженный оператор
Получили, что <tex> \| A^* (\varphi) \| \le \| A \| \| \varphi \| </tex>, откуда <tex> \| A^* \| \le \| A \| </tex>.
Для доказательства в обратную сторону используем теорему следствие из теоремы Хана-Банаха:
По определению нормы: <tex> \forall \varepsilon > 0 \, \exists x: \| x \| = 1 \implies \| A \| - \varepsilon < \| Ax \| </tex>.
<tex> Ax \in F </tex>, по теореме следствию из теоремы Хана-Банаха подберем <tex> \varphi_0 \in F^*, \| \varphi_0 \| = 1: \varphi_0 (Ax) = \| Ax \| </tex>.
<tex> \| A^*(\varphi_0, x) \| = | \varphi_0(Ax) | = \| Ax \| > \| A \| - \varepsilon </tex>.
