Satz von Desargues

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.

Beispiel für den Satz von Desargues (projektive Form)

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 \triangle ABC und \triangle A'B'C'. Die Geraden durch korrespondierende Eckpunkte \overline{AA'}, \overline{BB'} und \overline{CC'} 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 \overline{AB}\overline{A'B'}) 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 \overline{AA'}, \overline{BB'}, \overline{CC'} 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

  1. G. Pickert: Projektive Ebenen, 2. Auflage, Berlin-Heidelberg-New-York 1975

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Satz von Pappos-Pascal — Der Satz von Pappos (Pappus), gelegentlich auch Satz von Pappos Pascal genannt, ist ein zentraler Satz in der affinen und projektiven Geometrie. Er taucht erstmals als Proposition 139 im VII. Buch der Mathematischen Sammlungen des antiken… …   Deutsch Wikipedia

  • Satz von Pappus — Der Satz von Pappos (Pappus), gelegentlich auch Satz von Pappos Pascal genannt, ist ein zentraler Satz in der affinen und projektiven Geometrie. Er taucht erstmals als Proposition 139 im VII. Buch der Mathematischen Sammlungen des antiken… …   Deutsch Wikipedia

  • Satz von Pappus-Pascal — Der Satz von Pappos (Pappus), gelegentlich auch Satz von Pappos Pascal genannt, ist ein zentraler Satz in der affinen und projektiven Geometrie. Er taucht erstmals als Proposition 139 im VII. Buch der Mathematischen Sammlungen des antiken… …   Deutsch Wikipedia

  • Desargues — Gérard Desargues Gérard Desargues (* 21. Februar 1591 in Lyon; † 1661 in Lyon) war ein französischer Architekt und Mathematiker. Neben verschiedenen Gebäuden in Paris und Lyon geht die Fassade des Lyoner Rathauses auf seinen Entwurf zurück. Zu… …   Deutsch Wikipedia

  • Gérard Desargues — (* 21. Februar 1591 in Lyon; † Oktober 1661 in Lyon) war ein französischer Architekt und Mathematiker, der als einer der Begründer der Projektiven Geometrie gilt …   Deutsch Wikipedia

  • Axiom von Veblen-Young — Das Axiom von Veblen Young (nach Oswald Veblen und John Wesley Young) ist ein Axiom der projektiven Geometrie: Wenn sich die durch vier Punkte A, B, C und D gegebenen Geraden AB und CD schneiden, dann schneiden sich auch die Geraden AC und BD.… …   Deutsch Wikipedia

  • Affine Translationsebene — Als affine Translationsebene oder kurz Translationsebene wird in der synthetischen Geometrie eine affine Ebene dann bezeichnet, wenn ihre Translationsgruppe scharf einfach transitiv auf ihr operiert und sie daher weitgehend durch diese Gruppe… …   Deutsch Wikipedia

  • Ternärkörper — Ein Ternärkörper ist eine algebraische Struktur, die in der synthetischen Geometrie als Koordinatenbereich einer beliebigen affinen Ebene dient. Als Menge besteht der Ternärkörper dabei aus den Punkten einer fest gewählten Geraden der Ebene,… …   Deutsch Wikipedia

  • Moulton-Ebene — Geraden in der Moulton Ebene Die Moulton Ebene ist ein oft benutztes Beispiel für eine affine Ebene, in der der Satz von Desargues nicht gilt, also einer nichtdesargueschen Ebene. Damit liefern ihre Koordinaten zugleich ein Beispiel eines… …   Deutsch Wikipedia

  • Fernpunkt (Geometrie) — Die projektive Geometrie ist ein Teilgebiet der Geometrie. Sie ist aus der perspektivischen Darstellung dreidimensionaler Gegenstände in der zweidimensionalen Ebene hervorgegangen. Im Gegensatz zur „gewöhnlichen“, euklidischen Geometrie, gibt es… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”