×

Productivity numbers in topological spaces. (English) Zbl 1077.54006

This paper studies the problem whether there is a nontrivial productive coreflective class of topological spaces (i.e., a class closed under all products, sums and quotients). A subclass \({\mathcal C}\) of a category \({\mathcal K}\) is \(\kappa\)-productive if every product (in \({\mathcal K}\)) of less than \(\kappa\) objects of \({\mathcal C}\) belongs to \({\mathcal C}\), and \({\mathcal C}\) is finitely (countably) productive if it is \(\omega- (\omega_1\)-) productive. The productivity number of a subclass \({\mathcal C}\) of \({\mathcal K}\) is the smallest cardinal \(\kappa\) (if it exists) such that a product in \({\mathcal K}\) of \(\kappa\) many objects of \({\mathcal C}\) does not belong to \({\mathcal C}\); if no such cardinal exists, then \({\mathcal C}\) is productive. Let Top be the category of topological spaces and continuous maps. The author proves that a finitely productive coreflective subclass \({\mathcal C}\) of Top is \(\kappa\)-productive, where \(\kappa\geq\omega\), if and only if the generalized Cantor set \(2^\lambda\) is in \({\mathcal C}\) for all \(\lambda<\kappa\). An infinite cardinal \(\kappa\) is submeasurable if there exists a noncontinuous, \(\kappa\)-continuous real-valued map on \(2^\kappa\), where a map is \(\kappa\)-continuous if it preserves limits of well-ordered nets of length less than \(\kappa\). It is also proved that every submeasurable cardinal is a productivity number of some coreflective class of Top, and that productivity numbers of finitely productive and nonproductive coreflective classes in Top are submeasurable cardinals. Let \({\mathfrak s}\) denote the first sequential cardinal. The last result implies that if a coreflective class in Top is countably productive, then it is \({\mathfrak s}\)-productive, thus, it is productive if \({\mathfrak s}\) does not exist in the model we work in.

MSC:

54B10 Product spaces in general topology
18B30 Categories of topological spaces and continuous mappings (MSC2010)
03E10 Ordinal and cardinal numbers
Full Text: DOI

References:

[1] Balcar, B.; Hušek, M., Sequential continuity and submeasurable cardinals, Topology Appl., 111, 49-58 (2001) · Zbl 0971.03049
[2] D.V. Choodnovsky, Sequentially continuous mappings on product spaces, Seminaire Geom. Esp. Banach, École Polytech., Centre Math., Palaiseau, Report 4, 1977; D.V. Choodnovsky, Sequentially continuous mappings on product spaces, Seminaire Geom. Esp. Banach, École Polytech., Centre Math., Palaiseau, Report 4, 1977
[3] Dow, A.; Watson, S., A subcategory of Top, Trans. Amer. Math. Soc., 337, 825-837 (1993) · Zbl 0823.54005
[4] Herrlich, H.; Hušek, M., Productivity of coreflective subcategories of topological groups, Comment. Math. Univ. Carolin., 40, 551-560 (1999) · Zbl 1009.54041
[5] Hušek, M., Products of uniform spaces, Czechoslovak Math. J., 29, 130-141 (1979) · Zbl 0394.54014
[6] Hušek, M., Special classes of compact spaces, (Proc. of the Conf. on Categ. Top., Berlin, 1978. Proc. of the Conf. on Categ. Top., Berlin, 1978, Lecture Notes in Mathematics, vol. 719 (1979), Springer: Springer Berlin), 167-175 · Zbl 0433.54013
[7] Hušek, M., Productivity of some classes of topological linear spaces, Topology Appl., 80, 141-154 (1997) · Zbl 0924.46003
[8] M. Hušek, Productivity of Coreflective Classes in Some Topological Structures, World Scientific, submitted for publication; M. Hušek, Productivity of Coreflective Classes in Some Topological Structures, World Scientific, submitted for publication · Zbl 1084.18003
[9] Mazur, S., On continuous mappings on cartesian products, Fund. Math., 39, 229-238 (1952) · Zbl 0050.16802
[10] Noble, N., The continuity of functions on cartesian products, Trans. Amer. Math. Soc., 149, 187-198 (1970) · Zbl 0229.54028
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.