La procédure d'adjoindre les limites de suites ou réseaux de Cauchy, ou de filtres de Cauchy plus généraux, à un objet métrique, uniforme ou algébrique afin d'obtenir un objet complet ; exemples courants : complétion de Cauchy des espaces métriques et complétion I-adique des anneaux.

Principe

La complétion est un procédé universel produisant un objet complet muni d'une inclusion dense (ou initiale) de l'original ; elle est souvent caractérisée comme un adjoint à gauche ou à droite (réflecteur ou coréflecteur) selon le contexte et l'ordonnancement des conditions de complétude.

Démonstration

Exemple : la complétion de Cauchy des rationnels donne les nombres réels en adjoignant les limites de suites de Cauchy ; en géométrie algébrique la complétion I-adique d'un anneau le complète pour la topologie définie par les puissances d'un idéal, influençant la convergence des séries formelles.

Mauvaise application

Supposer que la complétion préserve des suites exactes, des propriétés de finitude ou autres sans vérification (ce n'est pas nécessairement exact), ou compléter pour une topologie inappropriée peut détruire une structure algébrique ou catégorique importante.

Conséquence

La complétion fournit des modèles complets canoniques où les limites existent et le comportement de Cauchy converge ; elle permet des méthodes analytiques, la géométrie formelle et le passage aux complétions qui reflètent des phénomènes locaux ou limites.

Inversion

L'idée inverse est la localisation/inversion : au lieu d'ajouter des limites on peut quotienter ou inverser des éléments pour simplifier la structure ; conceptuellement complétion et localisation jouent souvent des rôles complémentaires (limites versus dénominateurs).

Limite

La complétion dépend d'une notion choisie de Cauchy ou d'une topologie ; toutes les complétions ne sont pas bien comportées algébriquement et elles peuvent ne pas préserver des propriétés comme la noethérianité ou la présentation finie sans hypothèses supplémentaires.

Tension sémantique

Tension entre voir la complétion comme clôture par limites (analytique/topologique) et comme procédé formel algébrique (complétion adique) ; les confondre masque des différences en exactitude, continuité et préservation des invariants algébriques.

Synthèse

La complétion adjoint universellement les points-limites manquants requis pour la convergence de Cauchy, produisant un objet complet contenant l'original de façon dense ; son comportement algébrique ou analytique dépend de la topologie choisie et des hypothèses de finitude.