Wie ich lernte, die projektive Ebene zu lieben
Making Peace with the Projective Plane
Projektive Räume und homogene Koordinaten wirkten auf John D. Cook als Student wie willkürliche Abstraktionen, weil niemand ihre Motivation erklärte. Erst viel später erkannte er: Sie sind fast unvermeidlich. Sonderfälle und schwammige Verweise auf Objekte „im Unendlichen“ verschwinden, sobald man zur projektiven Ebene übergeht. Statt Abstraktionen voranzustellen, plädiert er heute für einen Bottom-up-Ansatz – und zeigt, wie Programmierer beim Umgang mit dem „Punkt im Unendlichen“ ganz nebenbei auf homogene Koordinaten stoßen.
Meine mathematische Ausbildung war sehr top-down: erst die Abstraktionen, später die konkreten Fälle (wenn überhaupt).
- lopotubez
Da man zeigen kann, dass es eine Bijektion zwischen Geraden durch den Ursprung und Punkten auf der projektiven Ebene gibt, bedeutet das: Wenn man Scharen paralleler Geraden auf der projektiven Ebene verfolgt, entspricht das der horizontalen Geraden durch den Ursprung bzw. dem „Punkt im Unendlichen“. Sie hat auch dieselbe Richtung wie die parallelen Geraden.
Ich stelle mir das vor, wenn ich mich hinlege und denke, mein Arm sei der 1-dimensionale Unterraum und die Decke die projektive Ebene: Wenn ich Scharen paralleler Geraden verfolge, landen sie alle auf derselben Geraden (ich weiß, das klingt dumm, aber es ist für mich eine einfache Art der Visualisierung).
Das macht auch klar, woher die allgemeine Geradengleichung kommt. Stell dir dieselbe Gerade durch den Ursprung [a:b:c] und eine andere Gerade vor, vermutlich senkrecht dazu, [x:y:z]. Dann kann man mit Pythagoras zeigen, dass ax + by + cz = 0 gilt, was genau die Ebene senkrecht zu [a:b:c] ist. Wenn man sich diese Ebene ebenfalls horizontal vorstellt, entspricht das dem „Horizont im Unendlichen“. Die allgemeine Geradengleichung aX + bY + c = 0 ist einfach der Schnitt mit der projektiven Ebene in homogenen Koordinaten (X,Y,1), für X = x/z und Y = y/z, z != 0. Punkte in der projektiven Ebene entsprechen Geraden durch den Ursprung, und Geraden in der projektiven Ebene entsprechen Ebenen durch den Ursprung.
Ich frage mich immer, warum die projektive Ebene nicht die „Standard“-Ebene ist, die in der Schule gelehrt wird, wo die Realität doch scheinbar projektiv ist.
- nh23423fefe
Das einzige Mal, dass ich Anwendungen der projektiven Geometrie verstanden habe, war, als ich Rotationen und Translationen mit Exponentialen von Bivektoren vereinheitlicht gesehen habe. Homogene Koordinaten verstehe ich immer noch nicht. Ich verstehe, wie f(lambda*x)=lambda^n*f(x) gilt und dass das bedeutet, f sei so etwas wie ein Homomorphismus, aber ich habe noch nie Übungsaufgaben gelöst und verstanden, warum man das überhaupt machen würde. Ich verstehe, was eine stereografische Projektion ist, kann sie aber nicht auf Probleme anwenden.
Wohingegen ich ständig Anwendungen anderer mathematischer Objekte sehe, über die ich gelernt habe. Ich höre mich nie denken: „Oh ja, das ist projektiv, und deshalb ...“
- xeonmc
Ich habe mich immer gefragt, warum man es nicht einfach „Richtungsraum“ oder „betragslose Koordinaten“ nennt.