Eigentlich ganz einfach und doch kompliziert: Punkte, Geraden SoSe 11: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Beweis von Satz I.3)
(Beweis von Satz I.3)
 
(3 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 210: Zeile 210:
 
(Außerdem kann man Schritt 1-3 auch zu einem zusammenfügen.)--[[Benutzer:Tutorin Anne|Tutorin Anne]] 12:17, 14. Jun. 2011 (CEST)
 
(Außerdem kann man Schritt 1-3 auch zu einem zusammenfügen.)--[[Benutzer:Tutorin Anne|Tutorin Anne]] 12:17, 14. Jun. 2011 (CEST)
  
Wie ist die Begründung für 5)? Zum einen 4)- aber gibt es auch noch ein Axiom oder einen Satz?
+
Wie ist denn die Begründung für 5)? Zum einen 4.) - aber gibt es noch ein Axiom oder einen Satz? --[[Benutzer:AnnM88|AnnM88]] 13:22, 15. Jun. 2011 (CEST)
 +
Ist das dann nicht noch die Definition von kollinear? --[[Benutzer:Katrin|Katrin]] 13:25, 16. Jun. 2011 (CEST)<br />
 +
<br />Richtig, dieser Schritt ist nicht exakt begründet. Man könnte noch ein Zwischenschritt einbauen. z.B. C Element von AB, dann wäre auch klarer, warum die Punkte kollinear sind (Nach Definition).--[[Benutzer:Tutorin Anne|Tutorin Anne]] 10:32, 18. Jun. 2011 (CEST)

Aktuelle Version vom 18. Juni 2011, 09:32 Uhr

</gallery>=== Was ist ein Punkt? ===

„Man muss jederzeit an Stelle von ‚Punkten‘, ‚Geraden‘, ‚Ebenen‘, ‚Tische‘, ‚Stühle‘, ‚Bierseidel‘ sagen können.“

David Hilbert (1862-1943)

Auf die Frage, was denn eine Strecke sei, erhält man oft zur Antwort, es handle sich dabei um die kürzeste Verbindung zwischen zwei Punkten. Strecken sind offenbar durch Punkte bestimmt. Was aber ist ein Punkt? Diese Frage bewegte bereits im Altertum die Mathematiker, die damals zumeist auch Philosophen waren:


Plato:

427 – 347 v.Chr.

„Ein Punkt ist der Anfang einer Linie.“

Aristoteles:

384 – 322 v.Chr.

„Ein Punkt ist eine unteilbare Einheit, die eine Position besitzt.

Euklid:

um 365 bis ca. 300 v. Chr.

„Was keine Teile hat ist ein Punkt.

Bei allem Respekt vor den Leistungen dieser Herren, ihre „Definitionen“ des Begriffes Punkt schaffen dem Erkenntnissuchenden nur für einen kurzen Moment Erleichterung. Danach quält ihn erneut die Gewissheit, eigentlich nichts zu wissen.

  • Was ist eine Linie?
  • Was ist der Anfang von etwas von dem ich nicht weiß, was es ist?
  • Was meint Aristoteles mit seiner Einheit?
  • Wenn ich schon nicht weiß, was mit Einheit gemeint ist, wie soll ich dann begreifen, was eine unteilbare Einheit ist?
  • Wer oder was zum Teufel hat keine Teile?

Betrachten wir doch einfach solche Objekte, mit deren Definition wir „weniger“ Schwierigkeiten haben.

  • Ein Quadrat ist ein Rechteck mit 4 gleichlangen Seiten.
  • Ein Rechteck ist ein Parallelogramm mit einem rechten Innenwinkel.
  • Ein Parallelogramm ist ein Trapez mit zwei Paaren paralleler Seiten.
  • Ein Trapez ist ein Viereck mit einem Paar paralleler Seiten.
  • Ein Viereck ist die Vereinigungsmenge von vier Strecken, wobei je drei der Endpunkte dieser Strecken nicht auf ein und derselben Geraden liegen.

Aus Gründen der Vollständigkeit wäre jetzt zu klären, was eine Strecke ist. Damit sind wir auf demselben Stand, wie zu Anfang dieser Ausführungen. Für den Begriff der Strecke brauchen wir wieder den Begriff des Punktes. Die Herren Plato, Aristoteles und Euklid waren diesbezüglich sehr bemüht aber letztlich nicht wirklich hilfreich. Irgendwann muss die Sache einmal „auf den Punkt gebracht“ werden:

