Ableiten von Eigenschaften von Raumzeit-Mannigfaltigkeiten aus denen von Karten

Diese Frage bezieht sich auf topologische Mannigfaltigkeiten, wie sie in einem der Vorträge von Frederic Schuller über Gravitation diskutiert werden: https://www.youtube.com/watch?v=93f-ayezCqE .

Ein bisschen Hintergrund: Um die Raumzeit zu studieren, weisen wir ihr, kurz gesagt, die Struktur einer topologischen Mannigfaltigkeit zu M weil man dann seine offenen Teilmengen auf offene Teilmengen von abbilden kann R D , über Diagrammkarten. Man kann dann auf die Kontinuität der "wirklichen" Kurve in der Raumzeit schließen (sagen wir, γ : R M ) aus der Kontinuität der Kurve (der sie zugeordnet ist) in R D . Allgemeiner kann man auf die Eigenschaften der Raumzeit schließen, indem man sich die Eigenschaften ihrer Karten (Atlas) ansieht.

Der Dozent betont, dass während die Kurve in der Mannigfaltigkeit eine "physikalisch reale Sache" sei, die Kurve in R D ist es nicht, da es von unserer Wahl der Kartendarstellung abhängt, die wiederum willkürlich sein kann. Daher beschäftigen wir uns mit diesen Eigenschaften von R D Kurven, die unabhängig von der Wahl der Chartkarte sind, und wir können nur davon sprechen, dass solche Eigenschaften auf sie anwendbar sind γ . Kontinuität ist zufälligerweise eine diagrammunabhängige Eigenschaft, und daher können wir von "Kontinuität von" sprechen γ ".


Frage: Hängt nicht der Begriff der Stetigkeit von Raumzeitkurven selbst von unserer Wahl der Topologie ab? M ? Schließt das Kontinuität als "physikalisch reale Eigenschaft" einer "physikalisch realen" Kurve nicht aus, da sie nicht unabhängig von der Wahl der Topologie ist? Wenn dies tatsächlich der Fall ist, warum sich dann die ganze Mühe machen, auf die Kontinuität von zu schließen γ , anstatt sich mit der Kontinuität der Kartenkarte ( R D ) Kurven?

Antworten (1)

Kartesische Räume sind reelle Räume, also ist eine Kurve darin eine reelle Kurve. Nun verstehen wir kartesische Räume sehr gut, also definieren wir topologische Mannigfaltigkeiten in Bezug darauf. Aus diesem Grund verwenden wir Diagramme. Wir definieren ein unbekanntes Etwas im Sinne von etwas Bekanntem.

Erstens, gehen Sie von der Frage aus, dass Sie durch offene Mengen verwirrt sind. Eine Kurve im 2D-Raum ist keine offene Menge, aber eine offene Scheibe ist es; Im 3D-Raum ist eine offene Scheibe jedoch nicht offen, eine offene 3D-Kugel jedoch. Usw.

Eine Mannigfaltigkeit wird durch ihre Diagramme definiert; dies sind Karten von einer Mannigfaltigkeit zum kartesischen Raum; somit kann eine Kurve in der Mannigfaltigkeit auf viele verschiedene Kurven in den Diagrammen abgebildet werden. Aus diesem Grund sehen wir eine Kurve in einer Mannigfaltigkeit als ein „reales“ Ding und ihr Bild in einem Diagramm als eine Darstellung dieser Kurve – also weniger „real“.

Jetzt ist die Topologie des kartesischen Raums sehr gut verstanden; und was wir durch diese Karten und ihre Kompatibilitätsbedingungen tun, ist, die Topologie kartesischer Räume auf die Mannigfaltigkeit zu übertragen .

Unter einer Mannigfaltigkeit versteht man daher einen topologischen Raum, der lokal wie ein kartesischer Raum ist.

Frage: Hängt nicht der Begriff der Stetigkeit von Raumzeitkurven selbst von unserer Wahl einer Topologie auf der Mannigfaltigkeit ab?

Die Situation ist genau umgekehrt. Es gibt keine Topologie auf der Mannigfaltigkeit. Es ist nur eine Reihe von Punkten; und wir verwenden die Diagramme, um die Topologie auf den Diagrammen zu den Verteilern zu transportieren, um sicherzustellen, dass sie miteinander kompatibel sind.

Aber so wie es in der Videovorlesung (Vorlesung 1 der gleichen Reihe) definiert ist, sollte Kontinuität von der Topologie abhängen M . Man kann nicht von einer offenen Menge sprechen M ohne Angabe der Topologie. Wollen Sie damit sagen, dass wir die Topologie nicht explizit angeben? M , und dass es durch unsere Wahl der Topologie implizit spezifiziert ist R D ? Auch wenn wir die Topologie auf den Charts transportieren M , der Begriff der Stetigkeit für eine Kurve auf M würde letztlich immer noch von der Topologie auf den Karten abhängen, die wir zu Beginn festgelegt haben.
(Fortsetzung von oben) Es bleibt die Frage: Schließt das Kontinuität als "physisch reale Eigenschaft" aus?
@Shirish Kulhari: Aus irgendeinem Grund wird der Ton auf meinem Smartphone nicht wiedergegeben, daher kann ich mir den von Ihnen erwähnten Videovortrag nicht ansehen. Ja, die Topologie wird nicht explizit angegeben, sie wird implizit durch die Definition der Diagramme angegeben - das meine ich mit dem Transport der Topologie zur Mannigfaltigkeit. Wenn Sie darüber nachdenken, können Sie sehen, dass dies philosophisch sinnvoll ist – wir definieren etwas Unbekanntes in Bezug auf etwas Bekanntes.
Sicher hängt die Topologie letztendlich vom kartesischen Raum ab; Aber sobald wir die Topologie auf die Mannigfaltigkeit übertragen haben, können wir eine Menge tun, ohne zu den Diagrammen zurückkehren zu müssen. Zum Beispiel können wir zeigen, dass das kartesische Produkt zweier Mannigfaltigkeiten eine Mannigfaltigkeit ist – und dazu müssen wir zu den Diagrammen zurückkehren; Aber sobald wir das getan haben, können wir sagen, dass ein offenes Liniensegment x Kreis uns einen topologischen Zylinder gibt, und wir können dies sagen, ohne zu den Diagrammen zurückzukehren.
Kontinuität ist wahrscheinlich keine physisch reale Eigenschaft; Es ist wahrscheinlich, dass bei sehr geringer Entfernung die physische Kontinuität fehlschlägt. aber diese Perspektive kommt aus der Quantenmechanik. Für GR ist es am besten, es zu nehmen, dass es steht.