Lusin's separation theorem

This article is about the separation theorem. For the theorem on continuous functions, see Lusin's theorem.

In descriptive set theory and mathematical logic, Lusin's separation theorem states that if A and B are disjoint analytic subsets of Polish space, then there is a Borel set C in the space such that A ⊆ C and B ∩ C = ∅ (Kechris 1995, p. 87). It is named after Nicolas Lusin, who proved it in 1927.

References

• Alexander Kechris (1995). Classical descriptive set theory. Graduate texts in mathematics. Vol. 156. ISBN 0-387-943734-9. {{cite book}}: Check |isbn= value: length (help)
• Nicolas Lusin (1927). "Sur les ensembles analytiques" (PDF). Fundamenta Mathematicae (in French). 10: 1–95.