\(\pi\) (X)\(=\delta (X)\) for compact X (Q1263827): Difference between revisions

For a topological space (X,T), d(X) denotes the density of X \((=\) the smallest cardinality of a dense subset of X), and \(\pi\) (X) denotes the \(\pi\)-weight of X \((=\) the smallest cardinality of a family \(P\subset T- \{\emptyset \}\) such that for every \(U\in T-\{\emptyset \}\) there exists \(V\in P\) such that \(V\subset U)\). The cardinal function \(\delta\) (X), introduced by \textit{J. H. Weston} and \textit{J. Shilleto} [Gen. Topology Appl. 6, 227-240 (1976; Zbl 0321.54003)], is defined by \(\delta (X)=\sup \{d(Y):\) \(Y\subset X\) is dense in \(X\}\). They raised the question: For a compact \(T_ 2\)-space X, is \(\pi (X)=\delta (X)?\) \textit{I. Juhasz} [see 3.14 in ``Cardinal functions in topology - ten years later'', Math. Centre Tracts 123 (1980; Zbl 0479.54001)] proved that every compact \(T_ 2\)-space has a dense subspace Y left separated in type \(\pi\) (Y); so if \(\pi\) (X) is regular, the answer to the above question is ``yes''. The purpose of the present paper is to answer the above question ``yes'' in the case that \(\pi\) (X) is a singular cardinal. The proof is interesting and elaborate. As a corollary, they get that the point- picking game \(G^ D_{\alpha}(X)\) is determined for any ordinal \(\alpha\). \{The authors have informed me that page 293, line 13 and 16 do not follow as given, and suggest instead: ``to see that \(c\wedge \bigwedge^{\ell}_{k=1}b-p_ i(\alpha_ k)\neq 0\) for \(k\leq n\) (and \(c\in C^*_ i)\) note that, trivially \(c\leq b\) for \(c\in C^*_ i\), hence \(c\wedge \bigwedge^{\ell}_{k=1}b-p_ i(\alpha_ k)=\bigwedge^{\ell}_{k=1}c-p_ i(\alpha_ k)\), hence \(\alpha_{\ell}\not\in A_ c(p_ i)\) for \(\ell \leq n\) allows one to do the same induction that was done for \(i=0\) with b instead of c.''\}