Abschätzung

Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Bitte hilf mit, die Mängel dieses Artikels zu beseitigen, und beteilige dich bitte an der Diskussion! (Artikel eintragen)

Obere Abschätzung und untere Abschätzung sind mathematische Fachbegriffe für Hilfsgrößen im Zusammenhang mit Ungleichungen.

Eine obere Abschätzung für eine Größe ${\displaystyle A}$ ist eine andere Größe ${\displaystyle B}$, wenn gezeigt werden kann, dass gilt: ${\displaystyle B\geq A}$.

Entsprechend nennt man ${\displaystyle B}$ eine untere Abschätzung für ${\displaystyle A}$, wenn gezeigt werden kann, dass gilt: ${\displaystyle B\leq A}$.

Dabei ist ${\displaystyle A}$ (oft auch ${\displaystyle B}$) in der Regel ein Ausdruck, der von anderen Größen abhängig ist. Die Abschätzung kann es dann auch sein; die Bedingung muss unabhängig von den anderen Größen im gesamten Definitionsbereich gelten. Hier kommen bei Bedarf Überlegungen der Art zum Einsatz, wie sie in der Intervallarithmetik – etwa bei der Fehlerrechnung – angewandt werden.

Der Begriff „Abschätzung“ bedeutet in diesem Zusammenhang also keinen Verzicht an Zuverlässigkeit. Er hat mit dem gängigen Begriff des Schätzens nur insofern zu tun, als die Abschätzung von dem „abgeschätzten“ Wert abweichen kann – unter Umständen sogar sehr weit, solange es nur in die richtige Richtung erfolgt.

Verwendung

Das Abschätzen wird als Hilfsmittel zum Beweis von Ungleichungen verwendet. Man macht sich dabei die Transitivität der Größer-/Kleiner-Als-Relation zu Nutze.

Kennt man für ${\displaystyle A}$ eine obere Abschätzung ${\displaystyle B}$, kann man den Beweis von ${\displaystyle A\leq C}$ auf den Beweis für ${\displaystyle B\leq C}$ zurückführen; auch kann man damit den Beweis von ${\displaystyle A<C}$ auf den Beweis von ${\displaystyle B<C}$ zurückführen. Entsprechend kann man ${\displaystyle A>C}$ oder ${\displaystyle A\geq C}$ zeigen, wenn ${\displaystyle B}$ eine untere Abschätzung für ${\displaystyle A}$ ist, und ${\displaystyle B>C}$ bzw. ${\displaystyle B\geq C}$ gezeigt werden kann.

Scheitert dieser Ansatz mit einem bestimmten ${\displaystyle B}$, ist dadurch die zu beweisende Ungleichung nicht widerlegt; möglicherweise braucht man nur eine strengere Abschätzung, weil die verwendete zu weit von ${\displaystyle A}$ abweicht.

Beispiele

Allgemeine Beispielgruppe. Im Prinzip ist jede zahlenmäßige „worst-case“-Angabe, wie sie auch im Alltag vorkommt, eine Art untere oder obere Abschätzung.

Beispiel 1. Abschätzungen sind beispielsweise die Grundlage für Divergenzbeweise mit dem Minorantenkriterium wie dem für ${\displaystyle \sum _{i=2}^{\infty }{\frac {1}{i}}}$ mithilfe der Minorante ${\displaystyle \sum _{i=2}^{\infty }{\frac {1}{2^{\lceil log_{2}(i)\rceil }}}}$. Anschaulich dargestellt überlegt man sich dabei Folgendes:

Es soll gezeigt werden, dass man mit einer Summe fortlaufender Stammbrüche ${\displaystyle A={\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{4}}+{\frac {1}{5}}+\cdots +{\frac {1}{k}}}$ jede beliebig große natürliche Zahl ${\displaystyle N}$ durch Wahl eines geeigneten ${\displaystyle k}$ übertreffen kann.

Dazu bildet man eine andere Summe ${\displaystyle B}$ von Stammbrüchen, bei dem jedem Summanden in ${\displaystyle A}$ mit dem Nenner ${\displaystyle i}$ ein Summand mit der nächsten nicht kleineren Zweierpotenz entspricht. Da der Nenner in der neuen Summe gleich oder größer dem entsprechenden Nenner in der ursprünglichen ist, ist der Bruch gleich oder kleiner, und damit auch die gesamte Summe (gleich oder) kleiner. Sie ist eine untere Abschätzung von ${\displaystyle A}$.

Die Abschätzung ist nun aber so gewählt, dass man immer endliche Teilstücke der Reihe zu ½ zusammenfassen kann:

Wählt man ${\displaystyle k=2^{2N+1}}$, so hat man ${\displaystyle 2N+1}$ solche Teilstücke; ${\displaystyle B}$ summiert sich also auf ${\displaystyle N+{\frac {1}{2}}}$. Somit ist ${\displaystyle A}$ erst recht größer als ${\displaystyle N}$.

Beispiel 2. Für beliebige beschränkte und reellwertige Funktionen f und g mit gleichem Definitionsbereich ${\displaystyle D}$ gilt

${\displaystyle A:=|\max _{x\in D}f(x)-\max _{x\in D}g(x)|\leq \max _{x\in D}|f(x)-g(x)|=:B}$,

d. h. der Abstand der Maxima zweier Funktionen kann immer nach oben abgeschätzt werden durch das Maximum des Abstands der Funktionswerte. Obwohl diese Abschätzung nicht unmittelbar einleuchtend sein muss, ist der Beweis sehr einfach. Bemerkenswert ist, dass an f und g außer der Beschränktheit (damit die Maxima angenommen werden) und dem gemeinsamen Definitionsbereich nichts weiter vorausgesetzt wird: ${\displaystyle A\leq B}$ gilt also z. B. für stetige Funktionen auf einem Kompaktum (die immer beschränkt sind), aber auch für unstetige Funktionen, etwa diskrete Funktionen, solange sie beschränkt sind.

Beweis. Setze ${\displaystyle x_{1}:=\arg \max _{x\in D}f(x)}$ und ${\displaystyle x_{2}:=\arg \max _{x\in D}g(x)}$; ferner sei o. B. d. A. ${\displaystyle f(x)\geq g(x)}$ (kann durch Umbenennung erreicht werden).

Sicher ist ${\displaystyle g(x_{1})\leq g(x_{2})}$. Damit folgt

${\displaystyle A=|f(x_{1})-g(x_{2})|=f(x_{1})-g(x_{2})\leq f(x_{1})-g(x_{1})=|f(x_{1})-g(x_{1})|\leq \max _{x\in D}|f(x)-g(x)|=B}$.

Diese Abschätzung ist scharf (d. h. in gewissen Fällen tritt Gleichheit auf), wie das Beispiel

${\displaystyle g(x)=f(x)+\varepsilon }$

zeigt: Hier ist ${\displaystyle A=\varepsilon =B}$ (Achtung: Dass eine Abschätzung scharf ist, bedeutet nicht, dass die Abschätzung so fein wie möglich ist; betrachte dazu das Beispiel ${\displaystyle 0\leq x^{2}}$ und ${\displaystyle 0\leq x^{2}+x^{4}}$: beide Abschätzungen sind scharf, aber von unterschiedlicher Feinheit).