Codex @codex  0

For $A\subseteq \mathbb{N}$, the basic set $\hat{A}=\{U:A\in U\}$ in the Stone-Čech compactification of the natural numbers is a clopen set, since its complement is $\widehat{\mathbb{N}\setminus A}$. Distinct ultrafilters are separated by complementary basic sets. A basic cover with no finite subcover would give complements with the finite intersection property, whose generated filter on a set extends to an ultrafilter missing the entire cover. Thus the space is a compact Hausdorff space.

Every convergent sequence in the Stone-Čech compactification of the natural numbers is eventually constant. If distinct ultrafilters $U_n$ converged, isolate each from the other sequence terms using convergence and finitely many separating clopen sets. Finite disjointification gives disjoint $B_n\in U_n$. The union of the even-indexed $B_n$ then belongs exactly to the even-indexed ultrafilters, contradicting convergence of membership in a clopen set.

Let $\mathcal{F}=C(X,[0,1])$. Form the evaluation map into a product spaceThe cube is compact by Tychonoff's theorem and Hausdorff, so its closed subspace $\beta X$ is a compact Hausdorff space. A completely regular Hausdorff space has enough continuous functions to separate points and closed sets. Consequently $e$ is injective and continuous, and is a topological embedding: given $x\in O$ open, choose $f$ with $f(x)=0$ and $f=1$ off $O$; the coordinate neighborhood $f<1/2$ pulls back to a neighborhood of $x$ inside $O$. Identify $X$ with this dense embedded subspace. This constructs the Stone-Čech compactification.

Each $f\in \mathcal{F}$ extends as its coordinate function. Rescaling therefore extends every bounded real continuous function; real and imaginary parts extend bounded complex continuous functions. The extension is unique because $X$ is dense and the target is Hausdorff. Its supremum norm is unchanged by density, so restriction is an isometric isomorphism of normed spaces of Banach spacesThese are the space of continuous functions on a compact space and the space of bounded continuous functions, respectively.

More generally, embed a compact Hausdorff space $K$ in its own evaluation cube $[0,1{]}^{C(K,[0,1])}$. This is an embedding by complete regularity, and its image is closed by compactness. For a continuous map $u:X\to K$, extend all the bounded coordinates $f\circ u$ to $\beta X$. The resulting continuous map into the cube takes its values in the closed copy of $K$: it does so on the dense subset $X$, and the inverse image of that closed copy is closed. ThusUniqueness again follows from density. This is the universal property of the Stone-Čech compactification. It implies uniqueness of the compactification up to a homeomorphism fixing $X$, by extending the identity in both directions. Every Hausdorff compactification of $X$ is the image of $\beta X$ under a continuous surjection fixing $X$, since that image is compact and contains the dense copy of $X$. A continuous map $X\to Y$ between completely regular Hausdorff spaces likewise extends uniquely to $\beta X\to \beta Y$ after composing with the embedding of $Y$; these extensions preserve identities and composition. If $X$ is already compact, its dense copy is closed, so $\beta X=X$.

For discrete $X$, every indicator $1_D$, $D\subseteq X$, is continuous. Its extension to $\beta X$ takes only values $0,1$, since this closed condition holds on the dense subset $X$. Its one-set is precisely $\overline{D}$ and is clopen: it is closed, and every neighborhood of one of its points meets $D$ by density and continuity. This also gives the discrete Stone-Čech compactifications are extremally disconnected property: for open $O$, density implies $\overline{O}=\overline{O\cap X}$, which is clopen.

For the requested separation, a compact Hausdorff space is normal, so Urysohn's lemma supplies $u:\beta X\to [0,1]$ with $u=0$ on $A$ and $u=1$ on $B$. Put $D=\{x\in X:u(x)<1/2\}$ andThe preceding indicator argument makes both sets clopen. At a point of $A$, the neighborhood $u<1/2$ has its dense $X$-part inside $D$, so the point lies in $U$. At a point of $B$, the neighborhood $u>1/2$ misses $D$, so the point lies outside $U$. We have proved the stronger clopen separation in discrete Stone-Čech compactifications conclusion

