Hyperbolische Geometrie und Physik - Der Minkowski-Raum

Der Minkowski-Raum

Der Minkowski-Raum ist eines der wichtigsten Mittel für Darstellung der Relativitätstheorie und dessen Beschreibung von Raum und Zeit, welche die Grenzen des Euklidischen Raums überschreitet.

In der Differentialgeometrie werden Minkowski-Räume als Vektorräume beliebiger Dimension mit einer symmetrischen Bilinearform der Signatur (1,n) betrachtet,

wohingegen in der Physik der vierdimensionale behandelt wird. Dieser besitzt die drei Koordinaten des Euklidischen Raums und fügt eine vierte für die Zeit ein, wodurch er zu einer vierdimensionalen Mannigfaltigkeit wird.

Der Einfachheit halber wird hier hauptsächlich das hyperbolische Modell mit vier Dimensionen als Pseudo-Euklidischer Raum (endlich-dimensional mit nicht-ausgearteter quadratischer Form) angeführt. Dieser ist anschaulich gut zu verstehen und nimmt die intuitive Vorstellung der Geometrie auf, sodass auch nicht Mathematiker einen Einblick bekommen.

Mathematische Struktur

Ausgehend von einem kanonischen Ursprung ist der Minkowski-Raum als eine Modellierung der Raumzeit mit einem Vektorraum zu betrachten. Die Erweiterung des Euklidischen Raumes zu einem Pseudo-Euklidischen Raum bedurfte es aufgrund des fehlenden Zusammenhangs von Ort und Zeit, des realen sowie relativen Verlaufes von Objekten. Die Betrachtung dieser Form ist nicht rein physikalisch motiviert, die allgemeine Beschreibung verkompliziert aber das Thema.

Definition

Minkowski-Skalarprodukt des [math]\R^{n+1}[/math]

[math]⟨⟨ x,y ⟩⟩ := -x^0y^0+\sum_{i=1}^nx^iy^i[/math]

In reeller Definition für einen reellen Vektorraum und dessen sog. Minkowski-Vierervektoren(Ereignissen) x und y:

[math]x \in R^3 (R^4) [/math]

[math]x \cdot y := -x_0y_0+x_1y_1+x_2y_2+x_3y_3[/math]

Die Konvention der Signatur der Metrik von (-,+,+,+) ist nicht festgeschrieben, in anderen Anwendungsbereichen als der Relativitätstheorie wird ebenfalls (+,-,-,-) verwendet.

Ebenfalls ist es möglich das innere Produkt zweier Elemente als Wirkung des metrischen Tensors [math]\eta_{\mu,\nu}[/math] aufzufassen, welches als Tensor einer Pseudo-euklidische Metrik der Lorentz'schen Mannigfaltigkeit agiert.

[math]⟨⟨ x,y ⟩⟩ = x * gy,\ \ \ g = diag(-1,.., -1, +1)[/math]

[math]\eta = \begin{pmatrix}-1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&1\end{pmatrix},[/math]

[math]u \cdot v = \eta(u, v),[/math]

Geometrie

Die Bedeutung der Geometrie im Minkowski-Raum ist sehr von der Betrachtung abhängig.

Er weist nicht die bekannte Euklidische Geometrie, als auch die allgemeine Riemannsche Geometrie, mit intrinsischer Krümmung auf.

D.h. das Modell der hyperbolischen Geometrie (negative Krümmung) sowie die durch die Kugel modellierten positiven Krümmung existieren hier im allgemeinen eigentlich nicht, welches durch die Indefinitheit der Minkowski-Metrik begründet ist.

Das Modell eines Hyperboloiden ist analog zu der einer Kugel in der Euklidischen Geometrie; es lassen sich alle wichtigen Eigenschaften des Raumes zeigen: die Riemannsche Metrik, Geodäten, Abstandsfunktionen und Krümmung. Sie wird oft zur Anschauung der Lichtgrenze für die Relativitätstheorie verwendet.

Eigenschaften

Konstante Krümmung -1

Metrik d(x,y) = arcosh(<<x,y>>)

Interessante Sätze, Verbindungen zu anderen mathematischen Gebieten?

