Normal covers of various products (Q972557)

From MaRDI portal
Revision as of 19:34, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Normal covers of various products
scientific article

    Statements

    Normal covers of various products (English)
    0 references
    0 references
    19 May 2010
    0 references
    The first part of this paper is devoted to the following question. Let \(X\) and \(Y\) be Hausdorff spaces and consider a rectangular open cover \({\mathcal U}\) of \(X\times Y\), i.e., an open cover consisting of sets of the form \(U\times V\). When is \({\mathcal U}\) normal? Extending some of his earlier results the author gives these answers. Theorem 1. If \(X\) is a paracompact \(\sigma\)-space and \(Y\) an arbitrary Hausdorff space, then the following are equivalent: (i) \({\mathcal U}\) is normal; (ii) \({\mathcal U}\) has a locally finite rectangular cozero refinement (iii) \({\mathcal U}\) has a \(\sigma\)-locally finite rectangular cozero refinement; (iv) \({\mathcal U}\) has a \(\sigma\)-discrete rectangular cozero refinement. Theorem 2. If \(X\) is a paracompact \(\sigma\)-space and \(Y\) a collectionwise normal and countably paracompact space, then the following are equivalent: (i) \({\mathcal U}\) is normal; (ii) \({\mathcal U}\) has a locally finite closed refinement; (iii) \({\mathcal U}\) has a \(\sigma\)-locally finite open refinement. Theorem 3. If \(X\) is a monotonically normal space and \(Y\) is a subspace of \(\lambda+1\), where \(\lambda\) is a limit ordinal, then the following are equivalent: (i) \({\mathcal U}\) is normal; (ii) \({\mathcal U}\) has a point-finite open refinement; (iii) U has a point-finite rectangular open refinement; (iv) \({\mathcal U}\) has a locally finite rectangular cozero refinement. In the second part of the paper infinite products \(X=\prod_{i\in I} X_i\) of Hausdorff spaces are considered. For each \(J\in [I]^{<\omega}\) let \(X_J=\prod_{j\in J}X_j\) be the subproduct and \(p_J: X\to X_J\) the projection from \(X\) onto \(X_J\). Any subset of \(X\) of the form \(p^{-1}_J[U]\), \(U\subset X_J\), is called a cylinder. A cylinder is said to be an open (closed, cozero) cylinder, if \(U\) is open (closed, cozero) in \(X_J\). Let \({\mathcal U}\) be a cover of \(X\) consisting of open cylinders. When is \({\mathcal U}\) normal? The author provides the following interesting answers which are much more difficult to prove. Theorem 4. If \(X\) is a product of \(\beta\)-spaces, every finite subproduct of which is paracompact, and \({\mathcal U}\) consists of cozero cylinders, then the following are equivalent: (i) \({\mathcal U}\) is normal; (ii) \({\mathcal U}\) has a locally finite open refinement; (iii) \({\mathcal U}\) has a locally finite closed refinement. Theorem 5. If \(X\) is a product of semi-stratifiable spaces, every finite subproduct of which is paracompact, then the following are equivalent: (i) \({\mathcal U}\) is normal; (ii) \({\mathcal U}\) has a \(\sigma\)-locally finite open refinement; (iii) \({\mathcal U}\) has a \(\sigma\)-discrete refinement consisting of open cylinders. Theorem 6. If \(X\) is a product of paracompact \(\Sigma\)-spaces, then the following are equivalent: (i) \({\mathcal U}\) is normal; (ii) \({\mathcal U}\) has a locally finite open refinement; (iii) \({\mathcal U}\) has a locally finite refinement consisting of open cylinders which has a shrinking consisting of closed cylinders.
    0 references
    normal cover
    0 references
    paracompact space
    0 references
    collectionwise normal space
    0 references
    countably paracompact space
    0 references
    monotonically normal space
    0 references
    \(\beta\)-space
    0 references
    \(\sigma\)-space
    0 references
    semi-stratifiable space
    0 references
    \(\Sigma\)-space
    0 references

    Identifiers