Euklidischer Raum

aus Wikipedia, der freien Enzyklopdie

In der Mathematik bezeichnet der Begriff euklidischer Raum zunchst den Raum unserer Anschauung, wie er in
Euklids Elementen durch Axiome und Postulate beschrieben wird (vgl. euklidische Geometrie). Bis ins 19. Jahrhundert
wurde davon ausgegangen, dass dadurch der uns umgebende physikalische Raum beschrieben wird. Der Zusatz
euklidisch wurde ntig, nachdem in der Mathematik allgemeinere Raumkonzepte (z. B. hyperbolischer Raum,
riemannsche Mannigfaltigkeiten) entwickelt wurden und es sich im Rahmen der speziellen und allgemeinen
Relativittstheorie zeigte, dass zur Beschreibung des Raums in der Physik andere Raumbegriffe bentigt werden
(Minkowski-Raum, Lorentz-Mannigfaltigkeit).
Im Laufe der Zeit wurde Euklids Geometrie auf verschiedene Arten przisiert und verallgemeinert:
axiomatisch durch Hilbert (siehe Hilberts Axiomensystem der euklidischen Geometrie)
als euklidischer Vektorraum (einem ber definierten Vektorraum mit Skalarprodukt)
als euklidischer Punktraum (einem affinen Raum, der ber einem euklidischen Vektorraum modelliert ist)
als Koordinatenraum
mit dem Standardskalarprodukt
Wenn vom euklidischen Raum die Rede ist, dann kann jede von diesen gemeint sein oder auch eine hherdimensionale
Verallgemeinerung. Den zweidimensionalen euklidischen Raum nennt man auch euklidische Ebene. In diesem
zweidimensionalen Fall wird der Begriff in der synthetischen Geometrie etwas allgemeiner gefasst: Euklidische Ebenen
knnen dort als affine Ebenen ber einer allgemeineren Klasse von Krpern, den euklidischen Krpern definiert werden.
Vom affinen Raum unterscheidet sich der euklidische dadurch, dass man Lngen und Winkel messen kann und
demzufolge die Abbildungen auszeichnet, die Lngen und Winkel erhalten. Diese nennt man traditionell
Kongruenzabbildungen, andere Bezeichnungen sind Bewegungen und Isometrien.
Vom hyperbolischen Raum unterscheidet er sich dadurch, dass das Parallelenaxiom gilt.

Inhaltsverzeichnis
1 Euklidische Vektorrume
1.1 Vom euklidischen Anschauungsraum zum euklidischen Vektorraum
1.2 Allgemeiner Begriff
1.3 Lngen, Winkel, Orthogonalitt und Orthonormalbasen
1.4 Isometrien
2 Der euklidische Punktraum
2.1 Motivation
2.2 Beschreibung
2.3 Lngen, Abstnde und Winkel
2.4 Abbildungen
3 Der reelle Koordinatenraum
3.1 Definition
3.2 Vom euklidischen Vektorraum/Punktraum zum Koordinatenraum
3.3 Lnge, Winkel, Orthogonalitt, Standardbasis und Abstnde
3.4 Isometrien
3.5 Orientierung
4 Der euklidische Raum in anderen Gebieten der Mathematik
4.1 Euklidische Rume in der Topologie
4.2 Euklidische Rume in der Differentialtopologie
4.3 Euklidische Rume in der Differentialgeometrie
5 Siehe auch
6 Literatur

Euklidische Vektorrume
Siehe auch: Skalarproduktraum

Vom euklidischen Anschauungsraum zum euklidischen Vektorraum

