Open and Closed Balls

Basis
Last updated: Tags: Analysis

Prerequisites

When you work in a metric space, you need a precise way to describe all points that are “close” to some center. Balls give you exactly that — they are the metric-space analogue of intervals on the real line, and they show up in virtually every definition in analysis.

Open balls

Let (X,d)(X, d) be a metric space, let xXx \in X, and let r>0r > 0. The open ball centered at xx with radius rr is

B(x,r){yX:d(x,y)<r}.B(x, r) \coloneqq \{ y \in X : d(x, y) < r \}.

Every point inside B(x,r)B(x, r) is strictly less than rr away from the center. Points at distance exactly rr — the “boundary” — are excluded.

Here is what this looks like in a few concrete spaces:

  • R\mathbb{R} with d(x,y)=xyd(x, y) = |x - y|. B(a,r)B(a, r) is the open interval (ar,a+r)(a - r,\, a + r).
  • R2\mathbb{R}^2 with the Euclidean metric. B(x,r)B(x, r) is the open disk of radius rr — the interior of a circle, without the circle itself.
  • Discrete metric (d(x,y)=0d(x, y) = 0 if x=yx = y, else d(x,y)=1d(x, y) = 1):
    • For r1r \leq 1: B(x,r)={x}B(x, r) = \{x\} — only the center qualifies.
    • For r>1r > 1: B(x,r)=XB(x, r) = X — every point qualifies.

The discrete example is a useful reminder: the “shape” of a ball is determined entirely by the metric, not by any geometric picture you may have in mind.

Closed balls

The closed ball centered at xx with radius r0r \geq 0 is

Bˉ(x,r){yX:d(x,y)r}.\bar{B}(x, r) \coloneqq \{ y \in X : d(x, y) \leq r \}.

The only change from the open ball is \leq instead of <<: points at distance exactly rr are now included.

In R\mathbb{R}, Bˉ(a,r)=[ar,a+r]\bar{B}(a, r) = [a - r,\, a + r] — the closed interval.

Comparing the two

Open ball B(x,r)B(x, r)Closed ball Bˉ(x,r)\bar{B}(x, r)
BoundaryExcludedIncluded
Conditiond(x,y)<rd(x, y) < rd(x,y)rd(x, y) \leq r
Analogue in R\mathbb{R}(ar,a+r)(a-r,\, a+r)[ar,a+r][a-r,\, a+r]

The containment B(x,r)Bˉ(x,r)B(x, r) \subseteq \bar{B}(x, r) always holds. In familiar spaces like Rn\mathbb{R}^n, the closed ball is the topological closure of the open ball — but this need not hold in every metric space.

Punctured balls

Occasionally you will see the punctured open ball

B˙(x,r)B(x,r){x}={yX:0<d(x,y)<r},\dot{B}(x, r) \coloneqq B(x, r) \setminus \{x\} = \{ y \in X : 0 < d(x, y) < r \},

which excludes the center itself. This comes up naturally when defining limits, where you care about points approaching xx but not xx itself.

Why balls matter

Almost every fundamental concept in analysis — open sets, convergence, continuity, compactness — is defined using balls. When you encounter a definition that says “there exists ε>0\varepsilon > 0 such that…”, you are almost certainly looking at a ball in disguise. Getting comfortable with balls now makes every subsequent definition feel natural.

Summary

  • An open ball B(x,r)B(x, r) contains all points at distance strictly less than rr from center xx.
  • A closed ball Bˉ(x,r)\bar{B}(x, r) additionally includes points at distance exactly rr.
  • The shape of a ball depends entirely on the metric; it need not look “round”.
  • A punctured ball B˙(x,r)\dot{B}(x, r) excludes the center and appears in the definition of limits.
  • Balls are the primary tool for making “closeness” precise in any metric space.