Drewnowski, Lech True preimages of compact or separable sets for functional analysts. (English) Zbl 07217159 Commentat. Math. Univ. Carol. 61, No. 1, 69-82 (2020). In this paper, some results are given about existence of true preimages under continuous open maps between \(F\)-spaces, \(F\)-lattices, and some other spaces.Section 1, with an introductory character, is devoted to the statement of the main result in the paper.{Theorem 1.} Let \(f\) be a continuous linear operator from an \(F\)-space \(X\) onto an \(F\)-space \(Y\). Then, 1) Every compact set \(C\) of \(Y\) has a compact preimage \(K\) in \(X\).2) If \(X\) is a locally convex \(F\)-space (i.e., a Fréchet space) and \(C\) is (in addition) convex or absolutely convex, then the preimage subset \(K\) may be also chosen of the precise type.Then, in addition to this, two related results are given (either of these implying the main result, modulo the open mapping theorem):{Theorem 2.} Let \(f\) be a continuous open map from a complete metric space \(X\) onto a Hausdorff space \(Y\). Then, every compact subset of \(Y\) has a compact preimage in \(X\).{Theorem 3.} Let \(X\) be a complete metric space, \(Y\) be a Hausdorff space, and \(F:X\to Y\) be a lower semicontinuous set-valued map with nonempty closed values. Then, for every compact subset \(C\) of \(Y\) there is a compact subset \(K\) of \(X\) such that \(C\subset F^{-1}(K)\).In Section 2, a proof of these results is performed, under compact preimages; and, in Section 3, analogous results are given in the context of separable preimages. Further, in Section 4, the setting is moved to the case of \(F\)-lattices; and, in Section 5, the finite dimensional case is considered.Further aspects suggested by these developments are also discussed. Reviewer: Mihai Turinici (Iaşi) MSC: 46A16 Not locally convex spaces (metrizable topological linear spaces, locally bounded spaces, quasi-Banach spaces, etc.) 54E45 Compact (locally compact) metric spaces 46A30 Open mapping and closed graph theorems; completeness (including \(B\)-, \(B_r\)-completeness) 54E35 Metric spaces, metrizability 54E40 Special maps on metric spaces 54E50 Complete metric spaces 54D65 Separability of topological spaces 54C10 Special maps on topological spaces (open, closed, perfect, etc.) Keywords:complete metric space; open map; \(F\)-space; surpositive operator; lower semicotinuous set-valued map; preimage; \(F\)-lattice; compact set; uniformly open map PDFBibTeX XMLCite \textit{L. Drewnowski}, Commentat. Math. Univ. Carol. 61, No. 1, 69--82 (2020; Zbl 07217159) Full Text: DOI References: [1] Aliprantis C.; Burkinshaw O., Locally Solid Riesz Spaces with Applications to Economics, Mathematical Surveys and Monographs, 105, American Mathematical Society, Providence, 2003 · Zbl 1043.46003 [2] Bessaga C.; Pełczyński A., Selected Topics in Infinite-Dimensional Topology, Monografie Matematyczne, 58, PWN-Polish Scientific Publishers, Warsaw, 1975 · Zbl 0304.57001 [3] Bourbaki N., Éléments de mathématique. I: Les structures fondamentales de l’analyse. Fascicule VIII. Livre III: Topologie générale. Chapitre 9: Utilisation des nombres réels en topologie générale, Deuxième édition revue et augmentée, Actualités Scientifiques et Industrielles, 1045, Hermann, Paris, 1958 (French) · Zbl 0085.37103 [4] Diestel J., Sequences and Series in Banach Spaces, Graduate Texts in Mathematics, 92, Springer, New York, 1984 [5] Drewnowski L.; Wnuk W., On finitely generated vector sublattices, Studia Math. 245 (2019), no. 2, 129-167 · Zbl 1426.46001 [6] Engelking R., General Topology, Biblioteka Matematyczna, Tom 47, Państwowe Wydawnictwo Naukowe, Warsaw, 1975 (Polish) · Zbl 0684.54001 [7] Jarchow H., Locally Convex Spaces, Mathematische Leitfäden, B. G. Teubner, Stuttgart, 1981 · Zbl 0466.46001 [8] Köthe G., Topological Vector Spaces. I, Die Grundlehren der mathematischen Wissenschaften, 159, Springer, New York, 1969 [9] Michael E., A theorem on semi-continuous set-valued functions, Duke Math. J. 26 (1959), 647-651 · Zbl 0151.30805 [10] Michael E., \( \aleph_0\)-spaces, J. Math. Mech. 15 (1966), 983-1002 · Zbl 0148.16701 [11] Michael E., \(G_\delta\) sections and compact-covering maps, Duke Math. J. 36 (1969), 125-127 · Zbl 0176.51802 [12] Michael E.; K. Nagami, Compact-covering images of metric spaces, Proc. Amer. Math. Soc. 37 (1973), 260-266 · Zbl 0228.54008 [13] Nagami K., Ranges which enable open maps to be compact-covering, General Topology and Appl. 3 (1973), 355-367 · Zbl 0278.54011 [14] Schaefer H. H., Banach Lattices and Positive Operators, Die Grundlehren der mathematischen Wissenschaften, 215, Springer, New York, 1974 · Zbl 0296.47023 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.