Euklidischer Raum
In der Mathematik ist der euklidische Raum zunächst der „Raum unserer Anschauung“ („Anschauungsraum“), 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 nötig, nachdem in der Mathematik allgemeinere Raumkonzepte (z. B. hyperbolischer Raum, riemannsche Mannigfaltigkeiten) entwickelt wurden und es sich im Rahmen der speziellen und allgemeinen Relativitätstheorie zeigte, dass zur Beschreibung des Raums in der Physik andere Raumbegriffe benötigt werden (Minkowski-Raum, Lorentz-Mannigfaltigkeit).
Im Laufe der Zeit wurde Euklids Geometrie auf verschiedene Arten präzisiert 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 dieser Definitionen gemeint sein oder auch eine höherdimensionale 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 können dort als affine Ebenen über einer allgemeineren Klasse von Körpern, den euklidischen Körpern definiert werden. Diese Körper sind (je nach Auffassung) Teilkörper oder isomorph zu Teilkörpern von
Vom affinen Raum unterscheidet sich der euklidische dadurch, dass man Längen und Winkel messen kann. Man zeichnet deshalb die Abbildungen aus, die Längen und Winkel erhalten. Diese nennt man traditionell Kongruenzabbildungen, andere Bezeichnungen sind Bewegungen und Isometrien.
Der einem pseudoeuklidischen Raum (en.
)[1] zugrunde liegende Vektorraum besitzt ein Pseudoskalarprodukt, d. h. eine im Allgemeinen nicht positiv definite symmetrische Bilinearform.
In den nichteuklidischen Räumen, so dem hyperbolischen und dem elliptischen Raum, gilt das Parallelenaxiom nicht.
Euklidische Vektorräume
Vom euklidischen Anschauungsraum zum euklidischen Vektorraum
In der analytischen Geometrie ordnet man dem euklidischen Raum einen Vektorraum zu. Eine Möglichkeit, dies zu tun, ist, die Menge der Parallelverschiebungen (Translationen) zu nehmen, versehen mit der Hintereinanderausführung als Addition. Jede Verschiebung lässt sich durch einen Pfeil beschreiben, der einen Punkt mit seinem Bildpunkt verbindet. Dabei beschreiben zwei Pfeile, die gleichsinnig parallel sind und die gleiche Länge haben, dieselbe Verschiebung. Man nennt zwei solche Pfeile äquivalent und nennt die Äquivalenzklassen Vektoren.
Wählt 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 zugehörigen euklidischen Vektorraum und kann so den ursprünglichen euklidischen Raum mit dem euklidischen Vektorraum identifizieren. Diese Identifizierung ist aber nicht kanonisch, sondern hängt von der Wahl des Ursprungs ab.
Man kann nun auch die Längen- und Winkelmessung aus dem euklidischen Raum auf Vektoren übertragen als Länge der zugehörigen Pfeile und Winkel zwischen solchen. Auf diese Art erhält man einen Vektorraum mit Skalarprodukt. Das Skalarprodukt ist dadurch charakterisiert, dass das Produkt eines Vektors mit sich selbst das Quadrat seiner Länge ergibt. Aus den Rechengesetzen für 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 Länge (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 Vektorräume 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 für unendlichdimensionale reelle Vektorräume mit Skalarprodukt, manche auch für komplexe Vektorräume mit Skalarprodukt, vgl. Skalarproduktraum.
Längen, Winkel, Orthogonalität und Orthonormalbasen
Sobald man einen reellen Vektorraum mit einem Skalarprodukt versehen hat, kann man die metrischen Begriffe des euklidischen Anschauungsraums auf diesen übertragen. Die Länge (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 heißt Einheitsvektor, wenn er die Länge 1 hat. Eine Basis aus Einheitsvektoren, die paarweise orthogonal sind, heißt Orthonormalbasis. In jedem euklidischen Vektorraum existieren Orthonormalbasen. Ist eine Orthonormalbasis, so lässt sich der Vektor in dieser Basis darstellen:
- .
Die Koeffizienten erhält man durch
- .
Isometrien
Sind und zwei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -dimensionale euklidische Vektorräume, so nennt man eine lineare Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon V \to W} eine (lineare) Isometrie, wenn sie das Skalarprodukt erhält, wenn also
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(\vec a) \cdot f(\vec b) = \vec a \cdot \vec b}
für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec a, \vec b \in V} gilt. Eine solche Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} wird auch orthogonale Abbildung genannt. Eine Isometrie erhält insbesondere Längen
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |f(\vec a)| = |\vec a|}
und Winkel, also insbesondere Orthogonalität
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(\vec a) \perp f(\vec b) \Longleftrightarrow \vec a \perp \vec b.}
Umgekehrt ist jede lineare Abbildung, die Längen erhält, eine Isometrie.
Eine Isometrie bildet jede Orthonormalbasis wieder auf eine Orthonormalbasis ab. Umgekehrt, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec e_1, \dotsc, \vec e_n} eine Orthonormalbasis von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} ist und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec e_1{}', \dotsc, \vec e_n{}'} eine Orthonormalbasis von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle W} , so gibt es genau eine Isometrie, die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec e_i} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec e_i{}'} abbildet.
Daraus ergibt sich, dass zwei euklidische Vektorräume derselben Dimension isometrisch sind, also als euklidische Vektorräume nicht unterscheidbar sind.
Der euklidische Punktraum
Motivation
Euklidische Vektorräume dienen oft als Modelle für 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 können addiert und mit Zahlen multipliziert werden, Punkte aber nicht.
- Punkte werden durch Vektoren verbunden bzw. ineinander übergeführt.
- 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_n} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E^n} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb E^n} bezeichnet. (Das hochgestellte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} ist kein Exponent, sondern ein Index, der die Dimension kennzeichnet. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E^n} ist also kein kartesisches Produkt.)
- Die Gesamtheit aller Vektoren bildet einen euklidischen Vektorraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} .
- Zu je zwei Punkten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P}
und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q\in E}
existiert genau ein Verbindungsvektor, der mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overrightarrow {PQ}}
bezeichnet wird.
Der Verbindungsvektor eines Punktes mit sich selbst ist der Nullvektor: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overrightarrow{PP} = \vec 0} - Ein Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P}
kann durch einen Vektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec v}
in eindeutiger Weise in einen Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q}
übergeführt werden. Dieser wird oft mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P + \vec v}
bezeichnet. (Dies ist eine rein formale Schreibweise. Das Pluszeichen bezeichnet keine Vektorraumaddition, und auch keine Addition auf dem Punktraum.)
Der Nullvektor führt jeden Vektor in sich selbst über: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P + \vec 0 = P} - Führt der Vektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec v}
den Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P}
in den Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q}
über und der Vektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec w}
den Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q}
in den Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R}
, so führt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec v + \vec w}
den Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P}
in den Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R}
über. Dies kann wie folgt ausgedrückt werden:
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (P + \vec v) + \vec w = P + (\vec v + \vec w)}
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overrightarrow{PQ} + \overrightarrow{QR} = \overrightarrow{PR}}
In der Sprache der Algebra bedeuten diese Eigenschaften: Die additive Gruppe des Vektorraums Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} operiert frei und transitiv auf der Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} .
Längen, Abstände und Winkel
Streckenlängen, Abstände zwischen Punkten, Winkel und Orthogonalität können nun mit Hilfe des Skalarprodukts von Vektoren definiert werden:
Die Länge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{PQ}} der Strecke Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [PQ]} und den Abstand Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(P,Q)} der Punkte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q} definiert man als die Länge des Vektors Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overrightarrow{PQ}} :
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(P,Q) = \overline{PQ} = |\overrightarrow{PQ}| }
Die Größe des Winkels Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sphericalangle QPR} definiert man als den Winkel zwischen den Vektoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overrightarrow{PQ}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overrightarrow{PR}} :
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sphericalangle QPR = \sphericalangle (\overrightarrow{PQ}, \overrightarrow{PR})}
Zwei Strecken Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [PQ]} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [RS]} sind genau dann orthogonal, wenn die zugehörigen Vektoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overrightarrow{PQ}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overrightarrow{RS}} orthogonal sind.
Abbildungen
Längenerhaltende Abbildungen eines euklidischen Punktraums auf sich heißen Isometrien, Kongruenzabbildungen (in der ebenen Geometrie) oder Bewegungen. Sie erhalten automatisch auch Winkel. Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon E \to E} eine Bewegung, so existiert eine orthogonale Abbildung (lineare Isometrie) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec f \colon V \to V} , so dass für alle Punkte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q} gilt:
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(Q) = f(P) + \vec f (\overrightarrow{PQ})}
Der reelle Koordinatenraum
Definition
Der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -dimensionale reelle Koordinatenraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} ist das Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -fache kartesische Produkt der Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} der reellen Zahlen, also die Menge der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -Tupel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x=(x_1, \dotsc, x_n)} wobei die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_i} reelle Zahlen sind. Man bezeichnet die Elemente des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} je nach Kontext als Punkte oder als Vektoren, es wird also nicht zwischen Punkten und Vektoren unterschieden.
Als Vektoren werden sie komponentenweise addiert und mit reellen Zahlen multipliziert:
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x + y = (x_1, \dotsc, x_n) + (y_1, \dotsc, y_n) = (x_1 + y_1, \dotsc, x_n + y_n)}
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r \, x = r \, (x_1, \dotsc, x_n) = (rx_1, \dotsc, rx_n)}
In diesem Fall werden die Elemente des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} oft als Spaltenvektoren (d. h. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (n \times 1)} -Matrizen) geschrieben:
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x = \begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix};\ y = \begin{pmatrix} y_1 \\ \vdots \\ y_n \end{pmatrix};\ x + y = \begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix} + \begin{pmatrix} y_1 \\ \vdots \\ y_n \end{pmatrix} = \begin{pmatrix} x_1 + y_1 \\ \vdots \\ x_n + y_n \end{pmatrix};\ r \,x = r \begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix} = \begin{pmatrix} r x_1 \\ \vdots \\ r x_n \end{pmatrix} }
Das Skalarprodukt (Standardskalarprodukt) ist definiert durch
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \cdot y = (x_1, \dotsc, x_n) \cdot (y_1, \dotsc, y_n) = \begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix} \cdot \begin{pmatrix} y_1 \\ \vdots \\ y_n \end{pmatrix} = x_1 y_1 + \dotsb + x_n y_n} .
Mit diesem Skalarprodukt ist der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} ein euklidischer Vektorraum.
Vom euklidischen Vektorraum/Punktraum zum Koordinatenraum
Wählt 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-Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -Tupel zugeordnet. Auf diese Art erhält man eine Isometrie zwischen dem gegebenen euklidischen Raum und dem Koordinatenraum und kann diese vermöge dieser Isometrie miteinander identifizieren. Dies rechtfertigt es, den Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} als den euklidischen Raum zu bezeichnen. Die Isometrie hängt jedoch von der Wahl der Orthonormalbasis und – im Fall des Punktraums – von der Wahl des Ursprungs ab.
Länge, Winkel, Orthogonalität, Standardbasis und Abstände
Die Länge oder Norm eines Vektors ist wie in jedem euklidischen Vektorraum durch die Quadratwurzel aus dem Skalarprodukt mit sich selbst gegeben:
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |x| = \sqrt{x \cdot x} = \sqrt{x_1^2 + \dotsb + x_n^2} }
Man nennt diese Norm auch euklidische Norm oder 2-Norm und schreibt statt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |x|} auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lVert x \rVert} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lVert x \rVert_2} .
Der Winkel zwischen zwei Vektoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} berechnet sich dann durch
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \cos\sphericalangle(x,y) = \frac{x \cdot y}{|x|\,|y|} = \frac{x_1 y_1 + \dotsb + x_n y_n}{\sqrt{x_1^2 + \dotsb + x_n^2} \sqrt{y_1^2 + \dotsb + y_n^2}}}
Zwei Vektoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} sind genau dann orthogonal, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \perp y} , wenn
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \cdot y = x_1 y_1 + \dotsb + x_n y_n = 0}
gilt. Die Vektoren der Standardbasis
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e_1 = (1, 0, \dotsc, 0, 0)\ , \quad e_2 = (0,1,\dotsc,0, 0)\ , \quad \dotsc\ , \quad e_n = (0,0,\dotsc, 0, 1)}
sind Einheitsvektoren und paarweise orthogonal, bilden also eine Orthonormalbasis.
Fasst man die Elemente des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} als Punkte auf, so ist der Abstand zwischen den Punkten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} als die Länge des Verbindungsvektors Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y - x} definiert:
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(x,y) = |y-x| = \sqrt{(y-x) \cdot (y-x)} = \sqrt{(y_1 -x_1)^2 + \dotsb + (y_n - x_n)^2}}
Isometrien
Vektorraum-Isometrien (lineare Isometrien) des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} sind orthogonale Abbildungen, die durch orthogonale Matrizen dargestellt werden. Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon \R^n \to \R^n} eine lineare Isometrie und ist
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(e_j) = \begin{pmatrix} a_{1j} \\ \vdots \\ a_{nj} \end{pmatrix}\ }
das Bild des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle j} -ten Standardbasisvektors (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle j = 1, \dotsc, n} ), so lässt sich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x)} mit Hilfe der Matrizenmultiplikation darstellen als
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x) = A x = \begin{pmatrix}a_{11} &\dotso& a_{1n}\\ \vdots & & \vdots \\ a_{n1} &\dotso& a_{nn}\end{pmatrix} \begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix}} .
Jede Isometrie (Bewegung) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon \R^n \to \R^n} des Punktraums Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} lässt sich in der Form
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x) = Ax + b = \begin{pmatrix}a_{11} &\dotso& a_{1n}\\ \vdots & & \vdots \\ a_{n1} &\dots& a_{nn}\end{pmatrix} \begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix} + \begin{pmatrix} b_1 \\ \vdots \\ b_n \end{pmatrix}}
als Verknüpfung einer orthogonalen Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \mapsto A x} und einer Parallelverschiebung (Translation) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \mapsto x + b} darstellen.
Orientierung
Jeder endlichdimensionale reelle Vektorraum kann durch die Wahl einer geordneten Basis mit einer Orientierung versehen werden. Während bei beliebigen euklidischen Vektor- und Punkträumen keine Orientierung ausgezeichnet ist, besitzt der Koordinatenraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} eine kanonische Orientierung, die durch die Standardbasis gegeben ist: Die geordnete Basis aus den Vektoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e_1, \dotsc, e_n} ist positiv orientiert.
Eine geordnete Basis
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_1 = \begin{pmatrix}a_{11}\\ a_{21}\\ \vdots \\a_{n1} \end{pmatrix},\ a_2 = \begin{pmatrix}a_{12}\\ a_{22}\\ \vdots \\a_{n2} \end{pmatrix},\ \dotsc,\ a_n = \begin{pmatrix}a_{1n}\\ a_{2n}\\ \vdots \\a_{nn} \end{pmatrix} }
ist genau dann positiv orientiert, wenn die aus ihr gebildete Determinante positiv ist:
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \det(a_1, a_2, \dotsc, a_n) = \begin{vmatrix} a_{11} & a_{12} & \dotso & a_{1n} \\ a_{21} & a_{22} & \dotso & a_{2n} \\ \vdots &\vdots & \ddots & \vdots \\ a_{n1} & a_{n2} & \dotso & a_{nn} \end{vmatrix} > 0 }
Identifiziert man den (als euklidisch angenommenen) physikalischen Raum mit dem Koordinatenraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^3} , indem man ein kartesisches Koordinatensystem einführt, so wählt 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^3} .
Der euklidische Raum in anderen Gebieten der Mathematik
Euklidische Räume in der Topologie
Die Funktion, die jedem Vektor seine durch das Skalarprodukt definierte Länge 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} induzierte Norm heißt 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 Prähilbertraum und, weil dieser im Endlichdimensionalen auch vollständig ist, ein Banachraum und somit auch ein Hilbertraum.
Durch die euklidische Abstandsfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(P,Q) = |\overrightarrow{PQ}|} wird jeder euklidische Raum zu einem metrischen Raum und damit insbesondere zu einem topologischen Raum.
Da auf endlichdimensionalen Vektorräumen alle Normen äquivalent sind, hängt die Topologie des euklidischen Raums in Wirklichkeit nicht von der euklidischen Struktur ab. Normierte Vektorräume derselben endlichen Dimension Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} sind also alle zueinander homöomorph und damit homöomorph zum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} . Nach dem Satz von der Invarianz der Dimension von Luitzen E. J. Brouwer sind euklidische Räume verschiedener Dimension jedoch nicht homöomorph aufeinander abbildbar.
Als topologischer Raum ist der euklidische Raum zusammenhängend und zusammenziehbar.
Euklidische Räume in der Differentialtopologie
Mannigfaltigkeiten werden über euklidischen Räumen modelliert: Eine Mannigfaltigkeit ist lokal homöomorph zum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} . Durch die differenzierbare Struktur sind differenzierbare Mannigfaltigkeiten lokal diffeomorph zum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} . Insbesondere ist der euklidische Raum selbst eine differenzierbare Mannigfaltigkeit. Für alle Dimensionen außer Dimension vier ist eine zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} homöomorphe differenzierbare Mannigfaltigkeit auch zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} diffeomorph. Die in vier Dimensionen bestehenden Ausnahmen werden exotische 4-Räume genannt.
Euklidische Räume in der Differentialgeometrie
Durch das (nicht vom Punkt abhängige) Skalarprodukt wird der euklidische Raum zu einer riemannschen Mannigfaltigkeit. Umgekehrt wird in der riemannschen Geometrie jede riemannsche Mannigfaltigkeit, die isometrisch zum Vektorraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} mit dem Standardskalarprodukt ist, als euklidischer Raum bezeichnet. Für diese riemannschen Mannigfaltigkeiten verschwindet der Krümmungstensor, das heißt, 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} handeln oder um eine Mannigfaltigkeit, deren universelle Überlagerung eine Teilmenge des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} ist. Zweidimensionale Beispiele für den letzten Fall sind ein flacher Torus oder ein gerader Kreiszylinder. Hingegen ist jede vollständige und einfach zusammenhängende flache riemannsche Mannigfaltigkeit ein euklidischer Raum.
Literatur
- Marcel Berger: Geometry I. Aus dem Französischen von M. Cole und S. Levy. Universitext. Springer-Verlag, Berlin 1987, ISBN 3-540-11658-3.
- Marcel Berger: Geometry II. Aus dem Französischen von M. Cole und S. Levy. Universitext. Springer-Verlag, Berlin 1987, ISBN 3-540-17015-4.
Einzelnachweise
- ↑ Élie Cartan: The Theory of Spinors. Dover Publications, New York 1938 (1981), ISBN 978-0-486-64070-9, MR 0631850, Google Books. Hier S. 3.