A generalization of Gruenhage's example (Q2268638): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 07:31, 5 March 2024
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
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
seminormal functor
0 references
perfect normality
0 references
hereditary separability
0 references
hereditary normality
0 references