Das Kefk Network Wiki befindet sich im Testbetrieb.

Projektiver Raum

Aus Kefk.

Wechseln zu: Navigation, Suche
Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf bitte mit, ihn zu verbessern, und entferne anschließend diese Markierung.

Der Abschnitt "Motivation" ist verwirrend. In \mathbb CP^1 schneiden sich auch nicht parallele (reelle) Geraden erneut in ∞, und in der reellen projektiven Ebene gibt es nicht einen Punkt ∞, sondern jeweils einen unendlich fernen Punkt für jede Klasse paralleler Geraden.--80.136.129.85 10:42, 13. Apr. 2007 (CEST)

Der projektive Raum ist ein grundlegender Begriff sowohl der Differentialgeometrie als auch der algebraischen Geometrie.

Inhaltsverzeichnis

Motivation für die Konstruktion

Betrachtet man zwei Geraden in der Ebene, besagt das Parallelenaxiom der euklidischen Geometrie, dass diese sich genau dann schneiden, wenn sie nicht parallel zueinander sind. Umgangssprachlich oder intuitiv spricht man davon, dass parallele Geraden sich "im Unendlichen" schneiden. Der projektive Raum ist die mathematische Formalisierung dieser Idee: Man fügt der Ebene noch einen Punkt "\infty" hinzu, welcher der Schnittpunkt der beiden parallelen Geraden wird.

Erste Definition

Wir definieren zunächst die sog. "komplex-projektive Gerade" \mathbb C P^1, welche der obigen Motivation entspricht und gehen anschließend auf Verallgemeinerungen ein. "Gerade" heißt hierbei komplexe Gerade, d.h. ein reell-zweidimensionales Objekt.

Die komplex-projektive Gerade ist definiert als die Menge der komplexen Geraden in \mathbb C^2, welche durch den Ursprung (0, 0) \in \mathbb C^2 gehen.

Für spätere Zwecke ist folgende explizitere Definition zweckmäßig: Betrachte die Menge aller geordneten Paare (z_0, z_1) \in \mathbb C^2, (z_0, z_1) \neq (0, 0), sowie die folgende Äquivalenzrelation: (z0,z1) und (w0,w1) werden als äquivalent angesehen, genau dann wenn sie durch Multiplikation mit einer komplexen Zahl auseinander hervorgehen, d.h. wenn es \lambda \in \mathbb C \setminus \{ 0 \} gibt, so dass z_i = \lambda \cdot w_i, i = 1,2. Anders ausgedrückt, sie werden als äquivalent angesehen, wenn sie auf derselben komplexen Geraden durch den Ursprung (0,0) liegen. Indem man äquivalente Punkte nicht mehr unterscheidet (sondern sie miteinander "identifiziert"), erhält man also die obige Definition wieder. Die (z0,z1) heißen homogene Koordinaten (siehe auch projektive Geometrie).

Die Korrespondenz zur ursprünglichen Motivation ist wie folgt gegeben: Wir fassen die Ebene als Menge der komplexen Zahlen auf. Einem Punkt der Ebene, d.h. einer komplexen Zahl z ordnen wir die komplexe Gerade \{(\lambda \cdot z, 1)\} zu. Dem Punkt \infty ordnen wir die Gerade {(0,λ)}) zu. λ ist hierbei eine variable komplexe Zahl, die die Gerade parametrisiert.

Die komplex-projektive Gerade kann man auch als die reell-zweidimensionale Sphäre

S^2=\{(x, y, z) \in \mathbb R^3, x^2+y^2+z^2=1 \}

auffassen. Die Übereinstimmung mit obigen Begriffen ergibt sich wie folgt: Bezeichne N = (0, 0, 1) \in S^2 den "Nordpol". Betrachte die sog. stereographische Projektion

f : S^2 \setminus \{ N \} \rightarrow \mathbb R^2 \cong \mathbb C,

welche durch (x, y, z) \mapsto \left(\frac{x}{1-z}, \frac{y}{1-z} \right) gegeben ist. Anschaulich legt man durch (x,y,z) und den Nordpol eine (reelle) Gerade und wählt den Schnittpunkt dieser Geraden mit der Ebene als Bildpunkt der Abbildung. Die Korrespondenz zwischen S2 und \mathbb C P^1 ist nun durch (x, y, z) \neq (0, 0, 1) \mapsto f\big((x, y, z)\big) \in \mathbb C, (0, 0, 1) \mapsto \infty gegeben.

Allgemeinere Definition und Eigenschaften

Obige Definition lässt sich wie folgt auf höhere Dimensionen verallgemeinern: Der komplex-projektive Raum der Dimension n \mathbb C P^n wird definiert als Menge der komplexen Geraden durch den Ursprung in \mathbb C^{n+1} oder als (\mathbb C^{n+1} \setminus \{(0, ..., 0) \}) / \equiv, wobei die Äquivalenzrelation \equiv gegeben ist durch (z_0, ..., z_n) \equiv (w_0, ..., w_n) genau dann, wenn es eine komplexe Zahl \lambda \neq 0 gibt, so dass z_i = \lambda \cdot w_i, i = 0,...,n gilt.

Geht man anstelle der komplexen Zahlen von reellen Zahlen aus, erhält man den sog. reell-projektiven Raum \mathbb R P^n.

  • Die reellen und komplexen projektiven Räume sind kompakte Mannigfaltigkeiten. Die oben erwähnten Abbildungen sind Abbildungen von Mannigfaltigkeiten.
  • Der projektive Raum ist ein Beispiel für eine nicht affine algebraische Varietät bzw. ein nicht affines Schema. Im algebraisch-geometrischen Kontext kann man anstelle der reellen oder komplexen Zahlen jeden beliebigen Körper oder Ring einsetzen.
  • Untermannigfaltigkeiten bzw. -varietäten des projektiven Raums werden als projektive Mannigfaltigkeiten bzw. projektive Varietäten bezeichnet.

Siehe auch

Projektive Geometrie

Wikipedia
 Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Projektiver_Raum, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.
Von „http://kefk.org/wiki/Projektiver_Raum“
Persönliche Werkzeuge