Showing two epsilon balls intersection is empty

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 3K views
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