„Verbindungsgerade“ – Bearbeiten

[[Datei:Two points on a line qtl1.svg|mini|Verbindungsgerade g zweier Punkte P und&nbsp;Q]]
Eine '''Verbindungsgerade''' ist in der [[Mathematik]] eine [[Gerade]], die durch zwei vorgegebene [[Punkt (Geometrie)|Punkte]] verläuft. Verbindungsgeraden werden speziell in der [[Euklidische Geometrie|euklidischen Geometrie]] und allgemeiner in [[Inzidenzgeometrie]]n betrachtet. Die [[Existenz]] und [[Eindeutigkeit]] der Verbindungsgeraden zu zwei verschiedenen gegebenen Punkten wird in der Geometrie [[axiom]]atisch als '''Verbindungsaxiom''' gefordert.

== Euklidische Geometrie ==
=== Definition ===
Sind <math>P</math> und <math>Q</math> zwei verschiedene Punkte in der [[Euklidische Ebene|euklidischen Ebene]] oder im [[Euklidischer Raum|euklidischen Raum]], dann wird diejenige Gerade <math>g</math>, die diese beiden Punkte enthält, „Verbindungsgerade der Punkte <math>P</math> und <math>Q</math>“ genannt und mit

: <math>g = (PQ)</math> &nbsp; oder &nbsp; <math>g = PQ</math>

bezeichnet.

=== Berechnung ===
Nach Wahl eines [[Kartesisches Koordinatensystem|kartesischen Koordinatensystems]] können Punkte in der euklidischen Ebene durch Zahlenpaare <math>P = (x_P, y_P)</math> und <math>Q = (x_Q, y_Q)</math> beschrieben werden. Die Verbindungsgerade zweier Punkte kann dann über eine [[Geradengleichung]] angegeben werden. Die [[Zweipunkteform]] der Geradengleichung lautet in diesem Fall

: <math>(y - y_P) \cdot (x_Q - x_P) = (x - x_P) \cdot (y_Q - y_P)</math>.

Eine [[Parameterform]] der Geradengleichung ist nach Wahl von <math>P</math> als Aufpunkt und <math>\overrightarrow{PQ}</math> als Richtungsvektor

: <math>\begin{pmatrix} x \\ y \end{pmatrix} = \begin{pmatrix} x_P \\ y_P \end{pmatrix} + s \, \begin{pmatrix} x_Q - x_P \\ y_Q - y_P \end{pmatrix}</math> &nbsp; mit &nbsp; <math>s \in \R</math>.

In [[Baryzentrische Koordinaten|baryzentrischen Koordinaten]] lautet die Geradengleichung der Verbindungsgeraden entsprechend

: <math>\begin{pmatrix} x \\ y \end{pmatrix} = s \, \begin{pmatrix} x_P \\ y_P \end{pmatrix} + t \, \begin{pmatrix} x_Q \\ y_Q \end{pmatrix}</math> &nbsp; mit &nbsp; <math>s, t \in \R,\, s + t = 1</math>.

Die beiden vektoriellen Darstellungen gelten analog auch in drei- und höherdimensionalen Räumen.

=== Axiomatik ===
In einem [[Axiom|axiomatischen Zugang]] zur euklidischen Geometrie muss die [[Existenz]] und [[Eindeutigkeit]] der Verbindungsgeraden zu zwei gegebenen Punkten explizit gefordert werden. [[Euklid]] verlangt die Existenz der Verbindungsgeraden in zwei Schritten. Die ersten beiden Postulate in seinem Werk ''[[Elemente (Euklid)|Die Elemente]]'' lauten sinngemäß wie folgt:<ref name="Meschkowski">Herbert Meschkowski: ''Denkweisen großer Mathematiker.'' 3. Auflage, 1990, S. 20.</ref>

# ''Man kann von jedem Punkt nach jedem Punkt die Strecke ziehen.''
# ''Man kann eine begrenzte gerade Linie zusammenhängend gerade verlängern.''

Damit existiert zu zwei verschiedenen Punkten stets eine Verbindungsgerade. Diese Postulate sind dabei konstruktiv zu sehen, das heißt, zu zwei gegebenen Punkten lässt sich die zugehörige Verbindungsgerade stets auch [[Konstruktion mit Zirkel und Lineal|mit Zirkel und Lineal konstruieren]].

In [[Hilberts Axiomensystem der euklidischen Geometrie]] werden die Existenz und die Eindeutigkeit der Verbindungsgeraden als Axiome I1. und I2. innerhalb der ''Axiomengruppe&nbsp;I: Axiome der Verknüpfung'' aufgeführt. [[David Hilbert|Hilbert]] formuliert die Axiome I1. und I2. wie folgt:<ref name="Hilbert">David Hilbert: ''Grundlagen der Geometrie.'' 11. Auflage, 1972, S. 3 ff.</ref>

