Clopen separation in discrete Stone-Čech compactifications
ID: clopen-separation-in-discrete-stone-cech-compactifications
In the Stone-Čech compactification of a discrete space, the closure of each subset of is clopen, because its indicator extends to a continuous zero-one-valued function. For disjoint closed sets , choose on and on by Urysohn's lemma. Then and are disjoint clopen sets containing and , respectively. Density proves these containments.
New to topics? Read the docs here!