Ohne Beschränkung der Allgemeinheit

Ohne Beschränkung der Allgemeinheit, abgekürzt o. B. d. A., ist eine in mathematischen Beweisen vorkommende Formulierung. Darüber hinaus wird auch die Formulierung ohne Einschränkung der Allgemeinheit (o. E. d. A.) oder kurz ohne Einschränkung (o.E. oder als Ligatur Œ) verwendet.

Mit diesen Formulierungen wird zum Ausdruck gebracht, dass eine Einschränkung (z. B. des Wertebereichs einer Variablen) nur zur Vereinfachung der Beweisführung vorausgesetzt wird (insbesondere zur Verringerung der Schreibarbeit), ohne dass die Gültigkeit der im Anschluss getroffenen Aussagen in Bezug auf die Allgemeinheit darunter leidet. Der Beweis wird nur für einen von mehreren möglichen Fällen geführt. Dies geschieht unter der Bedingung, dass die anderen Fälle in analoger Weise bewiesen werden können (z. B. bei Symmetrie).

Durch o. B. d. A. können auch triviale Sonderfälle übergangen werden.

Beispiel

Zwischenwertsatz von Bolzano

Satz: Eine im Intervall $[a,b]$ stetige Funktion $f$ mit der Eigenschaft $f(a)$ · $f(b)<0$ besitzt in $[a,b]$ mindestens eine Nullstelle.

Beweis: Aus $f(a)$ · $f(b)<0$ folgt, dass $f(a)$ und $f(b)$ nicht Null sind und verschiedene Vorzeichen haben. O. B. d. A. betrachten wir den Fall $f(a)<0$ und $f(b)>0$.

… (für diesen Fall folgt nun der Beweis)

Man kann erkennen, dass in dieser Beweisführung der andere Fall $f(a)>0$ und $f(b)<0$ auch abgedeckt ist, indem man einfach $f$ durch $-f$ ersetzt. Dass die Allgemeinheit dadurch nicht beschränkt wird, folgt aus drei Eigenschaften:

1. Ist $f$ stetig, dann auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle -f} .
2. Sind die Funktionswerte von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} an den Intervallgrenzen nicht Null und von verschiedenem Vorzeichen, dann gilt dies auch für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle -f} .
3. Die Nullstellen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle -f} stimmen überein.

Literatur

• Albrecht Beutelspacher: Das ist o. B. d. A. trivial!. Vieweg+Teubner Verlag, 9. Auflage (2009), ISBN 3-834-80771-0

Weblinks

Wiktionary: o. B. d. A. – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen