Problem 5 - Analysis Now

Question

Let \(X\) be a Hausdorff topological space and \(Y\) be a dense subset. Assume that \(A\) is an open set and that \(A \subset B\) for some subset \(B\) such that \(B \cap Y\) is compact. Show that \(A \subset Y\). Hint: If \(x \in A \backslash Y\), there is an open neighborhood \(A_{0}\) of \(x\) disjoint from \(B \cap Y\). But \(A \cap A_{0} \cap Y \neq \emptyset\), a contradiction.

Step-by-Step Solution

Answer

Since \(A \not\subset Y\) leads to a contradiction, it must be that \(A \subset Y\).

Step 1: Understanding the problem

We are given a Hausdorff space \(X\), a dense subset \(Y\), an open set \(A\), and another set \(B\) such that \(B \cap Y\) is compact and \(A \subset B\). We need to prove that \(A \subset Y\).

Step 2: Assume the contrary

Suppose \(A ot\subset Y\). This means there exists an \(x \in A\) such that \(x ot\in Y\). Our goal is to derive a contradiction from this assumption.

Step 3: Use the provided hint

According to the hint, because \(x ot\in Y\), we can find an open neighborhood \(A_0\) of \(x\) such that \(A_0\) is disjoint from \(B \cap Y\). Since \(x \in A\), \(A \cap A_0\) is an open subset of \(X\) containing \(x\).

Step 4: Intersecting with the dense set \(Y\)

Since \(Y\) is dense in \(X\), any open set intersected with \(Y\) is non-empty. Therefore, \(A \cap A_0 \cap Y\) is non-empty, as both \(A\) and \(A_0\) are open and \(A_0\) is a neighborhood of \(x\).

Step 5: Arrive at the contradiction

Since \(A_0\) is disjoint from \(B \cap Y\), it implies \(A \cap A_0 \cap Y = \emptyset\), contradicting the result that \(A \cap A_0 \cap Y\) is non-empty. Hence, our assumption that \(A ot\subset Y\) must be false.

Step 6: Conclude the proof

We have shown that if any element of \(A\) were not in \(Y\), we would encounter a contradiction, meaning each element of \(A\) must be in \(Y\). Therefore, \(A \subset Y\).

Key Concepts

Hausdorff Space

A Hausdorff space, also known as a T2 space, is a type of topological space that satisfies a certain separation property. Specifically, in a Hausdorff space, for any two distinct points, there exist neighborhoods around each point that do not intersect. This property provides a form of "separation" between different points, ensuring that points can be "distinguished" from one another by their neighborhoods.
This separation is critical in many areas of topology and analysis because it guarantees the distinctness of limits for sequences and the convergence of points.
Key points about Hausdorff spaces:

• Helps in defining convergence because limits, if they exist, are unique.
• Facilitates easier handling of functions and maps between spaces due to clear separation.
• Useful in constructing continuous functions; specifically, any continuous image of a compact set in a Hausdorff space is compact.

Compactness

Compactness is a property of a space that intuitively resembles finiteness. A set is considered compact if every open cover of the set has a finite subcover. This means that even though a space itself might be infinite, it can be "covered" with finitely many open sets efficiently.
Compactness behaves well in Hausdorff spaces, where it guarantees some very nice properties:

• In a Hausdorff space, compact sets are closed and bounded.
• Similar to finiteness, a compact subset in such a space cannot spread out too far and is limited in extent.
• Compact sets are stable under continuous mappings, meaning a continuous image of a compact set is compact, preserving important topological information.

In the context of our exercise, when dealing with compact intersections with dense sets, compactness helps in asserting the nonemptiness of intersections, which is crucial in arriving at contradictions and solving proofs.

Dense Subset

A dense subset of a topological space is a subset whose closure is the entire space. This means that every point in the space can be approximated as closely as desired by points from the dense subset. In other words, the dense subset is everywhere in the space or touches every part of it.
Important aspects of dense subsets:

• A dense subset in a space means that the space cannot have "holes" or isolated components that the dense subset does not reach.
• If a subset is dense, then any open set in the space must intersect with the dense subset.
• Denseness is crucial in proofs where conclusions are drawn about the entire space based on properties of a dense subset, as seen in our exercise.

In the exercise, the denseness of the subset ensures that every open neighborhood in the space intersects the dense subset, helping to prove certain properties about open sets like non-emptiness.

Open Sets

Open sets are central to the structure of topological spaces. An open set in a topology is a set that, loosely speaking, does not include its boundary points. Any point in an open set can be "moved" slightly, remaining within the set, which provides flexibility in defining continuity, convergence, and inclusion.
Characteristics of open sets include:

• Open sets can be combined (unioned) or intersected finitely to yield more open sets.
• They are used to define continuous functions; a function is continuous if the preimage of every open set is open.
• In a metric space, an open set can be visualized as a collection of open balls or neighborhoods.

In our exercise, open sets help in determining intersections with dense subsets and play a key role in deriving contradictions when proving the result of the exercise involving subsets of topological spaces.