In der analytischen Geometrie ordnet man dem euklidischen Raum einen Vektorraum zu. Eine Mglichkeit, dies zu tun,
ist, die Menge der Parallelverschiebungen (Translationen) zu nehmen, versehen mit der Hintereinanderausfhrung als
Addition. Jede Verschiebung lsst sich durch einen Pfeil beschreiben, der einen Punkt mit seinem Bildpunkt verbindet.
Dabei beschreiben zwei Pfeile, die gleichsinnig parallel sind und die gleiche Lnge haben, dieselbe Verschiebung. Man
nennt zwei solche Pfeile quivalent und nennt die quivalenzklassen Vektoren.
Whlt man im euklidischen Raum einen Punkt als Bezugspunkt (Ursprung) aus, so kann man jedem Punkt seinen
Ortsvektor
zuordnen, den Vektor, der durch einen Pfeil vom Ursprung zum Punkt dargestellt wird. Auf
diese Art bekommt man eine Eins-zu-eins-Beziehung zwischen dem euklidischen Raum und dem zugehrigen
euklidischen Vektorraum und kann so den ursprnglichen euklidischen Raum mit dem euklidischen Vektorraum
identifizieren. Diese Identifizierung ist aber nicht kanonisch, sondern hngt von der Wahl des Ursprungs ab.
Man kann nun auch die Lngen- und Winkelmessung aus dem euklidischen Raum auf Vektoren bertragen als Lnge der
zugehrigen Pfeile und Winkel zwischen solchen. Auf diese Art erhlt man einen Vektorraum mit Skalarprodukt. Das
Skalarprodukt ist dadurch charakterisiert, dass das Produkt
eines Vektors mit sich selbst das Quadrat
seiner
Lnge
ergibt. Aus den Rechengesetzen fr Skalarprodukte, den binomischen Formeln und dem Kosinussatz
(angewandt auf ein Dreieck, dessen Seiten den Vektoren , und
entsprechen) ergibt sich die Formel
.
Hierbei bezeichnet

den Winkel zwischen den Vektoren

und .

Allgemeiner Begriff
Davon ausgehend nennt man jeden reellen Vektorraum mit Skalarprodukt (beliebiger endlicher Dimension ) einen
euklidischen Vektorraum. Man benutzt dann obige Formel, um Lnge (Norm) eines Vektors und Winkel zwischen
Vektoren zu definieren. Zwei Vektoren sind dann orthogonal, wenn ihr Skalarprodukt null ergibt. Jeder dreidimensionale
euklidische Vektorraum ist isometrisch isomorph zum Vektorraum der Pfeilklassen. Jeder -dimensionale euklidische
Vektorraum ist isometrisch isomorph zum Koordinatenvektorraum
(siehe unten). Euklidische Vektorrume derselben
Dimension sind also nicht unterscheidbar. Dies berechtigt einen, jeden solchen als den euklidischen Vektorraum der
Dimension zu bezeichnen. Manche Autoren benutzen den Begriff euklidischer Raum auch fr
unendlichdimensionsionale reelle Vektorrume mit Skalarprodukt, manche auch fr komplexe Vektorrume mit
Skalarprodukt, vgl. Skalarproduktraum.

Lngen, Winkel, Orthogonalitt und Orthonormalbasen

Siehe auch: Orthonormalbasis
Sobald man einen reellen Vektorraum mit einem Skalarprodukt versehen hat, kann man die metrischen Begriffe des
euklidischen Anschauungsraums auf diesen bertragen. Die Lnge (die Norm, der Betrag) eines Vektors ist dann die
Wurzel aus dem Skalarprodukt des Vektors mit sich selbst:
.
Zwei Vektoren

sind zueinander orthogonal (oder senkrecht), wenn ihr Skalarprodukt null ist:
.

Den (nichtorientierten) Winkel zwischen zwei Vektoren definiert man mittels der obigen Formel

,
also
.
Ein Vektor heit Einheitsvektor, wenn er die Lnge 1 hat. Eine Basis aus Einheitsvektoren, die paarweise orthogonal
sind, heit Orthonormalbasis. In jedem euklidischen Vektorraum existieren Orthonormalbasen. Ist
eine
Orthonormalbasis, so lsst sich der Vektor in dieser Basis darstellen:
.
Die Koeffizienten erhlt man durch
.

Isometrien
Sind und zwei -dimensionale euklidische Vektorrume, so nennt man eine lineare Abbildung
(lineare) Isometrie, wenn sie das Skalarprodukt erhlt, wenn also gilt

fr alle
. Im Fall einer Selbstabbildung
erhlt insbesondere Lngen

nennt man

eine

eine orthogonale Abbildung. Eine Isometrie

und Winkel, also insbesondere Orthogonalitt

