On well-filtered spaces and ordered sets (Q2401559): Difference between revisions

A Hausdorff space \(X\) has the property that if \(\mathcal F\) is a filter base of compact sets and \(\cap F\subseteq U\) where \(U\) is an open set, there is some \(F\in\mathcal F\) such that \(F\subseteq U\). This topological property without the Hausdorff axiom is called well-filtered and is analyzed in the category of \(T_0\)-spaces showing that compactness in \(T_0\)-spaces is much weaker than in Hausdorff spaces. A subset \(A\) of a space \(X\) is saturated if \(A\) is the intersection of the open sets containing \(A\), and a space \(X\) is coherent if the intersection of two compact saturated sets is compact. A coherent \(T_0\)-space \(X\) is compact and well-filtered iff the finer topology on \(X\) generated by \(\tau(X)\cup \{X\backslash A:A\text{ is compact saturated in the space }X\}\) is also compact. Additional sufficient conditions for a \(T_0\)-space to be well-filtered are also given.