phenomenon 42.8 Shapiro time delay
open in the book ·
parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:853
· p. 1255
- phenomenon-tested: no experiment declares a \tests edge to it and it is not listed in untested.txt
Rests on
- depends_on postulate 43.1 Geodesic motion ¶
-
depends_on
proposition 45.14
Isotropic coordinates
¶
-
depends_on
theorem 45.1
Schwarzschild solution
¶
- depends_on equation 13.306 eq:mfd-riemann ¶
- depends_on postulate 43.1 Geodesic motion ¶ ↺
-
depends_on
theorem 13.150
Levi-Civita connection and contorsion
¶
-
depends_on
definition 13.145
Affine connection
¶
- depends_on definition 13.90 Mixed tensor ¶
- depends_on definition 13.82 Vector field ¶
-
depends_on
definition 13.117
Metric tensor of signature $(p,q)$
¶
- depends_on definition 13.48 Differentiable manifold ¶
- depends_on definition 13.84 Tensor ¶
-
depends_on
definition 13.149
Metric compatibility
¶
- depends_on definition 13.145 Affine connection ¶ ↺
- depends_on definition 13.117 Metric tensor of signature $(p,q)$ ¶ ↺
- depends_on definition 13.146 Parallel transport and autoparallels ¶
-
depends_on
definition 13.147
Torsion
¶
- depends_on definition 13.145 Affine connection ¶ ↺
- proves proof ch:11-manifolds-tensors-curvature@proof-41 ¶
-
depends_on
definition 13.145
Affine connection
¶
- proves proof ch:04-schwarzschild-black-holes@proof-1 ¶
- proves proof ch:04-schwarzschild-black-holes@proof-8 ¶
-
depends_on
theorem 45.1
Schwarzschild solution
¶
- proves proof ch:01-equivalence-classical-tests@proof-6 ¶
Supports
Nothing declares a dependency on this node yet.
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
cites |
→ | A test of general relativity using radio links with the Cassini spacecraft | derived | parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:871 |
cites |
→ | Viking relativity experiment - Verification of signal retardation by solar gravity | derived | parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:867 |
cites |
→ | Fourth Test of General Relativity | derived | parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:864 |
cites |
→ | Fourth Test of General Relativity: Preliminary Results | derived | parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:865 |
depends_on |
→ | Geodesic motion | declared | parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:872 |
depends_on |
→ | Isotropic coordinates | declared | parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:872 |
proves |
← | ch:01-equivalence-classical-tests@proof-6 | declared | parts/05-general-relativity-cosmology/01-equivalence-classical-tests.tex:875 |