Theorem
Ifand
are locally connected then
is locally connected.
Proof
Sinceand
are locally connected they have bases
and
respectively consisting of connected sets. A base for
is given by
Each setis connected since both
and
are connected. The product
has a basis consisting of connected sets hence
is locally connected.