Mathe für Nichtmathematiker
Wednesday, July 29th, 2009 | Author: Konrad Voelkel
Kürzlich habe ich mal versucht NichtmathematikerInnen zu erklären, was ich da eigentlich so mache (in meinem Mathematikstudium).
Da ich algebraische Geometrie benutze, wollte ich versuchen die Intuition zu vermitteln, was ein Schema ist oder wieso man in diese Richtung denkt. Das versuche ich jetzt also einmal in geschriebener Form:
Stell dir einen Kreis mit Radius vor, also die Menge aller Punkte, die vom Mittelpunkt des Kreises genau den Abstand haben. In der -Ebene lässt sich ein Kreis, dessen Mittelpunkt der Ursprung ist, leicht beschreiben, denn der Abstand vom Nullpunkt ist für einen Punkt gegeben durch die Formel . Der Kreis wird dann beschrieben durch die Menge , dabei bedeutet ganz einfach, dass ein Punkt in der Ebene ist, dessen Koordinaten und reelle Zahlen sind, also z.B. oder auch usw. Jetzt schreibe ich die Menge noch ein kleines bisschen anders:
, man überzeuge sich davon, dass dies die selbe Menge von Punkten in der Ebene ist.
Wir haben also gesehen, dass sich ein Kreis in der Ebene durch eine Gleichung beschreiben lässt, genaugenommen durch das Polynom und seine Nullstellen (die Nullstellen dieses Polynoms sind genau die Lösungen der Gleichung, also genau die Punkte auf dem Kreis). Die Frage, die man sich jetzt als Mathematiker stellt, ist die: Was passiert, wenn ich in das Polynom nicht nur reelle Zahlen einsetze sondern z.B. nur ganze Zahlen? Die Nullstellen des Polynoms in den ganzen Zahlen sind eine Teilmenge von , und sie liegen auf einem Kreis. Wenn der Radius ist, gibt es z.B. nur genau Lösungen, d.h. vier Punkte auf diesem "ganzzahligen Kreis" (man macht sich das vielleicht am leichtesten an einer Zeichung klar).
Das Selbe funktioniert im Wesentlichen auch mit anderen durch Gleichungen definierbaren geometrischen Objekten, z.B. einer Kugeloberfläche (man stelle sich eine Seifenblase vor) oder einem Torus (d.h. eine Donut-Oberfläche). Nun geht man noch einen kleinen Schritt weiter und "verklebt" die Lösungsmengen von solchen Polynomen miteinander. Mathematisch heisst das, man bildet einen topologischen Raum, der lokal so aussieht wie die Nullstellen von Polynomen.
So, wenn jemand Feedback zur Verständlichkeit hätte oder Vorschläge, was man noch so erklären könnte, wäre ich sehr dankbar!