A generalization of Gruenhage's example (Q2268638)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A generalization of Gruenhage's example
scientific article

    Statements

    A generalization of Gruenhage's example (English)
    0 references
    0 references
    8 March 2010
    0 references
    Under CH, for each \(n\) a non-metrisable, compact, strongly hereditarily separable Cantor \(n\)-manifold \(X\) is constructed so that each \(F\subset X^k\) for which \(\overline{F\setminus\Delta_k}=F\) is G\(_\delta\) in \(X^k\), \(X^k\setminus\Delta_k\) is perfectly normal, the space \(\mathcal F_k(X)\) is hereditarily separable and \(\mathcal F_{kk}(X)\) is perfectly normal for each seminormal functor that preserves weights and each \(k\in\text{sp}(\mathcal F)\), and \(\mathcal F(X)\) is hereditarily normal for every seminormal functor that preserves weights and one-to-one points and satisfies sp\((\mathcal F)=\{1,k\}\).
    0 references
    0 references
    seminormal functor
    0 references
    perfect normality
    0 references
    hereditary separability
    0 references
    hereditary normality
    0 references
    0 references