residual
A subspace of a topological space is called residual (or comeager) if and only if it is second category and its complement is first category. Equivalently, a set is residual if and only if it contains a countable intersection of open (http://planetmath.org/OpenSet) dense sets.
Title | residual |
---|---|
Canonical name | Residual |
Date of creation | 2013-03-22 13:04:05 |
Last modified on | 2013-03-22 13:04:05 |
Owner | mps (409) |
Last modified by | mps (409) |
Numerical id | 7 |
Author | mps (409) |
Entry type | Definition |
Classification | msc 54E52 |
Related topic | BaireCategoryTheorem |
Related topic | SardsTheorem |
Defines | comeager |