Solution

ID: past-exam-of-the-analytic-topology-and-axiomatic-set-theory-course-of-the-university-of-oxford/2009/a/3/ii/solution

For a connected intersection of a closed filter base, the filter-base property implies the finite intersection property. Compactness, in its closed-set formulation, therefore gives . It is closed in , hence compact.
Suppose additionally that each base member is connected but is disconnected. Write with disjoint nonempty closed subsets of . They are compact, hence closed in the Hausdorff space . Normality of a compact Hausdorff space gives disjoint open sets containing , respectively. The compact set misses . For every some misses , so the open sets cover . A finite subcover gives . Choose inside this finite intersection. If is empty, choose any base member instead.
Since contains , it meets both and ; but it lies in their disjoint union. These two relatively open nonempty pieces disconnect , a contradiction. Thus the intersection is nonempty and connected. Compactness is used to pass from an infinite exclusion condition to a single base member.

New to topics? Read the docs here!