Hilberts Axiomensystem der euklidischen Geometrie


Hilberts Axiomensystem der euklidischen Geometrie

David Hilbert verwendet für seine Axiomatische Grundlegung der euklidischen Geometrie (im dreidimensionalen Raum) „drei verschiedene Systeme von Dingen“, nämlich Punkte, Geraden und Ebenen, und „drei grundlegende Beziehungen“, nämlich liegen, zwischen und kongruent. Über die Natur dieser „Dinge“ und auch ihrer „Beziehungen“ macht Hilbert als Formalist keinerlei Annahmen. Sie sind ausschließlich implizit definiert, nämlich durch ihre Verknüpfung in einem Axiomensystem.

Hilbert soll einmal gesagt haben, man könne statt „Punkte, Geraden und Ebenen“ jederzeit auch „Tische, Stühle und Bierseidel“ sagen; es komme nur darauf an, dass die Axiome erfüllt sind. Allerdings hat er große Mühe darauf verwandt, dass seine „Tische, Stühle und Bierseidel“ all die Gesetzmäßigkeiten erfüllen, die die Geometer der vorhergegangenen zweitausend Jahre für „Punkte, Geraden und Ebenen“ herausgefunden haben.[1][2] Die Stärke der axiomatischen Vorgehensweise liegt nicht darin, dass sie von der Wirklichkeit absieht. Sie erlaubt es aber, durch Abänderung der Axiome und Analyse ihres Zusammenhangs die logische Struktur, der diese Wirklichkeit folgt, in einer vorher nicht denkbaren Weise zu durchleuchten.

Inhaltsverzeichnis

Die Axiome

Zu diesem Zweck verknüpft Hilbert die „Dinge“ und „Beziehungen“ durch 20 Axiome in fünf Gruppen:

Axiome der Verknüpfung (oder Inzidenz), Gruppe I

Mit diesen Axiomen soll der Begriff liegen implizit definiert werden. Hilbert verwendet hier den Begriff bestimmen oder zusammengehören und eine Reihe anderer Sprechweisen: g geht durch P, g verbindet P und Q, P liegt auf g, P ist ein Punkt von g, auf g gibt es den Punkt P usw. Heute spricht man in der Mathematik von Inzidenz: „P inzidiert g“ (formal: PIg).

  • I.1. Zwei voneinander verschiedene Punkte P und Q bestimmen stets eine Gerade g.
  • I.2. Irgend zwei voneinander verschiedene Punkte einer Geraden bestimmen diese Gerade.
  • I.3. Auf einer Geraden gibt es stets wenigstens zwei Punkte, in einer Ebene gibt es stets wenigstens drei nicht auf einer Geraden gelegene Punkte.
  • I.4. Drei nicht auf ein und derselben Geraden liegende Punkte P, Q, R bestimmen stets eine Ebene.
  • I.5. Irgend drei Punkte einer Ebene, die nicht auf ein und derselben Geraden liegen, bestimmen diese Ebene.
  • I.6. Wenn zwei Punkte P und Q einer Geraden g in einer Ebene α liegen, so liegt jeder Punkt von g in α.
  • I.7. Wenn zwei Ebenen α und β einen Punkt P gemeinsam haben, so haben sie wenigstens noch einen weiteren Punkt Q gemeinsam.
  • I.8. Es gibt wenigstens vier nicht in einer Ebene gelegene Punkte.

Aus diesen Axiomen allein lässt sich zum Beispiel folgern,

dass zwei verschiedene Geraden sich in einem Punkt oder überhaupt nicht schneiden,
dass zwei verschiedene Ebenen sich in einer Geraden oder überhaupt nicht schneiden,
dass eine Ebene und eine nicht in ihr liegende Gerade sich in einem Punkt oder überhaupt nicht schneiden,
dass eine Gerade und ein nicht auf ihr liegender Punkt eine Ebene bestimmen,
dass zwei sich schneidende Geraden eine Ebene bestimmen.

