Genauer gesagt sind Ereignishorizonte keine geodätischen Kongruenzen, dh sie lassen eine lokale Parametrisierung zu (mit ) so dass:
Für jede Konstante Die Die Kurve ist eine Null-Geodäte, dh wenn , Dann Und .
Äquivalent dazu, wenn ich einen Lichtstrahl auf ein beliebiges Ereignis auf einem Ereignishorizont werfe, gibt es dann immer einen Anfangsimpuls, so dass er für eine endliche Zeit (in der Vergangenheit oder in der Zukunft) am Horizont bleibt ?
Ist die Antwort außerdem für die Dimension der Raumzeit sinnvoll? Die Art des Ereignishorizonts (Schwarzes Loch, kosmologische...)?
Zuerst dachte ich, das sei per Definition offensichtlich, aber nach einigem Nachdenken wurde mir klar, dass es das wirklich nicht ist. Ein Ereignishorizont ist im Wesentlichen als eine Hülle vergangenheitsgerichteter Null-Geodäten aus der Zukunft Null Unendlich definiert, daher gibt es keinen offensichtlichen Grund, warum der Horizont selbst aus solchen Null-Geodäten bestehen sollte. (Vergleichen Sie mit dem trivialen Beispiel eines Kreises, der die Hülle der Familie aller ihn berührenden Linien ist, aber selbst keine Linie ist ...). Allerdings fällt mir kein Gegenbeispiel ein.
Ein Ereignishorizont wird immer durch Null-Geodäten generiert. Weil es als die Grenze der Vergangenheit der zukünftigen Null-Unendlichkeit definiert ist , ist es eine Null-Hyperfläche, die immer durch Null-Geodäten erzeugt wird (dh eine Null-Geodäten-Kongruenz definieren). Die einzige Feinheit, um die Sie sich kümmern müssen, sind Kaustiken, bei denen Nullgeneratoren in den Ereignishorizont eintreten und den Horizont an bestimmten Punkten weniger glatt aussehen lassen. Aber diese verderben nicht die Tatsache, dass jeder Punkt auf dem Ereignishorizont auf einer Null-Geodäte liegt, die auf unbestimmte Zeit in der Zukunft auf dem Ereignishorizont bleibt.
Einige Diskussionen darüber finden sich in Wald auf/um S. 311.
Ja, unter bestimmten Voraussetzungen. Ein Theorem von Hawking besagt, dass in einer stationären, analytischen, asymptotisch flachen Vakuum-Schwarzloch-Raumzeit der Ereignishorizont ein Killing-Horizont ist, was insbesondere bedeutet, dass es sich um eine Null-Hyperfläche handelt, was insbesondere bedeutet, dass es sich um eine Null-geodätische Kongruenz handelt.
BEARBEITEN: Die Antwort von asperanz unten ist meiner Meinung nach besser.
gj255