door wnvl1 » vr 12 dec 2025, 21:42
Ik zou denken dat 1. 2. 3. automatisch met elkaar gekoppeld zijn. Van 4 wist ik dat het geen noodzakelijkheid , maar ik heb nooit die alternatieve theorieën bestudeerd die van 4 afwijken. Ik zou moeten uitzoeken wat juist de implicaties zijn. 4 voelt intuïtief heel natuurlijk aan. Het voelt mij heel natuurlijk aan in het bestuderen van ART dat de vier puntjes samengaan. Ik heb er mij nooit vragen bij gesteld.
Ik heb er ook wat over gepraat met AI. We kwamen tot deze conclusie, maar mogelijk heeft ze mij naar de mond gepraat. De formules die ze erbij geeft, maken het in elk geval wat concreter.
-----------------------------------------
1. Geometrische rol.
De metriek beschrijft de lokale geometrie van de ruimtetijdvariëteit.
Zij bepaalt lengtes, hoeken en volumes via
\[
ds^2 = g_{\mu\nu} dx^\mu dx^\nu, \qquad
dV = \sqrt{-g}\, d^4x,
\]
en bepaalt de Riemann-kromming. Alle informatie over het
zwaartekrachtsveld ligt in \(g_{\mu\nu}\).
2. Causale structuur.
De metriek bepaalt welke intervallen tijdachtig, lichtachtig of ruimtelijk zijn:
\[
ds^2 < 0,\qquad ds^2=0,\qquad ds^2>0.
\]
De Lorentz-signatuur \((-,+,+,+)\) is hierbij essentieel.
Voor hypothetische snelheden \(v>c\) kan de Lorentztransformatie
\[
\Delta t' = \gamma\left(\Delta t - \frac{v\,\Delta x}{c^2}\right)
\]
een omkering van tijdsvolgorde opleveren, wat causaliteit schendt.
3. Algebraïsche rol (indexverheffing/-verlaging).
De metriek definieert het binnenproduct en het isomorfisme tussen
tangent- en cotangentruimte:
\[
v_\mu = g_{\mu\nu} v^\nu, \qquad
\omega^\mu = g^{\mu\nu} \omega_\nu,
\]
en is noodzakelijk voor covariante tensorvergelijkingen.
4. Relatie tot de verbinding.
In standaard-ART geldt metrische compatibiliteit en torsievrijheid:
\[
\nabla_\lambda g_{\mu\nu} = 0, \qquad
\Gamma^\rho_{\mu\nu} = \Gamma^\rho_{\nu\mu},
\]
wat leidt tot de Levi-Civita-verbinding:
\[
\Gamma^\rho_{\mu\nu}
= \frac12 g^{\rho\sigma}
\left(\partial_\mu g_{\sigma\nu}
+ \partial_\nu g_{\sigma\mu}
- \partial_\sigma g_{\mu\nu}\right).
\]
Er bestaan alternatieve zwaartekrachtstheorieën (Palatini,
metric-affine, teleparallelisme) waarin deze voorwaarden niet worden opgelegd.
In de standaardformulering van de algemene relativiteitstheorie zijn de functies
(1), (2) en (3) onlosmakelijk met elkaar verbonden. Dit komt doordat een
(pseudo-)Riemann-metriek \(g_{\mu\nu}\) wiskundig gedefinieerd is als een niet-singuliere,
symmetrische bilineaire vorm op de tangentruimte:
\[
g: T_p M \times T_p M \to \mathbb{R}.
\]
Zodra men zo'n bilineaire vorm specificeert, liggen automatisch de geometrische
hoeveelheden vast:
\[
ds^2 = g_{\mu\nu} dx^\mu dx^\nu, \qquad
dV = \sqrt{-g}\, d^4x,
\]
en volgt de kromming uit de metriek via de Riemann-tensor. Het binnenproduct en
het indexverheffen/-verlaging zijn geen onafhankelijke structuren maar direct
door \(g_{\mu\nu}\) bepaald:
\[
v_\mu = g_{\mu\nu} v^\nu, \qquad
\omega^\mu = g^{\mu\nu} \omega_\nu.
\]
Daarom zijn functie (1) en functie (3) niet van elkaar los te denken: ze zijn
wiskundig precies hetzelfde object.
Ook de causale structuur (functie (2)) volgt noodzakelijk uit dezelfde metriek.
De lichtkegelstructuur wordt volledig bepaald door het lichtachtige interval
\[
g_{\mu\nu} dx^\mu dx^\nu = 0.
\]
Voor een Lorentz-signatuur \((-,+,+,+)\) is de onderverdeling
\[
ds^2 < 0 \ \text{(tijdachtig)}, \qquad
ds^2 = 0 \ \text{(lichtachtig)}, \qquad
ds^2 > 0 \ \text{(ruimtelijk)}
\]
automatisch vastgelegd. Indien men hypothetisch toelaat dat fysische trajecten
ruimtelijk worden (effectief \(v>c\)), dan levert de Lorentztransformatie
\[
\Delta t' =
\gamma\left(\Delta t - \frac{v\,\Delta x}{c^2}\right)
\]
situaties op waarin \(\Delta t'<0\), zodat oorzaak en gevolg van plaats kunnen
wisselen. Dit is geen extern principe maar een direct gevolg van de metriek.
De enige functie die in andere zwaartekrachtstheorieën anders ingevuld kan
worden, is (4). De eis van metrische compatibiliteit
\[
\nabla_\lambda g_{\mu\nu} = 0
\]
is niet wiskundig noodzakelijk, maar een fysische keuze. In alternatieve
formuleringen – zoals Palatini-graviteit, metric-affine theorieën,
Weyl-geometrie en teleparallelisme – worden metriek en verbinding als
onafhankelijke velden beschouwd, of wordt torsie in plaats van kromming gebruikt.
In al deze voorbeelden blijven echter functies (1), (2) en (3) door één en
dezelfde metriek bepaald.
Ik zou denken dat 1. 2. 3. automatisch met elkaar gekoppeld zijn. Van 4 wist ik dat het geen noodzakelijkheid , maar ik heb nooit die alternatieve theorieën bestudeerd die van 4 afwijken. Ik zou moeten uitzoeken wat juist de implicaties zijn. 4 voelt intuïtief heel natuurlijk aan. Het voelt mij heel natuurlijk aan in het bestuderen van ART dat de vier puntjes samengaan. Ik heb er mij nooit vragen bij gesteld.
Ik heb er ook wat over gepraat met AI. We kwamen tot deze conclusie, maar mogelijk heeft ze mij naar de mond gepraat. De formules die ze erbij geeft, maken het in elk geval wat concreter.
-----------------------------------------
1. Geometrische rol.
De metriek beschrijft de lokale geometrie van de ruimtetijdvariëteit.
Zij bepaalt lengtes, hoeken en volumes via
\[
ds^2 = g_{\mu\nu} dx^\mu dx^\nu, \qquad
dV = \sqrt{-g}\, d^4x,
\]
en bepaalt de Riemann-kromming. Alle informatie over het
zwaartekrachtsveld ligt in \(g_{\mu\nu}\).
2. Causale structuur.
De metriek bepaalt welke intervallen tijdachtig, lichtachtig of ruimtelijk zijn:
\[
ds^2 < 0,\qquad ds^2=0,\qquad ds^2>0.
\]
De Lorentz-signatuur \((-,+,+,+)\) is hierbij essentieel.
Voor hypothetische snelheden \(v>c\) kan de Lorentztransformatie
\[
\Delta t' = \gamma\left(\Delta t - \frac{v\,\Delta x}{c^2}\right)
\]
een omkering van tijdsvolgorde opleveren, wat causaliteit schendt.
3. Algebraïsche rol (indexverheffing/-verlaging).
De metriek definieert het binnenproduct en het isomorfisme tussen
tangent- en cotangentruimte:
\[
v_\mu = g_{\mu\nu} v^\nu, \qquad
\omega^\mu = g^{\mu\nu} \omega_\nu,
\]
en is noodzakelijk voor covariante tensorvergelijkingen.
4. Relatie tot de verbinding.
In standaard-ART geldt metrische compatibiliteit en torsievrijheid:
\[
\nabla_\lambda g_{\mu\nu} = 0, \qquad
\Gamma^\rho_{\mu\nu} = \Gamma^\rho_{\nu\mu},
\]
wat leidt tot de Levi-Civita-verbinding:
\[
\Gamma^\rho_{\mu\nu}
= \frac12 g^{\rho\sigma}
\left(\partial_\mu g_{\sigma\nu}
+ \partial_\nu g_{\sigma\mu}
- \partial_\sigma g_{\mu\nu}\right).
\]
Er bestaan alternatieve zwaartekrachtstheorieën (Palatini,
metric-affine, teleparallelisme) waarin deze voorwaarden niet worden opgelegd.
In de standaardformulering van de algemene relativiteitstheorie zijn de functies
(1), (2) en (3) onlosmakelijk met elkaar verbonden. Dit komt doordat een
(pseudo-)Riemann-metriek \(g_{\mu\nu}\) wiskundig gedefinieerd is als een niet-singuliere,
symmetrische bilineaire vorm op de tangentruimte:
\[
g: T_p M \times T_p M \to \mathbb{R}.
\]
Zodra men zo'n bilineaire vorm specificeert, liggen automatisch de geometrische
hoeveelheden vast:
\[
ds^2 = g_{\mu\nu} dx^\mu dx^\nu, \qquad
dV = \sqrt{-g}\, d^4x,
\]
en volgt de kromming uit de metriek via de Riemann-tensor. Het binnenproduct en
het indexverheffen/-verlaging zijn geen onafhankelijke structuren maar direct
door \(g_{\mu\nu}\) bepaald:
\[
v_\mu = g_{\mu\nu} v^\nu, \qquad
\omega^\mu = g^{\mu\nu} \omega_\nu.
\]
Daarom zijn functie (1) en functie (3) niet van elkaar los te denken: ze zijn
wiskundig precies hetzelfde object.
Ook de causale structuur (functie (2)) volgt noodzakelijk uit dezelfde metriek.
De lichtkegelstructuur wordt volledig bepaald door het lichtachtige interval
\[
g_{\mu\nu} dx^\mu dx^\nu = 0.
\]
Voor een Lorentz-signatuur \((-,+,+,+)\) is de onderverdeling
\[
ds^2 < 0 \ \text{(tijdachtig)}, \qquad
ds^2 = 0 \ \text{(lichtachtig)}, \qquad
ds^2 > 0 \ \text{(ruimtelijk)}
\]
automatisch vastgelegd. Indien men hypothetisch toelaat dat fysische trajecten
ruimtelijk worden (effectief \(v>c\)), dan levert de Lorentztransformatie
\[
\Delta t' =
\gamma\left(\Delta t - \frac{v\,\Delta x}{c^2}\right)
\]
situaties op waarin \(\Delta t'<0\), zodat oorzaak en gevolg van plaats kunnen
wisselen. Dit is geen extern principe maar een direct gevolg van de metriek.
De enige functie die in andere zwaartekrachtstheorieën anders ingevuld kan
worden, is (4). De eis van metrische compatibiliteit
\[
\nabla_\lambda g_{\mu\nu} = 0
\]
is niet wiskundig noodzakelijk, maar een fysische keuze. In alternatieve
formuleringen – zoals Palatini-graviteit, metric-affine theorieën,
Weyl-geometrie en teleparallelisme – worden metriek en verbinding als
onafhankelijke velden beschouwd, of wordt torsie in plaats van kromming gebruikt.
In al deze voorbeelden blijven echter functies (1), (2) en (3) door één en
dezelfde metriek bepaald.
