On some properties of proximity in metric spaces
This paper deals with the behavior of -spaces, countably bi-quasi--spaces and singly bi-quasi--spaces with point-countable -systems. For example, we show that every -space with a point-countable -system is locally compact paracompact, and every separable singly bi-quasi--space with a point-countable -system has a countable -system. Also, we consider equivalent relations among spaces entried in Table 1 in Michael’s paper [15] when the spaces have point-countable -systems.
We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space is countably compact if and only if it is countably subcompact relative to . (iii) For every metrizable space , the following are equivalent: (a) is compact; (b) for every open filter of , ; (c) is subcompact relative to . We also show: (iv) The negation of each of the statements, (a) every countably subcompact metrizable...
We discuss the following result of A. Szymański in “Retracts and non-normality points" (2012), Corollary 3.5.: If is a closed subspace of and the -weight of is countable, then every nonisolated point of is a non-normality point of . We obtain stronger results for all types of points, excluding the limits of countable discrete sets considered in “Some non-normal subspaces of the Čech–Stone compactification of a discrete space" (1980) by A. Błaszczyk and A. Szymański. Perhaps our proofs...
We calculate the density of the hyperspace of a metric space, endowed with the Hausdorff or the locally finite topology. To this end, we introduce suitable generalizations of the notions of totally bounded and compact metric space.
In this work we consider two hyperconvex diversities (or hyperconvex metric spaces) (X, δX) and (Y, δY ) with nonempty intersection and we wonder whether there is a natural way to glue them so that the new glued diversity (or metric space) remains being hyperconvex. We provide positive and negative answers in both situations.
We show: (i) The countable axiom of choice is equivalent to each one of the statements: (a) a pseudometric space is sequentially compact iff its metric reflection is sequentially compact, (b) a pseudometric space is complete iff its metric reflection is complete. (ii) The countable multiple choice axiom is equivalent to the statement: (a) a pseudometric space is Weierstrass-compact iff its metric reflection is Weierstrass-compact. (iii) The axiom of choice is equivalent to each one of the...
Approach spaces ([4], [5]) turned out to be a natural setting for the quantification of topological properties. Thus a measure of compactness for approach spaces generalizing the well-known Kuratowski measure of non-compactness for metric spaces was defined ([3]). This article shows that approach uniformities (introduced in [6]) have the same advantage with respect to uniform concepts: they allow a nice quantification of uniform properties, such as total boundedness and completeness.