Lusin's separation theorem
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
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 = ∅.[1] It is named after Nikolai Luzin, who proved it in 1927.[2]
The theorem can be generalized to show that for each sequence (An) of disjoint analytic sets there is a sequence (Bn) of disjoint Borel sets such that An ⊆ Bn for each n. [1]
An immediate consequence is Suslin's theorem, which states that if a set and its complement are both analytic, then the set is Borel.
Notes
<templatestyles src="Reflist/styles.css" />
Cite error: Invalid <references> tag; parameter "group" is allowed only.
<references />, or <references group="..." />References
- Lua error in package.lua at line 80: module 'strict' not found. (ISBN 3-540-94374-9 for the European edition)
- Lua error in package.lua at line 80: module 'strict' not found..
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
- ↑ 1.0 1.1 (Kechris 1995, p. 87).
- ↑ (Lusin 1927).