Umgekehrt ist jede lineare Abbildung, die Lngen erhlt, eine Isometrie.
Eine Isometrie bildet jede Orthonormalbasis wieder auf eine Orthonormalbasis ab. Umgekehrt, wenn
eine
Orthonormalbasis von ist und
eine Orthonormalbasis von
, so gibt es genau eine Isometrie, die auf
abbildet.
Daraus ergibt sich, dass zwei euklidische Vektorrume derselben Dimension isometrisch sind, also als euklidische
Vektorrume nicht unterscheidbar sind.

Der euklidische Punktraum

Motivation
Euklidische Vektorrume dienen oft als Modelle fr den euklidischen Raum. Die Elemente des Vektorraums werden dann
je nach Kontext als Punkte oder Vektoren bezeichnet. Es wird nicht zwischen Punkten und ihren Ortsvektoren
unterschieden. Rechnerisch kann dies von Vorteil sein. Begrifflich ist es jedoch unbefriedigend:
Aus geometrischer Sicht sollten Punkte und Vektoren begrifflich unterschieden werden.
Vektoren knnen addiert und mit Zahlen multipliziert werden, Punkte aber nicht.
Punkte werden durch Vektoren verbunden bzw. ineinander bergefhrt.
Im Vektorraum gibt es ein ausgezeichnetes Element, den Nullvektor. In der euklidischen Geometrie sind aber alle
Punkte gleichberechtigt.

Beschreibung

Abhilfe schafft das Konzept des euklidischen Punktraums. Dies ist ein affiner Raum ber einem euklidischen Vektorraum.
Hier unterscheidet man Punkte und Vektoren.
Die Gesamtheit der Punkte bildet den euklidischen Punktraum. Dieser wird meist mit ,
,
oder
bezeichnet. (Das hochgestellte ist kein Exponent, sondern ein Index, der die Dimension kennzeichnet.
kein kartesisches Produkt.)
Die Gesamtheit aller Vektoren bildet einen euklidischen Vektorraum .

ist also

Zu je zwei Punkten und

existiert genau
ein Verbindungsvektor, der mit
bezeichnet
wird.
Der Verbindungsvektor eines Punktes mit sich
selbst ist der Nullvektor:
Ein Punkt kann durch einen Vektor in
eindeutiger Weise in einen Punkt bergefhrt
werden. Dieser wird oft mit
bezeichnet.
(Dies ist eine rein formale Schreibweise. Das
Pluszeichen bezeichnet keine Vektorraumaddition,
und auch keine Addition auf dem Punktraum.)
Der Nullvektor fhrt jeden Vektor in sich selbst
ber:
Fhrt der Vektor den Punkt in den Punkt
ber und der Vektor den Punkt in den Punkt
, so fhrt
den Punkt in den Punkt
ber. Dies kann wie folgt ausgedrckt werden:

In der Sprache der Algebra bedeuten diese Eigenschaften: Die additive Gruppe des Vektorraums
transitiv auf der Menge .

operiert frei und

Lngen, Abstnde und Winkel

Streckenlngen, Abstnde zwischen Punkten, Winkel und Orthogonalitt knnen
nun mit Hilfe des Skalarprodukts von Vektoren definiert werden:
Die Lnge
der Strecke
definiert man durch

Die Gre des Winkels

und den Abstand

der Punkte

definiert man durch

.

Zwei Strecken
und
zugehrigen Vektoren

und

sind genau dann orthogonal, wenn die

und
orthogonal sind.

Der Winkel QPR ist der Winkel

zwischen den Vektoren

und

Abbildungen
Lngenerhaltende Abbildungen eines euklidischen Punktraums auf sich heien Isometrien, Kongruenzabbildungen (in der
ebenen Geometrie) oder Bewegungen. Sie erhalten automatisch auch Winkel. Ist
eine Bewegung, so existiert
eine orthogonale Abbildung (lineare Isometrie)
, so dass fr alle Punkte und gilt:

Der reelle Koordinatenraum

Definition
Der -dimensionale reelle Koordinatenraum
ist das -fache kartesische Produkt der Menge der reellen Zahlen, also
die Menge der -Tupel
wobei die reelle Zahlen sind. Man bezeichnet die Elemente des
je
nach Kontext als Punkte oder als Vektoren, unterscheidet also nicht zwischen Punkten und Vektoren.
Als Vektoren werden sie komponentenweise addiert und mit reellen Zahlen multipliziert:

