Une technique classique fondée sur les limites qui approxim e les aires, volumes ou autres quantités géométriques en construisant des suites croissantes de figures inscrites et des suites décroissantes de figures circonscrites dont les mesures convergent vers la quantité désirée, établissant ainsi des valeurs exactes par passage à la limite.

Principe

Construire des suites monotones (inscrit ≤ cible ≤ circonscrit) d'ensembles plus simples dont les mesures convergent et serrent la quantité inconnue entre elles ; le contrôle de la monotonie et de l'erreur garantit que les deux suites ont la même limite, laquelle définit la valeur exacte recherchée.

Démonstration

Approcher l'aire d'un cercle par des polygones réguliers inscrits à n côtés (aire croissante) et par des polygones réguliers circonscrits (aire décroissante) ; montrer que les deux suites convergent vers la même limite quand n→∞ fournit la valeur de l'aire du cercle sans recourir au calcul intégral.

Mauvaise application

Utiliser des familles d'approximation non monotones ou mal contrôlées de sorte que l'argument d'encadrement échoue ; ou supposer que la méthode s'applique sans vérifier la convergence des mesures, ce qui peut conduire à des conclusions erronées lorsque les ensembles sont pathologiques ou que les mesures sont mal définies.

Conséquence

Fournit des fondations classiques rigoureuses pour déterminer des quantités géométriques et sous-tend les formalismes ultérieurs de l'intégration et de la théorie de la mesure ; elle donne des preuves constructives basées sur des epsilon de l'existence de limites utilisées dans les calculs d'aires et de volumes.

Inversion

Remplacer l'exhaustion par des approximations non emboîtées arbitraires ou un échantillonnage ponctuel sans enclosure monotone ; de telles inversions renoncent au principe d'encadrement et ne conduisent en général pas à des limites exactes, produisant au mieux des valeurs heuristiques ou approximatives.

Limite

Efficace pour des objets géométriques compacts et réguliers où existent des approximations inscrites/circonscrites monotones et où les mesures sont bien définies ; elle convient moins aux ensembles fractals, non mesurables ou fortement pathologiques sans outillage technique supplémentaire.

Tension sémantique

Se rapporte à l'intégration de Riemann et à la théorie moderne de la mesure ; la tension vient du fait que l'exhaustion est constructive et géométrique, tandis que les approches basées sur l'intégration traitent des classes plus larges de fonctions et d'ensembles de manière plus systématique mais avec moins d'intuition purement géométrique.

Synthèse

La méthode d'exhaustion réalise des quantités géométriques exactes en serrant la cible entre des approximations monotones intérieures et extérieures ; le contrôle de la convergence fournit des limites rigoureuses qui annoncent les constructions mesurées et intégrales modernes.