On the Laczkovich-Komjáth property of sigma-ideals

DOI10.1016/J.TOPOL.2009.08.002MaRDI QIDQ1044862zbMATH OpenOpenAlexFDO

Publication date 15 December 2009

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2009.08.002

analytic sets Ellentuck topology equivalence relations Laczkovich-Komjáth property limit superior of a sequence of sets

Descriptive set theory (03E15) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Review text

Let \(X\) be an uncountable Polish space, and let \((A_n : n \in {\mathbb{N}})\) be a sequence of subsets of \(X\). For infinite \(H \subseteq {\mathbb{N}}\) let \(\limsup_{n \in H} A_n = \bigcap_{n \in H} \bigcup_{k \in H, k \geq n} A_k\). Say that an ideal \({\mathcal{I}}\) of subsets of \(X\) has the Laczkovich-Komjáth property (LK) if for every sequence \((A_n : n \in {\mathbb{N}})\) of analytic subsets of \(X\) with \(\limsup_{n \in H} A_n \notin {\mathcal I}\) for every infinite \(H \subseteq {\mathbb{N}}\), there is an infinite \(G \subseteq {\mathbb{N}}\) such that \(\bigcap_{n\in G} A_n\) does not belong to \({\mathcal{I}}\). Extending an earlier result of Laczkovich, \textit{P. Komjáth} proved [Anal. Math. 10, 283--293 (1984; Zbl 0569.03021)] that the ideal of countable subsets of \(X\) has property (LK). On the other hand, the \(\sigma\)-ideals of meager and null sets do not have property (LK). Generalizing Komjáth's result, the authors prove that if \(E\) is an \(F_\sigma\) equivalence relation on \(X\) with uncountably many classes, then the \(\sigma\)-ideal \({\mathcal I}_E\) generated by the classes has property (LK). In fact they show that if \((A_n)\) is a sequence of analytic subsets of \(X\) with \(\limsup_{n \in H} A_n \notin {\mathcal I}_E\) for every infinite \(H \subseteq {\mathbb{N}}\), then there are an infinite \(G \subseteq {\mathbb{N}}\) and a perfect \(P \subset \bigcap_{n\in G} A_n\) which meets each class in at most one point. They also introduce a (stronger) parametrized version of property (LK) and prove that \({\mathcal I}_E\) even has this property. Finally they discuss invariance of property (LK) under operations like products of ideals and intersection of ideals. For example, they show that the intersection of less than \({\mathfrak{h}}\) many \(\sigma\)-ideals with property (LK) has property (LK). Here \({\mathfrak{h}}\) is the distributivity number.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: On the Laczkovich-Komjáth property of sigma-ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1044862)