Вообще говоря, это неверно. В качестве
можно взять ядро какой-нибудь непрерывной полунормы (взять пр-во, где хоть одна есть). Тогда факторпространство нормируемо, и если бы
было открыто, то это означало бы, что
является топологическим векторным изоморфизмом, из чего следует нормируемость
, чего может не быть. Мне, как начинающему, кажется интересным то, что векторная структура пространств
и
идентична, а вот топологическая структура у пространства
(наверное, как правило) более богата. Например, если пр-во нехаусдорфово, то фактор может оказаться хаусдорфовым, а
-- нет.