« Section 19: Problem 7 Solution

Section 19: Problem 9 Solution »

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.