## [Mertens-Satz](/de/node/61284) Definition Eine Sammlung klassischer asymptotischer Aussagen über das durchschnittliche Wachstum bestimmter multiplikativer Summenfunktionen: insbesondere die Produktidentität product_{p ≤ x}(1 - 1/p) ~ e^{-γ}/log x und verwandte asymptotische Aussagen über logarithmische Summen der Kehrwerte von Primzahlen; historische Vermutungen zur Möbius-Summationsfunktion sind von diesen bewiesenen Aussagen zu unterscheiden. ## Prinzip Prinzip Euler-Produkte und harmonische Summen über Primzahlen erzeugen beim Abschneiden logarithmische Terme und Konstanten (mit der Eulerschen Konstante γ), so dass multiplicative Normalisierungsfaktoren als explizite Konstanten in Asymptotiken erscheinen. ## Demonstration Demonstration Die Mertens-Produktformel besagt, dass das endliche Produkt über Primzahlen bis x von (1 - 1/p) asymptotisch wie e^{-γ}/log x verläuft; äquivalent wachsen bestimmte logarithmische Summen über Primzahlen wie log log x plus eine Konstante. ## Fehlanwendung Fehlanwendung Die historische Mertens-Vermutung über die Möbius-Summationsfunktion (|M(x)| ≤ √x für große x) als wahr anzunehmen oder die Produktaussagen ohne analytische Rechtfertigung auf uniforme Fehlerabschätzungen auszuweiten, ist Missbrauch. ## Konsequenz Konsequenz Diese Asymptotiken liefern Standardnormalisierungen für Euler-Produkte, liefern Abschätzungen in der Siebtheorie und analytischen Zahlentheorie und klären die Rolle der Eulerschen Konstanten in Primzahlsummen-Asymptotiken. ## Umkehrung Umkehrung Statt Primzahlsummen-Asymptotiken zur Normalisierung von Produkten zu verwenden, kann man Produktformen annehmen, um Aussagen über die Primverteilung herzuleiten oder Konstanten zu rekonstruieren — das erfordert jedoch unabhängige Kontrolle der Fehlerterme. ## Abgrenzung Abgrenzung Die Aussagen sind asymptotisch für x→∞ und betreffen Summen und Produkte über Primzahlen oder multiplikative Funktionen; sie implizieren keine starken punktweisen Schranken für die Möbius-Summationsfunktion und lösen nicht allein tiefere Vermutungen wie die Riemannsche Vermutung. ## Semantische Spannung Semantische Spannung Häufig besteht Verwechslung zwischen bewiesenen Mertens-artigen Asymptotiken (Produkte und logarithmische Summen) und der widerlegten Mertens-Vermutung über die Möbius-Funktion; die Spannung liegt zwischen unbedingten Grenzwertformeln und punktweisen, spekulativen Ungleichungen. ## Synthese Synthese Mertens' Aussagen fassen zusammen, wie abgeschnittene Euler-Produkte und harmonische Primzahlsummen logarithmisches Wachstum plus spezifische Konstanten erzeugen und damit kanonische Normalisierungen in der analytischen Zahlentheorie liefern, verschieden von stärkeren historischen Vermutungen über Möbius.