phenomenon 53.6 Precession of a gyroscope in orbit
open in the book ·
parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1050
· p. 1424
Rests on
- depends_on postulate 43.1 Geodesic motion ¶
-
depends_on
theorem 45.30
Kerr solution; imported
¶
-
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 ¶
-
depends_on
theorem 45.1
Schwarzschild solution
¶
- proves proof ch:12-exp-classical-tests@proof-7 ¶
Supports
-
tests
experiment
Lunar laser ranging and Gravity Probe B
¶
- cites (method) derived bib 22 Gravity Probe B: Final Results of a Space Experiment to Test General Relativity ¶
- cites (evidence) derived bib 22 Gravity Probe B: Final Results of a Space Experiment to Test General Relativity ¶ ↺
- cites (evidence) derived bib 22 Gravity Probe B: Final Results of a Space Experiment to Test General Relativity ¶ ↺
- cites (history) derived bib Über den Einfluß der Eigenrotation der Zentralkörper auf die Bewegung der Planeten und Monde nach der Einsteinschen Gravitationstheorie ¶
- cites (method) derived bib 18 APOLLO: millimeter lunar laser ranging ¶
- cites (history) derived bib 5 Equivalence Principle for Massive Bodies. II. Theory ¶
- cites (history) derived bib 5 Equivalence Principle for Massive Bodies. II. Theory ¶ ↺
- cites (history) derived bib Über die Wirkung rotierender ferner Massen in der Einsteinschen Gravitationstheorie ¶
- cites (method) derived bib 26 Progress in Lunar Laser Ranging Tests of Relativistic Gravity ¶
- cites (evidence) derived bib 26 Progress in Lunar Laser Ranging Tests of Relativistic Gravity ¶ ↺
- cites (evidence) derived bib 26 Progress in Lunar Laser Ranging Tests of Relativistic Gravity ¶ ↺
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
(evidence) |
→ | Gravity Probe B: Final Results of a Space Experiment to Test General Relativity | derived | parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1068 |
cites
(history) |
→ | Equivalence Principle for Massive Bodies. II. Theory | derived | parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1074 |
cites
(history) |
→ | Possible New Experimental Test of General Relativity Theory | derived | parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1063 |
cites
(evidence) |
→ | Progress in Lunar Laser Ranging Tests of Relativistic Gravity | derived | parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1074 |
depends_on |
→ | Geodesic motion | declared | parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1075 |
depends_on |
→ | Kerr solution; imported | declared | parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1075 |
proves |
← | ch:12-exp-classical-tests@proof-7 | declared | parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1078 |
tests |
← | Lunar laser ranging and Gravity Probe B | declared | parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:989 |