View source for Meagre set

{{Short description|"Small" subset of a topological space}}
In the [[Mathematics|mathematical]] field of [[general topology]], a '''meagre set''' (also called a '''meager set''' or a '''set of first category''') is a [[subset]] of a [[topological space]] that is small or [[Negligible set|negligible]] in a precise sense detailed below.  A set that is not meagre is called '''nonmeagre''', or '''of the second category'''.  See below for definitions of other related terms.

The meagre subsets of a fixed space form a [[Sigma-ideal|σ-ideal]] of subsets; that is, any subset of a meagre set is meagre, and the [[union (set theory)|union]] of [[Countable set|countably]] many meagre sets is meagre.

Meagre sets play an important role in the formulation of the notion of [[Baire space]] and of the [[Baire category theorem]], which is used in the proof of several fundamental results of [[functional analysis]].

==Definitions==

Throughout, <math>X</math> will be a [[topological space]]. 

The definition of meagre set uses the notion of a [[nowhere dense]] subset of <math>X,</math> that is, a subset of <math>X</math> whose [[closure (topology)|closure]] has empty [[interior (topology)|interior]].  See the corresponding article for more details.

A subset of <math>X</math> is called '''{{visible anchor|meagre in}} <math>X,</math>''' a '''{{visible anchor|meagre subset|text=meagre subset}} of <math>X,</math>''' or of the '''{{visible anchor|first category}} in <math>X</math>''' if it is a countable union of [[nowhere dense]] subsets of <math>X</math>.{{sfn|Narici|Beckenstein|2011|p=389}} Otherwise, the subset is called '''{{visible anchor|nonmeagre in}} <math>X,</math>''' a '''{{visible anchor|nonmeagre subset|text=nonmeagre subset}} of <math>X,</math>''' or of the '''{{visible anchor|second category}} in <math>X.</math>'''{{sfn|Narici|Beckenstein|2011|p=389}}  The qualifier "in <math>X</math>" can be omitted if the ambient space is fixed and understood from context.

A topological space is called '''{{visible anchor|meagre|meagre space}}''' (respectively, '''{{visible anchor|nonmeagre|nonmeagre space}}''') if it is a meagre (respectively, nonmeagre) subset of itself. 

A subset <math>A</math> of <math>X</math> is called '''{{visible anchor|comeagre}} in <math>X,</math>''' or '''{{visible anchor|residual|residual subset|residual set}} in <math>X,</math>''' if its [[complement (set theory)|complement]] <math>X \setminus A</math> is meagre in <math>X</math>. (This use of the prefix "co" is consistent with its use in other terms such as "[[Cofiniteness|cofinite]]".)
A subset is comeagre in <math>X</math> if and only if it is equal to a countable [[intersection (set theory)|intersection]] of sets, each of whose interior is dense in <math>X.</math> 

'''Remarks on terminology'''

The notions of nonmeagre and comeagre should not be confused.  If the space <math>X</math> is meagre, every subset is both meagre and comeagre, and there are no nonmeagre sets.  If the space <math>X</math> is nonmeager, no set is at the same time meagre and comeager, every comeagre set is nonmeagre, and there can be nonmeagre sets that are not comeagre, that is, with nonmeagre complement.  See the Examples section below.

