Я имел ввиду самую общую (несчётную) форму аксиомы выбора.
Действительно, для того доказательства нужна аксиома
зависимого выбора.

Опять же, я думаю, что если посмотреть на конкретные
случаи содеражтельного использования
Хана-Банаха для сеперабельных пространств,
то скорее всего из них можно исключить аксиому выбора
полностью.

Хотя в принципе, конечно, можно пользоваться аксиомой
зависимого выбора и радоваться жизни.

(Reply to this) (Parent)