Punkte, Geraden und Ebenen lassen sich nicht wie Quadrate und Kreise definieren. Trotzdem haben wir gewisse Vorstellungen von ihren Eigenschaften: Durch zwei verschiedene Punkte geht genau eine Gerade. In diesem Sinne erfahren die abstrakten Grundbegriffe eine Präzisierung. Beweisen kann man die Eigenschaften der Grundobjekte freilich nicht. Es sind unbeweisbare Grundtatsachen bzw. Grundannahmen. Der Mathematiker formuliert sie als Forderungen und nennt diese dann Axiome.

Inhaltsverzeichnis

Axiome und undefinierte Grundbegriffe

Die Bezeichnung Geometrie kommt aus dem Griechischen und bedeutet soviel wie Erdvermessung. Geometrie kann damit zunächst als die Lehre vom uns umgebenden Anschauungsraum verstanden werden.

Schon wieder so ein verwaschener Begriff: Anschauung. Da legen wir doch gleich noch eins nach: gesunder Menschenverstand. Dann war noch vom Raum die Rede und schon ergibt sich eine Assoziationskette: Johannes Kepler, Galileo Galilei, „Und sie bewegt sich doch!“, Inquisition, Rehabilitation 1992.

Eine gewisse Skepsis erscheint im Zusammenhang mit Anschauung angebracht. Damit sind wir in der Zwickmühle. Zum einen müssen wir unsere Grundannahmen der Anschauung entnehmen. Zum anderen wissen wir um damit verbundene eventuelle Unzulänglichkeiten. Die Geometer versuchen die Unabwägbarkeiten zu minimieren:

  • Als Axiome werden nur sehr einfache, plausible Aussagen zugelassen, von deren Richtigkeit man mal wohl „hundertprozentig“ überzeugt sein kann.
  • Die Anzahl der unbewiesenen Grundannahmen wird so gering wie möglich gewählt. Gleiches gilt für die undefinierten Grundbegriffe.
  • Alle weiteren Elemente der Geometrie werden rein deduktiv aus den Axiomen und Grundbegriffen abgeleitet.

Ein Schema soll diesen Ansatz demonstrieren:

Axiomatik 00.jpg

Euklid kommt die Ehre zu, als erster auf diese Weise die Geometrie des Anschauungsraumes begründet zu haben. Sich vor den Leistungen Euklids verneigend spricht man von Euklidische Geometrie.

Bis zu einer im modernen Sinne durchgängig korrekten axiomatischen Begründung der Euklidischen Geometrie sollten seit Euklid jedoch noch 2300 Jahre vergehen. 1899 stellte David Hilbert in seiner Arbeit „Grundlagen der Geometrie“ das erste logisch völlig exakte Axiomensystem der Euklidischen Geometrie auf. Die „Grundlagen der Geometrie“ waren im übrigen eine Festschrift aus Anlass der Enthüllung des Gauß‑Weber-Denkmals in Göttingen.

Besser als der Meister kann man die Dinge wohl nicht erläutern:

„Erklärung:Wir denken drei verschiedene Systeme von Dingen. Die Dinge des ersten Systems nennen wir Punkte und bezeichnen sie mit A, B, C…;die Dinge des zweiten Systems nennen wir Geraden und bezeichnen sie mit a, b, c…;die Dinge des dritten Systems nennen wir Ebenen und bezeichnen sie mit \alpha, \beta, \gamma, ...; …Wir denken die Punkte Geraden und Ebenen in gewissen gegenseitigen Beziehungen und bezeichnen diese Beziehungen durch Worte wie ‚liegen‘, ‚zwischen‘, ‚parallel‘, ‚kongruent‘, ‚stetig‘; die genaue und vollständige Beschreibung erfolgt durch die Axiome der Geometrie.“

(Hilbert, S. 2)

Auch wenn der Anschauungsraum bei der Formulierung der Axiome und der Festlegung der undefinierten Grundbegriffe Pate stand, löst sich die Theorie dann von der Anschauung. Geometrie wird zu einem eigenständigen komplexen System. In gewisser Weise haben die Mathematiker „Gott gespielt“ und eine eigene Welt erschaffen. Diese Welt ist relativ überschaubar. Sie beruht auf 5 Axiomengruppen und beinhaltet alles, was man rein deduktiv aus diesen mit den Mitteln der mathematischen Logik ableiten kann.