Axiome der Anordnung (Gruppe II)

Mit diesen wird der Begriff zwischen definiert als eine Beziehung zwischen drei Punkten. Wird von drei Punkten gesagt, dass der eine zwischen den beiden anderen liegt, so ist damit stets ausgedrückt, dass es verschiedene Punkte sind, und dass sie auf einer Geraden liegen. Unter dieser Voraussetzung lassen sich die folgenden Axiome sehr kurz formulieren:

  • II.1. Wenn B zwischen A und C liegt, so liegt B auch zwischen C und A.
  • II.2. Zu zwei Punkten A und C gibt es stets wenigstens einen Punkt B, der zwischen A und C liegt, und wenigstens einen Punkt D, so dass C zwischen A und D liegt.
  • II.3. Unter irgend drei Punkten einer Geraden gibt es stets einen und nur einen Punkt, der zwischen den beiden anderen liegt.

Auf Grund dieser Axiome lässt sich definieren, was eine Strecke AB ist: Die Menge aller Punkte, die zwischen A und B liegen. (Die Strecken AB und BA sind nach dieser Definition identisch.) Der Begriff Strecke wird benötigt, um das folgende Axiom zu formulieren:

  • II.4. Es seien A, B, C drei nicht in gerader Linie gelegene Punkte und a eine Gerade in der Ebene ABC, die keinen dieser drei Punkte trifft; wenn dann die Gerade a durch einen Punkt der Strecke AB geht, so geht sie gewiss auch entweder durch einen Punkt der Strecke BC oder durch einen Punkt der Strecke AC.
Dieses Axiom heißt auch das Axiom von Pasch; es hat eine besondere wissenschaftsgeschichtliche Bedeutung, da es bei Euklid nicht vorkommt.

Aus den Axiomen der Verknüpfung (Inzidenz) und der Anordnung folgt bereits, dass zwischen zwei gegebenen Punkten einer Geraden stets noch unendlich viele weitere Punkte liegen, dass die Punkte einer Geraden also in sich dicht liegen. Ferner lässt sich zeigen, dass jede Gerade als Punktmenge auf genau zwei Weisen geordnet werden kann, so dass ein Punkt C genau dann zwischen den Punkten A und B liegt, wenn A<C<B oder B<C<A ist.

Weiter lässt sich folgern, dass jede Gerade (und jeder in einer Ebene gelegene und sich nicht selbst schneidende Streckenzug) eine Ebene in zwei Gebiete aufteilt. Genauso trennt jede Ebene den Raum in zwei Gebiete.

Siehe auch: Ordnung und Seiteneinteilung

Axiome der Kongruenz (Gruppe III)

Die dritte Axiomgruppe definiert den Begriff kongruent als eine Beziehung zwischen Strecken und zwischen Winkeln. Eine andere Bezeichnung hierfür ist gleich oder (bei Strecken) gleichlang. Als Zeichen hierfür verwendet Hilbert ≡.

  • III.1. Wenn A und B zwei Punkte auf einer Geraden a sind und ferner A´ ein Punkt auf derselben oder einer anderen Geraden a´ ist, so kann man auf einer gegebenen Seite der Geraden a´ von A´ stets einen Punkt B´ finden, so dass die Strecke AB der Strecke A´B´ kongruent (oder gleich) ist, in Zeichen: AB ≡ A´B´.

Von jedem Punkt aus kann also jede beliebige Strecke abgetragen werden. Dass diese Abtragung eindeutig ist, lässt sich aus der Gesamtheit der Axiome I - III beweisen, ebenso, dass AB ≡ AB ist und dass aus AB ≡ A´B´ stets A´B´ ≡ AB folgt ( Reflexivität und Symmetrie).

  • III.2. Wenn eine Strecke zu zwei anderen Strecken kongruent ist, so sind diese auch zueinander kongruent; formaler: wenn AB ≡ A´B´ und AB ≡ A´´B´´, so ist A´B´ ≡ A´´B´´.

