Maximal independent families and a topological consequence (Q1868862): Difference between revisions

A family \({\mathcal F}\subset P(X)\) is \({\kappa}\)-independent iff \(|\cap {\mathcal A}\setminus \cup{\mathcal B}|\geq {\kappa}\) whenever \({\mathcal A}\) and \({\mathcal B}\) are disjoint, finite subsets of \(\mathcal F\). Denote by \({\mathcal T}_{\mathcal F} \) the 0-dimensional topological space on \(X\) whose subbase is the family \({\mathcal F} \cup\{X\setminus F: F\in{\mathcal F}\}\). We say that \(\mathcal F\) is separating iff for each \(\{x,y\}\in [X]^2\) there is \(F\in{\mathcal F}\) with \(|\{x,y\}\cap F|=1\). The dispersion character \(\Delta(Y)\) of a topological space \(Y\) is the minimum of the cardinalities of nonempty open subspaces. If \(\mathcal F\) is \({\kappa}\)-independent then \(\Delta({\mathcal T}_{\mathcal F})\geq {\kappa}\). If \(\mathcal F\) is maximal \({\omega}\)-independent then \({\mathcal T}_{\mathcal F}\) is irresolvable. If \(\mathcal F\) is separating then \({\mathcal T}_{\mathcal F}\) is \(T_2\). The authors show that for each cardinal \({\kappa}\geq {\omega}\) there is a family \({\mathcal F}\subset P({\kappa})\) which is separating, \({\kappa}\)-independent and maximal \({\omega}\)-independent. Consequently, they prove that for each cardinal \({\kappa}\) there is a topological space \(Y\) which is irresolvable, \(0\)-dimensional, \(T_2\) with dispersion character \(\geq {\kappa}\). They also show that this \(Y\) can be chosen as a dense, hereditarily irresolvable subspace of the compact topological group \(2^{2^{\kappa}}\).