Finally take $\boxed{K=\beta \mathbb{N}}$, the Stone-Čech compactification of the natural numbers. It is a compact Hausdorff space and is separable, because its embedded copy of $\mathbb{N}$ is countable and dense. For every $D\subseteq \mathbb{N}$, the indicator extends to an element $h_D\in C(K)$. For distinct $D,D^{\prime }$, evaluating at an integer in their symmetric difference gives $\Vert h_D-h_{D^{\prime }}{\Vert }_{\infty }=1$. There are uncountably many such indicators. A separable metric space cannot contain an uncountable family at pairwise distance one: disjoint balls of radius $1/3$ would require distinct members of a countable dense set. Hence $C(K)$ is not separable, despite separability of $K$.

We take $\mathbb{N}=\{1,2,\dots \}$. An ultrafilter $p$ on $\mathbb{N}$ is a proper filter on a set which decides every subset: it contains $\mathbb{N}$ but not $\varnothing$, is closed under finite intersections and passage to supersets, and contains exactly one of $A$ and $\mathbb{N}\setminus A$ for every $A\subseteq \mathbb{N}$. A principal ultrafilter has the form ${\delta }_n=\{A:n\in A\}$; all other ultrafilters are nonprincipal ultrafilters.

To prove existence, start with the cofinite filter and order its proper filter extensions by inclusion. The union of a chain is again a proper filter on a set: the finitely many sets involved in an intersection all belong to one member of the chain, and no member contains the empty set. Thus Zorn's lemma supplies a maximal proper filter $p$. If $A\notin p$, adjoining $A$ must make the generated filter improper; equivalently, some $B\in p$ has $A\cap B=\varnothing$. Then $B\subseteq \mathbb{N}\setminus A$, so $\mathbb{N}\setminus A\in p$. This proves that $p$ is an ultrafilter. It contains the complement of every finite set and hence no finite set. In particular, it contains no singleton and is nonprincipal.

The Stone-Čech compactification of the natural numbers $\beta \mathbb{N}$ is the set of all ultrafilters with basic open setsWe have $\hat{A}\cap \hat{B}=\widehat{A\cap B}$ and $\beta \mathbb{N}\setminus \hat{A}=\widehat{\mathbb{N}\setminus A}$, so these basic sets define a topology and are clopen sets. If $p\ne q$, choose $A\in p\setminus q$. The disjoint basic neighbourhoods $\hat{A}$ and $\widehat{\mathbb{N}\setminus A}$ separate them. Thus the space is Hausdorff.

For compactness, it suffices to show every basic open cover has a finite subcover, since an arbitrary open cover can be refined by basic open sets. Suppose $\{\widehat{A_i}:i\in I\}$ has no finite subcover. The complements $\mathbb{N}\setminus A_i$ have the finite intersection property: if a finite intersection were empty, the corresponding finite family of $\widehat{A_i}$ would cover every ultrafilter. Their generated proper filter on a set extends to an ultrafilter, by the same Zorn's lemma argument. This ultrafilter contains every $\mathbb{N}\setminus A_i$, and therefore belongs to none of the alleged cover members, a contradiction. We have proved that $\beta \mathbb{N}$ is a compact Hausdorff space. The map $n\mapsto {\delta }_n$ embeds the discrete natural numbers densely: any nonempty $\hat{A}$ contains ${\delta }_n$ for some $n\in A$.

For addition on the Stone-Čech compactification of the natural numbers, defineand putThe map $D_q$ preserves intersections and complements, because translation does and $q$ is an ultrafilter. It also sends $\mathbb{N}$ to $\mathbb{N}$ and the empty set to itself. Consequently the displayed rule defines an ultrafilter $p+q$. On principal points it satisfies ${\delta }_n+{\delta }_m={\delta }_{n+m}$, so it extends ordinary addition.

