Meagre set

Meagre set

In the mathematical fields of general topology and descriptive set theory, a meagre set (also called a meager set or a set of first category) is a set that, considered as a subset of a (usually larger) topological space, is in a precise sense small or negligible. The meagre subsets of a fixed space form a sigma-ideal of subsets; that is, any subset of a meagre set is meagre, and the union of countably many meagre sets is meagre.

General topologists use the term Baire space to refer to a broad class of topological spaces on which the notion of meagre set is not trivial (in particular, the entire space is not meagre). Descriptive set theorists mostly study meagre sets as subsets of the real numbers, or more generally any Polish space, and reserve the term Baire space for one particular Polish space.

The complement of a meagre set is a comeagre set or residual set.

Contents

Definition

Given a topological space X, a subset A of X is meagre if it can be expressed as the union of countably many nowhere dense subsets of X. Dually, a comeagre set is one whose complement is meagre, or equivalently, the intersection of countably many sets with dense interiors.

A subset B of X is nowhere dense if there is no neighbourhood on which B is dense: for any nonempty open set U in X, there is a nonempty open set V contained in U such that V and B are disjoint.

The complement of a nowhere dense set is a dense set, but not every dense set is of this form. More precisely, the complement of a nowhere dense set is a set with dense interior.

Relation to Borel hierarchy

Just as a nowhere dense subset need not be closed, but is always contained in a closed nowhere dense subset (viz, its closure), a meagre set need not be an Fσ set (countable union of closed sets), but is always contained in an Fσ set made from nowhere dense sets (by taking the closure of each set).

Dually, just as the complement of a nowhere dense set need not be open, but has a dense interior (contains a dense open set), a comeagre set need not be a Gδ set (countable intersection of open sets), but contains a dense Gδ set formed from dense open sets.

Terminology

A meagre set is also called a set of first category; a nonmeagre set (that is, a set that is not meagre) is also called a set of second category. Second category does not mean comeagre – a set may be neither meagre nor comeagre (in this case it will be of second category).

Properties

  • Any subset of a meagre set is meagre; any superset of a comeagre sets is comeagre.
  • The union of countable many meagre sets is also meagre; the intersection of countably many comeagre sets is comeagre.
This follows from the fact that a countable union of countable sets is countable.

Banach–Mazur game

Meagre sets have a useful alternative characterization in terms of the Banach–Mazur game. If Y is a topological space, W is a family of subsets of Y which have nonempty interior such that every nonempty open set has a subset in W, and X is any subset of Y, then there is a Banach-Mazur game corresponding to X, Y, W. In the Banach-Mazur game, two players, P1 and P2, alternate choosing successively smaller (in terms of the subset relation) elements of W to produce a descending sequence W_1 \supset W_2 \supset W_3 \supset \ldots. If the intersection of this sequence contains a point in X, P1 wins; otherwise, P2 wins. If W is any family of sets meeting the above criteria, then P2 has a winning strategy if and only if X is meagre.

Examples

Subsets of the reals

  • The rational numbers are meagre as a subset of the reals and as a space – they are not a Baire space.
  • The Cantor set is meagre as a subset of the reals, but not as a space, since it is a complete metric space – it is thus a Baire space, by the Baire category theorem.

Function spaces

  • The set of functions which have a derivative at some point is a meagre set in the space of all continuous functions.[1]

Notes

  1. ^ Banach, S. (1931). "Über die Baire'sche Kategorie gewisser Funktionenmengen". Studia. Math. (3): pp. 174–179. 

See also


External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Set theory of the real line — is an area of mathematics concerned with the application of set theory to aspects of the real numbers. For example, one knows that all countable sets of reals are null, i.e. have Lebesgue measure 0; one might therefore ask the least possible size …   Wikipedia

  • Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects …   Wikipedia

  • Nowhere dense set — A subset A of a topological space X is nowhere dense in X if and only if the interior of the closure of A is empty. The order of operations is important. For example, the set of rational numbers, as a subset of R has the property that the closure …   Wikipedia

  • List of exceptional set concepts — This is a list of exceptional set concepts. In mathematics, and in particular in mathematical analysis, it is very useful to be able to characterise subsets of a given set X as small , in some definite sense, or large if their complement in X is… …   Wikipedia

  • Porous set — In mathematics, a porosity is a concept in the study of metric spaces. Like the concepts of meagre and measure zero sets, porosity is a notion of a set being somehow sparse or lacking bulk ; however, porosity is not equivalent to either of the… …   Wikipedia

  • Banach–Mazur game — In general topology, set theory and game theory, a Banach–Mazur game is a topological game played by two players, trying to pin down elements in a set (space). The concept of a Banach–Mazur game is closely related to the concept of Baire spaces.… …   Wikipedia

  • Generic property — In mathematics, properties that hold for typical examples are called generic properties. For instance, a generic property of a class of functions is one that is true of almost all of those functions, as in the statements, A generic polynomial… …   Wikipedia

  • Antiderivative — In calculus, an antiderivative, primitive or indefinite integral [Antiderivatives are also called general integrals, and sometimes integrals. The latter term is generic, and refers not only to indefinite integrals (antiderivatives), but also to… …   Wikipedia

  • Meager — or Meagre (see American and British English spelling differences) can refer to: Meagre set (also meager set) in mathematics Mount Meager (also Mount Meagre, Mount Meagher) in British Columbia, Canada Meager Creek, a creek in British Columbia,… …   Wikipedia

  • List of general topology topics — This is a list of general topology topics, by Wikipedia page. Contents 1 Basic concepts 2 Limits 3 Topological properties 3.1 Compactness and countability …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”