Compact Topological Spaces Worksheet
Uploaded by
Supriya DuttaCompact Topological Spaces Worksheet
Uploaded by
Supriya DuttaCommon questions
Powered by AIIn a Hausdorff space, any closed subset of a compact space is compact because any open cover of the closed subset can be extended to an open cover of the entire compact space. By compactness, the extended cover has a finite subcover that, when intersected back with the closed subset, provides a finite subcover for the closed subset, thus maintaining compactness .
The document states that if X is a compact topological space and f: X → Y is a continuous map, then the image f(X) is compact in Y. This follows because a continuous map preserves the property that every open cover of the image has a finite subcover, reflecting the compactness property into the image space .
According to the document, any topology consisting of only finitely many sets can be deemed compact because any open cover of the space must itself be finite. Consequently, any open cover has a trivial finite subcover, ensuring the space satisfies the definition of compactness universally for all such topological configurations .
In a Hausdorff space, the intersection of two compact subsets is compact. This is because, in Hausdorff spaces, compact subsets are closed, and the intersection of closed sets is closed. As both compact sets have their finite subcovers, their intersection will inherit the property of compactness via these finite covers .
The document mentions that if T is defined such that T = {A ⊆ X | x0 ∉ A or X \ A is finite}, this topology can be verified as Hausdorff by showing any two distinct points in X can be separated by open sets, and as compact because nonempty sets of X using this topology exclude one element or have finite complements, leading to finite subcoverage .
The document explains that (−π, π) ∩ Q is closed in the sense of set operations over Q and is bounded as it lies between -π and π. Nonetheless, it is not compact since it does not include all its limit points; the set contains rationals only, and hence cannot cover points like irrationals within the same interval from covering all open covers with finite subcovers .
The document explains that for a subset C of R to be compact in the topology T = {A | A ⊆ R, 0 ∉ A} ∪ {R}, C must include 0 in its complement or be entirely ∅ or R. This is because any open cover must include R to cover around 0, ensuring compactness by achieving a finite subcovering condition .
In an infinite topological space with the discrete topology, each singleton set {x} is an open set. Thus, the open cover consisting of all singleton sets cannot have a finite subcover, since removing any singleton set leaves some points uncovered. Hence, this space is not compact, as a finite subcover does not exist .
The document addresses a descending chain of closed, compact sets K1 ⊇ K2 ⊇ ... having a non-empty intersection by noting that compact sets are closed under finite intersections, ensuring the intersection is compact. Compactness prevents the intersection from collapsing into emptiness as each set along the chain retains at least one limit point, inherent through compact containment .
To prove that a set X with the cofinite topology is compact, we utilize the definition that a space is compact if every open cover of the space has a finite subcover . In the cofinite topology, the only open covers of X are collections in which at least one set is the whole space X itself, or there are only finitely many sets whose complements are finite. Thus, any open cover must include the whole set X, ensuring there is a finite subcover. Therefore, X is compact .