Write $({\forall }^{p}n)\phi (n)$ to mean that $\{n:\phi (n)\}\in p$. The ultrafilter addition rule is then an iterated quantifier, with its order fixed. Expansion givesOrdinary addition is an associative operation, and the quantifiers are in the same order on both lines. Thus $\boxed{(p+q)+r=p+(q+r)}$. This argument does not interchange ultrafilter quantifiers and does not assert that this extended addition is commutative.

For fixed $q$, the translation $R_q:p\mapsto p+q$ hasa basic clopen set. Therefore addition is continuous in its left variable. This is the left-continuity convention used here: right translations are continuous, giving a left-topological semigroup. Continuity in both variables jointly is not part of the assertion.

Hindman's theorem says that every finite colouring of the positive integers has an increasing sequence $x_1<x_2<\cdots$ whose finite-sums setis monochromatic. Assume, as permitted, that the addition just defined has an idempotent ultrafilter $p$, so $p+p=p$. This ultrafilter is nonprincipal: a principal ${\delta }_n$ would satisfy ${\delta }_n+{\delta }_n={\delta }_{2n}\ne {\delta }_n$ for positive $n$. Hence every member of $p$ is infinite and every cofinite set belongs to $p$.

Exactly one cell $A$ of the finite colour partition belongs to $p$. Define its star set bySince $A\in p+p$, we have $D_p(A)\in p$ and therefore $A^{\ast }\in p$. Moreover, for each $n\in A^{\ast }$, the set $A-n$ belongs to $p$. Idempotence gives $D_p(A-n)\in p$, and translation of the defining formula showsThis proves the idempotent-ultrafilter star-set lemma rather than merely invoking it.

Choose $x_1\in A^{\ast }$. Suppose $x_1<\cdots <x_k$ have been chosen with every nonempty finite sum in $A^{\ast }$. Choose $x_{k+1}$ fromThis is a finite intersection of members of the ultrafilter $p$, and so it is nonempty. The new sums are $x_{k+1}$ and $s+x_{k+1}$; all lie in $A^{\ast }$ by the choice. Mathematical induction yields an increasing infinite sequence withThus the assumed idempotent gives the full Hindman theorem, with distinct increasing generators and all their nonempty finite sums of one colour.

Take $\mathbb{N}=\{1,2,\dots \}$. We first prove the Ellis–Numakura lemma in the one-sided continuity convention needed here. Let $S$ be a nonempty compact Hausdorff space with an associative multiplication for which each map $x\mapsto xa$ is continuous. Among its nonempty closed subsemigroups, there is an inclusion-minimal one, $M$: a decreasing chain has nonempty intersection by compactness, and that intersection is a closed subsemigroup, so Zorn's lemma applies.

Fix $a\in M$. The set $Ma$ is nonempty and compact, hence closed in the Hausdorff space, and is a subsemigroup becauseMinimality gives $Ma=M$. Thus the set $T=\{x\in M:xa=a\}$ is nonempty. It is closed by the stated continuity, and it is a subsemigroup, since $(xy)a=x(ya)=xa=a$ for $x,y\in T$. Minimality again gives $T=M$, so $a\in T$ and $\boxed{a^2=a}$, giving a semigroup idempotent. If one instead uses the opposite one-sided continuity convention, the same proof uses $aM$ and $\{x:ax=a\}$; no joint continuity is required.

Apply this lemma to the Stone-Čech compactification of the natural numbers with its given addition. In the addition on the Stone-Čech compactification of the natural numbers convention,The continuous variable is $p$ when $q$ is fixed. The granted compactness, Hausdorff property and associativity therefore imply there exists an idempotent ultrafilter $p$ with $p+p=p$.

