Proof
Let
be a topological space and let
be the family of components of![]()
is an open cover of![]()
Since
is compact, a finite subcover
exists.
On the other hand, sinc
is the family of components, for
we have![]()
Hence no
can be omitted from
to leave an open cover of![]()
Hence
are all the components of![]()