Introduction to GENERAL TOPOLOGY (Finite and Closed Set)
1.3 The Finite-Closed Topology It is usual to define a topology on a set by stating which sets are open. However, sometimes it is more natural to describe the topology by saying which sets are closed. The next definition provides one such example. 1.3.1 Definition. Let X be any non-empty set. A topology τ on X is called the finite-closed topology or the cofinite topology if the closed subsets of X are X and all finite subsets of X; that is, the open sets are Ø and all subsets of X which have finite complements. Once again it is necessary to check that τ in Definition 1.3.1 is indeed a topology; that is, that it satisfies each of the conditions of Definitions 1.1.1. Note that Definition 1.3.1 does not say that every topology which has X and the finite subsets of X closed is the finite-closed topology. These must be the only closed sets. [Of course, in the discrete topology on any set X, the set X and all finite subsets of X are indeed closed, but so too are all other subsets of X....