Displaying similar documents to “Countable sums and products of Loeb and selective metric spaces”

Disasters in metric topology without choice

Eleftherios Tachtsis (2002)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that it is consistent with ZF that there is a dense-in-itself compact metric space ( X , d ) which has the countable chain condition (ccc), but X is neither separable nor second countable. It is also shown that X has an open dense subspace which is not paracompact and that in ZF the Principle of Dependent Choice, DC, does not imply .

Complete Spaces

Karol Pąk (2008)

Formalized Mathematics

Similarity:

This paper is a continuation of [12]. First some definitions needed to formulate Cantor's theorem on complete spaces and show several facts about them are introduced. Next section contains the proof of Cantor's theorem and some properties of complete spaces resulting from this theorem. Moreover, countable compact spaces and proofs of auxiliary facts about them is defined. I also show the important condition that every metric space is compact if and only if it is countably compact. Then...