Geometrie in der Ebene

Punkte und Geraden

Wir gehen von einer nichtleeren Menge  \ \Epsilon aus, die Ebene genannt wird. Die Elemente von  \ \Epsilon heißen Punkte und werden mit  \ A, B, C… bezeichnet. Ferner möge eine weitere nichtleere Menge \ G existieren, deren Elemente wir Geraden nennen und mit \ a, b, c… bezeichnen wollen. Unsere erste Vorstellung von Geraden ist, dass diese aus Punkten bestehen:

AXIOM I/0
Geraden sind Punktmengen.

Die weiteren Eigenschaften von Punkten und Geraden werden durch die folgenden (Inzidenz)Axiome festgelegt.

AXIOM I/1(Axiom von der Geraden)
Zu zwei beliebigen verschiedenen Punkten gibt es genau eine Gerade, die die beiden Punkte enthält.

Axiom I/1 liefert eine weitere Bezeichnungsmöglichkeit von Geraden. Eine Gerade g, die durch zwei verschiedene Punkte A und B eindeutig bestimmt ist wird auch mit AB bezeichnet.

AXIOM I/2
Zu jeder Geraden gibt es wenigstens zwei Punkte, die dieser Geraden angehören.

Für die weitere Formulierung von Axiomen ist es sinnvoll, den Begriff kollinear zu definieren.

Definition I/2: (kollinear)
Eine Menge von Punkten heißt kollinear, wenn es eine Gerade gibt, die alle Punkte der Menge enthält.
Schreibweise: koll(A, B, C, ...) Sollten die Punkte A, B, C einer Menge nicht kollinear sein, so schreibt man:nkoll(A, B, C)
AXIOM I/3
Es gibt wenigstens 3 Punkte, die nicht kollinear sind.

Folgerungen aus den Axiomen der ebenen Inzidenzgeometrie

Viel wurde noch nicht axiomatisch gefordert. Dementsprechend werden wir auch noch nicht viele interessante Aussagen aus den Axiomen ableiten können. Wegen der geringen Anzahl von Axiomen ist es jedoch recht einfach, die Idee des axiomatischen Arbeitens zu verdeutlichen.

Folgende Sätze lassen sich aus den Axiomen I/0 bis I/3 ableiten.

Satz I.1
Es seien g und h zwei Geraden. Wenn g und h nicht identisch sind, haben sie höchstens einen Punkt gemeinsam.
Beweis von Satz I.1
Voraussetzung: Es seien g und h zwei Geraden, die nicht identisch sind.
Fall 1:
Die Geraden g und h haben keinen Punkt gemeinsam. In diesem Fall ist nichts weiter zu zeigen, denn sie haben damit nicht mehr als einen Punkt gemeinsam.
Fall 2:
Die Geraden g und h schneiden sich in einem Punkt P.
Wir haben zu zeigen, dass sie keinen weiteren Punkt gemeinsam haben.
Wir führen den Beweis indirekt und nehmen an, dass die Geraden g und h einen weiteren von P verschiedenen Punkt Q gemeinsam haben.
Das Axiom I/1 sagt aus, dass durch zwei verschiedene Punkte genau eine Gerade geht. Da die beiden Punkte P und Q verschieden sind, kann auf sie dieses Axiom angewandt werden.
Die Gerade g geht durch P und Q und die Gerade h geht durch P und Q. Da es nun eine und nur eine Gerade gibt, die durch P und Q geht, müssen die beiden Geraden g und h identisch sein. Das ist allerdings ein Widerspruch zur Voraussetzung, dass g und h nicht identisch sind.
Die Annahme, dass ein weiterer gemeinsamer Punkt Q der beiden Geraden g und h existiert, ist damit zu verwerfen.

Die Aussage des Satzes I.1 ist eine Implikation, d.h. sie hat die folgende Form:Wenn Aussage A so Aussage B.

Denselben Wahrheitswert wie eine Implikation hat die sogenannte Kontraposition der Implikation:

Wenn nicht Aussage B so nicht Aussage A.

Satz I.2: (Kontraposition von Satz I.1)
Es seien g und h zwei Geraden.
Wenn g und h mehr als einen Punkt gemeinsam haben, so sind g und h identisch.

