Question:medium

Consider the metric spaces \( X = (\mathbb{R}, d_1) \) and \( Y = ([0, 1], d_2) \) with the metrics defined by \[ d_1(x, y) = |x - y|, \quad x, y \in \mathbb{R}, \quad {and} \quad d_2(x, y) = |x - y|, \quad x, y \in [0, 1], \] respectively. Then, which one of the following is TRUE?

Show Hint

In metric spaces, for a subspace, a set is open if it can be written as the intersection of an open set in the parent space with the subspace. For \( [0, \frac{1}{4}] \) in \( Y \), this is true.
Updated On: Feb 2, 2026
  • \( [0, \frac{1}{4}] \) is open in \( X \) but not in \( Y \)
  • \( [0, \frac{1}{4}] \) is open in \( Y \) but not in \( X \)
  • \( [0, \frac{1}{4}] \) is open in both \( X \) and \( Y \)
  • \( [0, \frac{1}{4}] \) is open neither in \( X \) nor in \( Y \)
Show Solution

The Correct Option is B

Solution and Explanation

To determine which of the given statements about the set \( [0, \frac{1}{4}] \) is true, we need to understand the concepts of open and closed sets in metric spaces.

  1. In the context of a metric space, a set is open if, for every point in the set, there is an epsilon-neighborhood entirely contained within the set.
  2. Firstly, consider the set \( [0, \frac{1}{4}] \) in the metric space \( X = (\mathbb{R}, d_1) \).
    • The metric \( d_1(x, y) = |x - y| \) is the standard Euclidean metric on the real line.
    • The set \( [0, \frac{1}{4}] \) is not open in \(\mathbb{R}\) because, for instance, at \( x = 0 \), any epsilon-neighborhood \( (0 - \epsilon, 0 + \epsilon) \) will have some part that lies outside \( [0, \frac{1}{4}] \).
  3. Now, consider the set \( [0, \frac{1}{4}] \) in the metric space \( Y = ([0, 1], d_2) \).
    • The metric \( d_2(x, y) = |x - y| \) is also the standard Euclidean metric but restricted to the interval \([0, 1]\).
    • In the subspace topology induced on \([0, 1]\), \( [0, \frac{1}{4}] \) can be considered an open set because it does not include any extrinsic boundary points within the interval \([0, 1]\). The intervals inside are included perfectly.

Therefore, the correct answer is: \( [0, \frac{1}{4}] \) is open in \( Y \) but not in \( X \).

Was this answer helpful?
0