- Satz von Desargues
-
Der Satz von Desargues, benannt nach dem französischen Mathematiker Gérard Desargues, ist zusammen mit dem Satz von Pappos einer der Schließungssätze, die für die affine und die projektive Geometrie als Axiome grundlegend sind. Er wird je nach zugrundeliegender Geometrie in einer affinen oder einer projektiven Variante formuliert. In beiden Formen kann der desarguesche aus dem pappusschen Satz gefolgert werden. Da es sowohl affine als auch projektive Ebenen gibt, in denen der Satz von Desargues, aber nicht der Satz von Pappos allgemeingültig ist, stellt er eine echte Abschwächung des Satzes von Pappos dar.
Projektive Form: Wenn sich die Verbindungslinien zwischen korrespondierenden Eckpunkten zweier in einer Ebene gelegenen Dreiecke in einem Punkt schneiden (dem „Zentrum“), so liegen die Schnittpunkte der entsprechend verlängerten Seiten auf einer Geraden (der „Achse“). Die Umkehrung gilt auch.
Nebenstehende Abbildung zeigt zwei gelbe Dreiecke und . Die Geraden durch korrespondierende Eckpunkte , und schneiden sich in einem Punkt P. Damit ist die Voraussetzung des Satzes von Desargues gegeben. Als Resultat ergibt sich, dass die Schnittpunkte korrespondierender Dreieckseiten X, Y und Z (Schnittpunkt von ) auf einer Geraden a liegen, die auch als Achse bezeichnet wird (und auf der Abbildung noch nicht eingezeichnet ist).
Liegt bei einer Konfiguration das Zentrum P auf der Achse a, so spricht man auch vom kleinen Satz von Desargues.
Affine Form: Wenn sich die Verbindungslinien zwischen korrespondierenden Eckpunkten zweier in einer Ebene gelegenen Dreiecke in einem Punkt schneiden und zwei Paare korrespondierender Seiten der Dreiecke parallel sind, so ist auch das dritte Paar korrespondierender Seiten parallel.
Die affine Form des kleinen Satzes von Desargues ergibt sich, wenn statt des gemeinsamen Schnittpunkts P die Parallelität der Trägergeraden , , vorausgesetzt wird.
Inhaltsverzeichnis
Bedeutung
- In der synthetischen Geometrie wird eine affine oder projektive Ebene als desarguessche Ebene bezeichnet, wenn die Aussage des (jeweiligen "großen") Satzes von Desargues allgemeingültig ist. Es gibt auch affine und projektive Ebenen, die nicht desarguessch sind, etwa die Moulton-Ebene. Sie sind ausgiebig studiert worden, siehe die Bücher von Pickert und Hughes-Piper.
- Eine affine oder projektive Ebene im Sinne der Inzidenzgeometrie ist genau dann eine affine bzw. projektive Ebene im Sinne der linearen Algebra, wenn sie desarguessch ist. Sie lässt sich also genau unter dieser Voraussetzung mithilfe eines zwei- bzw. dreidimensionalen Linksvektorraums über einem Schiefkörper beschreiben. - Meist beschränkt man sich in der linearen Algebra auf die Untersuchung der spezielleren pappusschen Ebenen, die durch zwei- bzw. dreidimensionale Vektorräume über einem Körper beschrieben werden können.
- Allgemein dienen Ternärkörper (eine Verallgemeinerung der Schiefkörper) zu einer Beschreibung insbesondere der nichtdesargueschen Ebenen durch einen Koordinatenbereich.
- Als affine Translationsebenen werden affine Ebenen bezeichnet, in denen der kleine affine Satz von Desargues gilt. Sie können mit Hilfe der Gruppe ihrer Parallelverschiebungen (einer Verallgemeinerung des für die affinen Ebenen der linearen Algebra verwendeten Vektorraumkonzepts) untersucht werden.
- Eine projektive Ebene, in der der kleine projektive Satz von Desargues allgemeingültig ist, heißt Moufangebene zu Ehren von Ruth Moufang. Durch Ausschneiden einer projektiven Geraden ("Schlitzen") entsteht aus einer Moufang- immer eine affine Translationsebene. Damit lassen sich auch in diesen projektiven Ebenen ähnliche Strukturen wie in affinen Translationsebenen etablieren. Durch projektive Erweiterung einer Translationsebene entsteht allerdings nicht unbedingt eine Moufangebene! [1]
In mindestens dreidimensionalen affinen und projektiven Räumen gilt der Satz von Desargues immer und ist relativ leicht zu beweisen. Dies ist einer der Gründe, aus denen in der synthetischen Geometrie in der Regel Ebenen besonders intensiv untersucht werden. → Siehe dazu auch Axiom von Veblen-Young.
Endliche Ebenen
Die Ordnung einer endlichen affinen Ebene ist die Anzahl der Punkte auf einer (und daher jeder) ihrer Geraden. Welche Ordnungen bei endlichen affinen Ebenen auftreten können, ist ein weitgehend ungelöstes Problem. In endlichen desarguesschen Ebenen (in denen der Satz von Desargues gilt) ist die Ordnung notwendig eine Primzahlpotenz, weil sich in ihnen Koordinaten aus einem endlichen (und daher kommutativen) Körper einführen lassen, und in ihnen gilt automatisch der Satz von Pappos. Zu jeder Primzahlpotenz q existiert eine desarguessche Ebene der Ordnung q. Alle bisher bekannten endlichen affinen Ebenen haben Primzahlpotenzordnung. Die kleinste Ordnung, zu der eine nichtdesarguessche Ebene existiert, ist 9, siehe die Beispiele in Ternärkörper. Ob es affine Ebenen von Nichtprimzahlpotenzordnung gibt, ist ein ungelöstes Problem.
Die Ordnung n ist nicht möglich für n = 6, 14, 21, 22, 30, 33, 42, 46, ...
Wie kommen diese Zahlen zustande? Der Satz von Bruck-Ryser-Chowla sagt folgendes: n lasse bei Division durch 4 den Rest 1 oder 2, sei nicht Summe zweier Quadrate und sei keine Primzahlpotenz (wie in obigen Beispielen). Dann gibt es keine affine Ebene der Ordnung n.
Die Nichtexistenz einer affinen Ebene der Ordnung 10 wurde mit umfangreichem Computereinsatz bewiesen. Für alle hier nicht genannten Ordnungen n, angefangen mit 12, 15, 18, 20, 24,.... , ist die Existenzfrage ungelöst.
Literatur
- Lingenberg, Rolf: Grundlagen der Geometrie I; Mannheim: Bibliographisches Institut (1969)
- Pickert, Günter: Projektive Ebenen
- Hughes, Daniel and Piper, Fred: Projective planes
- Karzel, Sörensen, Windelberg: Einführung in die Geometrie; Göttingen: Vandenhoeck & Ruprecht (1973), ISBN 3-525-03406-7
- Wendelin Degen und Lothar Profke: Grundlagen der affinen und euklidischen Geometrie, Teubner, Stuttgart, 1976, ISBN 3-519-02751-8
Einzelnachweise
- ↑ G. Pickert: Projektive Ebenen, 2. Auflage, Berlin-Heidelberg-New-York 1975
Wikimedia Foundation.