Pseudo-Euklidischer Raum

Riemannsche Geometrie

Rolle in der Physik

In den Anwendungen der Physik nimmt die Zeit die neue 0. Koordinate ein während die restlichen Koordinaten (normalerweise 3) die räumlichen sind ( [math] v=(t,x_1,x_2,x_3)[/math]. In relativistischer Physik sind Längen, Geschwindigkeiten (bis auf die Lichtgeschwindigkeit) und sogar die Gleichzeitigkeit von Ereignissen (so nennen wir Punkte bzw. Vektoren im Minkowskiraum) vom Betrachter abhängig, den wir deshalb immer in den (räumlichen) Ursprung unseres Koordinatensystems setzen, da er natürlich zu sich selbst keinen Abstand beobachtet. Da dies immer so bleibt bewegt er sich entlang der Zeitachse.

Ein wichtiges physikalisches Werkzeug auf Minkowskiräumen ist der Lichtkegel. Um die Darstellung zu vereinfachen wird oft nur eine Raumkoordinate betrachtet, wobei die Zeitachse nach oben und die Raumachse nach rechts zeigt und die Skalierung der Achsen so gewählt wird, dass der Pfad eines Objekts, das sich vom Ursprung aus mit Lichtgeschwindigkeit bewegt, auf unserer Darstellung, dem sogenannten Minkowski-Diagramm, entlang einer 45°-Gerade bewegt. Diese Geraden (da die Bewegung sowohl in positive als auch negative x-Richtung geschehen kann) bilden einen Doppelkegel, den sogenannten Lichtkegel. Diesen Lichtkegel gibt es natürlich auch für höhere Dimensionen.

Der Licht-Doppelkegel teilt den Minkowskiraum in drei Teile: Die Vektoren/Ereignisse im Inneren des Doppelkegels nennen wir zeitartig, für sie ist [math] \langle v,v\rangle\lt 0 [/math], die Vektoren/Ereignisse am Rand (die Intuitive, nicht die mathematische Version) des Lichtkegels nennen wir lichtartig, für sie ist [math] \langle v,v\rangle=0 [/math]. Diese beiden bilden zusammen die sogenannten kausalen Vektoren/Ereignisse, sie können Einfluss auf das Ereignis im Ursprung haben oder von ihm beeinflusst werden. Das hängt davon ab ob sie zur kausalen Vergangenheit oder Zukunft gehören, also ihr t-Wert kleiner oder größer 0 ist. Die restlichen Vektoren/Ereignisse, die sich also außerhalb des Licht-Doppelkegels befinden nennen wir Raumartig, für sie ist [math] \langle v,v\rangle\gt 0 [/math] sie sind nicht kausal (manchmal ist auch der Ursprung als Raumartig definiert).

[Führe hier Lorentz Transformation über einen neuen Beobachter von Urpsrungsereignis aus mit nicht0 geschwindigkeit bzgl originalbeobachter ein. Lorentz transformation soll zeitkegel erhalten und "artigkeit" von vektoren bleibt unter lorentz trf erhalten (führe vllt die formeln für geschw. zeit usw. ein statt nur allg. zu bleiben). Weiterhin kann man eine Matrix die eine lorentz trf beschreibt durch eine (-1 & 0\\ 0 & A) erhalten, wobei A in O(n-1) ist. vorzeichen bin ich mir nicht sicher. Poincare bin ich mir nicht sicher, weil das eine Lorentz trf mit einer verschiebung kombiniert ist. Vllt später noch zwillingsparadoxon, dazu dann sagen dass beschl. miteinbezogen werden muss und das erst in ART passiert (out of scope?). Vllt noch Energie-Impuls-viervektor]

Kausalstruktur, Gleichzeitigkeit, (Paradoxien?) Transformationseigenschaften, Boosts (Poincare-Gruppe) Invarianten

Erhellende Bilder?

Zusammenhang mit Poincare Disk/Ball-Modell?

Einzelnachweise und Quellen

letzter Zugriff für alle: 19.09.2021

Autoren

Lela Eigenrauch, Henry Bertels, Elia Fiammengo, Falk Loewner