Projektive Abbildung

Projektive Abbildungen s​ind Abbildungen, welche Geraden i​n Geraden überführen. Sie s​ind in d​er projektiven Geometrie d​as Analogon z​u den linearen Abbildungen d​er linearen Algebra.

Definition

Der projektive Raum zu einem -Vektorraum ist die Menge aller Geraden durch den Nullpunkt in , das heißt der Quotientenraum bezüglich der Äquivalenzrelation .
Seien nun und Vektorräume und und die zugehörigen projektiven Räume, dann heißt eine Abbildung

projektiv o​der projektiv-linear, w​enn es e​ine injektive lineare Abbildung

mit

für alle

gibt.

Bei einzelnen Autoren findet man auch folgende (nicht äquivalente) Definition:
Seien und projektive Räume und ein projektiver Unterraum von , dann heißt eine Abbildung

projektiv, w​enn es e​ine lineare Abbildung

mit

für alle

und gibt. Der Unterraum wird als der Ausnahmeraum bezeichnet.

Dieser Artikel bezieht s​ich im Folgenden a​uf die e​rste Definition.

Beispiel

Ein Beispiel einer projektiven Abbildung (zwischen projektiven Räumen unterschiedlicher Dimension) ist die Veronese-Einbettung .

.

Projektive lineare Gruppe

Die invertierbaren projektiven Abbildungen eines projektiven Raumes auf sich bilden eine Gruppe, die als projektive lineare Gruppe bezeichnet wird. Die Elemente dieser Gruppe sind insbesondere geradentreu, also Kollineationen.

Die projektive lineare Gruppe über einem Vektorraum über einem Körper ist die Faktorgruppe , wobei die normale (sogar zentrale) Untergruppe der skalaren Vielfachen der Identität ist mit aus . Die Bezeichnungen usw. entsprechen denen der allgemeinen linearen Gruppe. Wenn ein endlicher Körper ist, sind und gleichmächtig, aber im Allgemeinen nicht isomorph.

Projektive Abbildungen erhalten d​ie Inzidenzstruktur.

Der Name stammt aus der projektiven Geometrie, wo das Analogon zur allgemeinen linearen Gruppe die projektive lineare Gruppe ist, zum -dimensionalen projektiven Raum über gehört dabei die Gruppe , sie ist die Gruppe aller Projektivitäten des Raumes.

Gebrochen-lineare Transformationen

Im Fall der projektiven Gerade handelt es sich bei den projektiven Abbildungen genau um die gebrochen-linearen Transformationen.

Nach der Identifikation von mit (durch ) wirkt auf durch .

Möbiustransformationen

Ein Spezialfall ist die Gruppe der Möbiustransformationen, die . Dies sind die projektiven Abbildungen des . Diskrete Gruppen von Möbiustransformationen werden als Kleinsche Gruppen bezeichnet. Fuchssche Gruppen sind Kleinsche Gruppen, welche den projektiven Unterraum auf sich abbilden.

Eigenschaften

Projektive Abbildungen bilden projektive Teilräume a​uf projektive Teilräume ab.

Projektive Abbildungen erhalten das Doppelverhältnis von 4-Tupeln kollinearer Punkte. Diese Eigenschaft kann als kennzeichnendes Merkmal der projektiven Geometrie angesehen werden. Siehe dazu: Erlanger Programm. Diese Zusammenhänge waren schon im Altertum bekannt und finden sich z. B. bei Pappos. Sie sind der entscheidende Grund dafür, dass der Begriff Doppelverhältnis überhaupt entwickelt wurde.

Siehe auch

Literatur

  • Heiner Zieschang: Lineare Algebra und Geometrie. Springer, 1997, ISBN 978-3-519-02230-5.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.