PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] when are balls separated (Example)

Let $ (X,d)$ be a metric space, and let $ B_r(x)$ be the $ x$-centered open ball of radius $ r$. If $ d(x,y)\ge r+s$, then the balls $ B_r(x)$ and $ B_s(y)$ are separated.

To prove this, suppose that $ B_r(x)$ and $ B_s(y)$ are not separated. Then there exists a $ z\in X$ such that either

$\displaystyle d(x,z)<r, \quad d(y,z)\le s, $
or
$\displaystyle d(x,z)\le r, \quad d(y,z)< s. $
In either case,
$\displaystyle d(x,y)\le d(x,z)+d(z,y)<r+s. $



Anyone with an account can edit this entry. Please help improve it!

"when are balls separated" is owned by matte. [ full author list (2) ]
(view preamble)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: separated, balls, radius, open ball, metric space
There is 1 reference to this entry.

This is version 3 of when are balls separated, born on 2005-05-17, modified 2007-03-21.
Object id is 7066, canonical name is WhenAreBallsSeparated.
Accessed 926 times total.

Classification:
AMS MSC54-00 (General topology :: General reference works )
 54D05 (General topology :: Fairly general properties :: Connected and locally connected spaces )

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)