Vermutung von Pólya

Die Vermutung von Pólya bezeichnet eine Vermutung aus dem mathematischen Fachgebiet der Zahlentheorie. Sie besagt, dass die Mehrheit der natürlichen Zahlen bis zu einer beliebig vorgegebenen Grenze Zahlen mit ungerade vielen Primfaktoren sind. Die Vermutung wurde 1919 von dem ungarischen Mathematiker George Pólya aufgestellt[1], jedoch im Jahre 1958 widerlegt. Die Pólya-Vermutung ist ein Beispiel dafür, dass eine mathematische Aussage, die für zahlreiche kleine Zahlen zutrifft, dennoch aufgrund eines (verhältnismäßig großen) Gegenbeispiels insgesamt falsch sein kann.

Summatorische Liouville-Funktion L(n) im Bereich bis n = 107. Die ins Auge fallenden Oszillationen stehen in Zusammenhang mit der ersten nicht-trivialen Nullstelle der Riemannschen Zeta-Funktion.
Eine Ausschnittsvergrößerung zeigt die summatorische Liouville-Funktion L(n) im Bereich um das Auftreten des ersten Gegenbeispiels zur Vermutung von Pólya.
Die summatorische Liouville-Funktion L(n) bis n = 2 × 109 in doppelt-logarithmischem Maßstab. Der grüne Balken zeigt das Versagen der Vermutung; die blaue Kurve zeigt den oszillatorischen Beitrag der ersten Riemann-Nullstelle.

Aussage

Genauer besagt die Vermutung von Pólya Folgendes: Zu einer gegebenen natürlichen Zahl () teile man die natürlichen Zahlen von 1 bis einschließlich in zwei Mengen auf, nämlich diejenigen mit ungerade vielen Primfaktoren einerseits und die mit gerade vielen Primfaktoren andererseits. Dann enthält die erste dieser beiden Mengen mindestens so viele Zahlen wie die zweite. Hierbei werden mehrfach auftretende Primfaktoren auch entsprechend mehrfach gezählt, so dass beispielsweise eine gerade Anzahl von Faktoren hat, nämlich Stück, wohingegen drei, also ungerade viele Faktoren hat. Die 1 hat keinen einzigen Primfaktor, also eine gerade Anzahl.

Die Vermutung lässt s​ich alternativ a​uch mit Hilfe d​er summatorischen Liouville-Funktion formulieren u​nd besagt dann, dass

für alle gilt. Hierbei ist positiv, wenn gerade viele Primfaktoren hat, und negativ, wenn es ungerade viele sind. Die Omega-Funktion gibt die Anzahl der Primfaktoren einer natürlichen Zahl an.

Widerlegung

Im Jahr 1958 bewies C. B. Haselgrove erstmals, dass die Vermutung von Pólya falsch ist, indem er die Existenz eines Gegenbeispiels mit zeigte.[2]

Ein erstes explizites Gegenbeispiel, nämlich gab 1960 R. Sherman Lehman an;[3] das tatsächlich kleinste Gegenbeispiel fand Minoru Tanaka 1980.[4]

Die Vermutung von Pólya trifft für die meisten im Bereich von 906.150.257 bis 906.488.079 nicht zu. Die Liouville-Funktion wächst hier auf positive Werte von bis zu 829 (für ).

Einzelnachweise
  1. G. Pólya: Verschiedene Bemerkungen zur Zahlentheorie. In: Jahresbericht der Deutschen Mathematiker-Vereinigung. 28, 1919, S. 31–40.
  2. C.B. Haselgrove: A disproof of a conjecture of Pólya. In: Mathematika. 5, 1958, S. 141–145. doi:10.1112/S0025579300001480.
  3. R. S. Lehman: On Liouville’s function. In: Mathematics of Computation, Vol. 14, No. 72, 1960, S. 311–320, doi:10.2307/2003890, JSTOR 2003890
  4. M. Tanaka: A Numerical Investigation on Cumulative Sum of the Liouville Function. In: Tokyo Journal of Mathematics. 3, Nr. 1, 1980, S. 187–189. doi:10.3836/tjm/1270216093.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.