Simple Proof?

  • Thread starter henry22
  • Start date
  • #1
28
0

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



Would I use contradiction somehow?
 

Answers and Replies

  • #2
Petek
Gold Member
363
8
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 ... .
 
  • #3
28
0
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?
 
  • #4
Petek
Gold Member
363
8
Look in your text! You should see something like

dist(a, B) = inf (dist(a , b) : b [itex]\in[/itex] 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 ... .
 
  • #5
28
0
Such that (x in X : ||x-a|| < r)?
 
  • #6
22,089
3,286
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?
 
  • #7
28
0
b does not intersect the ball and so the distance between a and b will be >= r-b ?
 
  • #8
22,089
3,286
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)??
 
  • #9
28
0
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
 
  • #10
22,089
3,286
Seems like you've got it then!
 
  • #11
28
0
Is it that easy?! I was expecting more work than that to be honest ha.

thanks for the help guys
 

Related Threads on Simple Proof?

  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
7
Views
803
  • Last Post
Replies
19
Views
3K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
9
Views
1K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
6
Views
1K
  • Last Post
Replies
1
Views
970
Top