Characterizing Hilbert space topology
It is shown that the hyperspace (resp. ) of non-empty closed (resp. closed and bounded) subsets of a metric space (X,d) is homeomorphic to ℓ₂ if and only if the completion X̅ of X is connected and locally connected, X is topologically complete and nowhere locally compact, and each subset (resp. each bounded subset) of X is totally bounded.
In [5], W. Taylor shows that each particular compact polyhedron can be characterized in the class of all metrizable spaces containing an arc by means of first order properties of its clone of continuous operations. We will show that such a characterization is possible in the class of compact spaces and in the class of Hausdorff spaces containing an arc. Moreover, our characterization uses only the first order properties of the monoid of self-maps. Also, the possibility of characterizing the closed...
Realcompact spaces can be characterized as limits of approximate inverse systems of Polish polyhedra.
Many fundamental mathematical results fail in ZF, i.e., in Zermelo-Fraenkel set theory without the Axiom of Choice. This article surveys results — old and new — that specify how much “choice” is needed precisely to validate each of certain basic analytical and topological results.
We construct a Choquet simplex whose set of extreme points is -analytic, but is not a -Borel set. The set has the surprising property of being a set in its Stone-Cech compactification. It is hence an example of a set that is not absolute.