Верно ли, что всякое нормированное пространство вкладывается непрерывно в сепарабельное нормированрое пространство?
Если это утверждение верно, то

гомеоморфно (непрерывно вкладывается; существует непрерывное отображение в обе стороны; это известный факт; частично рассматривался в "Олимпиадном разделе")

(

.)
Предложение (Комогоров, Фомин "Элементы теории функций и функционального анализа", стр. 134.): "Если пространство R конечномерно, то любые две нормы в нём эквивалентны." (Т. е. пространство с первой нормой вкладывается непрерывно в пространство с второй нормой. Правильно я поняла этот момент?)
Someone объяснил, что бесконечномерное не может вкладываться в конечномерное. Моё сообщение можно рассматривать как пример для бесконечномерных. Соответственно у меня возникает вопрос: существует ли контрпример для бесконечномерных пространств.