Eine klassische auf Grenzwerten basierende Technik, die Flächen, Volumina oder andere geometrische Größen approximiert, indem sie wachsende Folgen von eingeschriebenen Figuren und fallende Folgen von umschriebenen Figuren konstruiert, deren Maße gegen die gewünschte Größe konvergieren und so exakte Werte mittels Limes feststellen.

Prinzip

Bilde monotone Folgen (eingeschrieben ≤ Ziel ≤ umschrieben) einfacher Mengen, deren Maße konvergieren und die unbekannte Größe zwischen sich einklemmen; Kontrolle von Monotonie und Fehler gewährleistet, dass beide Folgen denselben Grenzwert besitzen, der den gesuchten exakten Wert definiert.

Demonstration

Nähern Sie die Fläche eines Kreises durch eingeschriebene regelmäßige n-Ecke (wachsende Fläche) und durch umschriebene regelmäßige n-Ecke (fallende Fläche); der Beweis, dass beide Folgen für n→∞ gegen denselben Grenzwert konvergieren, liefert den Flächenwert ohne Rückgriff auf die Integralrechnung.

Fehlanwendung

Nicht-monotone oder schlecht kontrollierte Approximationsfamilien zu verwenden, so dass das Einklemmen-Argument fehlschlägt; oder anzunehmen, die Methode sei anwendbar, ohne zu prüfen, ob Maße konvergieren, was zu falschen Schlüssen bei pathologischen Mengen oder schlecht definierten Maßen führen kann.

Konsequenz

Liefer t rigorose klassische Grundlagen zur Bestimmung geometrischer Größen und bildet die Grundlage späterer Formalisierungen von Integration und Maßtheorie; sie liefert konstruktive Epsilon-Beweise für die Existenz von Grenzwerten, die in Flächen- und Volumenberechnungen benutzt werden.

Umkehrung

Die Exhaustionsmethode durch beliebige nicht-verschachtelte Approximationen oder punktuelle Stichproben ohne monotone Einschließung zu ersetzen; solche Umkehrungen verzichten auf das Einklemmenprinzip und führen im Allgemeinen nicht zu exakten Grenzwerten, sondern bestenfalls zu heuristischen oder approximativen Werten.

Abgrenzung

Wirksam bei kompakten, regulären geometrischen Objekten, für die monotone eingeschriebene/umschriebene Approximationen existieren und die Maße wohl definiert sind; weniger geeignet für fraktale, nicht messbare oder stark pathologische Mengen ohne zusätzliche technische Apparate.

Semantische Spannung

Steht in Beziehung zur Riemann-Integration und zur modernen Maßtheorie; die Spannung besteht darin, dass Exhaustion konstruktiv und geometrisch ist, während Integrationsansätze systematischer größere Klassen von Funktionen und Mengen behandeln, aber weniger rein geometrische Intuition bieten.

Synthese

Die Methode der Exhaustion realisiert exakte geometrische Größen, indem sie das Ziel zwischen monotone innere und äußere Approximationen einklemmt; die Kontrolle der Konvergenz liefert rigorose Grenzwerte, die den Weg zur modernen Maß- und Integraltheorie bereiten.