In diesem Fall werden die Elemente des

oft als Spaltenvektoren (d. h.

)-Matrizen) geschrieben:

Das Skalarprodukt (Standardskalarprodukt) ist definiert durch

Mit diesem Skalarprodukt ist der

ein euklidischer Vektorraum.

Vom euklidischen Vektorraum/Punktraum zum Koordinatenraum

Whlt man in einem euklidischen Vektorraum eine Orthonormalbasis bzw. in einem euklidischen Punktraum ein
kartesisches Koordinatensystem (d. h. einen Koordinatenursprung und eine Orthonormalbasis des Vektorraums), so wird
dadurch jedem Vektor bzw. Punkt ein Koordinaten- -Tupel zugeordnet. Auf diese Art erhlt man eine Isometrie
zwischen dem gegebenen euklidischen Raum und dem Koordinatenraum und kann diese vermge dieser Isometrie
miteinander identifizieren. Dies rechtfertigt es, den
als den euklidischen Raum zu bezeichnen. Die Isometrie hngt
jedoch von der Wahl der Orthonormalbasis und im Fall des Punktraums von der Wahl des Ursprungs ab.

Lnge, Winkel, Orthogonalitt, Standardbasis und Abstnde

Die Lnge oder Norm eines Vektors ist wie in jedem euklidischen Vektorraum durch die Quadratwurzel aus dem
Skalarprodukt mit sich selbst gegeben:

Man nennt diese Norm auch euklidische Norm oder 2-Norm und schreibt statt
Der Winkel zwischen zwei Vektoren

Zwei Vektoren

und

und

berechnet sich dann durch

sind genau dann orthogonal,

, wenn

auch

oder

gilt. Die Vektoren der Standardbasis

sind Einheitsvektoren und paarweise orthogonal, bilden also eine Orthonormalbasis.

Fasst man die Elemente des
als Punkte auf, so ist der Abstand zwischen den Punkten
Verbindungsvektors
definiert:

und

als die Lnge des

Isometrien
Vektorraum-Isometrien (lineare Isometrien) des
sind orthogonale Abbildungen, die durch orthogonale Matrizen
dargestellt werden. Ist
eine lineare Isometrie und ist

das Bild des -ten Standardbasisvektors (

darstellen als

), so lsst sich

mit Hilfe der Matrizenmultiplikation

Jede Isometrie (Bewegung)

des Punktraums

als Verknpfung einer orthogonalen Abbildung

darstellen.

lsst sich in der Form

und einer Parallelverschiebung (Translation)

Orientierung
Jeder endlichdimensionale reelle Vektorraum kann durch die Wahl einer geordneten Basis mit einer Orientierung versehen
werden. Whrend bei beliebigen euklidischen Vektor- und Punktrumen keine Orientierung ausgezeichnet ist, besitzt der
Koordinatenraum
eine kanonische Orientierung, die durch die Standardbasis gegeben ist: Die geordnete Basis aus den
Vektoren
ist positiv orientiert.
Eine geordnete Basis

ist genau dann positiv orientiert, wenn die aus ihr gebildete Determinante positiv ist:

Identifiziert man den (als euklidisch angenommenen) physikalischen Raum mit dem Koordinatenraum
, indem man ein
kartesisches Koordinatensystem einfhrt, so whlt man die Koordinatenachsen blicherweise so, dass sie ein Rechtssystem
bilden. Die durch die Rechte-Hand-Regel gegebene Orientierung des physikalischen Raums entspricht dann der
kanonischen Orientierung des Koordinatenraums
.

Der euklidische Raum in anderen Gebieten der Mathematik

