---
tag: 0C9CMCN9BQ
kind: concept
name: Contractive sequence
msc: [40A05]
sources:
  - url: https://en.wikipedia.org/wiki/Contraction_mapping
    locator: lead section
---

## Summary

A contractive sequence is a real sequence whose steps shrink at least by a fixed factor less than $1$. Such a sequence is Cauchy, so it converges. The node [[contractive sequence|0CZRT49QNG]] gives the precise definition.