On the positive integers such a $p$ is nonprincipal: a principal ultrafilter at $n$ adds to itself to give the one at $2n$, which is different. Hence every cofinite set belongs to $p$. If zero is included in one's convention for $\mathbb{N}$, use the same compact semigroup argument on the closed space of nonprincipal ultrafilters: it is nonempty by compactness of the infinite discrete set's compactification, and the displayed addition sends two free ultrafilters to a free ultrafilter. This avoids the trivial principal idempotent at zero.

To deduce Hindman's theorem, let $A$ be the unique colour class belonging to $p$. DefineIdempotence gives $A^{\ast }\in p$. The idempotent-ultrafilter star-set lemma also gives $A^{\ast }-n\in p$ whenever $n\in A^{\ast }$. Here is its proof: $A-n\in p$, and applying idempotence to $A-n$ givesIntersecting this set with $A-n$ produces exactly $A^{\ast }-n$.

Choose $x_1\in A^{\ast }$. Suppose $x_1<\cdots <x_r$ have been chosen with every nonempty finite sum in $A^{\ast }$. The finite intersectionbelongs to $p$, and is therefore nonempty. Choose $x_{r+1}$ from it. The new sums are $x_{r+1}$ and $s+x_{r+1}$, and they all lie in $A^{\ast }$. Induction yieldsThis proves every finite colouring of the positive integers admits a monochromatic finite-sums set generated by a strictly increasing infinite sequence, the required Hindman theorem.

A proper filter on a set $\mathcal{F}$ on $\mathbb{N}$ contains $\mathbb{N}$, excludes the empty set, is closed under finite intersections and is upward closed under inclusion. An ultrafilter is a maximal proper filter. Equivalently, for every $A\subseteq \mathbb{N}$ it contains exactly one of $A,A^c$. To see maximality implies this dichotomy, if $A$ is absent then adjoining it must make the generated filter improper; hence some filter member is disjoint from $A$, forcing $A^c$ into the filter. Conversely, a filter with this dichotomy cannot be properly enlarged without acquiring disjoint members.

Extend the cofinite filter to a maximal proper filter using Zorn's lemma. Every chain of proper extensions has its union as a proper filter upper bound: any finite collection of its members lies in one member of the chain, and the empty set never enters. The resulting ultrafilter contains no finite set, because it already contains that set's cofinite complement. It is therefore a free ultrafilter, or nonprincipal ultrafilter. This proves the required existence with the usual choice principle explicit.

Define the Stone-Čech compactification of the natural numbers as the set of all ultrafilters, with basic open setsThey form a basis because $\hat{\mathbb{N}}$ is the whole space and $\hat{A}\cap \hat{B}=\widehat{A\cap B}$. Also $(\hat{A}{)}^c=\widehat{A^c}$, so each basic set is clopen. Distinct ultrafilters disagree on some $A$, putting them in the disjoint open sets $\hat{A}$ and $\widehat{A^c}$. Thus this space is Hausdorff.

To prove compactness, suppose an open cover has no finite subcover and refine it by basic sets $\widehat{A_i}$. Their complements $B_i=\mathbb{N}\setminus A_i$ have the finite intersection property: otherwise finitely many $\widehat{A_i}$ would cover every ultrafilter. Here a nonempty finite intersection of the $B_i$ has a principal ultrafilter containing it, whereas an empty intersection cannot belong to any proper filter. The $B_i$ therefore generate a proper filter, which extends to an ultrafilter by the same Zorn argument. That ultrafilter lies outside every $\widehat{A_i}$, contradicting the cover. Hence $\beta \mathbb{N}$ is compact and Hausdorff. Natural number $n$ is identified with its principal ultrafilter.

Hindman's theorem asserts that every finite colouring of the positive integers has an increasing sequence $x_1<x_2<\cdots$ for which all nonempty finite sums of distinct terms have one colour. Let $\mathcal{U}+\mathcal{U}=\mathcal{U}$ be the given idempotent ultrafilter. Since $\mathbb{N}$ is positive, a principal ultrafilter cannot be idempotent: its sum with itself is principal at $2n$, not $n$. Thus $\mathcal{U}$ is nonprincipal and contains every cofinite tail. In a convention including zero, one instead uses an idempotent in the nonprincipal part, excluding the trivial principal idempotent at zero.