Euklidische Rume in der Topologie
Die Funktion, die jedem Vektor seine durch das Skalarprodukt definierte Lnge
zuordnet, ist eine Norm. Man spricht von der durch das Skalarprodukt induzierten
Norm oder der Skalarproduktnorm; manche Autoren nennen die Norm auch
euklidische Norm. Die durch das Standardskalarprodukt auf
induzierte Norm
heit euklidische Norm oder 2-Norm und ist ein Spezialfall der p-Normen. Durch
die induzierte Norm wird jeder euklidische Vektorraum zu einem normierten
Raum und dadurch zum klassischen Beispiel eines topologischen Vektorraums.
Insbesondere ist er ein Prhilbertraum und, weil dieser im Endlichdimensionalen
auch vollstndig ist, ein Banachraum und somit auch ein Hilbertraum.
Durch die euklidische Abstandsfunktion
wird jeder
euklidische Raum zu einem metrischen Raum und damit insbesondere zu einem
topologischen Raum.
Einordnung euklidischer Rume in

Da auf endlichdimensionalen Vektorrumen alle Normen quivalent sind, hngt

die verschiedenen Arten topologischer
die Topologie des euklidischen Raums in Wirklichkeit nicht von der euklidischen
Rume
Struktur ab. Normierte Vektorrume derselben endlichen Dimension sind also
alle zueinander homomorph und damit homomorph zum
. Nach dem Satz
von der Invarianz der Dimension von Luitzen E. J. Brouwer sind euklidische Rume verschiedener Dimension jedoch
nicht homomorph aufeinander abbildbar.
Als topologischer Raum ist der euklidische Raum zusammenhngend und zusammenziehbar.

Euklidische Rume in der Differentialtopologie

Siehe auch: Mannigfaltigkeit
Mannigfaltigkeiten werden ber euklidischen Rumen modelliert: Eine Mannigfaltigkeit ist lokal homomorph zum
.
Durch die differenzierbare Struktur sind differenzierbare Mannigfaltigkeiten lokal diffeomorph zum
. Insbesondere ist
der euklidische Raum selbst eine differenzierbare Mannigfaltigkeit. Fr alle Dimensionen auer Dimension vier ist eine zu
homomorphe differenzierbare Mannigfaltigkeit auch zu
diffeomorph. Die in vier Dimensionen bestehenden
Ausnahmen werden exotische 4-Rume genannt.

Euklidische Rume in der Differentialgeometrie

Durch das (nicht vom Punkt abhngige) Skalarprodukt wird der euklidische Raum zu einer riemannschen
Mannigfaltigkeit. Umgekehrt wird in der riemannschen Geometrie jede riemannsche Mannigfaltigkeit, die isometrisch zum
Vektorraum
mit dem Standardskalarprodukt ist, als euklidischer Raum bezeichnet. Fr diese riemannschen
Mannigfaltigkeiten verschwindet der Krmmungstensor, das heit, der Raum ist flach. Umgekehrt ist jede flache
riemannsche Mannigfaltigkeit lokal isometrisch zum euklidischen Raum. Es kann sich allerdings auch um eine offene
Teilmenge eines
handeln oder um eine Mannigfaltigkeit, deren universelle berlagerung eine Teilmenge des
ist.
Zweidimensionale Beispiele fr den letzten Fall sind ein flacher Torus oder ein gerader Kreiszylinder. Hingegen ist jede

vollstndige und einfach zusammenhngende flache riemannsche Mannigfaltigkeit ein euklidischer Raum.

Siehe auch
Hierarchie mathematischer Strukturen

Literatur
Marcel Berger: Geometry I. Aus dem Franzsischen von M. Cole und S. Levy. Universitext. Springer-Verlag,
Berlin 1987, ISBN 3-540-11658-3.
Marcel Berger: Geometry II. Aus dem Franzsischen von M. Cole und S. Levy. Universitext. Springer-Verlag,
Berlin 1987, ISBN 3-540-17015-4.
Von http://de.wikipedia.org/w/index.php?title=Euklidischer_Raum&oldid=107222507
Kategorien: Euklidische Geometrie Mathematischer Raum
Diese Seite wurde zuletzt am 25. August 2012 um 10:20 Uhr gendert.
Der Text ist unter der Lizenz Creative Commons Attribution/Share Alike verfgbar; zustzliche Bedingungen
knnen anwendbar sein. Einzelheiten sind in den Nutzungsbedingungen beschrieben.
Wikipedia ist eine eingetragene Marke der Wikimedia Foundation Inc.
Abrufstatistik