Пусть

- ТВП и

- ТВП, топологии которых порождаются полной инвариантной метрикой. Пусть

- всюду плотное подпространство и

- линейное непрерывное отображение. Всегда ли существует линейное непрерывное продолжение

на всё пространство

? Будет ли оно единственным?