On local isometries and isometries in metric spaces
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 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...
The notion of the ordinal product of a transfinite sequence of topological spaces which is an extension of the finite product operation is introduced. The dimensions of finite and infinite ordinal products are estimated. In particular, the dimensions of ordinary products of Smirnov's [S] and Henderson's [He1] compacta are calculated.
We prove that in some families of planar rational compacta there are no universal elements.
If a metrizable space is dense in a metrizable space , then is called a metric extension of . If and are metric extensions of and there is a continuous map of into keeping pointwise fixed, we write . If is noncompact and metrizable, then denotes the set of metric extensions of , where and are identified if and , i.e., if there is a homeomorphism of onto keeping pointwise fixed. is a large complicated poset studied extensively by V. Bel’nov [The structure of...
Let X, Y be two compacta with Sh(X) = Sh (Y). Then, the spaces of components of X, Y are homeomorphic. This does not happen, in general, when X, Y are quasi-equivalent. In this paper we give a sufficient condition for the existence of a homeomorphism between the spaces of components of two quasi-equivalent compacta X, Y which maps each component in a quasi-equivalent component.