Es wird also gefordert, dass die Kongruenz-Relation transitiv ist. Damit ist sie eine Äquivalenzrelation.

  • III.3. Es seien AB und BC zwei Strecken ohne gemeinsame Punkte auf der Geraden a und ferner A´B´ und B´C´ zwei Strecken auf derselben oder einer anderen Geraden a´ ebenfalls ohne gemeinsame Punkte; wenn dann AB ≡ A´B´ und BC ≡ B´C´, so ist auch stets AC ≡ A´C´.

Beim Zusammenfügen (Addieren) von Strecken bleibt die Kongruenz also erhalten.

Ein Winkel wird nun definiert als ein ungeordnetes (!) Paar von Halbgeraden, die von einem gemeinsamen Punkt S ausgehen und nicht zur selben Geraden gehören. (Zwischen <\!\!\!)\,(h,g) und <\!\!\!)\,(g,h) wird also nicht unterschieden; auch gibt es nach dieser Definition weder überstumpfe noch gestreckte Winkel.) Es kann auch definiert werden, was das Innere eines Winkels <\!\!\!)\,(g,h) ist: Es sind dies all diejenigen Punkte der von g und h aufgespannten Ebene, die mit h zusammen auf der gleichen Seite von g und mit g zusammen auf der gleichen Seite von h liegen. Ein Winkel umfasst stets weniger als eine Halbebene.

  • III.4. Es sei ein Winkel <\!\!\!)\,(h,g) in einer Ebene α und eine Gerade a´ in einer Ebene α´, sowie eine bestimmte Seite von a´ auf α´ gegeben. Es bedeute h´ einen Halbstrahl der Geraden a´; dann gibt es in der Ebene α´ einen und nur einen Halbstrahl g´, so dass der Winkel <\!\!\!)\,(h,g) kongruent (oder gleich) dem Winkel <\!\!\!)\,(h',g') ist und zugleich alle inneren Punkte des Winkels <\!\!\!)\,(h',g') auf der gegebenen Seite von a´ liegen.
    In Zeichen: <\!\!\!)\,(h,g)\equiv<\!\!\!)\,(h',g').
    Jeder Winkel ist sich selbst kongruent, das heißt es ist stets <\!\!\!)\,(h,g)\equiv<\!\!\!)\,(h,g).

Kurz gesagt bedeutet dies: Ein jeder Winkel kann in einer gegebenen Ebene an einen gegebenen Halbstrahl nach einer gegebenen Seite dieses Halbstrahls auf eine eindeutig bestimmte Weise abgetragen werden.

Es fällt auf, dass die Eindeutigkeit der Konstruktion und die Selbstkongruenz hier (im Gegensatz zu der Kongruenz von Strecken) axiomatisch festgelegt werden muss.

  • III.5. Aus <\!\!\!)\,(h,g)\equiv<\!\!\!)\,(h',g') und <\!\!\!)\,(h,g)\equiv<\!\!\!)\,(h'',g'') folgt <\!\!\!)\,(h',g')\equiv<\!\!\!)\,(h'',g'').

Aus diesem Axiom folgt mit der Selbstkongruenz, dass die Kongruenz für Winkel eine transitive und symmetrische Relation ist.

Nachdem in naheliegender Weise definiert wurde, was unter <\!\!\!)\,ABC zu verstehen ist, lässt sich auch das letzte Kongruenzaxiom formulieren:

  • III.6. Wenn für zwei Dreiecke ABC und A´B´C´ die Kongruenzen
      AB \equiv A'B', \quad AC \equiv A'C' \quad \text{und} \quad <\!\!\!)\,BAC \equiv <\!\!\!)\,B'A'C'
gelten, so sind auch stets die Kongruenzen
 <\!\!\!)\,ABC \equiv <\!\!\!)\,A'B'C' \quad \text{und} \quad <\!\!\!)\,ACB \equiv <\!\!\!)\,A'C'B'
