403
правки
Изменения
м
Нет описания правки
В обратную сторону: рассмотрим любую полунорму $p_m$: по мажорируемости, $\exists q_k \exists M: p_m(x_n - x) \le M q_k(x_n - x)$, но $q_k(x_n - x) \to 0$ по сходимости $x_n$ по системе полунорм $q$. Абсолютно симметрично для случая, когда $p$ мажорирует $q$.
В прямую сторону: пусть системы $p$ и $q$ эквивалентны. Установим, что $q$ мажорирует $p$, то что $p$ мажорирует $q$ доказывается аналогично. Докажем от противного: пусть существует $p_{M}$, не мажорируемая ни одной полунормой из $q$, то есть $\forall n \in \mathbb{N} \exists x_n \in X: p_M(x_n) > n q_n(x_n)$. По гомогенности (можно вынести константу) полунормы, если вместо $x_n$ взять $y_n = {x_n \over p_M(x_n)}$, неравенство все еще будет соблюдаться, а норма $p_M(y_n)$ будет равна $1$, то есть получили $1 > n q_n(y_n)$ и последовательность $y_n$ по полунорме $p_M$ не сходится к 0.
Покажем, что $y_n \to 0$ по полунормам системы $q$, то есть $\forall m: q_m \xrightarrow[n \to \infty]{} 0$: для каждого конкретного $m$ возьмем члены $y$ начиная с $m$-того элемента, тогда $\forall n \ge m: q_m(y_n) \le q_n(y_n)$ (это по монотонности) $\le {1 \over n}$ (по уже доказанному), устремив $n \to \infty$ получаем, что каждая конкретная полунорма стремится к нулю, то есть по системе $p$ последовательность $y_n$ не сходится, а по $q$ — сходится, противоречие.
