Section 19: Problem 8 Solution
Working problems is a crucial part of learning mathematics. No one can learn topology merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
Given sequences
and
of real numbers with
for all
, define
by the equation
Show that if
is given the product topology,
is a homeomorphism of
with itself. What happens if
is given the box topology?
Clearly,
is bijective (as a product of bijective functions). Also note, that the inverse function has the same form with different coefficients:
. So, all we need to prove is that
is continuous. Take a point
where
is open in the product, then
has an open basis neighborhood
, which is the product of some open sets
(and in the product topology only finitely many of
’s are proper subsets of
). The preimage
of each such set is open in
as well, and if
then
. Therefore, every point
in
has an open neighborhood
(in the case of the product topology only finitely many of
’s are proper subsets of
), and, therefore,
is open,
is continuous. This works for both product and box topologies.