Изменения
Нет описания правки
{{TODO|t= далее я что-то не особенно осознал, что происходит. На всякий случай — доказательство вроде есть в Люстернике-Соболеве, стр 94, правда оно несколько другое вроде}}
В обратную: пусть <tex> V </tex> — ограниченная выпуклая окрестность нуля. <tex> W </tex> — радиальная уравновешенная) окрестность 0: <tex> W \subset V </tex>, <tex> \mathrm{Cov} W </tex> — выпуклая оболочка ({{TODO|t=оболочка чего??}})множества <trx> W </tex>, <tex> V </tex> — выпуклая, <tex> \mathrm{Cov} W \subset V </tex>, <tex> \mathrm{Cov} W </tex> — радиальное уравновешенное множество, так как <tex> W </tex> — такое же. Из ограниченности <tex> V </tex> следует ограниченность <tex> \mathrm{Cov} W </tex>, то есть, мы построили <tex> V^* = \mathrm{Cov} W </tex> — радиальную уравновешенную выпуклую окрестность <tex> 0 </tex>.
<tex> V^* \to p_{V^*} </tex> — функционал Минковского — полунорма. <tex> V^* </tex> ограничено, тогда <tex> \{ {1 \over n} V^* \} </tex> — база окрестностей 0. Так как пространство Хаусдорфово, то <tex> \bigcap\limits_{n=1}^{\infty} {1 \over n} V^* = \{0\} \Rightarrow p_{V^*}(x) = 0 \Rightarrow x = 0 </tex>, то есть <tex> p_{V^*} </tex> — норма, а <tex> \{ {1 \over n} V^*\} </tex> — база окрестностей нуля, нормируемых функционалом Минковского.
