Some similarity between contractions and Kannan mappings.
In the realm of metric spaces we show in ZF that: (i) A metric space is compact if and only if it is countably compact and for every , every cover by open balls of radius has a countable subcover. (ii) Every second countable metric space has a countable base consisting of open balls if and only if the axiom of countable choice restricted to subsets of holds true. (iii) A countably compact metric space is separable if and only if it is second countable.
In this paper, we prove that a space is a sequentially-quotient -image of a metric space if and only if has a point-star -network consisting of -covers. By this result, we prove that a space is a sequentially-quotient -image of a separable metric space if and only if has a countable -network, if and only if is a sequentially-quotient compact image of a separable metric space; this answers a question raised by Shou Lin affirmatively. We also obtain some results on spaces with countable...
We prove that if is a first countable space with property and with a -diagonal then the cardinality of is at most . We also show that if is a first countable, DCCC, normal space then the extent of is at most .
In this paper, spaces with -locally countable weak-bases are characterized as the weakly open msss-images of metric spaces (or -first countable spaces with -locally countable -networks).