Problem 12 - Basic Analysis: Introduction to Real Analysis

Question

Finish the proof of Proposition 7.2.11. Suppose \((X, d)\) is a metric space and \(Y \subset X .\) Show that with the subspace metric on \(Y\), if a set \(U \subset Y\) is open \((\) in \(Y)\), then there exists an open set \(V \subset X\) such that \(U=V \cap Y\)

Step-by-Step Solution

Answer

An open set \( U \subset Y \) has the form \( U = V \cap Y \) for some open set \( V \subset X \).

Step 1: Understanding the Definition of Open Set in a Subspace

In a metric space \( (X, d) \), a set \( U \subset Y \subset X \) is considered open with respect to the subspace metric if for every point \( y \in U \), there exists an \( \varepsilon > 0 \) such that the entire open ball \( B_Y(y, \varepsilon) \) is contained in \( U \). Note that \( B_Y(y, \varepsilon) = B_X(y, \varepsilon) \cap Y \) is the open ball in \( Y \).

Step 2: Using Open Set Definition in Original Space

For each \( y \in U \), since \( B_Y(y, \varepsilon) \subset U \) and \( B_Y(y, \varepsilon) = B_X(y, \varepsilon) \cap Y \), it implies that \( B_X(y, \varepsilon) \) is an open set in \( X \) (because open balls are always open sets in metric spaces).

Step 3: Constructing the Open Set V in X

By the definition of an open set and our understanding from the previous steps, consider the set \( V = \bigcup_{y \in U} B_X(y, \varepsilon_y) \), where each \( \varepsilon_y \) corresponds to \( y \). This construction ensures \( U = V \cap Y \) since each open ball intersected with \( Y \) is fully within \( U \).

Step 4: Verifying the Equality U = V ∩ Y

For any \( z \in U \), it is in some \( B_Y(y, \varepsilon) \) for a specific \( y \), thus also in \( B_X(y, \varepsilon) \). Therefore, \( z \in V \cap Y = U \) and vice-versa, since if \( z \in V \cap Y \), it follows that \( z \in B_X(y, \varepsilon_y) \cap Y \), hence \( z \in U \).

Key Concepts

Open Set

In a metric space, an open set is a very important concept. The idea is quite intuitive: a set is open if, for each point within this set, you can imagine a small surrounding area (known as an "open ball") that fits entirely in the set.
This means you could "wiggle" any point in the set just a little bit and still remain inside the set.

For instance, suppose you have a set of all points closer than 5 units to a center point in two-dimensional space. This would be an open set if you can find a small surrounding circle around each point in the set that fits entirely within the 5-unit radius circle.

• An open set has no boundary points.
• There is no point on the edge or limit of the open set.

This property makes open sets flexible and fundamental in the study of metric spaces.

Subspace Metric

The subspace metric is a way of thinking about distances in a smaller subset of a larger metric space. Suppose we start with a big space, like a universe of points, and we have a smaller set of points inside it, represented as \( Y \subset X \). When we measure distances between the points in \( Y \), we use the same metric that we used in \( X \).

This is known as the subspace metric because it enforces the same rules of measuring in the smaller space as the original larger one. Whenever you take any two points in this subset \( Y \), the distance between them is measured according to the rules and units defined for the entire space \( X \).

• The subspace metric essentially "inherits" the measurement system from the larger space.
• This makes it much easier to apply large-scale rules to smaller segments.

This is particularly useful when trying to prove things about parts of a space without considering the whole.

Open Ball

An open ball is a central concept in understanding metric spaces and open sets. Imagine a sphere in three-dimensional space, where the center of the sphere is a specific point, and all points inside the sphere are closer to the center than a given distance, \( \varepsilon \).

This \( \varepsilon \) is the "radius" of the ball. All points inside but not on the boundary are considered part of the open ball, giving it a flexible, boundary-free nature.

Formally, for a point \( x \) in a metric space \( (X, d) \), an open ball centered at \( x \) with radius \( \varepsilon \) is the set of all points \( y \) such that their distance to \( x \) is less than \( \varepsilon \).

• Open balls are crucial because they help determine the structure of open sets.
• They demonstrate how every point in the open set can be "surrounded" by smaller portions of the set.

In a subspace metric, the open ball adapts to the subspace, intersecting the larger space accordingly.

Metric Spaces

A metric space provides a versatile framework for discussing geometry and spatial relationships. It is essentially a set of points with a "metric", or a method that defines how to calculate the distance between any two points within the set.

This metric needs to satisfy certain properties to qualify: it must be non-negative, symmetric (meaning distance is the same in both directions), the triangle inequality must hold, and the only time distance is zero is when comparing a point to itself.

Metric spaces can take on many forms, from simple, well-understood Euclidean spaces to more abstract and complicated sets.

• They provide the groundwork for more advanced mathematical analyses.
• Provide a platform for concepts like continuity, convergence, and compactness.

Because of this versatility, metric spaces are fundamental in various branches of mathematics, allowing us to rigorously explore the properties and structures of different sets.