Theoretischer Nachweis der Lichtgeschwindigkeitskonstante ccc im Vakuum in allen Bezugssystemen

Gibt es einen theoretischen Beweis für die konstante Lichtgeschwindigkeit in allen Bezugssystemen? Ich weiß, es ist experimentell bewiesen, aber nur neugierig.

Natürlich gibt es einen theoretischen Beweis. Tatsächlich gibt es in jeder Theorie, die die Konstanz der Lichtgeschwindigkeit als Axiom nimmt , einen einzeiligen theoretischen Beweis. Es gibt andere Theorien, in denen es Beweise gibt, aber keine so kurzen, und andere, in denen es überhaupt keinen Beweis gibt. Um diese Frage aussagekräftig zu machen, müssen Sie angeben, von welcher Theorie Sie sprechen.
@WillO, vielleicht verstehe ich Ihren Kommentar falsch, aber in einer Theorie, die die Konstanz der Lichtgeschwindigkeit als Axiom annimmt , gibt es keinen theoretischen Beweis für diese Konstanz, eine Zeile oder eine andere, um darüber zu sprechen, weil, wenn es gäbe, die Konstanz der Lichtgeschwindigkeit wäre kein Axiom in der Theorie.
Um pingelig zu sein, sollte es nicht experimentell verifiziert statt bewiesen heißen ?
@AlfredCentauri: Ein Beweis ist gemäß der Standarddefinition eine endliche Liste von Aussagen, von denen jede entweder ein Axiom ist oder über bestimmte Schlussregeln aus früheren Aussagen auf der Liste folgt. Eine Liste der Länge eins ist genau dann ein Beweis, wenn das eine Element auf dieser Liste ein Axiom ist.
@WillO, ich sehe Ihren Standpunkt im Kontext eines formalen Systems, aber ich muss gestehen, dass ich die Vorstellung finde, dass das „Angeben“ eines Axioms das Axiom als absurd, wenn nicht leer beweist.
@AlfredCentauri: Finden Sie es genauso absurd (im gleichen formalen Kontext), dass jeder Beweis mit einem Axiom beginnt?
@ WillO, überhaupt nicht; warum?
@AlfredCentauri: Da wir erkennen, dass wir hier vom Thema abschweifen, ist es wahrscheinlich am besten, dies nicht zu bearbeiten, aber: Wenn EIN ist ein Axiom, und wenn B Folgt aus EIN , dann sind Sie (wenn ich Sie verstehe) bereit, darüber nachzudenken ( EIN , B ) ein nicht absurder Beweis dafür B , aber nicht bereit, darüber nachzudenken ( EIN ) ein nicht absurder Beweis dafür EIN . Aber beide Beweise beruhen auf genau derselben Grundlage, daher habe ich Schwierigkeiten zu verstehen, warum einer als absurder gelten sollte als der andere.
@WillO, der Hauptunterschied für mich ist "B folgt aus A", dh das Axiom A und eine Schlußregel führen zu B und somit ist B im System bewiesen (B ist ein Theorem).
@AlfredCentauri: Aber das ist kein Unterschied, denn es ist genauso wahr, dass "A folgt aus A" - das Axiom A zusammen mit der Schlussregel, die besagt, dass jede Aussage aus sich selbst abgeleitet werden kann, zum Satz A führt Ich glaube also nicht, dass Ihr Kommentar eine genaue Beschreibung dessen sein kann, welchen Unterschied Sie wahrnehmen.
@WillO, "jede Aussage kann von sich selbst abgeleitet werden" - ich belasse es einfach dabei.

Antworten (4)

Wie WillO sagt, muss man seine Theorie durch eine Definition seiner Axiome (und zulässiger Schlussregeln) präzise formulieren.

Aber etwas, das Sie vielleicht intellektuell erfüllend finden, ist das Folgende. Ausgehend von sehr grundlegenden Symmetrieprinzipien - Homogenität und Isotropie der Raumzeit sowie Kontinuität der Transformationen zwischen Frames und kontinuierliche Abhängigkeit von der relativen Geschwindigkeit und schließlich Kausalität, siehe die Artikel von Pal und Levy-Leblond, die ich in meiner speziellen Antwort auf Relativitäts-Ressourcenempfehlungen hier zitiere . Aus diesen Annahmen kann man beweisen, dass es eine rahmeninvariante Geschwindigkeit geben muss c (es könnte unendlich sein, dh die Galileische Relativitätstheorie ist in den möglichen Ergebnissen enthalten) und man leitet auch die Form der Lorentz-Transformationen ab.

Das findet man dann experimentell c ist endlich, da experimentell festgestellt wurde, dass sich die Lichtgeschwindigkeit in dieser rahmeninvarianten Weise verhält.

"Aus diesen Annahmen kann man beweisen, dass es eine rahmeninvariante Geschwindigkeit c geben muss", wobei c die Lichtgeschwindigkeit ist?
Was ist mit der Tatsache, dass c ist konstant in der Elektrodynamik ( c = 1 μ 0 ϵ 0 ) mit der besonderen Wendung, dass man das nicht ändern kann, auch wenn sich der Referenzrahmen ändert, ohne die Theorie zu "zerstören". Maxwells Elektrodynamik fordert Konstanz der Lichtgeschwindigkeit.
@jim Ja, siehe die Artikel von Pal und Levy-Leblond, die ich in der Antwort zitiere, die ich hier verlinke.
@J.Manuel Nun, das ist noch eine weitere Motivation und die, die Einstein verwendet hat.

