Полунормированное пространство E является отделимым (в топологическом смысле) тогда и только тогда, когда для любых различных элементов x, y ∈ E найдется индекс i ∈ Ι такой, что ||x - y||i ≠ 0.
Спасибо Вам за добавление этой статьи в
