×

Category product densities and liftings. (English) Zbl 1087.54013

Authors’ summary: In this paper we investigate two main problems. One of them is the question on the existence of category liftings in the product of two topological spaces. We prove, that if \(X\times Y\) is a Baire space, then, given (strong) category liftings \(p\) and \(\sigma\) on \(X\) and \(Y\), respectively, there exists a (strong) category lifting \(\pi\) on the product space such that \(\pi\) is a product of \(p\) and \(\sigma\) and satisfies the following section property: \[ [\pi(E)]_x={\sigma} ([\pi (E)]_x)\quad {\text{for all}}\quad E\subseteq X \times Y \] with Baire property and all \(x\in X\). We give also an example, where some of the sections \([\pi(E)]^y\) must be without Baire property. Then, we investigate the existence of densities respecting coordinates on products of topological spaces, provided these products are Baire spaces. The densities are defined on \(\sigma\)-algebras of sets with Baire property and select elements modulo the \(\sigma\)-ideal of all meager sets. In all the problems the situation in the ”category case” turns out to be much better, than in case of products of measure spaces. In particular, in every product there exists a canonical strong density being a product of the canonical densities in the factors and there exist (strong) densities respecting coordinates with given a priori marginal (strong) densities.

MSC:

54E52 Baire category, Baire spaces
54B10 Product spaces in general topology
28A51 Lifting theory
60B05 Probability measures on topological spaces
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bartoszynski, T.; Judah, H., Set Theory (1995), A.K. Peters: A.K. Peters Wellesley, MA
[2] Burke, M. R., Liftings for Lebesgue measure, (Set Theory of the Reals. Set Theory of the Reals, Israel Math. Conf. Proc., vol. 6 (1993), Bar-Ilan University), 119-150 · Zbl 0840.03038
[3] M.R. Burke, Consistent liftings, 1995, unpublished note; M.R. Burke, Consistent liftings, 1995, unpublished note
[4] Engelking, R., General Topology (1989), Heldermann: Heldermann Berlin · Zbl 0684.54001
[5] Erdős, P.; Oxtoby, J. C., Partitions of the plane into sets having positive measure in every non-null product set, Trans. Amer. Math. Soc., 79, 91-102 (1955) · Zbl 0066.29801
[6] Fleissner, W.; Kunen, K., Barely Baire spaces, Fund. Math., 101, 229-240 (1978) · Zbl 0413.54036
[7] Fremlin, D. H., Measure-additive coverings and measurable selectors, Dissertationes Math. (Rozprawy Mat.), 260 (1987) · Zbl 0703.28003
[8] Fremlin, D. H., Measure Theory, vol. 3 (2002), Torres Fremlin (Ed.) · Zbl 1165.28002
[9] Fremlin, D. H., Measure Theory, vol. 4 (2003), Torres Fremlin (Ed.) · Zbl 1165.28001
[10] Fremlin, D. H.; Natkaniec, T.; Recław, I., Universally Kuratowski-Ulam spaces, Fund. Math., 165, 239-247 (2000) · Zbl 0959.54010
[11] Graf, S., A selection theorem for Boolean correspondences, J. Reine Angew. Math., 295, 169-186 (1977) · Zbl 0366.06022
[12] Ionescu Tulcea, A.; Ionescu Tulcea, C., Topics in the Theory of Lifting (1969), Springer: Springer Berlin · Zbl 0179.46303
[13] Kuratowski, K., Topology I (1966), Academic Press: Academic Press New York · Zbl 0158.40901
[14] Lukes, J.; Maly, J.; Zajicek, L., Fine Topology Methods in Real Analysis and Potential Theory, Lecture Notes in Math., vol. 1189 (1986), Springer: Springer Berlin · Zbl 0607.31001
[15] Macheras, N. D.; Musiał, K.; Strauss, W., On products of admissible liftings and densities, Z. Anal. Anwendungen, 18, 651-667 (1999) · Zbl 0947.28005
[16] Macheras, N. D.; Musiał, K.; Strauss, W., Strong admissibly generated liftings and products of liftings, Atti Sem. Mat. Fis. Univ. Modena, 50, 217-224 (2002) · Zbl 1221.28013
[17] Macheras, N. D.; Strauss, W., On products of almost strong liftings, J. Austral. Math. Soc. A, 60, 1-23 (1996) · Zbl 0879.28008
[18] Maharam, D., Category, Boolean algebras and measures, (Lecture Notes in Math., vol. 609 (1977), Springer: Springer Berlin), 124-135 · Zbl 0404.54024
[19] van Mill, J.; Pol, R., The Baire category theorem in products of linear spaces and topological groups, Topology Appl., 22, 267-282 (1986) · Zbl 0589.54040
[20] Musiał, K.; Strauss, W.; Macheras, N. D., Product liftings and densities with lifting invariant and density invariant sections, Fund. Math., 166, 281-303 (2000) · Zbl 0966.28001
[21] Oxtoby, J. C., Cartesian products of Baire spaces, Fund. Math., 49, 157-166 (1961) · Zbl 0113.16402
[22] Oxtoby, J. C., Measure and Category (1980), Springer: Springer New York · Zbl 0217.09201
[23] Ressel, P., Some continuity and measurability results on spaces of measures, Math. Scand., 40, 69-78 (1977) · Zbl 0372.28010
[24] Revalski, J. P., The Banach-Mazur game: History and recent developments, Preprint · Zbl 0834.90150
[25] Strauss, W.; Macheras, N. D.; Musiał, K., Liftings, (Handbook of Measure Theory, vol. II (2002), Elsevier: Elsevier Amsterdam), 1131-1184 · Zbl 1028.28002
[26] Strauss, W.; Macheras, N. D.; Musiał, K., Non-existence of certain types of liftings and densities in product spaces with \(σ\)-ideals, Real Anal. Exchange, 29, 473-479 (2003/2004) · Zbl 1096.28002
[27] Szpilrajn-Marczewski, E., On measurability and the Baire property, (C. R. du I Congrès des Mathématiciens des Pays Slaves, Warszawa (1929)). (Collected Mathematical Papers of E. Marczewski (1996), PAN, Institute of Mathematics: PAN, Institute of Mathematics Warszawa), 297-303, (in English)
[28] Talagrand, M., Closed convex hull of set of measurable functions and measurability of translations, Ann. Inst. Fourier (Grenoble), 32, 39-69 (1982) · Zbl 0452.28004
[29] Valdivia, M., Products of Baire topological vector spaces, Fund. Math., 125, 71-80 (1985) · Zbl 0613.46004
[30] White, H. E., Topological spaces that are \(α\)-favorable for a player with perfect information, Proc. Amer. Math. Soc., 50, 477-482 (1975) · Zbl 0313.54036
[31] Wilczyński, W., A category analogue of the density topology, approximate continuity and the approximate derivative, Real Anal. Exchange, 10, 241-265 (1984/1985) · Zbl 0593.26008
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.