Limitsshape

Limitsshape is a concept in geometry and related disciplines that describes the limiting form of a family of shapes under a specified convergence criterion. It is used to formalize the intuition that, as a parameter varies, a sequence or continuous family of shapes approaches a stable geometric form.

Definition: Let {S_t} be a family of compact shapes in a metric space equipped with a convergence notion (for example, Hausdorff distance for compact sets or Gromov-Hausdorff convergence for metric spaces). The limitsshape L is a shape to which S_t converges as t approaches a limit, if such L exists. The limit is unique up to the chosen equivalence (isometry or similarity).

Construction: To identify the limitsshape, one demonstrates convergence of shape descriptors (boundaries, support functions, or curvature) and proves the limit corresponds to a well-defined shape. Computational approaches include normalization, alignment, and estimation of the convergence metric.

Properties: Existence depends on compactness and continuity properties of the family; uniqueness follows from the enforced equivalence; limitsshape is typically invariant under the symmetry group used in the convergence.

Examples: A sequence of regular polygons with increasing sides converges to a circle under Hausdorff limit. In digital imaging, smoothing a boundary over iterations often yields a stable limitsshape that minimizes curvature.

Applications: used in geometric modeling, pattern recognition, computer graphics, and material science to study asymptotic forms. See also Hausdorff limit, Gromov-Hausdorff convergence, shape analysis.