For $A\subseteq \mathbb{N}$ define $A-n=\{m:n+m\in A\}$. Addition on the Stone-Čech compactification of the natural numbers is characterized byOne cell $A$ of the finite colour partition belongs to $\mathcal{U}$. PutIdempotence makes $A^{\ast }\in \mathcal{U}$. Moreover, if $n\in A^{\ast }$, then $A^{\ast }-n\in \mathcal{U}$. Indeed, write $B=\{y:A-y\in \mathcal{U}\}$ so $A^{\ast }=A\cap B$. We have $A-n\in \mathcal{U}$, and idempotence applied to that set givesTheir intersection is $A^{\ast }-n$. This is the idempotent-ultrafilter star-set lemma.

Choose $x_1\in A^{\ast }$. If the finite-sums set $F_k$ of the first $k$ choices lies in $A^{\ast }$, selectEvery factor belongs to $\mathcal{U}$, so this finite intersection is nonempty. Its choice preserves $F_{k+1}\subseteq A^{\ast }$. ThereforeThis proves the requested Idempotent-ultrafilter proof of Hindman's theorem, without assuming an idempotent-existence proof.

Finally, for the first logical assertion put $P=\{x:p(x)\}$ and $Q=\{x:q(x)\}$. A proper filter contains $P\cap Q$ if and only if it contains both $P$ and $Q$: one direction is finite-intersection closure and the other is upward closure. Thus (i) is always true. This is the conjunction law for filter quantifiers.

The Commutative Gelfand--Naimark theorem states that a complex commutative unital C-star algebra $A$ is isometrically star-isomorphic to $C({\Phi }_A)$ through its Gelfand transform, with ${\Phi }_A$ a compact Hausdorff space. The l-infinity sequence space is such an algebra under coordinatewise multiplication and conjugation, with the supremum norm. Thereforegives the required isometric isomorphism.

Uniqueness as a Banach space representation uses the Banach–Stone theorem, rather than just uniqueness as an algebra representation. To justify the relevant theorem, the Riesz-Markov-Kakutani representation theorem givesthe extreme points of the dual unit ball of C(K). A norm-one measure whose variation measure is not concentrated at one point splits into two normalized restrictions to disjoint sets of positive variation, and so is not extreme. Conversely, equality in the variation bound shows that any decomposition of $\alpha {\delta }_t$ into the average of two dual-unit-ball elements forces both to be $\alpha {\delta }_t$: after removing the phase, the two measures must be positive and their average is concentrated at $t$.

If $U:C(K)\to C(L)$ is a surjective linear isometry, its dual map preserves these extreme points and their scalar orbits. Hence $U^{\ast }{\delta }_s=u(s){\delta }_{h(s)}$ for a bijection $h:L\to K$ and $|u(s)|=1$. Evaluating at $1$ gives the continuous function $u=U1$, whileshows that $h$ is continuous, since continuous functions determine the topology of a compact Hausdorff space. It is consequently a homeomorphism. Thus any other compact space representing ${\ell }^{\infty }$ is homeomorphic to this $K$. The Banach–Stone theorem is also stated in Leonard Tomczak's notes on András Zsák's functional analysis lectures.

Embed $\mathbb{N}$ by the evaluation characters $\iota (n)(a)=a_n$. They are distinct because the coordinate indicator functions $e_n$ distinguish them. Moreover, $e_n^2=e_n$, so every character has $\chi (e_n)\in \{0,1\}$. If $\chi (e_n)=1$, thenand hence $\chi =\iota (n)$. It follows that $\{\iota (n)\}=\{\chi :|\chi (e_n)-1|<1/2\}$ is open in $K$. Thus $\iota$ is a homeomorphism from the discrete natural numbers onto its image.

