Maps coabsolute with projections parallel to Cantor's perfect set (Q1263829)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Maps coabsolute with projections parallel to Cantor's perfect set |
scientific article |
Statements
Maps coabsolute with projections parallel to Cantor's perfect set (English)
0 references
1989
0 references
Assume X, Y and Z are compact Hausdorff spaces. A continuous mapping f from Y onto X is coabsolute with a continuous mapping g from Z onto X if there exists an isomorphism h of the Boolean algebra RO(X) of regular- open subsets of Y onto the Boolean algebra RO(Z) of regular-open subsets of Z, such that \(h\circ f^*=g^*\), where \(f^*\) and \(g^*\) stand for the homomorphisms induced by f and g respectively. The author proves that if \(c(X)=\aleph_ 0\), then a skeletal mapping f from Y onto X is coabsolute with the projection of the product \(X\times D^{\omega}\) onto X iff the following conditions holds true: (1) there exists a countable family P of open subsets of Y such that \(\{U\cap f^{-1}(V):\) \(U\in P\) and V is open in \(X\}\) is a \(\pi\)-base in Y; (2) for every non-empty open set \(U\subset Y\) there exist disjoint open sets V,W\(\subset U\) such that Int(f(V)\(\cap f(W))\neq \emptyset\). In fact, by the use of the forcing method, there is obtained some more general result. In particular there are formulated some conditions under which the projection parallel to \(D^{\omega}\) is coabsolute with the projection parallel to \(D^{\omega_ 1}\).
0 references
Cantor's perfect set
0 references
absolute of a continuous function
0 references
\(\pi \) -weight of a mapping
0 references
generic extension
0 references
Boolean algebra of regular open subsets
0 references
Souslin condition
0 references
skeletal mapping
0 references
coabsolute
0 references
forcing
0 references