TheoremBase

Open Ball in a Metric Space

Defines the open ball of positive radius about a point of a metric space as the set of points at distance less than the radius.

Statement

In the setting of The Real Numbers, with the Natural Numbers, Integers and Rationals Identified with Subsets of the Reals, and Completeness, let (X,d)(X,d) be a metric space, let x∈Xx\in X, and let rr be a real number with r>0r>0.

The open ball in XX with centre xx and radius rr is the subset

Bd(x,r)={y∈X:d(x,y)<r}B_d(x,r)=\{y\in X:d(x,y)<r\}

of XX.

For every yy, y∈Bd(x,r)y\in B_d(x,r) if and only if y∈Xy\in X and d(x,y)<rd(x,y)<r.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…