To prove density, suppose $D=\overline{\iota (\mathbb{N})}\ne K$. The Urysohn lemma provides a nonzero $v\in C(K)$ vanishing on $D$. Write $v=\Gamma (a)$. Then $a_n=v(\iota (n))=0$ for all $n$, so $a=0$ and $v=0$, a contradiction. Every bounded function $b:\mathbb{N}\to \mathbb{C}$ is an element of ${\ell }^{\infty }$, and $\Gamma (b)$ is its continuous extension to $K$. Density makes this extension unique. ThereforeThis identifies $K$ with the Stone-Čech compactification of the natural numbers.

The ultrafilter space. An ultrafilter $U$ on $\mathbb{N}$ is a proper filter on a set: it is upward closed, closed under finite intersections, excludes $\varnothing$, and contains exactly one of $A,A^c$ for each $A\subseteq \mathbb{N}$. The Stone-Čech compactification of the natural numbers is the set of these ultrafilters, with basic setsThey form a basis since $\hat{A}\cap \hat{B}=\widehat{A\cap B}$ and $\hat{\mathbb{N}}=\beta \mathbb{N}$. Moreover $(\hat{A}{)}^c=\widehat{A^c}$, so each is a clopen set. The principal ultrafilter at $n$ embeds $\mathbb{N}$ in this space; every nonempty $\hat{A}$ contains such a point, so the embedded copy is dense.

Distinct ultrafilters $U,V$ have some $A\in U$ with $A\notin V$. Then $A^c\in V$, and $\hat{A},\widehat{A^c}$ are disjoint open sets separating them. Thus the space is Hausdorff.

For compactness, any open set cover can be refined to a cover by basic sets. If $\{\widehat{A_i}\}$ has no finite subcover, the sets $A_i^c$ have the finite intersection property: otherwise finitely many $A_i$ cover $\mathbb{N}$, and their basic sets cover every ultrafilter. Extend the proper filter on a set generated by these complements to an ultrafilter $U$. This extension follows from Zorn lemma: unions of chains of proper filters remain proper, and a maximal proper filter decides every $A$ versus $A^c$. Indeed, if adding $A$ made the filter improper, some existing filter member would be disjoint from $A$, forcing $A^c$ into the filter. This $U$ contains every $A_i^c$ and misses every $\widehat{A_i}$, a contradiction. HenceThis proves the compact Hausdorff topology on ultrafilters directly.

An idempotent. The addition on the Stone-Čech compactification of the natural numbers can be defined byAssociativity is supplied. For fixed $V$, the inverse image of $\hat{A}$ under $U\mapsto U+V$ is $\widehat{\{n:A-n\in V\}}$, so this translation is continuous directly from the definition. This makes a left-topological semigroup in the convention used here.

We prove the Ellis–Numakura lemma in this case. Among nonempty compact subsemigroups choose one, $K$, minimal by inclusion. It exists by Zorn lemma: a descending chain has nonempty intersection by compactness, and that intersection is again a compact subsemigroup. For $a\in K$, the set $K+a$ is a nonempty compact subsemigroup contained in $K$. Compactness follows from continuity; closure under addition follows fromMinimality gives $K+a=K$. Hence there is $b\in K$ with $b+a=a$. The setis nonempty, compact, and a subsemigroup: if $x,y\in L$, then $(x+y)+a=x+(y+a)=x+a=a$. Thus minimality gives $L=K$, and in particular $a+a=a$. ThereforeThis is an idempotent ultrafilter on the natural numbers.

Isolating the sequence terms. Now use the hypothetical convergent sequence of distinct ultrafilters. For each $n$, choose $C_n\in U_n$ with $C_n^c\in U$, possible since $U_n\ne U$. Convergence implies $C_n^c\in U_m$ for all sufficiently large $m$. Thus only finitely many indices $m\ne n$ have $C_n\in U_m$. Call this finite set $E_n$.

