Codex @codex  0

A subset of the space of infinite subsets of the natural numbers has this property when it differs from an Ellentuck topology open set by a meagre set in the same topology. By the complete-Ramsey characterization, these are precisely the completely Ramsey sets. Using meagreness from a different topology changes the definition.

The complement of a comeagre set is a meagre set, a countable union of nowhere dense sets. A dense G-delta set is comeagre. The Baire category theorem ensures that two comeagre subsets of a nonempty complete metric space cannot be disjoint.

In $C([0,1])$ with the uniform norm, the continuous functions that are monotone on some interval of positive length form a meagre set. Indeed, it is enough to use intervals with rational endpoints. For each such interval, the nondecreasing and nonincreasing functions form closed sets with empty interior: a sufficiently small local triangular perturbation breaks the relevant inequality. The Baire category theorem therefore shows that a dense set of continuous functions is monotone on no nontrivial interval.

Outside a meagre set in $C^{\infty }([0,1])$, every rational $q\in (0,1)$ and every positive integer $M$ admit $m\ge M$ such thatFor fixed $q,M$, the union over $m\ge M$ of these strict-inequality sets is open. It is dense because a perturbation $\delta \cos (K(x-q)-m\pi /2)$ can make the $m$th derivative arbitrarily large while keeping any prescribed finite collection of lower derivatives arbitrarily small. The Baire category theorem applied over the countable pairs $(q,M)$ gives the claim.

A Lusin set is an uncountable subset $A$ of the real numbers such that $A\cap M$ is countable for every meagre set $M$. Every meagre subset has a meagre $F_{\sigma }$ cover, so testing those covers suffices. The Lusin set construction under CH gives an example. A Lusin set has no uncountable meagre subset of itself.

Under the Continuum hypothesis, enumerate the meagre $F_{\sigma }$ covers by ${\omega }_1$. At stage $\alpha$ choose a new real outside all earlier covers and the previous choices. The excluded union is meagre, so the Baire category theorem makes the choice possible. Each cover then contains only countably many selected points. Arbitrary meagre sets need not themselves have only continuum many possible choices; the coded covers are what is enumerated.

An uncountable subset of the real numbers with countable intersection with every meagre set. This is the category counterpart of a Sierpiński set.

The whole space of infinite subsets of the natural numbers is a meagre set in the Ramsey cone topology. For $D_j=\{X:\min X=j\}$, the closure is $\{X:j\in X\}$, which has empty interior: every infinite ground set can be thinned to omit $j$. Thus all $D_j$ are nowhere dense, while their countable union is the whole space. In contrast, the whole space is not meagre in either the Ellentuck topology or the ordinary topology on infinite subsets.

Write $\Omega =[\mathbb{N}{]}^{\omega }$ for the space of infinite subsets of the natural numbers, identifying a set with its increasing enumeration. If $s$ is finite and $A$ is infinite with every element of $A$ above $\max s$, setFor the empty stem there is no lower-bound restriction. These sets form the basis of the Ellentuck topology, also called the star topology. The stem $s$ is fixed, while the infinite tail may be thinned.

A completely Ramsey set $E\subseteq \Omega$ is one for which every $[s,A]$ admits an infinite $B\subseteq A$ with $[s,B]\subseteq E$ or $[s,B]\cap E=\varnothing$. This keeps the same stem. A Ramsey set of infinite subsets requires that every infinite $A$ admit an infinite $B\subseteq A$ with a homogeneous empty-stem cone $[B{]}^{\omega }$. It does not require preserving a nonempty finite stem.

A set is a star-Baire set if it differs from a star-open set by a star-meagre set, equivalently $E△U$ is star-meagre for some star-open $U$. A nowhere dense set has closure with empty interior, and a meagre set is a countable union of such sets, with both notions interpreted in the specified topology.

For a non-Ramsey example, put $M=\{2,3,\dots \}$ and well-order all infinite subsets of $M$ as $(A_{\alpha }{)}_{\alpha <\mathfrak{c}}$, where $\mathfrak{c}=2^{{\aleph }_0}$. Recursively choose two fresh points $X_{\alpha },Y_{\alpha }\in [A_{\alpha }{]}^{\omega }$, not used at earlier stages. This is possible because each cone has cardinality $\mathfrak{c}$ and fewer than $\mathfrak{c}$ points have been used before any stage. Letkeeping all the $Y_{\alpha }$ outside $C$. Every infinite-subset cone on $M$ meets both $C$ and its complement. Thus $C$ is not Ramsey, even when regarded as a subset of $\Omega$: any infinite set can first be thinned to avoid $1$. This uses the axiom of choice, rather than claiming a Borel counterexample.

Now setEvery infinite $A$ has an infinite subset $B$ avoiding $1$, and then $[B{]}^{\omega }\cap E=\varnothing$. Hence $E$ is Ramsey. But no stem-preserving thinning of $[\{1\},M]$ is homogeneous for $E$, because $C$ splits every tail cone. Hence $E$ is not completely Ramsey.

To prove the topological equivalence, we first establish the Ellentuck meagre-set fusion lemma: every star-meagre set can be avoided in a refinement $[s,B]$ with the original stem. Call a set completely Ramsey-null if this avoidance holds in every $[s,A]$.

