Processus d'adjonction de points limites, de points idéaux ou d'une structure de bord à un espace topologique ou géométrique pour obtenir un espace compact qui encode le comportement « à l'infini » et permet des arguments fondés sur la compacité.

Principe

Introduire des ajouts minimaux ou structurés (points, bouts, strates de bord) et une topologie rendant l'espace étendu compact tout en reflétant les propriétés de convergence ou d'extension pertinentes des fonctions, mesures ou flot sur l'espace initial.

Démonstration

La compactification par un point de R^n ajoute un point à l'infini et rend l'espace résultant homéomorphe à S^n ; en géométrie algébrique, la compactification projective plonge une variété affine dans l'espace projectif de sorte que les limites de familles polynomiales correspondent à des points sur le diviseur ajouté à l'infini. Scénario illustratif : utiliser la compactification pour extraire des mesures limites d'une suite de translatés en reconnaissant que toute suite a désormais un point d'accumulation dans l'espace compactifié.

Mauvaise application

Supposer qu'une compactification choisie préserve la structure métrique, lisse ou algébrique sans vérification ; par exemple, traiter la compactification par un point comme préservant la structure différentiable sur des variétés non compactes ou attendre d'une compactification qu'elle soit unique ou canonique pour tous les usages.

Conséquence

Une compactification correcte fournit un cadre pour appliquer des théorèmes de compacité (Arzelà–Ascoli, Prokhorov, Rellich), étudier des invariants asymptotiques et traduire l'« échappement à l'infini » en phénomènes de bord analysables et classifiables.

Inversion

L'inverse est la décompactification ou la suppression des points idéaux : se concentrer sur la variété ou l'espace non compact d'origine et étudier le comportement sans ajouter de points limites, affrontant ainsi la non-compactité dans les estimations fonctionnelles ou les preuves d'existence.

Limite

Couvre les compactifications topologiques, métriques, géométriques et algébriques mais exclut les complétions purement formelles qui n'encoderont pas la géométrie asymptotique ; toutes les propriétés (p. ex. lissité, métrisabilité) ne survivent pas à toute compactification et les choix doivent être explicites.

Tension sémantique

Tension entre différentes compactifications (un point vs Stone–Čech vs projective vs borélienne) dont les objectifs divergent : compacité topologique minimale versus préservation de structures algébriques ou analytiques — il faut choisir selon le problème.

Synthèse

La compactification est l'élargissement délibéré d'un espace par l'ajout de points limites/idéaux et d'une topologie de sorte que des suites ou familles qui fuiraient vers l'infini aient des limites, permettant des techniques basées sur la compacité tout en reconnaissant les compromis sur les structures conservées.