7
$\begingroup$

Is given metric space $(M, d)$. Let $A\cap B = \emptyset; \,\,\text{dist}(A,B):=\inf\{d(x,y):x\in A, y\in B\}$. $A, B$ are both closed sets. Is it possible that $\text{dist}(A,B)=0$?

The first thought comes into mind is that obviously $\text{dist}(A,B)>0$, but possibly there are some tricky $d$ and $A, B$ so that it's untrue.

Thanks in advance!

  • 0
    What about A={x|x^2>2, x non negative}, B={x|x^2<2, x non negative} on $\mathbb Q$? – 2012-12-03

3 Answers 3

22

HINT: In $\Bbb R^2$ consider the axes and the graph of $y=\frac1x$.

It’s just a little harder in $\Bbb R$, but it can be done. Let $\langle \epsilon_n:n\in\Bbb Z^+\rangle\to 0$, where each $\epsilon_n\in(0,1)$. Let $A=\Bbb Z^+$ and $B=\{n+\epsilon_n:n\in\Bbb Z^+\}$.

  • 0
    Elegant examples. Thank you. – 2018-04-25
5

The OP has added additional information, specifying that the closed and disjoint sets.
the answer below no longer applies.


It could be that $A$ and $B$ intersect at one point $x$, in which case $d(x, x) = 0.$

For example: suppose we have the closed intervals $A \subset \mathbb{R}, B \subset \mathbb{R}$, with: $A = [0, 1],\;\; B = [1, 2]$.

Then $x = 1 \in A, y = 1 \in B$, and $d(x, y) = 0$.

  • 2
    Why not delete this answer, given that it no longer addresses the question? Given your reputation, you wouldn't lose much. – 2017-08-20
5

Ok The answer has been given. But I would like to point out that the good assumption to ensure that the distance is strictly positive is that one of the set is compact, say :

Let $(M,d)$ be a metric space $A$ a compact subset and $B$ a closed subset. If $A\cap B=\emptyset$ then $d(A,B)>0$.

Hint :Proceed by contradiction if $d(A,B)=0$ then $d(x_n,y_n)\rightarrow 0$ Assume (up to the extraction of a subsequence) that $x_n\rightarrow x$ with $x\in A$. Then show (triangular inequality) that $d(x,B)=0$. Then it is easy to show since B is closed that $x\in B$.