689
правок
Изменения
м
→Естественное вложение
<tex> | F_x(f) | = |f(x)| \le \| f \| \| x \| </tex>, откуда <tex> \| F_x \| \le \| x \| </tex>.
С другой стороны, по теореме следствию из теоремы Хана-Банаха, для любого <tex> x_0 \in E </tex> существует <tex> f_0 \in E^* </tex>, такое, что выполняются два условия:
# <tex> f_0(x_0) = \| x_0 \| </tex>
# <tex> \| f_0 \| = 1 </tex>.