A subspace of a space is almost open if it is open modulo the -ideal of meagre subspaces. We also say that has the Baire property.
Explicitly, is almost open if there exist an open subspace and an infinite sequence of nowhere dense subspaces (meaning that their closures have empty interiors) such that
That every subspace of the real line is almost open follows from the axiom of determinacy but contradicts the axiom of choice. In the absence of choice, it is a convenient assumption to make and is one of the axioms of dream mathematics.
Last revised on April 12, 2017 at 05:29:19. See the history of this page for a list of all contributions to it.