Proof That a Compact Locally Connected Space Has a Finite Number of Components


Letbe a topological space and letbe the family of components ofis an open cover of

Sinceis compact, a finite subcoverexists.

On the other hand, sincis the family of components, forwe have

Hence nocan be omitted fromto leave an open cover of

Henceare all the components of