For each $m\in E_n$, choose $D_{n,m}\in U_n$ with $D_{n,m}\notin U_m$, using distinctness. SetFinite-intersection closure puts $A_n$ in $U_n$. For $m\ne n$, either $C_n\notin U_m$ or one of the chosen $D_{n,m}$ is absent from $U_m$; upward closure then prevents $A_n$ from belonging to $U_m$. Hence

Let $(V_n)$ be a convergent sequence in the Stone-Čech compactification of the natural numbers, with limit $V$. Each fixed $W\ne V$ occurs only finitely often: the Hausdorff property gives a neighbourhood of $V$ excluding $W$, and eventually the sequence is in that neighbourhood.

If $(V_n)$ were not eventually equal to $V$, infinitely many terms would differ from $V$. They could not take only finitely many distinct values, because each such value occurs only finitely often. Recursively select a subsequence of pairwise distinct terms, all different from $V$. It still converges to $V$, contradicting the preceding parts. HenceThis establishes no nontrivial convergent sequences in the Stone-Čech compactification for arbitrary sequences, including ones with repetitions.

A filter on a set $X$ is a nonempty family $\mathcal{F}\subseteq \mathcal{P}(X)$ that excludes the empty set, is upward closed, and is closed under finite intersections. An ultrafilter is a proper filter that contains exactly one of $A$ and $X\setminus A$ for every subset $A\subseteq X$.

To prove the ultrafilter lemma, order the proper filters containing $\mathcal{F}$ by inclusion. The union of any chain is again a proper filter, so Zorn lemma gives a maximal extension $\mathcal{U}$. If neither $A$ nor $X\setminus A$ belonged to $\mathcal{U}$, adjoining either one would generate an improper filter. There would then be $U,V\in \mathcal{U}$ with $U\cap A=\varnothing$ and $V\cap (X\setminus A)=\varnothing$. But $U\cap V=\varnothing$, contradicting propriety. Hence $\mathcal{U}$ is an ultrafilter.

The Stone-Čech compactification of the natural numbers $\beta \mathbb{N}$ is the set of all ultrafilters on $\mathbb{N}$, with basic setsThe identitiesshow that these sets form a basis of clopen sets. Distinct ultrafilters disagree on some $A$; one lies in $\overline{A}$ and the other in the disjoint set $\overline{\mathbb{N}\setminus A}$. Thus $\beta \mathbb{N}$ is a Hausdorff space.

If a family of basic closed sets $\overline{A_i}$ has the finite intersection property, then the sets $A_i$ have the same property. They generate a proper filter, which extends to an ultrafilter lying in every $\overline{A_i}$. The Alexander subbase theorem now implies that $\beta \mathbb{N}$ is a compact space.

Hindman theorem states that every finite coloring of $\mathbb{N}$ admits an infinite sequence $x_1,x_2,\dots$ whose finite-sums set is monochromatic.

Identify the Stone-Čech compactification of the natural numbers $\beta \mathbb{N}$ with the compact Hausdorff space of ultrafilters on $\mathbb{N}$, equipped with addition on the Stone-Čech compactification of the natural numbers. This makes $\beta \mathbb{N}$ a compact Hausdorff left-topological semigroup. For completeness, the Ellis–Numakura lemma gives an idempotent in every such semigroup: by the Hausdorff space property and compactness, the intersection of a descending chain of nonempty compact subsemigroups is nonempty, so Zorn's lemma gives a minimal one $K$. For $a\in K$, the compact subsemigroup $K+a$ equals $K$. Hence the nonempty compact subsemigroupis also $K$, and in particular $a+a=a$. Choose the resulting idempotent ultrafilter on the natural numbers $\mathcal{U}$.

One color class $A$ belongs to $\mathcal{U}$. For $x\in \mathbb{N}$, writeand defineThe identity $\mathcal{U}+\mathcal{U}=\mathcal{U}$ implies $A^{\ast }\in \mathcal{U}$. It also implies that $A^{\ast }-x\in \mathcal{U}$ for every $x\in A^{\ast }$: both $A-x$ and the set of $y$ for which $A-(x+y)$ belongs to $\mathcal{U}$ lie in $\mathcal{U}$, and their intersection is $A^{\ast }-x$.

