Machine-translated by Google. Questions are authored in English.
Top

Discussion

Let X be a metric space and \(Y, Z \subset X\) such that \(Y \cap Z = \phi\). Then :

  • A.\(d(Y, Z) \gt 0\)
  • B.\(d(Y, Z) \gt 0\) if Y and Z are closed
  • C.\(d(Y, Z) \gt 0\) if Y or Z is compact
  • D.\(d(Y, Z) \gt 0\) if one of Y or Z is compact and the other is closed in X

Answer: D

The distance is positive if one of Y or Z is compact and the other is closed in X.

Suppose Y is compact, Z closed and disjoint. The function \(y \mapsto d(y, Z)\) is continuous and positive on Y (positive because Z is closed and \(y \notin Z\)), so it attains a positive minimum on compact Y. That minimum is \(d(Y, Z)\).

The weaker conditions fail. Disjoint closed sets can be at distance 0: the hyperbola branch \(xy = 1\) and the x-axis in \(\mathbf{R}^{2}\). Compactness of one set alone is not enough either: \(Y = \{0\}\) and \(Z = (0, 1]\) are disjoint, Y is compact, and \(d(Y, Z) = 0\).

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.