Showing two epsilon balls intersection is empty

Click For Summary

Homework Help Overview

The discussion revolves around proving that for two distinct points x and y in a normed linear space, there exists a radius r such that the epsilon balls centered at these points do not intersect.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants explore a proof by contradiction, questioning the implications of assuming the intersection of the balls is non-empty. They discuss the use of the triangle inequality and consider the behavior of r as it approaches zero.

Discussion Status

Some participants have suggested a constructive approach to find a specific radius r that ensures the balls do not intersect. Others are still grappling with the contradiction method and seeking clarification on the final steps of their reasoning.

Contextual Notes

There is mention of a grading context where one participant received partial credit for their proof, indicating that they were close to the correct reasoning but missed a key detail. The problem involves understanding the properties of epsilon balls in relation to the distance between distinct points.

Visceral
Messages
59
Reaction score
0

Homework Statement


Suppose [itex]x,y \in X[/itex] which is a normed linear space and [itex]x\neq y[/itex]
. Prove that [itex]\exists r>0[/itex] such that [itex]B(x,r) \cap B(y,r)=∅[/itex]


Homework Equations


Epsilon Ball

[itex]B(x,r)={z \in X:||x-z||<r}[/itex]

The Attempt at a Solution



So my attempt here is via contradiction and its not workout out. I assume the intersection of the balls around x and y are not empty, and try to use the fact that x is not equal to y and use some typical triangle inequality tricks to attempt to get a contradiction. I always end up getting what I assumed to be true.

For instance, if the intersection is not empty then there exists an element in both balls. This would imply that the 2*r>ε=||x-y||. However I can't contradict this. What am I doing wrong? Please give any suggestions if you can. I missed this problem on a test and I still can't figure it out.
 
Physics news on Phys.org
So you've assumed, toward a contradiction, that for all [itex]r>0[/itex], [itex]B(x,r)\cap B(y,r)\neq\emptyset[/itex] and shown that this implies that for all [itex]r>0[/itex], [itex]2r>\|x-y\|[/itex].

What happens as [itex]r\rightarrow 0[/itex], what does this say about [itex]x[/itex] and [itex]y[/itex], and how does this contradict the assumptions of the problem?

For the record, you don't need to do a proof by contradiction here. There is a fairly simple constructive proof (i.e. you can actually find a specific r that works) using the triangle inequality. Try to figure out how that works.
 
Visceral said:

Homework Statement


Suppose [itex]x,y \in X[/itex] which is a normed linear space and [itex]x\neq y[/itex]
. Prove that [itex]\exists r>0[/itex] such that [itex]B(x,r) \cap B(y,r)=∅[/itex]


Homework Equations


Epsilon Ball

[itex]B(x,r)={z \in X:||x-z||<r}[/itex]

The Attempt at a Solution



So my attempt here is via contradiction and its not workout out. I assume the intersection of the balls around x and y are not empty, and try to use the fact that x is not equal to y and use some typical triangle inequality tricks to attempt to get a contradiction. I always end up getting what I assumed to be true.

For instance, if the intersection is not empty then there exists an element in both balls. This would imply that the 2*r>ε=||x-y||. However I can't contradict this. What am I doing wrong? Please give any suggestions if you can. I missed this problem on a test and I still can't figure it out.

If x ≠ y, then ||x - y|| is a positive number, say d.

If you take r smaller than d/2, then no point in B(x, r) can also be in B(y, r).
 
gopher_p- I see what you mean, and thank you for the help

Mark44-This is exactly what I just realized! Thanks

I think I got it. I let ||x-y||= ε and let the balls have radius of ε/3 and there is no intersection. That way was really incredibly easy... Can anyone give me a hint on how you can do this by contradiction? I got 7/10 points for this proof on a test and got stuck at the end. Apparently by the professors grading I was "on the right track" but missed some final trick.

Thanks again
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
4K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
39
Views
5K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
Replies
2
Views
1K