LK property for \(\sigma \)-ideals (Q616947): Difference between revisions

An ideal~\(\mathcal I\) of subsets of a~Polish space~\(X\) is said to have property~(LK) whenever for every sequence~\((A_n)\) of analytic subsets of~\(X\), if \(\limsup_{n\in H}A_n\notin\mathcal I\) for each \(H\in[\mathbb N]^\omega\) then \(\bigcap_{n\in G}A_n\notin\mathcal I\) for some \(G\in[\mathbb N]^\omega\). Komjáth has proved that the \(\sigma\)-ideal \([X]^{\leq\omega}\) has the property~(LK) and Halmos has proved that the \(\sigma\)-ideal of null sets does not have the property~(LK). In [\textit{M. Balcerzak} and \textit{S. Głąb}, Topology Appl. 157, No.~2, 319--326 (2010; Zbl 1207.54044)] it is proved that every \(\sigma\)-ideal generated by countable unions of equivalence classes of an \(F_\sigma\)-equivalence relation \(E\subseteq X\times X\) has the property~(LK). In the paper under the review the author gives some other natural examples of \(\sigma\)-ideals with the property~(LK).