Выдержка из книги
Эдвардс Р.N.
Функциональный анализ
Мы можем заменить Е векторным подпространством, порожденным элементами хп, и считать, таким образом, что Е сепарабельно. Поэтому пространство Е тоже слабо сепарабельно. Так как последовательность ( хп) относительно слабо компактна, то для каждого i числовая последовательность ( ял /)) содержит сходящуюся подпоследовательность.
