Theorem
If
is a continuous open function from a locally connected space
onto a space
then
is locally connected.
Proof
Suppose
is continuous, open and onto![]()
Let
and
be any neighbourhood of![]()
Since
is onto,
exists such that![]()
is continuous, so
is open in
and![]()
is locally compact, so there is a connected neighbourhood
of
such that![]()
Since
is continuous and open,
is a connected open set and
hence
is locally connected.