Соответственно, такое пространство имеет в себе первую категорию, и, следовательно, не может быть полным.
Слабая топология не метризуема, к какому пространству Вы применяете теорему Бэра?
доказать, что если гильбертово пространство слабо полно то оно конечномерно
Может быть, Вы что-то нестандартное имеете в виду под слабой полнотой? Последовательность
называется слабо фундаментальной, если последовательность
сходится к некоторому числу
для любого
. Любая слабо фундаментальная последовательность ограничена по норме (принцип равномерной ограниченности). Поскольку единичный шар слабо предкомпактен, некоторая подпоследовательность
слабо сходится к некоторому
. Следовательно,
.