Vermutung von Pólya

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche
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.

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.

Aussage[Bearbeiten | Quelltext bearbeiten]

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 sich alternativ auch mit Hilfe der summatorischen Liouville-Funktion formulieren und 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[Bearbeiten | Quelltext bearbeiten]

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[Bearbeiten | Quelltext bearbeiten]

  1. G. Pólya: Verschiedene Bemerkungen zur Zahlentheorie. In: Jahresbericht der deutschen Math.-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 (Hrsg.): Mathematics of Computation. 14, Nr. 72, 1960, S. 311–320. doi:10.2307/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.

Weblinks[Bearbeiten | Quelltext bearbeiten]