## [Bertrands Postulat](/de/node/62957) Definition Die Aussage, dass für jede ganze Zahl n > 1 mindestens eine Primzahl p mit n < p < 2n existiert; anders gesagt gibt es stets eine Primzahl strikt zwischen n und 2n. ## Prinzip Prinzip Die ordnende Idee ist eine einheitliche lokale Existenzbehauptung über Primzahlen in kurzen Intervallen: kein Intervall [n, 2n] für n > 1 ist primfrei, was eine minimale Regelmäßigkeit der Primverteilung widerspiegelt. ## Demonstration Demonstration Konkretes Beispiel: n = 10 hat Primzahlen zwischen 10 und 20 wie 11, 13, 17, 19, also gilt das Postulat für dieses n; für n = 3 liegt die Primzahl 5 zwischen 3 und 6. ## Fehlanwendung Fehlanwendung Fehlanwendung ist die Folgerung, es gebe für alle n genau eine Primzahl in (n, 2n), oder die Anwendung auf nichtganzzahlige oder nichtpositive n; das Postulat garantiert Existenz, aber weder Eindeutigkeit noch Dichte. ## Konsequenz Konsequenz Richtig angewandt liefert Bertrands Postulat nützliche Schranken in kombinatorischen Identitäten und Ungleichungen (z. B. für Binomialkoeffizienten) und ist ein Werkzeug zum Konstruieren von Primzahlen in vorgegebenen Bereichen. ## Umkehrung Umkehrung Die Umkehrung würde behaupten, einige Intervalle (n, 2n) enthielten keine Primzahlen; das widerspräche dem Postulat und würde arbiträr große Primlücken proportional zu n erlauben und viele kombinatorische Argumente ändern. ## Abgrenzung Abgrenzung Geltungsbereich: gilt für ganze Zahlen n > 1. Es liefert nicht die Anzahl der Primzahlen im Intervall, deren genaue Größe jenseits der Schranken oder präzise asymptotische Häufigkeiten wie der Primzahlsatz. ## Semantische Spannung Semantische Spannung Spannung besteht zwischen dieser diskreten Existenzbehauptung und stärkeren analytischen Ergebnissen: Bertrand gibt eine absolute Kurzstreckengarantie, während Resultate wie der Primzahlsatz mittlere Dichten und asymptotische Zählungen behandeln. ## Synthese Synthese Bertrands Postulat ist eine konkrete Existenzgarantie: Für jede ganze Zahl größer als eins gibt es mindestens eine Primzahl streng zwischen n und 2n; es liefert minimale Regelmäßigkeit, die viele elementare kombinatorische und zahlentheoretische Konstruktionen stützt, ohne Dichte auszusagen.