Причем здесь динамика...
Динамика определяет как минимум какое состояние будет вакуумным, а уж его-то точно надо включить в сепарабельное подпространство.
Не знаю, не знаю, такая логика мне все равно кажется какой-то вывернутой наизнанку. Как вы не определяйте область определения гамильтониана, всегда будет собственный вектор (разный при разных областях определения), которой дает минимум энергии. Это и есть вакуум. А как можно знать, что есть вакуум, ДО ТОГО, как зафиксировано пространство, на котором действуют операторы и гамильтониан в т.ч. --- это для меня тайна великая есть...
А потом вакуумы бывают разные. Есть не представляющий большого интереса "затравочный вакуум", есть физический вакуум. Вы про какой из них? Вообще физический вакуум какой получится, такой и получится (запросто может быть неединственным и тогда идут лесом все теоремы аксиоматической теории
). Как можно знать заранее, какой он...