Problem 3 - Algebraic Topology

Question

Let \(p: \tilde{X} \rightarrow X\) be a covering space with \(p^{-1}(x)\) finite for all \(x \in X .\) Show that \(\tilde{X}\) is compact Hausdorff iff \(X\) is compact Hausdorff.

Step-by-Step Solution

Answer

\(\tilde{X}\) is compact Hausdorff if and only if \(X\) is compact Hausdorff; the properties are equivalent.

Step 1: Understand the Definition of Compact Hausdorff

A topological space is compact if every open cover has a finite subcover, and it is Hausdorff if any two distinct points have disjoint neighborhoods. We need to show that these properties are equivalent for both \(\tilde{X}\) and \(X\).

Step 2: Assume \(\tilde{X}\) is Compact Hausdorff

If \(\tilde{X}\) is compact Hausdorff, it means every open cover of \(\tilde{X}\) has a finite subcover, and for any two distinct points in \(\tilde{X}\), there exist disjoint neighborhoods. We need to prove that these properties extend to \(X\).

Step 3: Show \(X\) is Compact

Consider an open cover \(\{U_i\}\) of \(X\). The preimage \(p^{-1}(U_i)\) covers \(\tilde{X}\). Since \(\tilde{X}\) is compact, there is a finite subcover \(\{p^{-1}(U_{i_1}), \, p^{-1}(U_{i_2}), \, \ldots, \, p^{-1}(U_{i_k})\}\) that covers \(\tilde{X}\). Consequently, \(\{U_{i_1}, \, U_{i_2}, \, \ldots, \, U_{i_k}\}\) is a finite subcover of \(X\), showing that \(X\) is compact.

Step 4: Show \(X\) is Hausdorff

Since \(\tilde{X}\) is Hausdorff, for any two distinct points \(x_1, x_2 \in \tilde{X}\), there exist disjoint neighborhoods. The mapping \(p\) is continuous and onto, hence the separation of points in \(\tilde{X}\) translates to separation of points in \(X\) as no two fibers over distinct points intersect.

Step 5: Assume \(X\) is Compact Hausdorff

Now assume \(X\) is compact Hausdorff, and show \(\tilde{X}\) also possesses these properties. Given \(X\) is compact, lift any open cover of \(X\) to \(\tilde{X}\) and use compactness of fibers to obtain a finite subcover for \(\tilde{X}\).

Step 6: Show \(\tilde{X}\) is Compact

From the compact \(X\), any finite subcover of \(X\) provides us with a corresponding finite subcover of \(\tilde{X}\) once lifted back, making \(\tilde{X}\) compact.

Step 7: Show \(\tilde{X}\) is Hausdorff

Since any two different points in \(X\) have disjoint neighborhoods and \(p\) separates fibers completely, any lift of these neighborhoods corresponds to disjoint neighborhoods in \(\tilde{X}\), hence \(\tilde{X}\) is Hausdorff.

Key Concepts

Compact Hausdorff Spaces

A compact Hausdorff space is a fundamental concept in topology that bridges two key ideas: compactness and the Hausdorff condition. Let's break these down further.

• Compactness: A space is compact if every collection of open sets that covers the space has a finite subcollection that also covers the space. This property is crucial in ensuring that, within the space, you can always "cover" it with a limited number of "open" sets, even if initially, you have many such sets. Think of it like having enough blankets to cover a bed using just a few. This makes compact spaces particularly well-behaved in continuity and limits.
• Hausdorff Condition: A space is Hausdorff if any two distinct points in the space can be separated by disjoint neighborhoods. This means you can find two sets that include each point independently without overlapping. It's like making sure there's a clear boundary between two people sitting in a theater so they don't bump into each other.

Together, compact and Hausdorff properties provide a harmonious environment in topology that guarantees limitedness and separation, enabling powerful results such as every continuous image of a compact space being compact. In covering spaces, these properties help determine the underlying nature of the space.

Open and Closed Sets

In topology, open and closed sets play a critical role in defining the structure of spaces and their properties. Their understanding is essential in grasping continuous mappings and topological concepts.

• Open Sets: An open set in topology is similar to the concept of an open interval in real analysis. It means that the set does not include its boundary points. If you imagine popping a balloon, an open set would be the air inside the balloon without touching its surface. In terms of neighborhoods, a point is an element of an open set if you can "fit" a tiny neighborhood around it without stepping out of the set.


• Closed Sets: Closed sets are essentially complements of open sets. They do include their boundary points. Visualize closing a book; the closed set is the contents bound within the cover. In technical terms, a set is closed if it contains all its limit points, making it a comprehensive collection that won't "leak" points.

Understanding open and closed sets helps deal with concepts like compactness, as open covers are collections of open sets that can "cover" a space, crucial in applying compactness in topology.

Continuous Mappings

Continuous mappings are pivotal in connecting different topological spaces in a seamless manner. Continuity in topology diverges from the classic definition in calculus but maintains a similar intuitive feel.

• Definition: A function between two topological spaces is continuous if the preimage of every open set in the target space is an open set in the source space. It ensures that there are no sudden "jumps" in mapping one space to another, allowing a smooth transition across spaces. This is akin to stretching or bending a rubber band without tearing it, where you modify one space to fit into another continuously.
• Role in Covering Spaces: Continuous mappings help showcase the properties of covering spaces, where you often need to lift open covers from one space to another. The continuity ensures every structural aspect of the spaces is preserved as you transition from a base space to its covering space or vice versa.

Continuous functions are essential to maintaining the effectiveness of properties like compactness and Hausdorff conditions across different spaces.

Topological Spaces

A topological space is a set equipped with a topology, allowing mathematicians to study spatial structures in a very abstract manner. It acts as a backbone for all other concepts in topology:

• Basics: At its core, a topological space consists of a set of points, along with a topology, which is a collection of subsets known as open sets. The framework determines how points interact with each other and is pivotal in building robust theoretical results. Think of it like a floor plan specifying how rooms (subsets) can be laid out.


• Importance in Covering Spaces: In the context of covering spaces, a topological space becomes the essential object we "cover." It allows us to explore more complex spaces by examining simpler, more manageable "coverings." The abstract nature of topological spaces lets us extend these concepts to complex and high-dimensional spaces, forming the foundation to study continuous mappings, compactness, and much more.

Topological spaces provide the language and structure necessary for advanced studies in mathematics, deeply impacting fields like geometry, analysis, and beyond.