erfüllt.

Es handelt sich hier um den Kongruenzsatzsws“, den Hilbert als Axiom setzt. Euklid formuliert hierfür einen „Beweis“ (I L. 1), gegen den Peletarius 1557 erstmals Bedenken formuliert hat.[3] Hilbert hat gezeigt, dass dieser Satz, oder jedenfalls sein wesentlicher Inhalt, als Axiom unentbehrlich ist.

Die übrigen Kongruenzsätze lassen sich hieraus beweisen, ebenso die Addierbarkeit von Winkeln. Es lässt sich eine < -Beziehung unter Winkeln definieren, die mit der Kongruenz verträglich ist.

Weiter definiert Hilbert den Begriff Nebenwinkel in naheliegender Weise, und den Begriff Rechter Winkel als einen Winkel, der mit seinem Nebenwinkel kongruent ist.

Es lässt sich dann zeigen, dass alle Rechten Winkel zueinander kongruent sind. Euklid hatte dies - wohl unnötigerweise - als Axiom gesetzt.

Siehe auch: Kongruenz und präeuklidische Ebene

Axiom der Parallelen (Gruppe IV)

  • IV. (auch Euklidisches Axiom.) Es sei g eine beliebige Gerade und P ein Punkt außerhalb von g. Dann gibt es in der durch g und P bestimmten Ebene höchstens eine Gerade g', die durch P verläuft und g nicht schneidet.

Dass es mindestens eine solche Gerade gibt, folgt aus den Axiomen I - III und unmittelbar aus dem daraus hergeleiteten Satz vom Außenwinkel. Diese einzige Gerade g' heißt die Parallele zu g durch P.

Dieses Axiom mit seinen Voraussetzungen und Folgerungen ist wahrscheinlich der meistdiskutierte Gegenstand der Geometrie. Siehe dazu auch: Parallelenproblem

Als ein zum Parallelenaxiom äquivalentes Axiom gibt Hilbert an:

Schneiden zwei Geraden a,b eine dritte Gerade c nicht, obwohl diese mit ihnen der gleichen Ebene liegt, so schneiden sie sich auch untereinander nicht.

Ferner folgt aus den Axiomen I-IV, dass die Winkelsumme im Dreieck zwei Rechte beträgt. Ein Äquivalent zum Parallelenaxiom wird dieser Winkelsummensatz erst, wenn man das Archimedische Axiom (V.1) hinzuzieht.

Axiome der Stetigkeit (Gruppe V)

  • V.1. (Axiom des Messens oder Archimedisches Axiom). Sind AB und CD irgendwelche Strecken, so gibt es eine Anzahl n derart, dass das n-malige Hintereinanderabtragen der Strecke CD von A aus auf den durch B gehenden Halbstrahl über den Punkt B hinausführt.

Durch jede noch so kleine Strecke CD lässt sich also, wenn man sie nur oft genug aneinandersetzt, jede noch so große Strecke AB übertreffen. Man könnte auch sagen: Es gibt keine „unendlich kleinen“ oder „unendlich großen“ Strecken; die natürlichen Zahlen reichen aus, um alle Strecken vergleichbar (im Sinne von größer, kleiner, gleich) zu machen.

  • V.2. (Axiom der (linearen) Vollständigkeit) Zu den Punkten einer Geraden können, bei Erhalt ihrer Anordnungs- und Kongruenzbeziehungen, keine weiteren Punkte hinzugefügt werden, ohne dass die unter den vorherigen Elementen bestehenden Beziehungen, die aus den Axiomen I-III folgenden Grundeigenschaften der linearen Anordnung und Kongruenz oder aber das Axiom V.1 verletzt wird.

Die euklidische Geometrie ist also die größtmögliche Geometrie, die den vorhergehenden Axiomen entspricht. Sie ist damit vollständig im gleichen Sinne, wie reelle Zahlen vollständig sind. Deshalb lässt sich auch die analytische Geometrie des \mathbb{R}^3 als Modell für die euklidische Geometrie verwenden.

