Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 40, Number 4 (1999), 568-573.
Dependent Choices and Weak Compactness
We work in set theory without the Axiom of Choice ZF. We prove that the Principle of Dependent Choices (DC) implies that the closed unit ball of a uniformly convex Banach space is weakly compact and, in particular, that the closed unit ball of a Hilbert space is weakly compact. These statements are not provable in ZF and the latter statement does not imply DC. Furthermore, DC does not imply that the closed unit ball of a reflexive space is weakly compact.
Notre Dame J. Formal Logic, Volume 40, Number 4 (1999), 568-573.
First available in Project Euclid: 30 January 2002
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Delhommé, Christian; Morillon, Marianne. Dependent Choices and Weak Compactness. Notre Dame J. Formal Logic 40 (1999), no. 4, 568--573. doi:10.1305/ndjfl/1012429720. https://projecteuclid.org/euclid.ndjfl/1012429720