Abschätzung

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 A ist eine andere Größe B, wenn gezeigt werden kann, dass gilt: B\ge A.

Entsprechend nennt man B eine untere Abschätzung für A, wenn mit Sicherheit gilt B\le A.

Dabei ist A (oft auch B) in der Regel ein Ausdruck, der von anderen Größen abhängig ist. Die Bedingung muss dann unabhängig von diesen im gesamten Definitionsbereich gültig sein. 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 Finden einer Abschätzung kann für sich genommen schon interessant sein, es wird aber oft als Hilfsmittel zum Beweis von Ungleichungen benutzt. Man macht sich dabei die Transitivität der Größer-/ Kleiner-Beziehung zu Nutze.

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

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

Beispiele

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

Abschätzungen sind beispielsweise die Grundlage für Divergenzbeweise mit dem Minorantenkriterium wie dem für \sum_{i=2}^{\infty} \frac{1}{i} mithilfe der Minorante \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 A = \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \cdots + \frac{1}{k} jede beliebig große natürliche Zahl N durch Wahl eines geeigneten k übertreffen kann.

Dazu bildet man eine andere Summe B von Stammbrüchen, bei dem jedem Summanden in A mit dem Nenner 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 A.

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

A \frac{1}{2} \frac{1}{3} \frac{1}{4} \frac{1}{5} \frac{1}{6} \frac{1}{7} \frac{1}{8} \frac{1}{9} \frac{1}{10} \frac{1}{11} \frac{1}{12} \frac{1}{13} \frac{1}{14} \frac{1}{15} \frac{1}{16} \frac{1}{17} \frac{1}{18}
B \frac{1}{2} \frac{1}{4} \frac{1}{4} \frac{1}{8} \frac{1}{8} \frac{1}{8} \frac{1}{8} \frac{1}{16} \frac{1}{16} \frac{1}{16} \frac{1}{16} \frac{1}{16} \frac{1}{16} \frac{1}{16} \frac{1}{16} \frac{1}{32} \frac{1}{32}
Zusammenfassung von Summanden \frac{1}{2} \frac{1}{2} \frac{1}{2} \frac{1}{2} usw.

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


Beispiel 2. Für beliebige beschränkte und reellwertige funktionen f und g mit gleichem Definitionsbereich D gilt

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: 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 x_1 := \arg\max_{x\in D} f(x) und x_2 := \arg\max_{x\in D} g(x); ferner sei o.B.d.A. f(x) \geq g(x) (kann durch Umbenennung erreicht werden).

Sicher ist g(x_1) \leq g(x_2). Damit folgt

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

g(x) = f(x) + \epsilon

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


Wikimedia Foundation.

Synonyme:

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Abschätzung — Abschätzung, s. Taxation …   Meyers Großes Konversations-Lexikon

  • Abschätzung — Abschätzung,die:⇨Schätzung(1) AbschätzungBeurteilung,Schätzung,Bewertung,Begutachtung;geh.:Taxierung …   Das Wörterbuch der Synonyme

  • Abschätzung — Einschätzung; Bewertung; Beurteilung; Gutachten; Begutachtung; Urteil * * * Ạb|schät|zung 〈f. 20〉 das Abschätzen ● unter Abschätzung der Risiken handeln * * * Ạb|schät|zung, die; , en: das ↑ …   Universal-Lexikon

  • Abschätzung — įvertinimas statusas T sritis automatika atitikmenys: angl. assessment; estimation; evaluation vok. Abschätzung, f; Bewertung, f; Schätzung, f; Wertung, f rus. оценивание, n; оценка, f pranc. estimation, f; évaluation, f …   Automatikos terminų žodynas

  • Abschätzung — įvertinimas statusas T sritis Standartizacija ir metrologija apibrėžtis Išvadų, remiantis atliktų tyrimų rezultatais, padarymas. atitikmenys: angl. assessment; estimation; evaluation vok. Abschätzung, f; Bewertung, f rus. оценка, f pranc.… …   Penkiakalbis aiškinamasis metrologijos terminų žodynas

  • Abschätzung — įvertinimas statusas T sritis Standartizacija ir metrologija apibrėžtis Procedūra, kai remiantis imtimi skirstinio (pasirinkto aibės modeliu) parametrams priskiriamos skaitinės vertės. atitikmenys: angl. estimation vok. Abschätzung, f rus. оценка …   Penkiakalbis aiškinamasis metrologijos terminų žodynas

  • Abschätzung — įvertinimas statusas T sritis fizika atitikmenys: angl. estimation; evaluation vok. Abschätzung, f; Wertung, f rus. оценка, f pranc. estimation, f; évaluation, f …   Fizikos terminų žodynas

  • Abschätzung — įvertinimas statusas T sritis Kūno kultūra ir sportas apibrėžtis Gebėjimas kiekybės ir kokybės požiūriu spręsti, kiek turinys ir metodai atitinka kriterijų; aukščiausias pažinimo gebėjimų lygis. atitikmenys: angl. appraisal; evaluation vok.… …   Sporto terminų žodynas

  • Abschätzung — įvertinimas statusas T sritis Kūno kultūra ir sportas apibrėžtis Pažinimo vyksmas, kuriuo nusprendžiama, kad kas nors yra gera arba teisinga. atitikmenys: angl. appraisal; evaluation vok. Abschätzung, f; Beurteilung, f; Bewertung, f; Wertung, f… …   Sporto terminų žodynas

  • Abschätzung — įvertinimas statusas T sritis Kūno kultūra ir sportas apibrėžtis Procedūra, kuria stebėjimų ir matavimų rezultatai lyginami su normomis ir kriterijais, kad būtų pateikiamos rekomendacijos, galinčios turėti poveikio tolesniems sprendimams.… …   Sporto terminų žodynas

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”