Deutlicher wird dies noch in dem – aus V.2 folgenden – „Vollständigkeitssatz“:

  • Die Elemente (Punkte, Geraden und Ebenen) der Geometrie bilden ein System, das bei Aufrechterhaltung sämtlicher Axiome zu keiner Erweiterung durch zusätzliche Punkte, Geraden und/oder Ebenen mehr fähig ist.

Ohne das Archimedische Axiom ist diese Forderung nicht erfüllbar. Vielmehr lässt sich jede Geometrie, die den Axiomen I–IV, aber nicht V.1, entspricht, noch durch zusätzliche Elemente erweitern. Es entstehen dann Nichtstandard-Systeme.

Andererseits ist auch das Vollständigkeitsaxiom V.2 unentbehrlich, es lässt sich nicht aus den Axiomen I–V.1 ableiten. Gleichwohl lässt sich ein großer Teil der euklidischen Geometrie ohne das Axiom V.2 entwickeln.

Siehe auch: Euklidischer Körper

Widerspruchsfreiheit und Unabhängigkeit

Relative Widerspruchsfreiheit

Hilbert bewies auch, dass sein Axiomensystem widerspruchsfrei ist, wenn man unterstellt, dass sich die reellen Zahlen widerspruchsfrei begründen lassen.

Als ein Modell für das Axiomensystem dient dann, wie erwähnt, die analytische Geometrie des \Bbb{R}^3, also die Menge aller Tripel reeller Zahlen, zusammen mit den üblichen Definitionen für Geraden und Ebenen als lineare Punktmengen, das heißt als Nebenklassen ein- bzw. zweidimensionaler Unterräume. Die Inzidenz in diesem Modell ist das mengentheoretisches Enthaltensein und zwei Strecken sind kongruent, wenn sie dieselbe Länge im Sinne des euklidischen Abstands haben.

Unabhängigkeit der Axiome untereinander

Erklärtes Ziel Hilberts war es, sein Axiomensystem so aufzubauen, dass die Axiome voneinander unabhängig sind, dass also keines entbehrlich ist, weil es sich aus den anderen beweisen lässt.

Für die Axiome der Gruppe I und II untereinander lässt sich dies leicht zeigen; ebenso sind die Axiome der Gruppe III untereinander unabhängig. Es geht also darum zu zeigen, dass die Axiome der Gruppen III, IV und V von den übrigen unabhängig sind, sowie um die Unabhängigkeit von V.1 und V.2.

Das Beweisverfahren besteht grundsätzlich darin, ein Modell (oder, mit Hilberts Worten: „ein System von Dingen“) anzugeben, für das alle Axiome gelten, mit Ausnahme des als unabhängig nachzuweisenden Axioms A. Offenbar könnte es ein solches Modell nicht geben, wenn A eine logische Folgerung aus den übrigen Axiomen wäre.

Auf diese Weise zeigt Hilbert u.a., dass das Axiom III.5 (der Kongruenzsatz „sws“) unentbehrlich ist.

Die Unabhängigkeit des Parallelenaxioms IV ergibt sich aus dem Nachweis der Existenz von nichteuklidischen Geometrien, die Unabhängigkeit des Archimedischen Axioms V.1 aus der Existenz von Nichtstandard-Systemen, und die Unabhängigkeit des Vollständigkeitsaxioms V.2 z.B. aus der Existenz einer analytischen Geometrie über dem Körper der reellen algebraischen Zahlen. (→ Siehe dazu auch euklidischer Körper)

Es lässt sich zeigen, dass eine Geometrie, welche diese Axiome erfüllt, bis auf Isomorphie eindeutig bestimmt ist: In der Sprache der linearen Algebra gilt für diese Geometrie:

