У меня почти тоже самое.
Задача. Привести пример линейного пространства
и выпуклого множества
таких, что не существует нетривиального линейного функционала
и конcтанты
для которых
.
Решение. Пусть
-- пространство финитных последовательностей:
и для любого такого
найдется
такое, что для всех
будет
.
В качестве
возьмем конус состоящий из последовательностей, у которых последний ненулевой элемент положителен. Этот конус -- выпуклый.
-- базис Гамеля в
. Предположим указанный линейный функционал
и константа
существуют. Поскольку функционал нетривиальный
для некоторого
. Очевидно,
при любом
. Легко подобрать константу
так, что
. Противоречие.