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