Полное множество в топологическом векторном пространстве
По́лное мно́жество в топологи́ческом ве́кторном простра́нстве над полем , множество такое, что совокупность линейных комбинаций элементов из (всюду) плотна в , т. е. порождённое множеством замкнутое подпространство, или замкнутая линейная оболочка , совпадает с . Например, в нормированном пространстве непрерывных функций на со значениями в множество является полным множеством. Если – недискретное нормированное поле, то каждое поглощающее множество (и, в частности, каждая окрестность нуля в ) является полным множеством.
Для того чтобы , , было полным множеством в ослабленной топологии пространства , необходимо и достаточно, чтобы для каждого существовал индекс такой, что ; это означает, что никакая замкнутая гиперплоскость не содержит всех элементов , т. е. что – тотальное множество. При этом если – локально выпуклое пространство, то полное множество в ослабленной топологии будет полным и в исходной топологии.