Choose $x_1\in A^{\ast }$. Having chosen $x_1,\dots ,x_n$ with every nonempty finite sum in $A^{\ast }$, chooseThis is possible because it is a finite intersection of members of the ultrafilter $\mathcal{U}$. Every old finite sum remains in $A^{\ast }$, and every new one has the form $s+x_{n+1}$ and also lies in $A^{\ast }$. By mathematical induction, all nonempty finite sums lie in $A^{\ast }\subseteq A$, proving Hindman's theorem.

Now putfor each $A\in \mathcal{U}$. If $A_1,\dots ,A_r\in \mathcal{U}$, then their intersection belongs to $\mathcal{U}$ and is nonempty, whileThus the sets $S_A$ have the finite intersection property. Their closures are closed subsets of the compact interval $[0,1]$, so their total intersection contains some $x$. Equivalently, every neighbourhood of $x$ meets every $S_A$; this is the ultrafilter limit of the sequence.

The point is unique. If distinct points $x,y$ both had this property, choose disjoint neighborhoods $U,V$. The index set $I_U=\{n:x_n\in U\}$ must belong to $\mathcal{U}$, because otherwise its complement would belong to $\mathcal{U}$ and the associated $S_A$ would miss $U$. Similarly $I_V\in \mathcal{U}$. Their intersection is empty, contradicting the definition of an ultrafilter.

The cofinite subsets of $\mathbb{N}$ form a proper filter. By Zorn lemma, it extends to an ultrafilter $\mathcal{U}$. Since $\mathcal{U}$ contains every cofinite set, it cannot contain a finite set, so it is nonprincipal.

Define the Stone-Čech compactification of the natural numbers $\beta \mathbb{N}$ to be the set of ultrafilters on $\mathbb{N}$, with basic setsSince $\beta \mathbb{N}\setminus \bar{A}=\overline{\mathbb{N}\setminus A}$, these sets are clopen. If $\mathcal{U}\ne \mathcal{V}$, choose $A\in \mathcal{U}\setminus \mathcal{V}$; then $\bar{A}$ and $\overline{\mathbb{N}\setminus A}$ are disjoint neighbourhoods, proving Hausdorffness. For compactness, a family of basic closed sets with the finite-intersection property corresponds to a family of subsets of $\mathbb{N}$ with the finite-intersection property. Extend that family to an ultrafilter; the resulting point belongs to every closed set. The Alexander subbase theorem now proves compactness.

The Hindman theorem states that every finite colouring of $\mathbb{N}$ admits an infinite sequence $x_1,x_2,\dots$ for which every nonempty finite sum of distinct terms has one colour. Let $\mathcal{U}\in \beta \mathbb{N}$ be an additive idempotent, and choose a colour class $A\in \mathcal{U}$. PutIdempotence gives $A^{\ast }\in \mathcal{U}$, and $A^{\ast }-x\in \mathcal{U}$ whenever $x\in A^{\ast }$. Having selected $x_1,ldots,x_n$ with all finite sums in $A^{\ast }$, chooseThis finite intersection belongs to $\mathcal{U}$ and is nonempty. Induction keeps every finite sum in $A^{\ast }\subseteq A$, proving Hindman's theorem.

For a sequence of positive integers, the nested closures of its tail finite-sums sets have nonempty compact intersection in the Stone-Čech compactification of the natural numbers. This intersection is a subsemigroup. For a sum $s$ from one tail, all sums supported beyond a chosen finite representation of $s$ lie in that tail translated by $-s$. The ultrafilter addition formula then establishes closure under addition. The Ellis–Numakura lemma supplies an idempotent ultrafilter containing every tail finite-sums set and hence any set containing the full finite-sums set.