MathGloss

A descending sequence EnnN{E_n}_{n\in\mathbb N} of nonempty subsets of a metric space XX is contracting if the limit of the diameters goes to zero. That is, limndiam(En)=0.\lim_{n\to \infty} \text{diam}(E_n) = 0.

Wikidata ID: Q1131116