Вообще говоря, это неверно. В качестве

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

было открыто, то это означало бы, что

является топологическим векторным изоморфизмом, из чего следует нормируемость

, чего может не быть. Мне, как начинающему, кажется интересным то, что векторная структура пространств

и

идентична, а вот топологическая структура у пространства

(наверное, как правило) более богата. Например, если пр-во нехаусдорфово, то фактор может оказаться хаусдорфовым, а

-- нет.