Section 19: Problem 6 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
Let
be a sequence of the points of the product space
. Show that this sequence converges to the point
if and only if the sequence
converges to
for each
. Is this fact true if one uses the box topology instead of the product topology?
Suppose that the sequence converges in the product topology. Let
be an open neighborhood of
in
. Then the product of
and all other spaces is an open neighborhood of
in the product topology and all members of the sequence starting from some
lie in the neighborhood. Hence,
for
. This works for the box topology as well.
The other direction. Suppose, that the projections of the sequence converge. Take any neighborhood of
, it contains a basis set
containing
.
is the product of open sets
in each coordinate space, and the space is in the product topology, for all but a finite number of
’s:
. For every
there is a number
such that for
,
. If
, we choose
. Then, for the product topology, there is only a finite number of
’s that are greater than
, and we can take the maximum of all
’s,
. All elements of the sequence starting from
are contained in
. For the box topology this direction may fail: there can be infinite number of
and no greatest
. Some examples are in Exercise 4(b) of §20 (note that in all examples every projection converges to 0).