# Simple Proof?

## Homework Statement

Prove that a point,a, not belonging to the closed set B has a non-zero distance from B. I.e that dist(a,B)=inf(y in a) ||a-y||>0

## Homework Equations

I have no idea how to start this. It is only worth a few marks and I have been told it is fairly easy but I have always struggled with proofs.

## The Attempt at a Solution

Related Calculus and Beyond Homework Help News on Phys.org
Petek
Gold Member
Are you working in a metric space? Also, you might want to check your definition of dist (a, B). It's not quite right. Anyway, here's a hint: If B is closed, then its complement is ... .

Sorry yes the inf part should be (y in B) not y in a. So if B is closed the complement must be open. So the point a is in an open set?

Petek
Gold Member
Look in your text! You should see something like

dist(a, B) = inf (dist(a , b) : b $\in$ B)

And yes, a belongs to an open set that doesn't intersect B. Therefore, there exists an open ball centered at a such that ... .

Such that (x in X : ||x-a|| < r)?

So you've proven that there exists a ball with radius r around a, such that B doesn't intersect that ball.
Now, take a point b in B. Is b an element of our ball? What can you say now over the distance between a and b?

b does not intersect the ball and so the distance between a and b will be >= r-b ?

Where do you get r-b?? The distance between a and b is always greater than r...
So, whatever b we take, we got dist(a,b)>=r. What can you say now about dist(a,B)??

sorry I forgot we had centred the ball at a, I was thinking a was any point.

So now we can say that dist(a,B)>=r as well

Seems like you've got it then!

Is it that easy?! I was expecting more work than that to be honest ha.

thanks for the help guys