Theorem
If
is a family of locally connected spaces, then
is locally connected.
Proof
Let
and let
be a neighbourhood of
A member
of the base for
exists such that
and
Each coordinate space is locally connected hence connected open subsets
exist such that
and
for![]()
Let![]()
is connected because each
and
is connected. Since
is open and![]()
is locally connected.