 Solution

ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2014/1/b/iii/solution

F

Y

must be finite: if it were infinite, part (ii) would give

F = \overline{F} = Y

. Therefore every nonempty open subset of

Y

, being the complement of a proper closed set, is cofinite.

T_{Y} \subseteq T_{cofinite} .

The empty set belongs to both topologies. Inclusion need not be equality; the target may have fewer open sets.

 New to topics? Read the docs here!