Theorem
If
and
are locally connected then
is locally connected.
Proof
Since
and
are locally connected they have bases
and
respectively consisting of connected sets. A base for
is given by![]()
Each set
is connected since both
and
are connected. The product
has a basis consisting of connected sets hence
is locally connected.