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 stetige Funktion mit der Eigenschaft · besitzt in mindestens eine Nullstelle.

Beweis: Aus · folgt, dass und nicht Null sind und verschiedene Vorzeichen haben. O. B. d. A. betrachten wir den Fall und .
… (für diesen Fall folgt nun der Beweis)

Man kann erkennen, dass in dieser Beweisführung der andere Fall und auch abgedeckt ist, indem man einfach durch ersetzt. Dass die Allgemeinheit dadurch nicht beschränkt wird, folgt aus drei Eigenschaften:

  1. Ist stetig, dann auch .
  2. Sind die Funktionswerte von an den Intervallgrenzen nicht Null und von verschiedenem Vorzeichen, dann gilt dies auch für .
  3. Die Nullstellen von und stimmen überein.

Literatur

  • Albrecht Beutelspacher: Das ist o. B. d. A. trivial!. Vieweg+Teubner Verlag, 9. Auflage (2009), ISBN 3-834-80771-0
Wiktionary: o. B. d. A. – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.