Discrete Stone-Čech compactifications are extremally disconnected
ID: discrete-stone-cech-compactifications-are-extremally-disconnected
For a discrete space and , the continuous extension of to remains idempotent by density, so it takes values in . Its one-set is the clopen closure of . If is any open set in , density gives , so this closure is clopen as well. Thus is an extremally disconnected space. For infinite , this does not imply that every subset of has open closure.
New to topics? Read the docs here!