Theorem
A componentof a space
is closed.
Proof
A component of a spaceis a maximally connected subset of
Hence a componentis connected and is not a proper subset of any connected subset of
Sinceis connected.
Butand
is a maximally connected subset of
hence
and
is closed.