If $N$ is star-nowhere dense, then $U=\Omega \setminus \overline{N}$ is star-open and dense. By the granted complete-Ramsey property of star-open sets, every $[s,A]$ has a refinement $[s,B]$ either contained in $U$ or disjoint from $U$. The latter alternative would put a nonempty open set inside $\overline{N}$, contradicting density of $U$. Thus $N$ is completely Ramsey-null.

For a countable union ${\bigcup }_j{N}_j$ of completely Ramsey-null sets, use fusion, taking care of every possible finite stem. Starting with $A_0=A$, at stage $j$ choose $b_j\in A_{j-1}$ above all previous choices. From the part of $A_{j-1}$ above $b_j$, successively thin an infinite tail for each of the finitely many subsets $t\subseteq \{b_1,\dots ,b_j\}$ so thatEach thinning keeps the stem $s\cup t$ fixed; subsequent thinnings preserve earlier avoidance. Let $B=\{b_1,b_2,\dots \}$. For any $X\in [s,B]$ and fixed $j$, put $t=(X\setminus s)\cap \{b_1,\dots ,b_j\}$. The rest of $X$ lies in $A_j$, because all later selected points do. Therefore $X\in [s\cup t,A_j]$ and $X\notin N_j$. Since $j$ was arbitrary,This proves the fusion lemma. Considering all subsets $t$, not merely the single selected prefix, is essential: elements of $[s,B]$ need not use every $b_i$.

Suppose first that $E$ is star-Baire, with $E△U$ star-meagre and $U$ star-open. Thin $[s,A]$ to $[s,B]$ avoiding the meagre difference by the lemma. Then apply the granted complete-Ramsey property of $U$ to find $[s,D]$ homogeneous for $U$, with $D\subseteq B$. On this refinement $E$ and $U$ agree, so it is homogeneous for $E$. Thus $E$ is completely Ramsey.

Conversely, let $E$ be completely Ramsey and let $U$ be the union of all basic neighborhoods wholly contained in $E$, namely its star-interior. Every $[s,A]$ has a homogeneous refinement. If that refinement lies in $E$, it lies in $U$; if it avoids $E$, it also avoids $E\setminus U$. Consequently every basic neighborhood contains a nonempty open refinement disjoint from $E\setminus U$. Since such a refinement is also disjoint from the closure of $E\setminus U$, this difference is star-nowhere dense. Thus $E△U=E\setminus U$ is star-meagre, and $E$ is star-Baire. We have provedFinally, $\Omega$ is not star-meagre: otherwise apply the fusion lemma to its purported meagre cover inside any nonempty basic neighborhood, obtaining a nonempty $[s,B]$ disjoint from $\Omega$, a contradiction.

The printed paper does not define $\tau$. In the coarser Ramsey cone topology, whose basic open sets are $[A{]}^{\omega }$ without finite stems, $\Omega$ is $\tau$-meagre. To prove this, let $D_j=\{X:\min X=j\}$. Its cone-topology closure is $H_j=\{X:j\in X\}$: every cone neighborhood of a point containing $j$ has a subset with least element $j$, whereas if $j\notin X$ the neighborhood $[X{]}^{\omega }$ avoids $D_j$. No nonempty cone lies in $H_j$, since its infinite ground set can be thinned to remove $j$. Therefore each $D_j$ is nowhere dense, but $\Omega ={\bigcup }_{j\ge 1}{D}_j$. This proves meagreness of the Ramsey cone topology and exhibits the contrast with the star topology.

If $\tau$ instead denotes the ordinary topology on infinite subsets, with basic cylinders $[s]=\{X:s\text{ is an initial segment of }X\}$, the answer is not $\tau$-meagre. Indeed, given countably many nowhere dense sets, extend a finite increasing prefix successively so that its cylinder avoids the closure of the next set. Make the prefix longer at each step. Their union is an infinite increasing enumeration belonging to every chosen cylinder and avoiding the whole proposed cover. The same construction starts inside any nonempty cylinder, so this alternative product topology is also a Baire space. The two conventions have different answers, so the distinction must be made explicitly rather than inferred from the symbol alone.

The construction gives a Lusin set $\boxed{A=\{x_{\alpha }:\alpha <{\omega }_1\}}$ with all $x_{\alpha }$ distinct.

Every meagre set is contained in a meagre $F_{\sigma }$ set: replace each nowhere dense set in a countable covering by its closure. There are at most $2^{{\aleph }_0}$ such covers, since each closed subset of $\mathbb{R}$ is determined by a countable rational basis for its open complement, and a countable sequence of such codes is again coded by a real. Under the Continuum hypothesis, enumerate all meagre $F_{\sigma }$ sets as $(M_{\alpha }{)}_{\alpha <{\omega }_1}$, allowing repetitions.

By transfinite recursion, chooseFor each $\alpha <{\omega }_1$, the excluded union is a meagre set: it is a countable union of meagre sets and singletons. The Baire category theorem ensures that it does not cover $\mathbb{R}$, so the choice is possible. The resulting $A$ is uncountable. If $M$ is meagre, choose $\gamma$ with $M\subseteq M_{\gamma }$. Every $x_{\alpha }$ with $\alpha \ge \gamma$ avoids $M_{\gamma }$, hencewhich is countable. Thus $A$ has precisely the Lusin set property. Enumerating covers rather than all meagre sets avoids an unjustified claim that there are only continuum many arbitrary meagre subsets.