Diameter

The supremum of distances between pairs of points in a set.
Diameter

Let (X,d)(X,d) be a metric space and let AXA\subseteq X. The diameter of AA is

diam(A):=sup{d(x,y):x,yA}[0,].\operatorname{diam}(A):=\sup\{d(x,y): x,y\in A\}\in[0,\infty].

(If the set of distances is unbounded, the supremum is ++\infty.)

Diameter measures the “size” of a set in terms of its maximal pairwise separation. It is used in compactness and completeness arguments (e.g., nested closed sets with diameters 0\to 0).

Examples:

  • In R\mathbb{R}, diam([a,b])=ba\operatorname{diam}([a,b])=b-a.
  • In R2\mathbb{R}^2, the diameter of the closed unit disk B(0,1)\overline{B}(0,1) is 22.
  • In R\mathbb{R}, diam(Z)=+\operatorname{diam}(\mathbb{Z})=+\infty.