0
$\begingroup$

Possible Duplicate:
Example to show the distance between two closed sets can be 0 even if the two sets are disjoint

Let $(X,d)$ be a metric space and $A,B$ be two distinct closed set in $X$ such that $dist(A,B)=0$. Does it imply $A\cap B=\emptyset$ ?

  • 1
    @GEdgar: At present, no, it's just a triviality.2012-05-16

2 Answers 2

2

Can you find two closed, unbounded subsets of, say, ${\bf R}^2$ that come arbitrarily close to each other as they go off to infinity?

1

Yeah as Gerry says, this isn't always true: consider the $x$-axis and $\{(x, e^{-x}) \; x \in \mathbb{R}\}$ in $\mathbb{R}^2$: the second asymptotically approaches $y = 0$ as $x \rightarrow \infty$, but never quite hits it.

However, this is true once one of either $A$ or $B$ is compact, say $A$.

To see this, as the distance between them is 0, we can take sequences of points $a_i \in A, b_i \in B$ such that $d(a_i, b_i) < \frac{1}{i}$, now extract a convergent subsequence $a'_i$ from the $a_i$, we have $a'_i \rightarrow a$, $b'_i \rightarrow a$, hence $a \in A \cap B$, as desired.