Parallelotop

Das Parallelotop beziehungsweise n-Parallelotop ist für $n\geq 3$ eine Verallgemeinerung des Parallelepipeds in den n-dimensionalen Raum.

Das zweidimensionale Analogon des Parallelepipeds ist das Parallelogramm.

Definition

Ein n-Parallelotop ist das Bild des Einheitswürfels unter einer affinen Abbildung. Der Einheitswürfel $I^{n}$ ist eine Menge von Punkten, deren Koordinaten einen Wert zwischen 0 und 1 annehmen, das heißt

$I^{n}:=\left\{(x_{1},\dots ,x_{n})\mid 0\leq x_{i}\leq 1\right\}\,.$

Das Parallelotop ist ein konvexes Polytop mit $2^{n}$ Ecken. Für $m<n$ sind seine m-dimensionalen Seiten selbst m-dimensionale Parallelotope.

Volumen

Eine affine Abbildung $f\colon \mathbb {R} ^{n}\to \mathbb {R} ^{n}$ kann man schreiben als $f(x)=A\cdot x+t$, wobei $A$ die Abbildungsmatrix und $t$ die Verschiebung ist. Das Volumen des Einheitswürfels ist Eins. Um das Volumen des Parallelotops $P$ zu ermitteln, muss also untersucht werden, wie stark die affine Abbildung das Volumen verändert. Da ein Volumen unabhängig von einer Verschiebung ist, steckt dieser Wert allein in der Abbildungsmatrix. Indem man die Determinante dieser Matrix berechnet, erhält man auch den Faktor $|\det(A)|$, um den sich das Volumen ändert. Die Striche $|\cdot |$ bezeichnen hier den Betrag. Multipliziert man diesen Faktor mit dem Volumen des Einheitswürfels, so gilt trivialerweise $|\det(A)|\cdot 1=|\det(A)|$, daher gilt

$\operatorname {vol} (P)=|\det(A)|$,

wobei $A$ die Abbildungsmatrix der affinen Abbildung ist, die das Parallelotop $P$ definiert.

In höherdimensionalen Räumen befindliche Parallelotope

Das Parallelotop kann über $f\colon \mathbb {R} ^{n}\to \mathbb {R} ^{m}$, Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle f(x):=Ax+t} mit $n\leq m$ auch in einen höherdimensionalen Raum eingebettet sein. Ohne Beschränkung der Allgemeinheit darf wieder $t=0$ gesetzt werden. Die Matrix Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle A\in \mathbb {R} ^{m\times n}} ist für $n<m$ nicht mehr quadratisch, womit die Berechnung über die Determinante unmöglich erscheint. Jedoch lässt sich eine allgemeine Formel finden, welche die Formel für quadratische Matrizen als Spezialfall enthält.

Das äußere Produkt Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \Lambda ^{n}\mathbb {R} ^{m}} ist ein Vektorraum, welcher sich mit einem kanonischen Skalarprodukt ausstatten lässt, indem

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \langle {\vec {v}}_{1}\wedge \ldots \wedge {\vec {v}}_{n},{\vec {w}}_{1}\wedge \ldots \wedge {\vec {w}}_{n}\rangle :=\det(\langle {\vec {v}}_{i},{\vec {w}}_{j}\rangle )}

für Blades definiert wird. Das Skalarprodukt von Multivektoren wird über die Bilinearität auf das von Blades zurückgeführt.

Wie bei jedem Skalarprodukt ist durch

$\|X\|:={\sqrt {\langle X,X\rangle }}$

eine Norm gegeben.

Das Volumen des von den Vektoren ${\vec {v}}_{1},\ldots ,{\vec {v}}_{n}$ aufgespannten Parallelotops ist gerade die Norm des Blades, d. h.

$\operatorname {vol} (P)=\|{\vec {v}}_{1}\wedge \ldots \wedge {\vec {v}}_{n}\|={\sqrt {\det(\langle {\vec {v}}_{i},{\vec {v}}_{j}\rangle )}}.$

Gilt nun 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_k = A\vec e_k} , wobei $({\vec {e}}_{1},\ldots ,{\vec {e}}_{n})$ die kanonische Basis ist, dann ergibt 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 \operatorname{vol}(P) = \sqrt{\det(A^T A)}.}

Man bezeichnet 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^T A)} als gramsche Determinante zur Matrix 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} .

Hiermit lässt sich auch eine geometrische Überlegung zur linearen Abhängigkeit 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 (\vec v_1,\ldots,\vec v_n)} machen. Die Vektoren sind genau dann linear abhängig, wenn das Parallelotop flach zusammenfällt, 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 \operatorname{vol}(P)=0} gilt. Man stellt sich dazu am einfachsten zunächst den Fall 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=2} 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 m=3} vor, bei dem ein Parallelogramm zu einer Strecke zusammenfällt.

Die 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(x)=Ax} ist also genau dann injektiv, wenn ihre gramsche Determinante nicht verschwindet, d. h. wenn $\det(A^{T}A)\neq 0$ gilt. Nach der Äquivalenz von $X=0$ und $\|X\|=0$ ist die Abbildung auch genau dann injektiv, wenn das äußere Produkt der Spaltenvektoren von $A$ nicht verschwindet, d. h.

${\vec {v}}_{1}\wedge \ldots \wedge {\vec {v}}_{n}\neq 0.$

Literatur

• Konrad Königsberger: Analysis. Band 2. Springer, Berlin 2004, ISBN 3-540-20389-3.

Weblinks

Commons: Parallelotopes – Sammlung von Bildern, Videos und Audiodateien

Commons: Parallelepipeds – Sammlung von Bildern, Videos und Audiodateien

Wiktionary: Parallelepiped – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen