Section 13: Problem 3 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
Show that the collection
given in Example 4 of § 12 is a topology on the set
. Is the collection
a topology on X?
The proof is very similar to Example 3 of §12. The empty set and
are in the collection because their complements are
and the empty set, the complement of any union of open sets is the intersection of the countable complements of these sets, so it is countable as well, finally, the complement of the finite intersection of open sets is the union of the countable complements, so it is countable.
Now,
is the trivial topology if
is finite, but if
is infinite then it is not a topology, as, for example, we can partition
into three disjoint sets
such that the first two sets are infinite, and then
and
are open but their union is not.