We discuss various results on the existence of ‘true’ preimages under continuous open maps between -spaces, -lattices and some other spaces. The aim of the paper is to provide accessible proofs of this sort of results for functional-analysts.
It is proved that if an ultrametric space can be bi-Lipschitz embedded in , then its Assouad dimension is less than n. Together with a result of Luukkainen and Movahedi-Lankarani, where the converse was shown, this gives a characterization in terms of Assouad dimension of the ultrametric spaces which are bi-Lipschitz embeddable in .
It is shown that certain weak-base structures on a topological space give a -space. This solves the question by A.V. Arhangel’skii of when quotient images of metric spaces are -spaces. A related result about symmetrizable spaces also answers a question of Arhangel’skii. Theorem.Any symmetrizable space is a -space hereditarily. Hence, quotient mappings, with compact fibers, from metric spaces have a -space image. What about quotient -mappings? Arhangel’skii and Buzyakova have shown that...
The main results of this paper are that (1) a space is -developable if and only if it is a weak-open image of a metric space, one consequence of the result being the correction of an error in the paper of Z. Li and S. Lin; (2) characterizations of weak-open compact images of metric spaces, which is another answer to a question in in the paper of Y. Ikeda, C. liu and Y. Tanaka.
The following two theorems give the flavour of what will be proved. Theorem. Let Y be a complete metric space. Then the families of first Baire class functions and of first Borel class functions from [0,1] to Y coincide if and only if Y is connected and locally connected.Theorem. Let Y be a separable metric space. Then the families of second Baire class functions and of second Borel class functions from [0,1] to Y coincide if and only if for all finite sequences of nonempty open subsets of Y there...
We use the -Ponomarev-system , where is a locally separable metric space, to give a consistent method to construct a -mapping (compact mapping) with covering-properties from a locally separable metric space onto a space . As applications of these results, we systematically get characterizations of certain -images (compact images) of locally separable metric spaces.