![[arxiv]](/images/buttons/arxiv.png)
Title: Countable Choice and Compactness
Authors: Marianne Morillon (ERMIT)
Categories: math.FA Functional Analysis (math.GN General Topology; math.LO Logic)
MSC: 03E25, 46B26, 54D30
Abstract: We work in set-theory without choice ZF. Denoting by AC(N) the countable
axiom of choice, we show in ZF+AC(N) that the closed unit ball of a uniformly
convex Banach space is compact in the convex topology (an alternative to the
weak topology in ZF). We prove that this ball is (closely) convex-compact in
the convex topology. Given a set I, a real number p greater or equal to 1
(resp. . p = 0), and some closed subset F of [0, 1]^I which is a bounded subset
of l^p(I), we show that AC(N) (resp. DC, the axiom of Dependent Choices)
implies the compactness of F.
Owner: Marianne Morillon
Version 1: Fri, 21 Mar 2008 09:37:54 GMT