Notions of compactness for special subsets of ℝI and some weak forms of the axiom of choice
Keyword(s):
AbstractWe work in set-theory without choice ZF. A set is countable if it is finite or equipotent with ℕ. Given a closed subset F of [0, 1]I which is a bounded subset of ℓ1(I) (resp. such that F ⊆ c0(I)), we show that the countable axiom of choice for finite sets, (resp. the countable axiom of choice ACℕ) implies that F is compact. This enhances previous results where ACℕ (resp. the axiom of Dependent Choices) was required. If I is linearly orderable (for example I = ℝ), then, in ZF, the closed unit ball of the Hilbert space ℓ2 (I) is (Loeb-)compact in the weak topology. However, the weak compactness of the closed unit ball of is not provable in ZF.
2018 ◽
2010 ◽
Vol 75
(3)
◽
pp. 996-1006
◽
Keyword(s):
Keyword(s):
1962 ◽
Vol 20
◽
pp. 105-168
◽
Keyword(s):
2013 ◽
Vol 23
(6)
◽
pp. 1234-1256
◽
Keyword(s):
Keyword(s):
Keyword(s):