Da eine Implikation und ihre Kontraposition im Wahrheitsgehalt übereinstimmen und Satz I.2 die Kontraposition von Satz I.1 ist, bräuchten wir nach dem Beweis von Satz I.1 den Satz I.2 nicht mehr zu beweisen.

Zur Übung und auch aus dem Grund, dass man Satz I.2 direkt beweisen kann, soll Satz I.2 noch einmal bewiesen werden.

Beweis von Satz I.2
Es seien g und h zwei Geraden.
Voraussetzung: g und h haben mehr als einen Punkt gemeinsam.
Es seien dieses die Punkte P und Q.
Wir haben zu zeigen, dass die beiden Geraden g und h identisch sind.
Dieses folgt unmittelbar aus Axiom I/1.
Satz I.3: (Existenz von drei Geraden)
Es existieren mindestens drei paarweise verschiedene Geraden.
Beweis von Satz I.3

versuchen Sie es selbst ... .

zz: Es existieren mindestens 3 paarweise verschiedene Graden

nach Axiom I/3 existieren A,B,C mit nkoll (A,B,C)

g := AB, h := BC, t := CA,

nach AI/1 sind diese Graden g,h,t eindeutig und durch die Verschiedenheit der Punkte auch verschieden.

Anzumerken wäre noch, dass die Punkte A,B,C p.w. verschieden sind, aber das ist trivial.--Peterpummel 19:53, 17. Mai 2011 (CEST)

Ist das wirklich trivial? --*m.g.* 23:34, 17. Mai 2011 (CEST)


Wären sie nicht p.w. verschieden, dann wären zwei Punkte (o.B.d.A seien es A,B) gleich =>(nach Axiom I/1) es gibt eine Grade ,die die Punkte A, C beeinhaltet. => koll(A,B,C) Widerspruch => sie sind p.w. verschieden. Aber was ist schon trivial?^^--Peterpummel 02:06, 19. Mai 2011 (CEST)

Darüber habe ich mir (aus unerfindlichen Gründen oft beim S-Bahn fahren, da hat man ja Zeit) lange den Kopf zerbrochen, denn das oben wäre eigentlich ein direkter Beweis und irgendwie "zu" trivial. Ist es nicht klug das Ding irgendwie durch einen Widerspruch zu beweisen?

Ich versuche mich mal:

Vor.: es ex. 3 paarweise verschiedene Punkte A, B, C für die gilt nkoll(A, B, C)
Behaupt.: es existieren min. 3 paarweise verschiedene Geraden
Annahme: Es existieren weniger als 3 paarweise verschieden Geraden

1) Gerade AB - aus A I/1 und Voraussetzung
2) Gerade BC - aus A I/1 und Voraussetzung
3) Gerade AC - aus A I/1 und Voraussetzung
4) Gerade AB ist identisch zu BC - Annahme (Anmerkung: Hier könnte man auch zwei andere Geraden nehmen, ist egal)
5) A, B und C sind kollinear => Wiederspruch zur Voraussetzung (paarweise verschiedene Punkte)
6) Annahme ist zu verwerfen

--Flo60 22:36, 20. Mai 2011 (CEST) kann das bitte ein dozent oder tutor überprüfen??? --liviana 14:51, 13. Jun. 2011 (CEST)
Der Beweis ist (fast) korrekt. Ich würde nur lieber gar nichts voraussetzen und den Beweis (Schritt 1) mit der Flo60s Voraussetzung (Existenz dreier nkoll Punkte)beginnen.
(Außerdem kann man Schritt 1-3 auch zu einem zusammenfügen.)--Tutorin Anne 12:17, 14. Jun. 2011 (CEST)

Wie ist denn die Begründung für 5)? Zum einen 4.) - aber gibt es noch ein Axiom oder einen Satz? --AnnM88 13:22, 15. Jun. 2011 (CEST) Ist das dann nicht noch die Definition von kollinear? --Katrin 13:25, 16. Jun. 2011 (CEST)

Richtig, dieser Schritt ist nicht exakt begründet. Man könnte noch ein Zwischenschritt einbauen. z.B. C Element von AB, dann wäre auch klarer, warum die Punkte kollinear sind (Nach Definition).--Tutorin Anne 10:32, 18. Jun. 2011 (CEST)