equation 13.306 eq:mfd-riemann
open in the book ·
parts/02-mathematical-methods/11-manifolds-tensors-curvature.tex:6688
- part of a statement or proof
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
- depends_on proposition 45.16 Curvature at the horizon and at the centre ¶
-
depends_on
theorem 45.4
Jebsen–Birkhoff
¶
- depends_on corollary 45.5 No monopole gravitational radiation ¶
-
depends_on
theorem 45.23
Oppenheimer–Snyder collapse
¶
- depends_on phenomenon 45.24 Compact objects exist above every cold-support limit ¶
-
depends_on
theorem 45.1
Schwarzschild solution
¶
- depends_on phenomenon 50.4 A ring of light at event-horizon scale ¶
- depends_on phenomenon 50.5 Black-hole masses from gravitational waves ¶
-
depends_on
phenomenon 45.52
The shadow
¶
- depends_on phenomenon 50.4 A ring of light at event-horizon scale ¶ ↺
-
depends_on
proposition 45.14
Isotropic coordinates
¶
-
depends_on
phenomenon 53.4
Excess delay of a radar echo passing the Sun
¶
-
tests
experiment
Shapiro: the radar time delay
¶
- cites (method) derived bib 6956 A test of general relativity using radio links with the Cassini spacecraft ¶
- cites (evidence) derived bib 6956 A test of general relativity using radio links with the Cassini spacecraft ¶ ↺
- cites (evidence) derived bib 6956 A test of general relativity using radio links with the Cassini spacecraft ¶ ↺
- cites (evidence) derived bib 7319 A two-solar-mass neutron star measured using Shapiro delay ¶
- cites (method) derived bib Viking relativity experiment - Verification of signal retardation by solar gravity ¶
- cites (evidence) derived bib Viking relativity experiment - Verification of signal retardation by solar gravity ¶ ↺
- cites (history) derived bib 26 Fourth Test of General Relativity ¶
- cites (history) derived bib 26 Fourth Test of General Relativity ¶ ↺
- cites (method) derived bib 22 Fourth Test of General Relativity: Preliminary Results ¶
- cites (evidence) derived bib 22 Fourth Test of General Relativity: Preliminary Results ¶ ↺
-
tests
experiment
Shapiro: the radar time delay
¶
- depends_on phenomenon 42.8 Shapiro time delay ¶
-
depends_on
phenomenon 53.4
Excess delay of a radar echo passing the Sun
¶
-
depends_on
proposition 45.43
Static acceleration and surface gravity
¶
-
depends_on
proposition 45.46
The first law
¶
-
depends_on
theorem 45.49
Hawking temperature; imported
¶
- depends_on proposition 45.51 Evaporation: scale and timescale ¶
-
depends_on
theorem 45.49
Hawking temperature; imported
¶
- depends_on theorem 45.49 Hawking temperature; imported ¶ ↺
-
depends_on
proposition 45.46
The first law
¶
- depends_on proposition 45.16 Curvature at the horizon and at the centre ¶ ↺
- depends_on proposition 45.19 Kruskal–Szekeres coordinates ¶
-
depends_on
proposition 45.18
The one-way membrane
¶
- depends_on phenomenon 50.6 No material surface ¶
- depends_on theorem 45.47 Area theorem; imported ¶
-
depends_on
proposition 45.6
Radial equation and effective potential
¶
-
depends_on
proposition 45.10
Circular orbits and their energy
¶
- depends_on phenomenon 45.12 Efficiency of accretion onto compact objects ¶
-
depends_on
proposition 45.8
Orbit equation
¶
-
depends_on
phenomenon 53.2
Measured deflection of starlight at the solar limb
¶
- tests experiment Dyson, Eddington and Davidson: the eclipse of 1919 ¶
-
depends_on
phenomenon 53.1
Measured anomalous advance of Mercury's perihelion
¶
- tests experiment Le Verrier and the perihelion of Mercury ¶
- depends_on phenomenon 45.9 Relativistic advance of the periastron ¶
-
depends_on
phenomenon 53.2
Measured deflection of starlight at the solar limb
¶
-
depends_on
proposition 45.21
Radial plunge: the cycloid
¶
-
depends_on
proposition 45.22
The view from outside: exponential freezing
¶
- depends_on phenomenon 45.24 Compact objects exist above every cold-support limit ¶ ↺
- depends_on theorem 45.23 Oppenheimer–Snyder collapse ¶ ↺
-
depends_on
proposition 45.22
The view from outside: exponential freezing
¶
-
depends_on
proposition 45.10
Circular orbits and their energy
¶
-
depends_on
proposition 45.37
Reissner–Nordström solution
¶
-
depends_on
theorem 45.39
Israel; imported
¶
- depends_on phenomenon 45.42 Stationary black holes are two-parameter objects ¶
-
depends_on
theorem 45.39
Israel; imported
¶
- depends_on theorem 45.4 Jebsen–Birkhoff ¶ ↺
- depends_on theorem 45.39 Israel; imported ¶ ↺
- … 1 more
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 |
|---|---|---|---|---|
depends_on |
← | Curvature at the horizon and at the centre | declared | parts/05-general-relativity-cosmology/04-schwarzschild-black-holes.tex:707 |
depends_on |
← | Jebsen–Birkhoff | declared | parts/05-general-relativity-cosmology/04-schwarzschild-black-holes.tex:212 |
depends_on |
← | Schwarzschild solution | declared | parts/05-general-relativity-cosmology/04-schwarzschild-black-holes.tex:108 |