Hi there. I was working on this problem. And I wanted to know if my demonstration is right, I'm not sure if it's complete.
The problem says: The distance D(A,B) between two nonempty subsets A and B of a metric space (X,d) is defined to be:
Inf denotes the infimus.
Show that D does not define a metric on the power set of X.
Well, so what I considered is that if a belongs to A, and b belongs to B, but a doesn't belongs to B, and b doesn't belongs to A (i.e. A and B has no elements in common), then the distance could never be zero. But I don't know if this is enough to show that it doesn't define a metric.
Anyway, I could show using the sets
That the triangle inequality insn't accomplished, so I have a counter example.
Bye there, and thanks in advance.