www.wikidata.de-de.nina.az
Das Collatz Problem auch als 3n 1 Vermutung bezeichnet ist ein ungelostes mathematisches Problem das 1937 von Lothar Collatz gestellt wurde Es hat Verbindungen zur Zahlentheorie zur Theorie dynamischer Systeme und Ergodentheorie und zur Theorie der Berechenbarkeit in der Informatik Das Problem gilt als notorisch schwierig obwohl es einfach zu formulieren ist Jeffrey Lagarias der als Experte fur das Problem gilt zitiert eine mundliche Mitteilung von Paul Erdos der es als absolut hoffnungslos bezeichnete 1 Inhaltsverzeichnis 1 Problemstellung 1 1 Einleitung 1 2 Mathematische Formulierung der Vermutung 1 2 1 Formulierung der Vermutung mit Hilfe des Bildungsgesetzes 1 2 2 Erlauterungen 1 3 Preisgeld fur die Losung 2 Ursprung und Geschichte 3 Collatz Graph einer Funktion 4 Prinzipielles 4 1 Grundlegende Eigenschaften der Folgen 5 Syracuse Funktion 6 Teillosung von Tao 6 1 Erlauterungen 6 2 Beweis Idee 7 Darstellung im Dualsystem 7 1 Beispiel 8 Verallgemeinerungen 9 Literatur 10 Weblinks 11 EinzelnachweiseProblemstellung BearbeitenEinleitung Bearbeiten nbsp Saulendiagramm Haufigkeit fur Langen von Collatz Folgen 2 Im Diagramm ist der Beitrag zur Haufigkeit nach Startwert eingefarbtBei dem Problem geht es um Zahlenfolgen die nach einem einfachen Bildungsgesetz konstruiert werden Beginne mit irgendeiner naturlichen Zahl n gt 0 displaystyle n gt 0 nbsp Ist n displaystyle n nbsp gerade so nimm als nachstes n 2 displaystyle n 2 nbsp Ist n displaystyle n nbsp ungerade so nimm als nachstes 3 n 1 displaystyle 3n 1 nbsp Wiederhole die Vorgehensweise mit der erhaltenen Zahl Zum Beispiel ergibt sich mit der Startzahl n 19 displaystyle n 19 nbsp die Folge 19 58 29 88 44 22 11 34 17 52 26 13 40 20 10 5 16 8 4 2 1 4 2 1 Die Folge tritt somit in einen Zyklus ein in dem die Zahlen 4 2 1 standig wiederholt werden Die Collatz Vermutung lautet nun Die Zahlenfolge mundet immer in den Zyklus 4 2 1 egal mit welcher positiven naturlichen Zahl man beginnt Diese Vermutung konnte man bislang weder beweisen noch widerlegen Mathematische Formulierung der Vermutung Bearbeiten Formulierung der Vermutung mit Hilfe des Bildungsgesetzes Bearbeiten Bezeichne mit N 1 2 3 displaystyle mathbb N 1 2 3 dots nbsp die naturlichen Zahlen ohne die Null N 0 0 1 2 3 displaystyle mathbb N 0 0 1 2 3 dots nbsp die naturlichen Zahlen mit der Null Sei n N displaystyle n in mathbb N nbsp und Col N N displaystyle operatorname Col colon mathbb N to mathbb N nbsp die Collatz Funktion Col n n 2 wenn n gerade ist 3 n 1 wenn n ungerade ist displaystyle operatorname Col n begin cases frac n 2 amp text wenn n text gerade ist 3n 1 quad amp text wenn n text ungerade ist end cases nbsp Definiere den Collatz Orbit k N 0 displaystyle forall k in mathbb N 0 nbsp Col k n n wenn k 0 Col n wenn k 1 Col Col k 1 n wenn k gt 1 displaystyle operatorname Col k n begin cases n amp text wenn k 0 operatorname Col n amp text wenn k 1 operatorname Col operatorname Col k 1 n quad amp text wenn k gt 1 end cases nbsp Dann lautet die Vermutung Zu jedem n N displaystyle n in mathbb N nbsp existiert ein r N displaystyle r in mathbb N nbsp so dass Col r n 1 displaystyle operatorname Col r n 1 nbsp Erlauterungen Bearbeiten Fur den Orbit Col N n n Col n Col 2 n Col 3 n displaystyle operatorname Col mathbb N n n operatorname Col n operatorname Col 2 n operatorname Col 3 n dots nbsp gilt somit Col 2 n Col Col n displaystyle operatorname Col 2 n operatorname Col operatorname Col n nbsp Col 3 n Col Col Col n displaystyle operatorname Col 3 n operatorname Col operatorname Col operatorname Col n nbsp usw Um die Vermutung zu beweisen muss man fur jedes n displaystyle n nbsp zeigen dass ein solches r displaystyle r nbsp existiert Um die Vermutung zu widerlegen muss man ein n displaystyle n nbsp finden fur das ein solches r displaystyle r nbsp nicht existiert Eine gleichwertige Aussage der Vermutung ist dass das kleinste Element Col min N n inf r N Col r n displaystyle operatorname Col text min mathbb N n inf r in mathbb N operatorname Col r n nbsp jedes Collatz Orbits die Zahl 1 displaystyle 1 nbsp ist Preisgeld fur die Losung Bearbeiten Trotz zahlreicher Anstrengungen gehort diese Vermutung noch immer zu den ungelosten Problemen der Mathematik Mehrfach wurden Preise fur eine Losung ausgelobt 1970 bot H S M Coxeter 50 Dollar fur einen Beweis der Vermutung und 100 Dollar fur ein Gegenbeispiel 3 1982 versprach Bryan Thwaites in der Zeitung The Times 1000 Pfund fur einen Beweis oder eine Widerlegung Angebot 1996 1998 erneuert 4 5 6 7 Paul Erdos bot angeblich 500 Dollar fur eine Losung 8 und sagte uber das Collatz Problem 1 Mathematics is not yet ready for such problems Die Mathematik ist fur solche Probleme noch nicht bereit und Hopeless Absolutely hopeless Hoffnungslos Absolut hoffnungslos Der Mathematiker Richard Guy warnte 1983 vor diesem und drei anderen auch heute noch ungelosten Problemen 9 10 Don t try to solve these problems Versuche nicht diese Probleme zu losen Ursprung und Geschichte BearbeitenDer Ursprung der Collatz Vermutung liegt insofern etwas im Nebel als aus der mutmasslichen Entstehungszeit bisher keine schriftlichen Dokumente mit einer Beschreibung des Problems offentlich zuganglich sind Es wird berichtet dass Collatz das Problem beim Internationalen Mathematikerkongress 1950 in Cambridge Massachusetts mundlich verbreitete 11 Stanislaw Ulam und Shizuo Kakutani die auf diesem Kongress zu Vortragen eingeladen waren stellten das Problem immer wieder in Gesprachen dar und werden deshalb in diesem Zusammenhang haufig genannt Als Lothar Collatz 1952 seine Professur in Hamburg antrat erzahlte er seinem Hamburger Kollegen Helmut Hasse von der Vermutung Dieser verbreitete das Problem wahrend eines Forschungsaufenthalts an der Syracuse University deshalb erhielt das Collatz Problem auch den Namen Syracuse Vermutung Publikationen zur Entstehung und Verbreitung 1971 wurde das Collatz Problem in der gedruckten Version eines 1970 gehaltenen Vortrags von H S M Coxeter zum vermutlich ersten Mal schriftlich veroffentlicht 3 1972 erfuhr Martin Gardner von der Beschaftigung der akademischen Hacker am MIT mit dem 3n 1 Problem 12 und beschrieb es in seiner Kolumne Mathematical Games im Scientific American 13 Die Vermutung wurde durch diese und weitere Veroffentlichungen unter anderem von John Conway 14 inner und ausserhalb von Fachkreisen weithin bekannt 1976 veroffentlichte Riho Terras die ersten wissenschaftlichen Forschungsergebnisse direkt zum Collatz Problem 15 Terras zeigte mit probabilistischen Methoden dassCol min N n lt n displaystyle operatorname Col text min mathbb N n lt n nbsp dd fur fast alle bezuglich der logarithmischen Dichte n N displaystyle n in mathbb N nbsp gilt 16 1985 erschien in der Zeitschrift American Mathematical Monthly ein Uberblicksartikel von Jeffrey Lagarias 17 Lagarias berichtet darin uber Collatz Interesse an zahlentheoretischen Funktionen und Graphentheorie und er zitiert einen Notizbucheintrag vom 1 Juli 1932 in dem Collatz die folgende Permutation der positiven ganzen Zahlen betrachtet g n 2 3 n wenn n 0 mod 3 4 3 n 1 3 wenn n 1 mod 3 4 3 n 1 3 wenn n 2 mod 3 displaystyle g n begin cases tfrac 2 3 n amp text wenn quad n equiv 0 mod 3 tfrac 4 3 n tfrac 1 3 amp text wenn quad n equiv 1 mod 3 tfrac 4 3 n tfrac 1 3 amp text wenn quad n equiv 2 mod 3 end cases nbsp dd Diese Permutation besitzt den Fixpunkt 1 und ausserdem zumindest die Zyklen 2 3 4 5 7 9 6 und 44 59 79 105 70 93 62 83 111 74 99 66 In dem zitierten Notizbucheintrag stellt Collatz die auch heute noch offene Frage ob die mit 8 beginnende g Trajektorie zyklisch wird oder gegen unendlich divergiert 18 11 Die ebenfalls weiterhin offene Frage ob weitere Zyklen existieren ist wie die 3n 1 Vermutung eines der von Guy beschriebenen Probleme die man nicht zu losen versuchen solle 9 19 1985 veroffentlichte Bryan Thwaites eine Mitteilung er habe die Vermutung am 21 Juli 1952 um vier Uhr nachmittags als Aufgabe zur Unterhaltung seiner Schuler gestellt er beanspruchte bereits 1982 die Entdeckung im Jahr 1952 5 20 7 1986 liess Lothar Collatz eine Darstellung seines Entdeckungswegs zur 3n 1 Vermutung ins Chinesische ubersetzen und in einem Journal der Padagogischen Universitat Qufu Shandong China an der er einen Vortrag daruber gehalten hatte veroffentlichen 21 Dies blieb die einzige Veroffentlichung von Collatz zu diesem Problem Nach Terras Publikation 1976 begann nach und nach eine rege wissenschaftliche Beschaftigung mit dem Collatz Problem die mittlerweile weit mehr als hundert Publikationen mit neuen Forschungsergebnissen umfasst Im popularwissenschaftlichen Bereich entstanden neue Bezeichnungen 1979 nannte Douglas R Hofstadter in seinem Buch Godel Escher Bach diejenigen Startzahlen deren Collatz Trajektorie im Zyklus 1 4 2 endet wondrous numbers wundersame Zahlen 22 1984 nannte Brian Hayes die Zahlen von Collatz Folgen in der Kolumne Computer recreations im Scientific American hailstone numbers Hagelschlagzahlen 23 1994 zeigte Ivan Korec dass fur die Anfangswerte S displaystyle S nbsp fast uberall fur den Collatz Algorithmus einen Wert unter S 0 7925 displaystyle S 0 7925 nbsp erreichen 24 2019 zeigte Terence Tao dass die Collatz Vermutung fur die naturlichen Zahlen fast zutrifft siehe Abschnitt Collatz Problem Teillosung von Tao 25 Tao nutzte dabei probabilistische Methoden und zeigte mittels der logarithmischen Dichte dass das Infimum des Collatz Orbits fur die Elemente fast uberall fur jede divergierende Funktion beschrankt ist egal wie langsam diese divergiert zum Beispiel log log log log n displaystyle log log log log n nbsp 26 Collatz Graph einer Funktion Bearbeiten nbsp Ausschnitt aus dem Collatz Graphen zur Collatz FunktionCollatz Beschreibung seiner Motivation der 3n 1 Vermutung ist sehr plausibel 27 Er assoziiert zunachst ganz allgemein zu einer beliebigen Funktion auf den naturlichen Zahlen mit Werten in den naturlichen Zahlen einen gerichteten Graphen der von Lagarias im oben erwahnten Uberblicksartikel Collatz Graph genannt wird Der Collatz Graph einer zahlentheoretischen Funktion f N N displaystyle f colon mathbb N to mathbb N nbsp ist ein gerichteter Graph bestehend aus der Menge der naturlichen Zahlen als Knotenmenge und zu jeder naturlichen Zahl n displaystyle n nbsp einer gerichteten Kante von n displaystyle n nbsp nach f n displaystyle f n nbsp Die einfachste solche Funktion ist die Nachfolgerabbildung s N N s n n 1 displaystyle s colon mathbb N to mathbb N quad s n n 1 nbsp deren Collatz Graph aus einem unendlich langen Weg besteht 1 2 3 4 5 displaystyle 1 to 2 to 3 to 4 to 5 to dotsb nbsp Um mehr Beispiele zu haben suchte er zunachst nach einer moglichst einfachen zahlentheoretischen Funktion deren Collatz Graph einen Kreis enthalt Eine solche Funktion f displaystyle f nbsp muss auf gewissen naturlichen Zahlen n displaystyle n nbsp aufsteigen also die Relation n lt f n displaystyle n lt f n nbsp erfullen und auf anderen naturlichen Zahlen m displaystyle m nbsp absteigen also die Relation m gt f m displaystyle m gt f m nbsp erfullen So stiess er zunachst auf die Funktion die definiert ist durch C 1 n n 2 wenn n gerade ist n 1 wenn n ungerade ist displaystyle C 1 n begin cases n 2 amp text wenn n text gerade ist n 1 quad amp text wenn n text ungerade ist end cases nbsp Den Collatz Graphen dieser Funktion kann man wie folgt beschreiben Die Knoten sind nach Definition die positiven ganzen Zahlen Ist der Knoten k displaystyle k nbsp gerade besitzt k displaystyle k nbsp die beiden Vorgangerknoten k 1 displaystyle k 1 nbsp und 2 k displaystyle 2k nbsp sonst nur 2 k displaystyle 2k nbsp Ausserdem gilt C 1 2 n C 1 C 1 n n 4 wenn n durch 4 teilbar ist n 2 1 wenn n durch 2 aber nicht durch 4 teilbar ist n 1 2 wenn n ungerade ist displaystyle C 1 2 n C 1 C 1 n begin cases frac n 4 amp text wenn n text durch 4 teilbar ist frac n 2 1 amp text wenn n text durch 2 aber nicht durch 4 teilbar ist frac n 1 2 quad amp text wenn n text ungerade ist end cases nbsp Daraus folgt C 1 2 n lt n wenn n gt 2 displaystyle C 1 2 n lt n qquad text wenn n gt 2 nbsp und das hat zur Folge dass der Collatz Graph von C 1 displaystyle C 1 nbsp nur den Kreis 1 2 displaystyle 1 2 nbsp besitzt und dass die C 1 displaystyle C 1 nbsp Trajektorie zu jeder beliebigen Startzahl in diesen Kreis mundet Weil diese Argumentation ziemlich einfach ist suchte Collatz weiter Der Collatz Graph der Funktion C 2 n n 2 wenn n gerade ist 2 n 1 wenn n ungerade ist displaystyle C 2 n begin cases n 2 amp text wenn n text gerade ist 2n 1 quad amp text wenn n text ungerade ist end cases nbsp enthalt keinen Kreis da jede ungerade Zahl auf eine grossere ungerade Zahl abgebildet wird und die C 2 displaystyle C 2 nbsp Trajektorien daher alle gegen unendlich divergieren Der nachste Versuch ist die Collatz Funktion C N N C n n 2 wenn n gerade ist 3 n 1 wenn n ungerade ist displaystyle C colon mathbb N to mathbb N quad C n begin cases n 2 amp text wenn n text gerade ist 3n 1 amp text wenn n text ungerade ist end cases nbsp Folge A006370 in OEIS Zu dieser Funktion fand Collatz nur den trivialen Kreis 1 4 2 displaystyle 1 4 2 nbsp er schrieb er habe seine Ideen deshalb nicht veroffentlicht weil er nicht beweisen konnte dass der triviale Kreis der einzige sei Die Collatz Vermutung ist in graphentheoretischer Formulierung die Vermutung dass der Collatz Graph von C displaystyle C nbsp zusammenhangend ist Prinzipielles Bearbeiten nbsp Die Pfadlange Anzahl der Schritte in Abhangigkeit von den Startzahlen von 1 bis 10 000Fur eine C displaystyle C nbsp Trajektorie als Zahlenfolge kann man drei einander ausschliessende Falle unterscheiden die Folge endet im 1 4 2 Zyklus die Folge wachst uber alle Grenzen die Folge gerat in einen anderen Zyklus Die Vermutung besagt dass nur der erste Fall eintritt aber weder der zweite noch der dritte Fall konnte bisher ausgeschlossen werden Es ist auch nicht bekannt ob es nur endlich viele Zyklen geben kann 28 Da 3 n 1 displaystyle 3n 1 nbsp fur ungerade n displaystyle n nbsp stets gerade ist und somit die folgende Iteration immer die Division durch 2 wird statt der Collatz Funktion C displaystyle C nbsp meistens die etwas einfacher zu handhabende Funktion T N N T n n 2 wenn n gerade ist 3 n 1 2 wenn n ungerade ist displaystyle T colon mathbb N to mathbb N quad T n begin cases n 2 amp text wenn n text gerade ist 3n 1 2 amp text wenn n text ungerade ist end cases nbsp Folge A014682 in OEIS verwendet die also fur ungerade n displaystyle n nbsp zwei C displaystyle C nbsp Iterationen auf einmal macht und den der Vermutung zufolge stets erreichten Zyklus von 1 4 2 auf 1 2 reduziert Die k displaystyle k nbsp fache Abbildung T k displaystyle T k nbsp bildet 2 k m displaystyle 2 k m nbsp auf m displaystyle m nbsp und 2 k m 1 displaystyle 2 k m 1 nbsp auf 3 k m 1 displaystyle 3 k m 1 nbsp ab insbesondere gibt es fur jeden beliebig grossen Faktor Startwerte die die wiederholte Abbildung mit C displaystyle C nbsp oder T displaystyle T nbsp um mindestens diesen Faktor vergrossert Die Collatz Vermutung ist aquivalent zu der Vermutung dass fur alle ganzen Zahlen n gt 1 displaystyle n gt 1 nbsp eine ganze Zahl k gt 0 displaystyle k gt 0 nbsp mit T k n lt n displaystyle T k n lt n nbsp existiert Terras zeigte 1976 dass die asymptotische Dichte der ganzen Zahlen n gt 1 displaystyle n gt 1 nbsp fur die das zutrifft existiert und gleich 1 ist 15 Berechnungen mit Computern ergaben 29 Alle positiven ganzen Zahlen bis 268 ca 2 95 1020 als Startwerte bestatigen die Vermutung Stand Juli 2020 30 Hat die T displaystyle T nbsp Iteration noch einen anderen Zyklus als 1 2 dann muss dieser aus mindestens 10 439 860 591 Zahlen bestehen davon mindestens 6 586 818 670 ungerade 31 Fur unendlich viele positive ganze Zahlen n displaystyle n nbsp sind mindestens 6 143 log n Iterationen mit T displaystyle T nbsp erforderlich um 1 zu erreichen 32 Stochastische Modelle sagen voraus dass durchschnittlich 2 log 4 3 log n 6 952 log n Schritte benotigt werden und dass fur mindestens die Halfte aller Zahlen mindestens so viele T displaystyle T nbsp Iterationen erforderlich sind Fur genugend grosse X displaystyle X nbsp ist die Anzahl der positiven ganzen Zahlen kleiner oder gleich X displaystyle X nbsp die als Startwert die Vermutung bestatigen mindestens X 0 84 displaystyle X 0 84 nbsp 33 nbsp Die Pfadlange Anzahl der Schritte in Abhangigkeit von den Startzahlen von 1 bis 100 000 Erweiterung vom oberen Bild Terence Tao zeigte 2019 dass die Collatz Vermutung fur fast alle naturlichen Zahlen fast zutrifft das heisst man endet mit der Collatzfolge nahe 1 wobei die Schranke fur die Nahe vom Startwert N abhangt 25 26 Beispielsweise folgt aus Taos Satz dass mindestens 99 Prozent der naturlichen Zahlen bis 10 24 displaystyle 10 24 nbsp mit denen man die Collatzfolge startet einen Endwert erreichen der unter 200 liegt Tao benutzte dabei Methoden die er zuvor in der Theorie partieller Differentialgleichungen angewandt hatte indem er statistisch eine Auswahl von Anfangswerten sampelte und dann das Langzeitverhalten des Ensembles unter der Collatztransformation untersuchte Grundlegende Eigenschaften der Folgen Bearbeiten Betrachtet man bei der Anwendung der Collatz Funktion nur ungerade Zahlen kann man mit elementaren Rechnungen einige grundlegende Eigenschaften dieser Abbildung zeigen Ungerade naturliche Zahlen haben bei einer Division durch 4 entweder den Rest 1 oder den Rest 3 Die ungeraden naturlichen Zahlen lassen sich so in zwei disjunkte Teilmengen aufteilen Die eine Teilmenge der ungeraden Zahlen sind die Zahlen der Reihe 4n 1 mit n N 0 displaystyle n in mathbb N 0 nbsp Die andere Teilmenge sind die Zahlen der Reihe 4n 3 mit n N 0 displaystyle n in mathbb N 0 nbsp Wendet man nun auf die Zahlen der ersten Reihe die Collatz Funktion an erhalt man die Zahlen der Reihe 12n 4 Da es sich bei diesen Zahlen immer um gerade Zahlen handelt kann die Collatz Funktion erneut angewendet werden Die Zahlen der Reihe 12n 4 werden also auf die Zahlen der Reihe 6n 2 abgebildet und diese dann auf die Zahlen der Reihe 3n 1 Durch weitere Rechnungen in dieser Art lassen sich die folgenden allgemeinen Eigenschaften der Orbits zeigen Beschrankt man sich bei der Zielmenge der Collatz Funktion oder Teilmengen davon auch auf die ungeraden naturlichen Zahlen so sind die Zahlen dieser Mengen nach den ersten zwei Anwendungen der Collatz Funktion zwei Iterationen weder durch 2 noch durch 3 teilbar Die ungeraden Zahlen der Reihe 4n 1 mit n N 0 displaystyle n in mathbb N 0 nbsp werden nach drei Iterationen auf die kleineren Zahlen der Reihe 3n 1 abgebildet Die Zahlen der Reihe 4n 3 mit n N 0 displaystyle n in mathbb N 0 nbsp werden in den zwei folgenden Iterationen auf die grosseren und ungeraden Zahlen der Reihe 6n 5 abgebildet Nach zwei weiteren Iterationen werden diese Zahlen dann auf die Zahlen der Reihe 9n 8 abgebildet Die Zahlen der Reihe 9n 8 sind abwechselnd gerade und ungerade Die Zahlen der Reihe 8n 3 mit n N 0 displaystyle n in mathbb N 0 nbsp werden nach funf Iterationen auf die Zahlen der Reihe 9n 4 abgebildetAufgrund der oben genannten Eigenschaften ist es bei einer Uberprufung der Collatz Vermutung fur alle naturlichen Zahlen unterhalb einer Schranke M displaystyle M nbsp mit M N displaystyle M in mathbb N nbsp hinreichend sich auf die Zahlen der Reihe 4n 3 die kleiner oder gleich M displaystyle M nbsp sind zu beschranken Die genannten Regeln konnen dazu benutzt werden um bei einer Uberprufung der Collatz Vermutung fur alle naturlichen Zahlen unterhalb einer gegebenen Schranke mit Hilfe von Computerprogrammen Rechenzeit einzusparen In ahnlicher Weise lasst sich auch die etwas allgemeinere Formel herleiten T k 2 k n a 3 c a k n d a k displaystyle T k 2 k n a 3 c a k n d a k nbsp Mit Hilfe der Konstanten c a k displaystyle c a k nbsp und d a k displaystyle d a k nbsp und der genannten Formel kann man somit ohne Ausfuhrung der T displaystyle T nbsp Iterationen das Ergebnis von k Iterationen direkt berechnen Dabei bezeichnet die Konstante c a k displaystyle c a k nbsp die Anzahl aller ungeraden Zahlen die sich wahrend dieser T displaystyle T nbsp Iterationen ergibt Diese Anzahl hangt nur von den zwei Konstanten k displaystyle k nbsp und a displaystyle a nbsp ab Die Konstante d a k displaystyle d a k nbsp ist das Ergebnis von k T displaystyle T nbsp Iterationen angewendet auf die Zahl a displaystyle a nbsp So lasst sich bei der Verwendung von Computerprogrammen ebenfalls Rechenzeit einsparen Fur k 2 displaystyle k 2 nbsp ergeben sich die folgenden Werte fur die beiden benotigten Konstanten c 0 3 2 0 1 1 2 k d 0 3 2 0 1 2 8 3 k 1 displaystyle begin aligned c 0 ldots 3 2 amp 0 1 1 2 k d 0 ldots 3 2 amp 0 1 2 8 3 k 1 end aligned nbsp Fur k 5 displaystyle k 5 nbsp ergeben sich die folgenden Werte c 0 31 5 0 3 2 2 2 2 2 4 1 4 1 3 2 2 3 4 1 2 3 3 1 1 3 3 2 3 2 4 3 3 4 5 k d 0 31 5 0 2 1 1 2 2 2 20 1 26 1 10 4 4 13 40 2 5 17 17 2 2 20 20 8 22 8 71 26 26 80 242 3 k 1 displaystyle begin aligned c 0 ldots 31 5 amp 0 3 2 2 2 2 2 4 1 4 1 3 2 2 3 4 1 2 3 3 1 1 3 3 2 3 2 4 3 3 4 5 k d 0 ldots 31 5 amp 0 2 1 1 2 2 2 20 1 26 1 10 4 4 13 40 2 5 17 17 2 2 20 20 8 22 8 71 26 26 80 242 3 k 1 end aligned nbsp Beispiele zu obiger Formel sind Fur 2 5 n 1 displaystyle 2 5 n 1 nbsp ergeben sich bei 5 T displaystyle T nbsp Iterationen immer 3 ungerade Zahlen 1 iteriert dabei zu 2 1 2 1 2 Somit ergibt sich 3 3 n 2 displaystyle 3 3 n 2 nbsp Fur 2 2 n 1 displaystyle 2 2 n 1 nbsp ergibt sich bei den zwei Iterationen nur eine ungerade Zahl 1 iteriert zu 2 und dann zu 1 Damit ergibt sich wie bereits weiter oben gezeigt das Ergebnis 3 n 1 displaystyle 3n 1 nbsp Fur 2 k n 1 displaystyle 2 k n 1 nbsp ergeben sich k displaystyle k nbsp ungerade Zahlen Das Ergebnis lautet dann 3 k n 1 displaystyle 3 k n 1 nbsp Fur 2 k n 1 displaystyle 2 k n 1 nbsp ergibt sich bei ungeradem k displaystyle k nbsp nach k displaystyle k nbsp T displaystyle T nbsp Iterationen 3 k 1 2 n 2 displaystyle 3 k 1 2 n 2 nbsp Fur 2 k n 1 displaystyle 2 k n 1 nbsp ergibt sich bei geradem k displaystyle k nbsp nach k displaystyle k nbsp T displaystyle T nbsp Iterationen 3 k 2 n 1 displaystyle 3 k 2 n 1 nbsp Die letzten drei Beispiele zeigen dass es fur den Maximalwert der Collatz Folgen keine obere Schranke gibt Ebenso gibt es demnach auch keine obere Schranke fur die Lange einer Collatz Folge Syracuse Funktion BearbeitenDie Syracuse Funktion benannt nach der Syracuse University in New York ist eine mit der Collatz Funktion verwandte Funktion Sei n N displaystyle n in mathbb N nbsp falls n displaystyle n nbsp eine ungerade Zahl ist dann ist 3 n 1 displaystyle 3n 1 nbsp gerade und besitzt eine Primfaktorzerlegung der Form 2 a p 1 e 1 p s e s 2 a k displaystyle 2 a p 1 e 1 cdots p s e s 2 a k nbsp wobei a N displaystyle a in mathbb N nbsp und k displaystyle k nbsp die grosste ungerade Zahl ist welche 3 n 1 displaystyle 3n 1 nbsp ohne Rest teilt Sei 2 N 1 1 3 5 displaystyle 2 mathbb N 1 1 3 5 dots nbsp die Menge der ungeraden Zahlen dann ist die Syracuse Funktion Syr 2 N 1 2 N 1 displaystyle operatorname Syr 2 mathbb N 1 to 2 mathbb N 1 nbsp die Funktion Syr n 3 n 1 2 a k displaystyle operatorname Syr n frac 3n 1 2 a k nbsp Beispielsweise gilt Syr 3 5 displaystyle operatorname Syr 3 5 nbsp Syr 5 1 displaystyle operatorname Syr 5 1 nbsp und Syr 7 11 displaystyle operatorname Syr 7 11 nbsp Fur eine Primzahl p displaystyle p nbsp und M Z displaystyle M in mathbb Z nbsp sei n p M displaystyle nu p M nbsp die p displaystyle p nbsp Bewertung das heisst die grosste Zahl a displaystyle a nbsp so dass p a M displaystyle p a mid M nbsp mit der Konvention n p 0 displaystyle nu p 0 infty nbsp Dann lasst sich Syr n displaystyle operatorname Syr n nbsp auch wie folgt ausdrucken Syr n 3 n 1 2 n 2 3 n 1 displaystyle operatorname Syr n frac 3n 1 2 nu 2 3n 1 nbsp Analog zur Collatz Funktion lasst sich nun auch der Syracuse Orbit Syr N displaystyle operatorname Syr mathbb N nbsp und sein Minimal Element Syr min N displaystyle operatorname Syr text min mathbb N nbsp definieren Die Syracuse Funktion spielt eine zentrale Rolle in Taos Beweis Teillosung von Tao Bearbeiten2019 bewies Tao folgenden Satz 26 Sei f N 1 R displaystyle f mathbb N 1 to mathbb R nbsp eine Funktion mit lim N f N displaystyle lim limits N to infty f N infty nbsp Dann gilt Col min N N lt f N displaystyle operatorname Col text min mathbb N N lt f N nbsp fur fast alle N N 1 displaystyle N in mathbb N 1 nbsp Tao nutzte folgende Notation fur die naturlichen Zahlen mit der Null als N 0 1 2 displaystyle mathbb N 0 1 2 dots nbsp ohne Null als N 1 1 2 displaystyle mathbb N 1 1 2 dots nbsp an ungerader Stelle 2 N 1 1 3 5 displaystyle 2 mathbb N 1 1 3 5 dots nbsp Die Bezeichnung fast alle bezeichnet eine Eigenschaft bezuglich der logarithmischen Dichte Eine schwachere Form als die asymptotische Dichte Erlauterungen Bearbeiten Logarithmische Dichte Sei R N 1 displaystyle R subset mathbb N 1 nbsp eine nicht leere endliche Teilmenge Wir definieren die Zufallsvariable L o g R displaystyle mathbf Log R nbsp welche Werte in R displaystyle R nbsp annimmt und der logarithmischen Gleichverteilung folgt das heisst fur alle A N 1 displaystyle A subset mathbb N 1 nbsp gilt P L o g R A N A R 1 N N R 1 N displaystyle mathbb P mathbf Log R in A frac sum N in A cap R frac 1 N sum N in R frac 1 N nbsp Die logarithmische Dichte von A N displaystyle A subset mathbb N nbsp ist dann definiert als der Grenzwert lim x P L o g N 1 1 x A displaystyle lim limits x to infty mathbb P mathbf Log mathbb N 1 cap 1 x in A nbsp sofern dieser existiert Die logarithmische Dichte von A displaystyle A nbsp ist somit die Wahrscheinlichkeit dass sich der Grenzwert der Zufallsvariable L o g N 1 1 x displaystyle mathbf Log mathbb N 1 cap 1 x nbsp in der Menge A displaystyle A nbsp befindet Beispiele Sei A 2 4 6 8 10 displaystyle A 2 4 6 8 10 dots nbsp und R x N 1 1 x displaystyle R x mathbb N 1 cap 1 x nbsp Dann istlim x P L o g R x A lim x N A R x 1 N N R x 1 N N A 1 N N N 1 1 N 1 2 1 4 1 6 1 8 1 10 1 1 2 1 3 1 4 1 5 1 2 displaystyle lim limits x to infty mathbb P mathbf Log R x in A lim limits x to infty frac sum N in A cap R x frac 1 N sum N in R x frac 1 N frac sum N in A frac 1 N sum N in mathbb N 1 frac 1 N frac frac 1 2 frac 1 4 frac 1 6 frac 1 8 frac 1 10 cdots 1 frac 1 2 frac 1 3 frac 1 4 frac 1 5 cdots frac 1 2 nbsp dd Fast alle Eine Eigenschaft P N displaystyle P N nbsp gilt fur fast alle N N 1 displaystyle N in mathbb N 1 nbsp falls lim x P P L o g N 1 1 x 1 displaystyle lim limits x to infty mathbb P P mathbf Log mathbb N 1 cap 1 x 1 nbsp In Worten ausgedruckt P N displaystyle P N nbsp gilt in einer Teilmenge N N 1 displaystyle N subset mathbb N 1 nbsp mit logarithmischer Dichte 1 displaystyle 1 nbsp Beweis Idee Bearbeiten Der Satz wird fur Syr min N N displaystyle operatorname Syr text min mathbb N N nbsp bewiesen und der Fall fur Col min N displaystyle operatorname Col text min mathbb N nbsp folgt daraus denn es gilt 26 Col min N N Syr min N N 2 n 2 N displaystyle operatorname Col text min mathbb N N operatorname Syr text min mathbb N N 2 nu 2 N nbsp Wir definieren Fur ein a N 1 displaystyle a in mathbb N 1 nbsp und x R displaystyle x in mathbb R nbsp die affine AbbildungAff a x 3 x 1 2 a displaystyle operatorname Aff a x tfrac 3x 1 2 a nbsp dd Fur ein n displaystyle n nbsp Tupel a 1 a n N 1 n displaystyle a 1 dots a n in mathbb N 1 n nbsp die KompositionAff a 1 a n x Aff a n Aff a n 1 Aff a 1 x displaystyle operatorname Aff a 1 dots a n x operatorname Aff a n operatorname Aff a n 1 dots operatorname Aff a 1 x dots nbsp dd Die n displaystyle n nbsp Syracuse Bewertung a n N N 1 n displaystyle vec a n N in mathbb N 1 n nbsp alsa n N n 2 3 N 1 n 2 3 Syr N 1 n 2 3 Syr n 1 N 1 displaystyle vec a n N left nu 2 3N 1 nu 2 3 operatorname Syr N 1 dots nu 2 3 operatorname Syr n 1 N 1 right nbsp dd Daraus folgt Syr N Aff n 2 3 N 1 N displaystyle operatorname Syr N operatorname Aff nu 2 3N 1 N nbsp und Syr n N Aff a n N N displaystyle operatorname Syr n N operatorname Aff vec a n N N nbsp Weiter definieren wir die geometrische Zufallsvariable Geom m displaystyle operatorname Geom mu nbsp mit Erwartungswert m gt 1 displaystyle mu gt 1 nbsp so dass fur alle a N 1 displaystyle a in mathbb N 1 nbsp gilt P Geom m a 1 m m 1 m a 1 displaystyle mathbb P operatorname Geom mu a frac 1 mu left frac mu 1 mu right a 1 nbsp Fur ein zufalliges N 2 N 1 displaystyle N in 2 mathbb N 1 nbsp kann die Anzahl wie oft 3 N 1 displaystyle 3N 1 nbsp durch 2 displaystyle 2 nbsp geteilt werden kann als geometrische Zufallsvariable mit Erwartungswert 2 displaystyle 2 nbsp interpretiert werden P Geom 2 a 2 a displaystyle mathbb P operatorname Geom 2 a 2 a nbsp Es lasst sich folgende Heuristik herleiten Falls N displaystyle N nbsp eine spezielle grosse ungerade Zahl ist und n log N displaystyle n ll log N nbsp bedeutet n displaystyle n nbsp ist viel kleiner als log N displaystyle log N nbsp dann verhalt sich a n N displaystyle vec a n N nbsp wie die Zufallsvariable Geom 2 n displaystyle operatorname Geom 2 n nbsp Genauer Definiere die diskrete totale Variation zweier Zufallsvariablen auf einer diskreten Menge R displaystyle R nbsp als d T V X Y r R P X r P Y r displaystyle d TV X Y sum limits r in R mathbb P X r mathbb P Y r nbsp Nun lasst sich eine obere Schranke fur die totale Variation von a n N displaystyle vec a n N nbsp und Geom 2 n displaystyle operatorname Geom 2 n nbsp finden d T V a n N Geom 2 n 2 c 1 n displaystyle d TV left vec a n N operatorname Geom 2 n right ll 2 c 1 n nbsp wobei c 1 gt 0 displaystyle c 1 gt 0 nbsp eine Konstante bezeichnet Da man nun sehr viel uber die Verteilung von a n N displaystyle vec a n N nbsp weiss lassen sich endliche Stoppzeiten fur Syr N displaystyle operatorname Syr mathbb N nbsp herleiten Darstellung im Dualsystem BearbeitenDa eine Division und Multiplikation von naturlichen Zahlen im Dualsystem besonders einfach durchzufuhren ist kann die Collatz Funktion auch als eine abstrakte Maschine verstanden werden die Zeichenketten von Bits verarbeitet Die Maschine wendet die folgenden drei Regeln auf eine beliebige ungerade Zahl n displaystyle n nbsp im Dualsystem an Fuge rechts an die Binarzahl eine Eins an Das ergibt 2n 1 Addiere die Zahl aus dem ersten Schritt zur ursprunglichen Zahl Das ergibt dann n 2n 1 3n 1 Entferne alle Nullen am rechten Rand der neuen Zahl Das entspricht so vielen Divisionen durch 2 bis das Resultat wieder eine ungerade Zahl ist Beispiel Bearbeiten Man startet mit der dezimalen 7 binar 111 Der resultierende Collatz Orbit lautet dann 111 1111 10110 10111 100010 100011 110100 11011 101000 1011 10000Verallgemeinerungen BearbeitenFur das auf alle ganzen Zahlen als Startwerte ausgeweitete Collatz Problem gibt es ausser dem 1 4 2 Zyklus noch mindestens vier weitere Zyklen 0 1 2 5 14 7 20 10 und 17 50 25 74 37 110 55 164 82 41 122 61 182 91 272 136 68 34 Die drei letzten Zyklen mit positiven statt negativen Vorzeichen entstehen auch mit der Definition C n 3 n 1 displaystyle C n 3n 1 nbsp statt C n 3 n 1 displaystyle C n 3n 1 nbsp fur ungerade n displaystyle n nbsp Alle Startwerte n displaystyle n nbsp mit n lt 10 8 displaystyle n lt 10 8 nbsp enden in einem der bekannten Zyklen 34 Marc Chamberland definierte eine stetige Funktion welche die diskrete Collatz Folge auf den Bereich der reellen Zahlen erweitert 35 Simon Letherman Dierk Schleicher und Reg Wood betrachteten Funktionen im Bereich der komplexen Zahlen als Erweiterung 36 Allgemeine Vermutung C n 3 n 3 x displaystyle C n 3n 3 x nbsp fur ungerade n displaystyle n nbsp endet immer in 4 3 x 2 3 x 1 3 x displaystyle 4 cdot 3 x 2 cdot 3 x 1 cdot 3 x nbsp und besitzt nur diesen einen Zyklus Betrachtet man das analoge 5n 1 Problem so liefern stochastische Modelle ein ganz anderes Verhalten Fast alle Iterierten sollten divergieren was durch Computersimulation bestatigt wird Es ist aber ein offenes Problem zu beweisen dass auch nur ein Orbit des 5n 1 Problems tatsachlich divergiert 37 John Conway betrachtete 1972 14 verallgemeinerte 3n 1 Folgen und zeigte dass sie universale Turingmaschinen simulieren konnen von ihm in der Programmiersprache FRACTRAN verallgemeinert Ausserdem zeigte er dass ein bestimmtes Entscheidungsproblem unlosbar ist das danach fragt ob ein Eingangswert fur die Iteration der eine Potenz von 2 ist zu einem iterierten Wert fuhrt der ebenfalls eine Potenz von 2 ist das Collatz Problem lasst sich auch so formulieren dass fur beliebige naturliche Zahlen als Input die Iterierte schliesslich auf eine Potenz von 2 fuhrt In ihrer 2020 veroffentlichten Arbeit analysieren Sultanow Koch und Cox das Collatz Problem aus graphentheoretischer Sicht 38 Sie betrachten Zyklen fur 3 n 1 displaystyle 3n 1 nbsp und die verallgemeinerte Form k n 1 displaystyle kn 1 nbsp wobei k N gt 0 displaystyle k in mathbb N gt 0 nbsp Das Dokument beinhaltet eine Liste bekannter Zyklen und leitet daraus Bedingungen fur deren Auftreten in Collatz Sequenzen ab Literatur BearbeitenJeffrey C Lagarias The 3x 1 problem and its generalizations The American Mathematical Monthly 92 Januar 1985 S 3 23 englisch 1986 mit dem Lester R Ford Preis ausgezeichnet bei MathDL beim CECM Zentralblatt Rezension Gunther J Wirsching The dynamical system generated by the 3n 1 function Springer Verlag Berlin 1998 ISBN 3 540 63970 5 englisch revidierte Version der Habilitationsschrift von 1996 Zentralblatt Rezension Richard K Guy E16 The 3x 1 problem und E17 Permutation sequences in Unsolved problems in number theory 3 Auflage Springer Verlag New York 2004 ISBN 0 387 20860 7 S 330 336 und S 336 337 englisch Zentralblatt Rezension Jeffrey C Lagarias The 3x 1 problem An annotated bibliography 1963 1999 sorted by author arxiv math 0309224 math NT 2003 2011 englisch Jeffrey C Lagarias The 3x 1 problem An annotated bibliography II 2000 2009 arxiv math 0608208 math NT 2006 2012 englisch Jeffrey C Lagarias Hrsg The ultimate challenge The 3x 1 problem American Mathematical Society Providence RI 2010 ISBN 978 0 8218 4940 8 englisch Zentralblatt Rezension darin Jeffrey C Lagarias The 3x 1 problem An overview PDF 518 kB Buchvorschau S 3 29 englisch Weblinks Bearbeiten nbsp Wikibooks Collatzfolgen und Schachbrett Lern und Lehrmaterialien nbsp Commons Collatz Problem Sammlung von Bildern Videos und Audiodateien Eric W Weisstein Collatz Problem In MathWorld englisch On the 3x 1 problem von Eric Roosendaal ein Distributed computing Projekt das sich mit dem Collatz Problem beschaftigt englisch Collatz Conjecture von Jon Sonntag ein auf BOINC basierendes Projekt das sich mit der Suche nach Gegenbeispielen beschaftigt englisch siehe Collatz Conjecture Das Collatz Problem von Jurgen Dankert Interaktives Skript zum 3n 1 und 3n 1 Problem zum Erzeugen von Folgen mit beliebig grossen Startzahlen Terence Tao The Collatz conjecture Littlewood Offord theory and powers of 2 and 3 25 August 2011 Paul J Andaloro The 3x 1 problem and directed graphs PDF 3 8 MB Fibonacci Quarterly 40 2002 englisch The Simplest Math Problem No One Can Solve Veritasium auf YouTube englisch Einzelnachweise Bearbeiten a b Lagarias The 3x 1 problem An overview 2010 S 16 Mathematics is not yet ready for such problems und S 24 Hopeless Absolutely hopeless englisch Folge A005186 in OEIS a b H S M Coxeter Cyclic sequences and frieze patterns The fourth Felix Behrend memorial lecture Vinculum 8 1971 S 4 7 englisch Nachdruck mit Kommentar in Lagarias Hrsg The ultimate challenge The 3x 1 problem 2010 S 211 218 Vermutung auf S 214 Zentralblatt Rezension PHS The Times Diary Sums of money The Times 61228 17 Juli 1982 S 8 und The Times Diary Aftermath The Times 61320 25 August 1982 S 8 a b C Williams B Thwaites A van der Poorten W Edwards L Williams Ulam s conjecture continued again PPC Calculator Journal 9 September 1982 S 23 24 englisch Bryan Thwaites Two conjectures or how to win 1100 The Mathematical Gazette 80 Marz 1996 S 35 36 englisch a b Bryan Thwaites Try to Win auf nrich 10 Marz 1998 englisch Lagarias The 3x 1 problem and its generalizations 1985 S 4 englisch a b Richard K Guy Don t try to solve these problems American Mathematical Monthly 90 1983 S 35 41 englisch doi 10 1080 00029890 1983 11971148 Zentralblatt Rezension Nachdruck in Lagarias Hrsg The ultimate challenge The 3x 1 problem 2010 S 231 239 Darren Glass MAA Review zu Lagarias Hrsg The ultimate challenge The 3x 1 problem 2010 MathDL 31 Marz 2011 englisch a b Lagarias The 3x 1 problem An overview 2010 S 5 englisch ITEM 133 Schroeppel Gosper Henneman amp Banks aus M Beeler R W Gosper R Schroeppel HAKMEM MIT AI Memo 239 29 Februar 1972 englisch Martin Gardner Mathematical Games Scientific American 226 Juni 1972 S 114 118 englisch Nachdruck mit Kommentar in Wheels life and other mathematical amusements W H Freeman and Company New York 1983 ISBN 0 7167 1588 0 S 196 197 und 203 204 a b J H Conway Unpredictable Iterations in Proceedings of the 1972 Number Theory Conference University of Colorado Boulder Colorado 1972 S 49 52 englisch Zentralblatt Rezension Nachdruck in Lagarias Hrsg The ultimate challenge The 3x 1 problem 2010 S 219 223 a b Riho Terras A stopping time problem on the positive integers PDF 632 kB 24 Oktober 1974 Acta Arithmetica 30 1976 S 241 252 englisch Zentralblatt Rezension dazu Riho Terras On the existence of a density PDF 132 kB 27 Juli 1978 Acta Arithmetica 35 1979 S 101 102 englisch Zentralblatt Rezension Riho Terras A stopping time problem on the positive integers In Acta Arithmetica Band 30 1976 S 241 252 Lagarias The 3x 1 problem and its generalizations 1985 englisch Lagarias The 3x 1 problem and its generalizations 1985 S 3 englisch Guy E17 Permutation sequences 2004 englisch Bryan Thwaites My conjecture Bulletin of The Institute of Mathematics and its Applications 21 Marz April 1985 S 35 41 englisch Zentralblatt Rezension Lothar Collatz Uber die Entstehung des 3n 1 Problems Journal of Qufu Normal University Natural Science Edition 12 No 3 1986 S 9 11 chinesische Ubersetzung aus dem Deutschen von Zhi Ping Ren On the motivation and origin of the 3n 1 problem in Lagarias Hrsg The ultimate challenge The 3x 1 problem 2010 S 241 247 englische Ubersetzung aus dem Chinesischen Douglas R Hofstadter Godel Escher Bach an Eternal Golden Braid Basic Books New York 1979 ISBN 0 465 02685 0 S 400 402 englisch Brian Hayes Computer recreations On the ups and downs of hailstone numbers PDF 1 1 MB Scientific American 250 Januar 1984 S 10 16 englisch A density estimate for the3x 1problem Abgerufen am 23 Dezember 2020 a b Kevin Hartnett Mathematician proves huge result on dangerous problem Quanta Magazine 11 Dezember 2019 englisch a b c d Terence Tao Almost all orbits of the Collatz map attain almost bounded values 2019 arxiv 1909 03562 englisch Gunther J Wirsching Uber das 3n 1 Problem Elemente der Mathematik 55 November 2000 doi 10 5169 seals 5637 S 142 155 Zentralblatt Rezension Lagarias The 3x 1 problem An overview 2010 S 22 englisch Lagarias The 3x 1 problem An overview 2010 S 16 17 englisch Eric Roosendaal On the 3x 1 problem In EricR nl 20 Juli 2020 abgerufen am 27 Juli 2020 englisch Shalom Eliahou The 3x 1 problem new lower bounds on nontrivial cycle lengths Discrete Mathematics 118 August 1993 S 45 56 doi 10 1016 0012 365X 93 90052 U englisch Resultat unter Verwendung der Gultigkeit der Vermutung bis 20 258 Zentralblatt Rezension David Applegate Jeffrey C Lagarias Lower bounds for the total stopping time of 3x 1 iterates Mathematics of Computation 72 April 2003 S 1035 1049 englisch Zentralblatt Rezension Ilia Krasikov Jeffrey C Lagarias Bounds for the 3x 1 problem using difference inequalities Acta Arithmetica 109 2003 S 237 258 englisch Zentralblatt Rezension Guy E16 The 3x 1 problem 2004 S 332 englisch Marc Chamberland A continuous extension of the 3x 1 problem to the real line PDF 159 kB Dynamics of continuous discrete and impulsive dynamical systems 2 1996 S 495 509 englisch Zentralblatt Rezension Simon Letherman Dierk Schleicher Reg Wood The 3n 1 problem and holomorphic dynamics Experimental Mathematics 8 1999 S 241 251 englisch Lagarias The 3x 1 problem An overview 2010 S 11 und S 22 Eldar Sultanow Christian Koch Sean Cox Collatz Sequences in the Light of Graph Theory doi 10 25932 publishup 48214 PDF 1354 kB Universitat Potsdam 2020 Normdaten Sachbegriff GND 4768879 8 lobid OGND AKS Abgerufen von https de wikipedia org w index php title Collatz Problem amp oldid 239377888