: I1. ''Zu zwei verschiedenen Punkten <math>P,\,Q</math> gibt es stets eine Gerade <math>g</math>, auf der die beiden Punkte liegen.''
: I2. ''Zwei verschiedene Punkte <math>P,\,Q</math> einer Geraden <math>g</math> bestimmen diese Gerade eindeutig.''

== Inzidenzgeometrie ==
=== Definition ===
Ist allgemein <math>(\mathfrak{P}, G, I)</math> ein [[Inzidenzgeometrie#Allgemeine Inzidenzgeometrie|Inzidenzraum]] und sind <math>P_1, P_2 \in \mathfrak{P}</math> zwei verschiedene Punkte in diesem Raum, dann heißt eine Gerade <math>g \in G</math> ''Verbindungsgerade'' dieser beiden Punkte, wenn folgende zwei Bedingungen gelten:

: (V1) <math>P_1 I g \land P_2 I g</math>
: (V2) <math>\operatorname{card} (\{h \in G \colon P_1 I h \land P_2 I h \}) \leq 1</math>

=== Notation und Sprechweisen ===
Werden von den beiden Punkten und der Geraden die Bedingungen (V1) und (V2) erfüllt, so schreibt man oft

: <math>g= \langle P_1, P_2 \rangle</math>

oder

: <math>g= P_1 \vee P_2</math>

oder auch kurz

: <math>g= P_1 P_2 </math>.

In dem hierzu üblichen [[Sprachgebrauch]] sagt man dann auch
* ''<math>g</math> verbindet die Punkte <math>P_1</math> und <math>P_2</math>.''
* ''<math>g</math> gehört mit den Punkten <math>P_1</math> und <math>P_2</math> zusammen.''
* ''Die Punkte <math>P_1</math> und <math>P_2</math> liegen auf <math>g</math>.''
* ''<math>g</math> geht durch die Punkte <math>P_1</math> und <math>P_2</math>.''
* ''Die Punkte <math>P_1</math> und <math>P_2</math> inzidieren mit <math>g</math>.''
* ''<math>g</math> inzidiert mit den Punkten <math>P_1</math> und <math>P_2</math>.''
oder Ähnliches.

Unter Benutzung dieses Sprachgebrauchs lassen sich die obigen Bedingungen (V1) und (V2) so in Worte fassen:

: (V1’) ''Die Punkte <math>P_1</math> und <math>P_2</math> werden durch die Gerade <math>g</math> verbunden.''
: (V2’) ''Für die Punkte <math>P_1</math> und <math>P_2</math> gibt es höchstens eine Gerade, die sie verbindet.''

=== Verbindungsaxiom ===
In den für die Geometrie besonders wichtigen Inzidenzräumen, also insbesondere in den [[Euklidischer Raum|euklidischen Räumen]], in allen [[Affiner Raum|affinen Räumen]] und in allen [[Projektiver Raum|projektiven Räumen]] gilt in Bezug auf Punkte und Verbindungsgeraden durchgängig die folgende grundlegende Bedingung (V):

: (V) ''Zu je zwei verschiedenen Punkten des gegebenen Inzidmoinlkoolkolkkllenzraums 
existiert stets eine Verbindungsgerade, also eine Gerade derart, dass (V1) und (V2) erfüllt sind.''

Man nennt diese Bedingung das ''Verbindungsaxiom.''

In anderer Formulierung lässt sich das Verbindungsaxiom auch wie folgt aussprechen:

: (V’) ''Zu je zwei verschiedenen Punkten des gegebenen Inzidenzraums gibt es genau eine Gerade, die diese beiden Punkte verbindet.''

=== Teilräume und Hüllensystem ===
Den in der Hauptsache in der Geometrie behandelten Inzidenzräumen –&nbsp;wie etwa den affinen und den projektiven Räumen, aber auch vielen anderen [[Linearer Raum (Geometrie)|linearen Räumen]] wie z.&nbsp;B. den [[Blockplan|Blockplänen]]&nbsp;– ist gemeinsam, dass die Inzidenzrelation von der [[Elementrelation]] herrührt und somit die Geraden <math>g</math> [[Teilmenge]]n der zugehörigen [[Punktmenge]] <math>\mathfrak{P}</math> sind.

Es ist also dann die ''Geradenmenge'' eine Teilmenge der [[Potenzmenge]] von <math>\mathfrak{P}</math>, folglich die Beziehung <math>G \subseteq 2^{\mathfrak{P}}</math> gegeben. In diesem Falle beschreibt man den Inzidenzraum <math>(\mathfrak{P}, G, I)</math> kurz in der Form <math>(\mathfrak{P}, G)</math> anstatt in der Form <math>(\mathfrak{P}, G, {\in})</math>.<ref>Dabei wird die Elementrelation als selbstverständlich gegeben betrachtet und nicht weiter erwähnt.</ref>

Unter diesen Gegebenheiten nennt man eine Teilmenge <math>\mathfrak{T} \subseteq \mathfrak{P}</math> einen ''Teilraum von <math>(\mathfrak{P}, G)</math>,'' wenn mit je zwei verschiedenen Punkten <math>P_1, P_2 \in \mathfrak{T}</math> stets ihre Verbindungsgerade <math>\langle P_1, P_2 \rangle</math> in <math>\mathfrak{T}</math> enthalten ist, also hierfür stets <math>\langle P_1, P_2 \rangle \subseteq \mathfrak{T}</math> gilt.

Die Menge <math>\tau</math> der Teilräume von <math>(\mathfrak{P}, G)</math> bildet ein [[Hüllensystem]].

=== Zugehöriger Hüllenoperator ===
Zum Hüllensystem <math>\tau</math> lässt sich in der üblichen Weise der zugehörige [[Hüllenoperator]] bilden. Diesen schreibt man oft als <math>\langle \; \rangle</math>.
Für <math>\mathfrak{P}_0 \subseteq \mathfrak{P}</math> gilt also

: <math>\langle \mathfrak{P}_0 \rangle = \bigcap \{ \mathfrak{T} \in \mathcal{T} \colon \mathfrak{T} \supseteq \mathfrak{P}_0 \}</math>.

Das bedeutet:

: <math>\langle \mathfrak{P}_0 \rangle</math> ist der ''kleinste Teilraum von <math>(\mathfrak{P}, G)</math>, der <math>\mathfrak{P}_0</math> umfasst.''

Im Falle, dass dabei <math>\mathfrak{P}_0</math> eine [[endliche Menge]] von Punkten ist, etwa <math>\mathfrak{P}_0 = \{ P_1, \dotsc, P_m \} \; (m \in \N)</math>, schreibt man auch

: <math>\langle \mathfrak{P}_0 \rangle = \langle P_1, \dotsc, P_m \rangle</math>

oder auch

: <math>\langle \mathfrak{P}_0 \rangle = P_1 \vee \dotsc \vee P_m</math>.

Für <math>m = 2</math> und <math>P_1 \neq P_2</math> hat man <math>\langle \mathfrak{P}_0 \rangle = \langle P_1, P_2 \rangle</math>, also wiederum die Verbindungsgerade von <math>P_1</math> und <math>P_2</math>.

=== Beispiel der Koordinatenebene ===
Die [[Koordinatenebene]] <math>K^2</math> über einem [[Kommutativer Körper|kommutativen Körper]] <math>K</math> gibt ein Standardbeispiel für einen Inzidenzraum <math>(\mathfrak{P}, G)</math>, in dem das Verbindungsaxiom gilt.<ref name="Koecher-Krieg">Koecher, Krieg: ''Ebene Geometrie.'' 2000, S. 48 ff.</ref>
Hier ist die Punktmenge

: <math>\mathfrak{P} = K^2</math>

und die Geradenmenge

: <math>G = \{a+ K u \colon a \in K^2 \land u \in K^2 \setminus \{ \mathbf 0 \} \}</math>.

Die Geradenmenge <math>G</math> erhält man also dadurch, dass man alle möglichen [[Faktorraum#Definition|Nebenklassen]] zu allen in <math>K^2</math> gelegenen [[Untervektorraum|Unterräumen]] der [[Dimension (Mathematik)#Dimension eines Vektorraumes (Hamel-Dimension)|Dimension&nbsp;1]] bildet.
Hat man hier zwei unterschiedliche Punkte <math>P_1, P_2 \in K^2</math>, so lässt sich die Verbindungsgerade in folgender Weise darstellen:

: <math>\langle P_1, P_2 \rangle = \{ \alpha P_1 + \beta P_2 \colon \alpha, \beta \in K \land \alpha + \beta = 1 \}</math>

Das Standardbeispiel für dieses Konzept bieten die Geraden, die zwei Punkte der [[Euklidischer Raum#Der euklidische Punktraum|euklidischen Ebene]] verbinden.

== Siehe auch ==
* [[Affiner Raum#Definition|Verbindungsvektor]]
* [[Verbindungsraum]]
* [[Strecke (Geometrie)|Verbindungsstrecke]]

== Literatur ==
* {{Literatur
   |Autor=[[Gerhard Hessenberg]], Justus Diller
   |Titel=Grundlagen der Geometrie
   |Auflage=2.
   |Verlag=Walter de Gruyter Verlag
   |Ort=Berlin
   |Datum=1967
   |Seiten=20, 220}}
* {{Literatur
   |Autor=[[David Hilbert]]
   |Titel=Grundlagen der Geometrie
   |TitelErg=Mit Supplementen von Dr. [[Paul Bernays]]
   |Reihe=Teubner-Studienbücher: Mathematik
   |Auflage=11.
   |Verlag=Teubner Verlag
   |Ort=Stuttgart
   |Datum=1972
   |ISBN=3-519-12020-8
   |Seiten=3 ff.
   |Online=[http://www.ams.org/mathscinet/search/publdoc.html?arg3=&co4=AND&co5=AND&co6=AND&co7=AND&dr=all&pg4=AUCN&pg5=TI&pg6=PC&pg7=ALLF&pg8=ET&review_format=html&s4=Hilbert%2C%20David&s5=&s6=&s7=&s8=All&vfpref=html&yearRangeFirst=&yearRangeSecond=&yrop=eq&r=15&mx-pid=1109913 MR1109913]}}
* {{Literatur
   |Autor=[[Helmut Karzel]], Kay Sörensen, Dirk Windelberg
   |Titel=Einführung in die Geometrie
   |Reihe=Uni-Taschenbücher
   |BandReihe=184
   |Verlag=Vandenhoeck & Ruprecht
   |Ort=Göttingen
   |Datum=1973
   |ISBN=3-525-03406-7
   |Seiten=11 ff.}}
* {{Literatur
   |Autor=[[Max Koecher]], [[Aloys Krieg]]
   |Titel=Ebene Geometrie
   |Reihe=Springer-Lehrbuch
   |Auflage=2., neu bearbeitete und erweiterte
   |Verlag=Springer Verlag
   |Ort=Berlin (u.&nbsp;a.)
   |Datum=2000
   |ISBN=3-540-67643-0
   |Seiten=7, 48 ff., 52, 212}}
* {{Literatur
   |Autor=[[Herbert Meschkowski]]
   |Titel=Denkweisen großer Mathematiker
   |TitelErg=Ein Weg zur Geschichte der Mathematik
   |Reihe=Dokumente zur Geschichte der Mathematik
   |Auflage=3.
   |Verlag=Vieweg Verlag
   |Ort=Braunschweig
   |Datum=1990
   |ISBN=3-528-28179-0
   |Online=[http://www.ams.org/mathscinet/search/publdoc.html?arg3=&co4=AND&co5=AND&co6=AND&co7=AND&dr=all&pg4=AUCN&pg5=TI&pg6=PC&pg7=ALLF&pg8=ET&review_format=html&s4=Meschkowski%2C%20Herbert&s5=&s6=&s7=&s8=All&vfpref=html&yearRangeFirst=&yearRangeSecond=&yrop=eq&r=1&mx-pid=1086172 MR1086172]}}
* {{Literatur
   |Autor=Eberhard M. Schröder
   |Titel=Vorlesungen über Geometrie
   |TitelErg=2. Affine und projektive Geometrie
   |Verlag=BI Wissenschaftsverlag
   |Ort=Mannheim / Wien / Zürich
   |Datum=1991
   |ISBN=3-411-15301-6
   |Seiten=2 ff.
   |Online=[http://ams.math.uni-bielefeld.de/mathscinet/search/publdoc.html?arg3=&co4=AND&co5=AND&co6=AND&co7=AND&dr=all&pg4=AUCN&pg5=TI&pg6=PC&pg7=ALLF&pg8=ET&review_format=html&s4=Schr%C3%B6der%2C%20Eberhard%20M.&s5=&s6=&s7=&s8=All&vfpref=html&yearRangeFirst=&yearRangeSecond=&yrop=eq&r=27&mx-pid=1166803 MR1166803]}}
* {{Literatur
   |Autor=Otto Kerner, Joseph Maurer, Jutta Steffens, Thomas Thode, Rudolf Voller (Bearb.)
   |Titel=Vieweg-Mathematik-Lexikon
   |TitelErg=Begriffe, Definitionen, Sätze, Beispiele für das Grundstudium
   |Verlag=Vieweg Verlag
   |Ort=Braunschweig / Wiesbaden
   |Datum=1988
   |ISBN=3-528-06308-4
   |Seiten=311}}

== Einzelnachweise und Anmerkungen ==
<references />

[[Kategorie:Geometrie]]