1
$\begingroup$

Let $D(A ,B)= \inf_{\alpha \in A,\beta \in B} d(\alpha ,\beta )$ denote the distance between sets in the power set of a given set where $d(\alpha ,\beta )$ is a metric. Prove that $D(A,B )=0$ doesn't imply $A\bigcap B\neq \varnothing$.

My attempt: Let $D(A,B)= 0$. Then, $\inf_{\alpha \in A,\beta \in B}(d(\alpha ,\beta ))=0$. So there's $a\in A , b\in B$ such that $d(a,b)=0$, which means $a=b$. So, $A\bigcap B\neq \varnothing$. What's the problem in my proof?

  • 0
    I think you mean $D(A,B)=...$. It feels like you copied the problem wrong.2012-12-03
  • 0
    Yes , Sorry for that.2012-12-03
  • 0
    You still need to edit the other instances of $D(\alpha,\beta)$ to be $D(A,B)$. Specifically, "Prove that $D(\alpha,\beta)=0$..."2012-12-03

4 Answers 4