Problem 11 - A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry

Question

A topological space \(X\) is called normal if for evcry pair of disjo?nt closcd suhsets \(A\) and \(B\) there exist disjoint open sets \(U\) and \(V\) sich that \(A \subset U\) and \(B \subset V\) Show that every metric space is nomal

Step-by-Step Solution

Answer

Every metric space is a normal space as for any pair of disjoint closed sets in the metric space, it is possible to find disjoint open sets containing them.

Step 1: Clarify Definitions

A metric space is a set for which distances between all its pairs of elements are specified. The distance between two elements is a non-negative real number that measures how far apart those elements are. A topological space is normal if, given any two disjoint closed sets, it is always possible to find two disjoint open sets containing them.

Step 2: Consider Disjoint Closed Sets in the Metric Space

Let \(A\) and \(B\) be two disjoint closed sets in the metric space \(X\). We need to show that there exist disjoint open sets \(U\) and \(V\) such that \(A \subset U\) and \(B \subset V\).

Step 3: Construct the Open Sets

For each point \(a \in A\) and \(b \in B\), the distance between \(a\) and \(b\), which we can denote \(d(a, b)\), is positive because \(A\) and \(B\) are disjoint. Let \(r = \frac{1}{2}d(a, b)\). Now, consider the open balls \(B(a, r)\) and \(B(b, r)\) centered at \(a\) and \(b\) respectively with radius \(r\). These open balls are disjoint, and the union of all such balls \(B(a, r)\) for \(a \in A\) is an open set containing \(A\), and similarly, the union of all balls \(B(b, r)\) for \(b \in B\) is an open set containing \(B\), and these two open sets are disjoint.

Step 4: Conclusion

Therefore, for every pair of disjoint closed sets in the metric space, we can find disjoint open sets containing them, hence proving that every metric space is a normal space.

Key Concepts

Topological Space

A topological space is a fundamental concept in mathematics that allows us to generalize the notion of proximity or closeness. In essence, a topological space is formed by a set along with a collection of subsets, known as open sets, which satisfy specific properties. These properties help us define how elements relate to one another in terms of neighborhood or proximity.

Here are the key properties that these open sets must satisfy in a topological space:

• The entire set itself and the empty set are both considered open.
• The intersection of any finite number of open sets is also open.
• The union of any collection of open sets is open.

This concept is quite abstract yet powerful, as it lays the groundwork for studying many aspects of space and continuity in various branches of mathematics and beyond.

Normal Space

A normal space is a particular type of topological space that satisfies an additional separation condition. The primary focus in normal spaces is on how we can "separate" different sets that don't overlap or touch each other.

The defining feature of a normal space is as follows:

• For any two disjoint closed sets, it is possible to find two disjoint open sets, each containing one of the closed sets. This means that if we have two closed sets that do not share any elements, we can "cushion" them within open sets that also do not overlap.

This ability makes the study of normal spaces crucial, especially in the context of functions and limits where separateness and distinctness play key roles. Metric spaces, which are common and intuitively easy to grasp, are typical examples of normal spaces.

Open Sets

In topology, open sets play a central role as they help define the notion of a topological space. An open set is among the most fundamental building blocks in this field.

Here are some essential features of open sets:

• Open sets in a metric space can be visualized as a collection of points that do not include the boundary. In the real number line, for instance, an open set might be an interval that does not include its endpoints.
• They help us understand concepts such as limits, continuity, and convergence, as they can represent neighborhoods around points.
• In any topological space, open sets are defined by the topology itself, forming the structure that determines how we can "navigate" through the space.

Open sets are crucial for defining other concepts such as continuity, convergence, and compactness, which are foundational in advanced mathematics.

Closed Sets

Closed sets are another significant concept in topology that complement open sets. While open sets are all about neighborhood and staying away from edges, closed sets include their boundary points.

Here's a simplified way to think about closed sets:

• A set is closed if its complement is an open set. This means that if you take all the points not in the set and those points form an open set, then the original set is closed.
• In a metric space, closed sets are the ones that include their "limits", ensuring that if you approach the set from any direction, you end up within the set.
• Closed sets are particularly important in calculus and analysis, as they help define concepts such as limits and compactness. They are often used in mathematical proofs and theorems since their properties allow straightforward manipulation.

Understanding closed sets helps reinforce many advanced mathematical concepts, facilitating the study of continuity and limits in various fields.