Dafür gibt es einen theoretischen "Beweis". c ist konstant, obwohl es als "schwach" angesehen werden könnte. Lassen Sie mich erklären.

Aus der mathematischen Physik ist bekannt, dass jede Größe f = f ( x , t ) der Gleichung gehorchen 2 f t 2 v 2 2 f = 0 stellt eine Welle dar, die sich mit Geschwindigkeit bewegt v . Wenn man nun Maxwells Gleichungen für das Vakuum verwendet, kann gezeigt werden, dass das elektrische und das magnetische Feld genau einer Gleichung dieser Art gehorchen, das heißt (der Einfachheit halber nehmen wir nur das elektrische Feld)

2 E t 2 ( 1 μ 0 ϵ 0 ) 2 E = 0

Dies impliziert eine elektrische Feldwelle, die sich mit Geschwindigkeit bewegt c = 1 μ 0 ϵ 0 . Das ist die elektrische Komponente des Lichts.

Nun, wie Sie sehen, beides μ 0 und ϵ 0 sind Konstanten, die aus völlig unabhängigen Experimenten wie den Experimenten von Coulomb und Biot-Savart stammen. Sie wurden als "kraftumwandelnde" Konstanten hinzugefügt. c hier ist konstant und es gibt keine Möglichkeit, es zu beheben. Es lässt keinen anderen Wert zu und stammt aus der Theorie der Elektromagnetik (Elektrodynamik).

Es wäre zu vereinfachend zu sagen, dass die Elektrodynamik nur die Wellengleichung zusammenfasst. Diese Welle ist jedoch der Kern der gesamten Theorie. Die kleinste Änderung hier wirkt sich auf die ganze Theorie aus. Nichtsdestotrotz könnte jeder, der Galileos Transformation akzeptiert, im Prinzip sagen, dass Maxwells Elektrodynamik falsch ist und geändert werden muss. Deshalb sage ich, es ist "schwach".

Ende des 19. Jahrhunderts wurde klar, dass die folgenden sehr etablierten Theorien: a) Newtonsche Mechanik; b) Das (Galileis) Relativitätsprinzip; und c) Maxwells Elektrodynamik; konnten nicht gleichzeitig wahr sein. Man könnte dann 2 wählen, aber die restlichen würden Reformen fordern.

Könnte man machen c Konstanz als Postulat, die Elektrodynamik rettet und stärkt. Wenn Sie auch das Relativitätsprinzip zugeben, dann voila! du wärst ein Genie (Einstein um genau zu sein).

Aus diesen 2 Postulaten kann man die Lorentz-Transformation erhalten. Sie können aus diesem Beitrag sehen, dass es die Geschwindigkeit der Lichtwelle konstant und gleich hält c , wie erwartet.

Zusammenfassend: Die Elektrodynamik ist die „Beweis“-Theorie für c konstant sein.

PS: Einstein hat das tatsächlich zweimal in seiner Relativitätstheorie gemacht. Er transformierte auch das schwache Korrespondenzprinzip unter Berücksichtigung der Beweise aus Eötvös-Experimenten, dass die schwere Masse dieselbe sein muss wie die träge Masse, in das Korrespondenzprinzip (was es stark macht), indem er es postulierte.

Der Beweis könnte zwei Schritte umfassen, die vollständig auf der Geometrie basieren.

Bei einer beliebigen Metrik für die gekrümmte Raumzeit in der Allgemeinen Relativitätstheorie kann man immer ein lokales Inertialsystem finden. Es ist eine Annäherung an den ersten Grad, die Ihnen hilft, von der allgemeinen Relativitätstheorie zur speziellen Relativitätstheorie um einen Punkt herum zu wechseln, für den die ersten partiellen Ableitungen der Metrik alle verschwinden. Die Metrik ist jetzt an diesem Punkt und in der Umgebung gleich der Minkowski-Metrik.

So lautete die rigorose Formulierung der Grundeinsicht Einsteins, dass „die Physik der gekrümmten Raumzeit sich über kleine Gebiete auf die Physik der einfachen Trägheitsmechanik reduzieren muss“.

Betrachten Sie nun die Minkowski-Metrik für das Inertialsystem, das bei Lorentz-Transformationen invariant bleibt.

Diese Metrik verlangt, dass es in der Geometrie der vier Dimensionen einen konstanten Multiplikator der zeitartigen Dimension mit dem entgegengesetzten Vorzeichen der raumartigen Dimension, dh Signatur, geben sollte, wenn man eine unveränderliche Definition für das Intervall zwischen Punkten oder Ereignissen in der Raumzeit haben möchte Rotationen, Boosts und Übersetzungen.

Diese Konstante der Geometrie der Raumzeit, mit der Dimension des Raumes über der Zeit, im Inertialbezugssystem wird mit der Lichtgeschwindigkeit identifiziert.

Diese Konstante sollte theoretisch vorhanden sein, wenn Sie eine unveränderliche Vorstellung von Entfernung oder Intervall in der Raumzeit haben möchten, die die Lorentz-Transformationen durchlaufen.

Als Einstein ein Gedankenexperiment vorschlug und dann annahm, dass die Lichtgeschwindigkeit unabhängig von allen Trägheitsbezugssystemen konstant ist. Diese Theorie hatte viele Konsequenzen, wie Längenkontraktion, Zeitdilatation und Masse-Energie-Äquivalenzbeziehung. Natürlich kann man eine Theorie nicht beweisen, sondern ihre Konsequenzen können experimentell geschmeckt werden. Und da die Folgen von STR experimentell bewiesen sind, war die Annahme daher richtig.