Julia-Mengen...

...also, das kam so: Ich habe dieses Bild im Zwischennetz gefunden und mich gefragt, was es wohl darstellen soll.Hat jemand eine Idee? Nein? Okay, das habe ich mir gedacht.

Das Bild zeigt Fraktale, und damit ihr nicht behauptet, in diesem Blog gäb es nur unnützes Zeug zu lesen, kommt hier die Erklärung, was es mit diesen hier abgebildeten Fraktalen auf sich hat. Also, aufgepasst:

Zur Erklärung diesers Bildes benötigt man komplexe Zahlen. Wer mit komplexen Zahlen nicht vertraut ist, sollte einfach nur wissen, daß komplexe Zahlen eine Möglichkeit bieten, Punkte der Ebene zu addieren und multiplizieren.

(Wen die mathematischen Details interessieren: jeder Punkt in der Ebene wird durch zwei Größen charakterisiert, nämlich den Radius, d.h. Abstand vom Nullpunkt, und den Winkel zwischen Radius und x-Achse. Die Multiplikation zweier als komplexer Zahlen aufgefaßter Punkte erfolgt dann durch Multiplikation der Radien und Addition der Winkel.
Und die Addition komplexer Zahlen ist die übliche Vektor-Addition.

Zum Beispiel ist der Punkt (0,1), auch als komplexe Zahl i bezeichnet, der Punkt mit Radius 1 und Winkel 90 Grad. Wenn ich i mit i multipliziere, multiplizieren sich die Radien und addieren sich die Winkel, ich erhalte also Radius 1 und Winkel 180 Grad. Dies entspricht dem Punkt (0,-1), also der komplexen Zahl -1.)

Wenn man eine Funktion f hat, kann man sich anschauen, wie sich eine komplexe Zahl z bei wiederholter Anwendung von f verhält, d.h. wir untersuchen die Folge z, f(z), f(f(z)), f(f(f(z))) usw.

Als ein besonders einfaches Beispiel betrachte man etwa die Funktion f(z)=z². Für einen komplexe Zahl z untersuchen wir also die Folge z, f(z)=z², f(f(z))=z⁴, f(f(f(z)))=z⁸ usw. Für z=1 etwa erhält man 1,1,1,1,..., für z=-1 erhält man -1,1,1,1,..., für z=i erhält man i,-1,1,1,...Wenn man aber zum Beispiel z=2 einsetzt erhält man die Folge 2,4,8,16,... die 'gegen Unendlich' geht. Und wenn man z=1/2 einsetzt, erhält man die Folge 1/2,1/4,1/8,1/16,... die gegen Null geht.

Man kann sich im Beispiel f(z)=z² leicht überlegen, daß, immer wenn man für z eine komplexe Zahl mit Radius größer 1 einsetzt, die Folge z, f(z), f(f(z)), f(f(f(z))),... gegen Unendlich geht. (Einfach, weil die Folge der Radien gegen Unendlich geht.)

Wenn man dagegen für z eine komplexe Zahl mit Radius höchstens 1 einsetzt, dann werden auch z²,z⁴,z⁸,... wieder Radius höchstens 1 haben. Die Folge bleibt also im Inneren der Kreisfläche vom Radius 1 'gefangen'.

Allgemein bezeichnet man nun für ein Polynom f als Gefangenenmenge die Menge der komplexen Zahlen z, für die die Folge z, f(z), f(f(z)), f(f(f(z))),... in einer Kreisfläche (von endlichem Radius) gefangen bleibt, und als Fluchtmenge die Menge der komplexen Zahlen z, für die die Folge z, f(z), f(f(z)), f(f(f(z))),... gegen Unendlich geht.

Im Fall von f(z)=z² ist also die Gefangenmenge von f die Menge aller komplexen Zahlen mit Radius höchstens 1, und die Fluchtmenge von f ist die Menge aller komplexen Zahlen mit Radius größer 1.

Als Julia-Menge von f bezeichnet man dann einfach den Rand der Gefangenenmenge.

Für f(z)=z² ist das einfach der Kreis vom Radius 1, also kein kompliziertes Bild. Es war aber schon in den 20er Jahren durch Arbeiten von Gaston Julia bekannt, das für andere Funktionen viel kompliziertere fraktale Mengen erhalten werden.

Die Arbeiten von Julia und Fatou waren unter Mathematikern durchaus gut bekannt. Große Popularität erlangten sie aber erst, als es 60 Jahre später durch den Einsatz von Computern möglich wurde, Julia-Mengen auch in graphisch anspruchsvoller Form darzustellen. Das Bild im Titel stellt z.B. die Julia-Menge von f(z)=z⁵+0,70365...+0,2301...i dar. (Quelle:Wikipedia) Das Schwarze ist die Fluchtmenge, das Bunte die Gefangenenmenge, die Julia-Menge ist der Rand des bunten Gebiets. (Von den Farben sollte man sich nicht verwirren lassen, sie dienen vor allem der graphischen Verschönerung.)

Die Möglichkeit von Computerexperimenten hat nicht nur zu schönen Bildern, sondern auch zur Aufdeckung vieler tiefliegender Zusammenhänge geführt, deren Beweise auch Entwicklungen in der Reinen Mathematik angestoßen haben. Ein aktuelles Resultat (2005) stammt z.B. von Xavier Buff und Arnaud Cheritat und besagt, daß es quadratische Polynome gibt, für die die Julia-Menge (also der RAND der Gefangenenmenge) positiven Flächeninhalt hat.

So, nu seid ihr platt, oder? Aber keine Angst, diese Erklärungen kommen nicht aus meinem Kopf, sondern aus dem Zwischennetz. Finde ich schon irgendwie beeindruckend, dass es Menschen gibt, die diese Erklärungen verstehen...