Problem 13 - Analysis Now

Question

Show that a paracompact Hausdorff space is normal. Hint: If \(E\) and \(F\) are disjoint, closed subsets of \(X\), use regularity to cover \(E\) with a family \(\left\\{A_{j} \mid j \in J\right\\}\) of open sets such that \(A_{j}^{-} \cap F=\emptyset\). Use paracompactness to conclude that the covering may be taken to be locally finite. Set $$ A=\bigcup A_{j}, \quad B=X \backslash \bigcup A_{j}^{-}, \quad B^{o}=X \backslash\left(\bigcup A_{j}^{-}\right)^{-} $$ Show that \(E \subset A, F \subset B\) and \(A \cap B=\emptyset\). Use the local finiteness to conclude that \(B=B^{\circ}\).

Step-by-Step Solution

Answer

A paracompact Hausdorff space is normal by constructing disjoint open sets for disjoint closed sets.

Step 1: Understanding the Definitions

A space is called normal if for every pair of disjoint closed sets, there exist disjoint open sets containing each of these sets. A paracompact space is a Hausdorff space where every open cover has an open locally finite refinement.

Step 2: Applying Regularity

Using the regularity condition of a Hausdorff space, if we have disjoint closed sets \(E\) and \(F\), we can cover \(E\) with a family \(\left\{A_{j} \mid j \in J\right\}\) where each \(A_j\) is open and \(A_{j}^{-} \cap F = \emptyset\).

Step 3: Leveraging Paracompactness

By the paracompactness of the space, we can refine the cover \(\{A_j\}\) to be locally finite, meaning that for each point in the space, there is a neighborhood intersecting only finitely many \(A_j\).

Step 4: Construction of Sets A and B

Define \(A = \bigcup A_j\) and \(B = X \setminus \bigcup A_j^-\). By construction, \(E \subset A\) since \(E\) is covered by \(\{A_j\}\), and \(F \subset B\) since \(\bigcup A_j^-\) does not intersect \(F\).

Step 5: Check Disjointness of A and B

To show \(A \cap B = \emptyset\), notice that if a point is in \(A\), it belongs to some \(A_j\), making it impossible to be in \(X \setminus \bigcup A_j^-\). Thus, \(A \cap B = \emptyset\).

Step 6: Showing B is Open Using Local Finiteness

Since the cover is locally finite, the intersection \(\bigcup A_j^-\) is closed, making \(B = X \setminus \bigcup A_j^-\) open. Therefore, \(B = B^{\circ}\), confirming \(B\) is open.

Step 7: Conclusion: Normality of the Space

Since for disjoint closed sets \(E\) and \(F\), we can find disjoint open sets \(A\) and \(B\) containing them, the space is normal.

Key Concepts

Normal spaces

A normal space is a fundamental concept in topology, particularly important in understanding how spaces are constructed and behave. In topology, normal spaces are defined by their ability to separate closed sets with open sets.

Specifically, a space is said to be normal if for any two disjoint closed sets, there exist disjoint open sets that contain each of these closed sets. This property is critical as it allows for the possibility of creating separations in the space without overlapping any closed sets.

Understanding this concept is essential in proving other properties of a space, such as whether functions are continuous and finding homeomorphisms between spaces. By focusing on the separation of sets, one can go deeper into the analysis of continuous mappings and the structure of spaces.

Topological properties

Topological properties are characteristics that describe the inherent nature of a topological space. They are preserved under homeomorphisms and include features like connectedness, compactness, and the properties of open and closed sets.

These properties help us understand and categorize topological spaces. The Hausdorff condition, for instance, ensures that any two distinct points have neighbourhoods that do not intersect. This property is significant in ensuring the regularity and separation within a given space.

A paracompact space, being both Hausdorff and having every open cover with a locally finite refinement, offers an enhanced ability to organize the space. Such spaces naturally lead to normal spaces because their intrinsic order permits the segregation of closed sets by open ones.

Open and closed sets

In topology, open and closed sets are primary building blocks used to define and study a space's structure. An open set is a collection of points that all have neighborhoods included in the set, while a closed set contains all its limit points and is the complement of an open set.

By understanding how these sets operate and interact, one can determine much about a space's topology. For instance, the separation property of normal spaces heavily relies on the manipulation of open and closed sets to establish disjoint open sets, covering disjoint closed sets.

Closed sets are crucial to defining convergence and continuity, as they inherently include all their boundary points. The essence of normal and other separation axioms revolves around the balance and manipulation between open and closed sets.

Locally finite refinements

Locally finite refinements are a tool used in the study of topological spaces, particularly in the context of paracompactness. A cover for a topological space is said to be locally finite if each point in the space has a neighborhood that intersects only finitely many sets in the cover.

This concept is crucial for paracompact spaces, where every open cover has a locally finite open refinement. This means you can replace any cover by a collection of open sets where intersection complexity around each point diminishes to a manageable level.

The ability to create locally finite refinements facilitates the partitioning and analysis of a space, making it easier to find open sets that separate disjoint closed sets, ultimately guiding us toward normality in the space. It's a key reason paracompact Hausdorff spaces are normal and an essential concept in advanced topological studies.