Category product densities and liftings

被引:4
作者
Burke, MR
Macheras, ND
Musial, K [1 ]
Strauss, W
机构
[1] Univ Prince Edward Isl, Dept Math & Stat, Charlottetown, PE C1A 4P3, Canada
[2] Univ Piraeus, Dept Stat & Insurance Sci, Piraeus 18534, Greece
[3] Univ Wroclaw, Inst Math, PL-50384 Wroclaw, Poland
[4] Univ Stuttgart, Dept Math, D-70511 Stuttgart, Germany
基金
加拿大自然科学与工程研究理事会;
关键词
Baire category; Baire space; Baire property; meager set; lifting; density; product lifting; lifting respecting coordinates;
D O I
10.1016/j.topol.2004.12.008
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
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 x Y is a Baire space, then, given (strong) category liftings rho 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 rho and sigma and satisfies the following section property: [pi (E)](x)=sigma([pi(E)](x)) for all E subset of X x Y with Baire property and all x is an element of 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. (C) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码:1164 / 1191
页数:28
相关论文
共 31 条
[1]  
[Anonymous], 2002, HDB MEASURE THEORY
[2]  
[Anonymous], 1995, SET THEORY
[3]  
Engelking R., 1989, General Topology, V2
[4]  
Erd├a┬As P., 1955, T AM MATH SOC, V79, P91, DOI DOI 10.1090/S0002-9947-1955-0072928-3
[5]  
FLEISSNER WG, 1978, FUND MATH, V101, P229
[6]  
Fremlin D, 2000, FUND MATH, V165, P239
[7]  
Fremlin D., 1987, DISS MATH, V260
[8]  
Fremlin D. H., 2003, MEASURE THEORY, V4
[9]  
FREMLIN DH, 2002, MEASURE THEORY, V3
[10]  
GRAF S, 1977, J REINE ANGEW MATH, V295, P169