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

называется слабо фундаментальной, если последовательность

сходится к некоторому числу

для любого

. Любая слабо фундаментальная последовательность ограничена по норме (принцип равномерной ограниченности). Поскольку единичный шар слабо предкомпактен, некоторая подпоследовательность

слабо сходится к некоторому

. Следовательно,

.