TheoremBase

Elementary Properties of the Closed Ball in a Metric Space

Statement

Let (X,d)(X,d) be a metric space, let x∈Xx\in X, let rr be a real number with 0≤r0\le r, the order ≤\le being that of the ordered field of real numbers, and let Bˉd(x,r)\bar{B}_d(x,r) be the closed ball. Let Td\mathcal{T}_d be the collection of subsets of XX that are open in (X,d)(X,d), a topology on XX by Metric Open Sets Form a Topology.

Then the following hold.

1. (Centre, and comparison with the open ball) x∈Bˉd(x,r)x\in\bar{B}_d(x,r); and if 0<r0<r, then the open ball satisfies Bd(x,r)⊆Bˉd(x,r)B_d(x,r)\subseteq\bar{B}_d(x,r).

2. (Boundedness) Bˉd(x,r)\bar{B}_d(x,r) is bounded in (X,d)(X,d).

3. (Closedness) Bˉd(x,r)\bar{B}_d(x,r) is a closed subset of the topological space (X,Td)(X,\mathcal{T}_d).

Proofs

Log in to submit a proof.

Loading...

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…