No nontrivial convergent sequences in the Stone-Čech compactification

ID: no-nontrivial-convergent-sequences-in-the-stone-cech-compactification

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

New to topics? Read the docs here!