As an additional point of terminology, if a subset <math>A</math> of a topological space <math>X</math> is given the [[subspace topology]] induced from <math>X</math>, one can talk about it being a meagre space, namely being a meagre subset of itself (when considered as a topological space in its own right).  In this case <math>A</math> can also be called a ''meagre subspace'' of <math>X</math>, meaning a meagre space when given the subspace topology.  Importantly, this is not the same as being meagre in the whole space <math>X</math>.  (See the Properties and Examples sections below for the relationship between the two.)  Similarly, a ''nonmeagre subspace'' will be a set that is nonmeagre in itself, which is not the same as being nonmeagre in the whole space.  Be aware however that in the context of [[topological vector spaces]] some authors may use the phrase "meagre/nonmeagre subspace" to mean a vector subspace that is a meagre/nonmeagre set relative to the whole space.<ref>{{cite web |last1=Schaefer |first1=Helmut H. |title=Topological Vector Spaces |url=https://books.google.com/books?id=5_1QAAAAMAAJ&q=%22meager+subspace%22&dq=%22meager+subspace%22 |publisher=Macmillan |date=1966}}</ref>

The terms ''first category'' and ''second category'' were the original ones used by [[René Baire]] in his thesis of 1899.<ref>{{cite journal |last1=Baire |first1=René |title=Sur les fonctions de variables réelles |journal=Annali di Mat. Pura ed Appl. |date=1899 |pages=1-123 |url=https://archive.org/details/surlesfonctions00bairgoog/page/n12/mode/2up |series=3}}, page 65</ref>  The ''meagre'' terminology was introduced by [[Nicolas Bourbaki|Bourbaki]] in 1948.<ref>{{cite journal |last1=Oxtoby |first1=J. |title=Cartesian products of Baire spaces |journal=[[Fundamenta Mathematicae]] |date=1961 |volume=49 |issue=2 |pages=157–166 |doi=10.4064/fm-49-2-157-166 |url=http://matwbn.icm.edu.pl/ksiazki/fm/fm49/fm49113.pdf}}"Following Bourbaki [...], a topological space is called a Baire space if ..."</ref>{{sfn|Bourbaki|1989|p=192}}

==Examples==

The empty set is always a closed nowhere dense (and thus meagre) subset of every topological space. 

In the nonmeagre space <math>X=[0,1]\cup([2,3]\cap\Q)</math> the set <math>[2,3]\cap\Q</math> is meagre.  The set <math>[0,1]</math> is nonmeagre and comeagre.

In the nonmeagre space <math>X=[0,2]</math> the set <math>[0,1]</math> is nonmeagre.  But it is not comeagre, as its complement <math>(1,2]</math> is also nonmeagre.

A countable [[T1 space|T<sub>1</sub> space]] without [[isolated point]] is meagre.  So it is also meagre in any space that contains it as a subspace.  For example, <math>\Q</math> is both a meagre subspace of <math>\R</math> (that is, meagre in itself with the subspace topology induced from <math>\R</math>) and a meagre subset of <math>\R.</math>

The [[Cantor set]] is nowhere dense in <math>\R</math> and hence meagre in <math>\R.</math>  But it is nonmeagre in itself, since it is a [[complete metric space]].

The set <math>([0,1]\cap\Q)\cup\{2\}</math> is not nowhere dense in <math>\R</math>, but it is meagre in <math>\R</math>.  It is nonmeagre in itself (since as a subspace it contains an isolated point).

The line <math>\R\times\{0\}</math> is meagre in the plane <math>\R^2.</math>  But it is a nonmeagre subspace, that is, it is nonmeagre in itself.

The set <math>S = (\Q \times \Q) \cup (\Reals \times \{0\})</math> is a meagre sub{{em|set}} of <math>\R^2</math> even though its meagre subset <math>\Reals \times \{0\}</math> is a nonmeagre sub{{em|space}} (that is, <math>\R</math> is not a meagre topological space).{{sfn|Narici|Beckenstein|2011|pp=371-423}} 
A countable Hausdorff space without [[isolated point]]s is meagre, whereas any topological space that contains an isolated point is nonmeagre.{{sfn|Narici|Beckenstein|2011|pp=371-423}} 
Because the [[rational numbers]] are countable, they are meagre as a subset of the reals and as a space—that is, they do not form a [[Baire space]]. 

Any topological space that contains an [[isolated point]] is nonmeagre{{sfn|Narici|Beckenstein|2011|pp=371-423}} (because no set containing the isolated point can be nowhere dense). In particular, every nonempty [[discrete space]] is nonmeagre.

There is a subset <math>H</math> of the real numbers <math>\R</math> that splits every nonempty open set into two nonmeagre sets.  That is, for every nonempty open set <math>U\subseteq \mathbb{R}</math>, the sets <math>U\cap H</math> and <math>U \setminus H</math> are both nonmeagre.

In the space <math>C([0,1])</math> of continuous real-valued functions on <math>[0,1]</math> with the topology of [[uniform convergence]], the set <math>A</math> of continuous real-valued functions on <math>[0,1]</math> that have a derivative at some point is meagre.<ref>{{cite journal|author=Banach, S.|title=Über die Baire'sche Kategorie gewisser Funktionenmengen|journal=[[Studia Math.]]|volume=3|issue=1|year=1931|pages=174–179|doi=10.4064/sm-3-1-174-179|url=https://eudml.org/doc/217560|doi-access=free}}</ref>{{sfn|Willard|2004|loc=Theorem 25.5}}  Since <math>C([0,1])</math> is a complete metric space, it is nonmeagre.  So the complement of <math>A</math>, which consists of the continuous real-valued [[nowhere differentiable function]]s on <math>[0,1],</math> is comeagre and nonmeagre.  In particular that set is not empty.  This is one way to show the existence of continuous nowhere differentiable functions.

On an infinite-dimensional Banach space, there exists a [[discontinuous linear functional]] whose kernel is nonmeagre.<ref name="subspace of Banach"> https://mathoverflow.net/questions/3188/are-proper-linear-subspaces-of-banach-spaces-always-meager</ref> Also, under [[Martin's axiom]], on each separable Banach space, there exists a discontinuous linear functional whose kernel is meagre (this statement disproves the Wilansky–Klee conjecture<ref> https://www.ams.org/journals/bull/1966-72-04/S0002-9904-1966-11547-1/S0002-9904-1966-11547-1.pdf</ref>).<ref name="subspace of Banach" />

==Characterizations and sufficient conditions==

Every nonempty [[Baire space]] is nonmeagre.  In particular, by the [[Baire category theorem]] every nonempty [[complete metric space]] and every nonempty [[locally compact Hausdorff]] space is nonmeagre.

Every nonempty [[Baire space]] is nonmeagre but there exist nonmeagre spaces that are not Baire spaces.{{sfn|Narici|Beckenstein|2011|pp=371-423}} Since [[Complete metric space|complete]] [[Pseudometric space|(pseudo)]][[metric space]]s as well as [[Hausdorff space|Hausdorff]] [[locally compact]] spaces [[Baire category theorem|are Baire spaces]], they are also nonmeagre spaces.{{sfn|Narici|Beckenstein|2011|pp=371–423}} 

Any subset of a meagre set is a meagre set, as is the union of countably many meagre sets.{{sfn|Rudin|1991|p=43}} 
If <math>h : X \to X</math> is a [[homeomorphism]] then a subset <math>S \subseteq X</math> is meagre if and only if <math>h(S)</math> is meagre.{{sfn|Rudin|1991|p=43}} 

Every nowhere dense subset is a meagre set.{{sfn|Rudin|1991|p=43}} Consequently, any closed subset of <math>X</math> whose interior in <math>X</math> is empty is of the first category of <math>X</math> (that is, it is a meager subset of <math>X</math>). 

The {{visible anchor|'''Banach category theorem'''}}{{sfn|Oxtoby|1980|p=62}} states that in any space <math>X,</math> the union of any family of open sets of the first category is of the first category.

All subsets and all countable unions of meagre sets are meagre. Thus the meagre subsets of a fixed space form a [[Sigma-ideal|σ-ideal]] of subsets, a suitable notion of [[negligible set]].  
Dually, all [[superset]]s and all countable intersections of comeagre sets are comeagre. Every superset of a nonmeagre set is nonmeagre.

Suppose <math>A \subseteq Y \subseteq X,</math> where <math>Y</math> has the [[subspace topology]] induced from <math>X.</math>  The set <math>A</math> may be meagre in <math>X</math> without being meagre in <math>Y.</math>  However the following results hold:{{sfn|Bourbaki|1989|p=192}}
* If <math>A</math> is meagre in <math>Y,</math> then <math>A</math> is meagre in <math>X.</math>
* If <math>Y</math> is open in <math>X,</math> then <math>A</math> is meagre in <math>Y</math> if and only if <math>A</math> is meagre in <math>X.</math>
* If <math>Y</math> is dense in <math>X,</math> then <math>A</math> is meagre in <math>Y</math> if and only if <math>A</math> is meagre in <math>X.</math>
And correspondingly for nonmeagre sets:
* If <math>A</math> is nonmeagre in <math>X,</math> then <math>A</math> is nonmeagre in <math>Y.</math>
* If <math>Y</math> is open in <math>X,</math> then <math>A</math> is nonmeagre in <math>Y</math> if and only if <math>A</math> is nonmeagre in <math>X.</math>
* If <math>Y</math> is dense in <math>X,</math> then <math>A</math> is nonmeagre in <math>Y</math> if and only if <math>A</math> is nonmeagre in <math>X.</math>

In particular, every subset of <math>X</math> that is meagre in itself is meagre in <math>X.</math>  Every subset of <math>X</math> that is nonmeagre in <math>X</math> is nonmeagre in itself.  And for an open set or a dense set in <math>X,</math> being meagre in <math>X</math> is equivalent to being meagre in itself, and similarly for the nonmeagre property.

A topological space <math>X</math> is nonmeagre if and only if every countable intersection of dense open sets in <math>X</math> is nonempty.{{sfn|Willard|2004|loc=Theorem 25.2}}

==Properties==

Every nowhere dense subset of <math>X</math> is meagre. Consequently, any closed subset with empty interior is meagre. Thus a closed subset of <math>X</math> that is of the second category in <math>X</math> must have non-empty interior in <math>X</math>{{sfn|Rudin|1991|pp=42-43}} (because otherwise it would be nowhere dense and thus of the first category). 

If <math>B \subseteq X</math> is of the second category in <math>X</math> and if <math>S_1, S_2, \ldots</math> are subsets of <math>X</math> such that <math>B \subseteq S_1 \cup S_2 \cup \cdots</math> then at least one <math>S_n</math> is of the second category in <math>X.</math> 

===Meagre subsets and Lebesgue measure===

There exist nowhere dense subsets (which are thus meagre subsets) that have positive [[Lebesgue measure]].{{sfn|Narici|Beckenstein|2011|pp=371-423}} 

A meagre set in <math>\R</math> need not have [[Lebesgue measure]] zero, and can even have full measure.  For example, in the interval <math>[0,1]</math> [[fat Cantor set]]s, like the [[Smith–Volterra–Cantor set]], are closed nowhere dense and they can be constructed with a measure arbitrarily close to <math>1.</math>  The union of a countable number of such sets with measure approaching <math>1</math> gives a meagre subset of <math>[0,1]</math> with measure <math>1.</math><ref>{{cite web |title=Is there a measure zero set which isn't meagre? |url=https://mathoverflow.net/questions/43478 |website=MathOverflow}}</ref>

Dually, there can be nonmeagre sets with measure zero.  The complement of any meagre set of measure <math>1</math> in <math>[0,1]</math> (for example the one in the previous paragraph) has measure <math>0</math> and is comeagre in <math>[0,1],</math> and hence nonmeagre in <math>[0,1]</math> since <math>[0,1]</math> is a Baire space. 

Here is another example of a nonmeagre set in <math>\Reals</math> with measure <math>0</math>:
<math display=block>\bigcap_{m=1}^{\infty}\bigcup_{n=1}^{\infty} \left(r_{n}-\left(\tfrac{1}{2}\right)^{n+m}, r_{n}+\left(\tfrac{1}{2}\right)^{n+m}\right)</math>
where <math>r_1, r_2, \ldots</math> is a sequence that enumerates the rational numbers.

===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|<math>F_{\sigma}</math> set]] (countable union of closed sets), but is always contained in an <math>F_{\sigma}</math> 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 (topology)|interior]] (contains a dense open set), a comeagre set need not be a [[Gδ set|<math>G_{\delta}</math> set]] (countable intersection of [[Open set|open]] sets), but contains a dense <math>G_{\delta}</math> set formed from dense open sets.

==Banach–Mazur game==

Meagre sets have a useful alternative characterization in terms of the [[Banach–Mazur game]]. 
Let <math>Y</math> be a topological space, <math>\mathcal{W}</math> be a family of subsets of <math>Y</math> that have nonempty interiors such that every nonempty open set has a subset belonging to <math>\mathcal{W},</math> and <math>X</math> be any subset of <math>Y.</math> 
Then there is a Banach–Mazur game <math>MZ(X, Y, \mathcal{W}).</math> 
In the Banach–Mazur game, two players, <math>P</math> and <math>Q,</math> alternately choose successively smaller elements of <math>\mathcal{W}</math> to produce a sequence <math>W_1 \supseteq W_2 \supseteq W_3 \supseteq \cdots.</math> 
Player <math>P</math> wins if the intersection of this sequence contains a point in <math>X</math>; otherwise, player <math>Q</math> wins. 

{{math theorem|name=Theorem|note=|style=|math_statement=
For any <math>\mathcal{W}</math> meeting the above criteria, player <math>Q</math> has a [[winning strategy]] if and only if <math>X</math> is meagre.
}}
==Erdos–Sierpinski duality==
Many arguments about meagre sets also apply to [[null set|null sets]], i.e. sets of Lebesgue measure 0. The Erdos–Sierpinski duality theorem states that if the [[continuum hypothesis]] holds, there is an [[Involution_(mathematics)|involution]] from reals to reals where the image of a null set of reals is a meagre set, and vice versa.<ref>{{Cite arXiv|last=Quintanilla|first=M.|eprint=2206.10754|title=The real numbers in inner models of set theory|date=2022}} (p.25)</ref> In fact, the image of a set of reals under the map is null if and only if the original set was meagre, and vice versa.<ref>S. Saito, [https://www.artsci.kyushu-u.ac.jp/~ssaito/eng/maths/duality.pdf The Erdos-Sierpinski Duality Theorem], notes. Accessed 18 January 2023.</ref>

==See also==

* {{annotated link|Barrelled space}}
* {{annotated link|Generic property}}, for analogs to residual
* {{annotated link|Negligible set}}, for analogs to meagre
* {{annotated link|Property of Baire}}

==Notes==

{{reflist|group=note}}
{{reflist}}

==Bibliography==

* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn|Narici|Beckenstein|2011|p=}} -->
* {{Bourbaki General Topology Part II Chapters 5-10}} <!--{{sfn|Bourbaki|1989|p=}}-->
* {{cite book|last=Oxtoby|first=John C.|title=Measure and Category|chapter=The Banach Category Theorem|location=New York|publisher=Springer|edition=Second|year=1980|isbn=0-387-90508-1|chapter-url={{Google books|plainurl=yes|id=wUDjoT5xIFAC|page=62}}|pages=62–65}}
* {{Rudin Walter Functional Analysis|edition=2}} <!-- {{sfn|Rudin|1991|p=}} -->
* {{Willard General Topology}} <!--{{sfn|Willard|2004|p=}}-->

[[Category:General topology]]
[[Category:Descriptive set theory]]