Eine Geometrie, die Hilberts Axiomensystem erfüllt, ist ein affiner Raum, dessen Vektorraum der Verschiebungen ein dreidimensionaler euklidischer Vektorraum, also isomorph zu (\R^3, \langle \cdot, \cdot \rangle) mit einem Skalarprodukt ist.

Literatur

Einzelnachweise

  1. Susanne Müller-Philipp, Hans-Joachim Gorski: Leitfaden Geometrie: Für Studierende der Lehrämter. Vieweg+Teubner 2008, ISBN 978-3-8348-0097-8 , S.67 (Auszug in der Google Buchsuche)
  2. Hans Wußing: 6000 Jahre Mathematik: Eine kulturgeschichtliche Zeitreise. Von Euler bis zur Gegenwart. Springer 2008, ISBN 9783540773139, S. 174 (Auszug in der Google Buchsuche)
  3. Jacobus Peletarius: In Euclidis Elementa Geometrica Demonstrationum Libri sex. J. Tornaesius; G. Gazeius: Lugduni 1557

Wikimedia Foundation.

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

  • Geometrie — Euklidische Geometrie; Topologie * * * Geo|me|trie [geome tri:], die; : Teilgebiet der Mathematik, das sich mit den räumlichen und nicht räumlichen (ebenen) Gebilden befasst: analytische, projektive Geometrie. * * * Geo|me|trie auch: Geo|met|rie… …   Universal-Lexikon

  • Hilberts Liste von 23 mathematischen Problemen — Die hilbertschen Probleme sind eine Liste von 23, zum Zeitpunkt der Veröffentlichung, ungelösten Problemem der Mathematik. Sie wurden vom deutschen Mathematiker David Hilbert im Jahr 1900 beim Internationalen Mathematiker Kongress in Paris… …   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

  • Euklid'sche Geometrie — Dieser Artikel oder Abschnitt ist nicht hinreichend mit Belegen (Literatur, Webseiten oder Einzelnachweisen) versehen. Die fraglichen Angaben werden daher möglicherweise demnächst gelöscht. Hilf Wikipedia, indem du die Angaben recherchierst und… …   Deutsch Wikipedia

  • Euklidische Geometrie — Die euklidische Geometrie ist zunächst die uns vertraute, anschauliche Geometrie der Ebene oder des dreidimensionalen Raums. Der Begriff hat jedoch sehr verschiedene Aspekte und lässt Verallgemeinerungen zu. Inhaltsverzeichnis 1 Die Geometrie des …   Deutsch Wikipedia

  • Gerade (Geometrie) — Darstellung von Geraden im kartesischen Koordinatensystem Eine gerade Linie oder kurz Gerade ist ein Element der Geometrie. Anschaulich stellt man sich darunter eine unendlich lange, unendlich dünne Linie vor. Moderne axiomatische Theorien der… …   Deutsch Wikipedia

  • Grundlagen der Geometrie — In seinem Werk Grundlagen der Geometrie (erschienen 1899) veröffentlichte der Mathematiker David Hilbert erstmals ein vollständiges Axiomensystem für die euklidische Geometrie. Das Werk erschien in zahlreichen weiteren Auflagen. Literatur Hilbert …   Deutsch Wikipedia

  • Projektive 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

  • Kartesische Geometrie — Die analytische Geometrie ist ein Teilgebiet der Geometrie, das algebraische Hilfsmittel (vor allem aus der linearen Algebra) zur Lösung geometrischer Probleme bereitstellt. Sie ermöglicht es in vielen Fällen, geometrische Aufgabenstellungen rein …   Deutsch Wikipedia

  • Synthetische Geometrie — ist der Zweig der Geometrie, der von geometrischen Axiomen und Theoremen ausgeht und häufig synthetische Betrachtungen bzw. Konstruktionsmethoden benutzt – im Unterschied zur analytischen Geometrie, in der algebraische Strukturen wie Körper und… …   Deutsch Wikipedia


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.