Вопрос возник из теоремы Банаха-Алаоглу (не сепарабельный случай), слабая компактность единичного шара
![$B[0,1]$ $B[0,1]$](https://dxdy-02.korotkov.co.uk/f/9/3/2/9320c123652abc97afebf8c920059c3d82.png)
в сопряженном пространстве

. Итак, достаточно показать замкнутость. Пусть

есть предельная точка шара
![$B[0,1]$ $B[0,1]$](https://dxdy-02.korotkov.co.uk/f/9/3/2/9320c123652abc97afebf8c920059c3d82.png)
. Тогда существует направленность

такая, что

. Поскольку направленность из шара, то выполняется неравенство:

.
А теперь сам вопрос: можно ли в этом неравенстве перейти к пределу по 
? Если да, то как показать, что можно такое делать? Верно ли также, что в слабой топологии сопряженного пространства не выполнена первая аксиома счетности?