equation 43.4 eq:grav-eh-metric
open in the book ·
parts/05-general-relativity-cosmology/02-geometric-formulation.tex:170
- part of a statement or proof
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
-
depends_on
proposition 26.41
The ADM form of the Einstein–Hilbert Lagrangian
¶
-
depends_on
theorem 26.42
The Hamiltonian structure of general relativity
¶
-
depends_on
notation A.636
Densities and smearing
¶
-
depends_on
lemma A.637
Closed form of $H_{\parallel}$, and what it generates
¶
- depends_on lemma A.638 Naturality ¶
-
depends_on
lemma A.637
Closed form of $H_{\parallel}$, and what it generates
¶
- depends_on proposition 26.43 The hypersurface-deformation algebra ¶
-
depends_on
notation A.636
Densities and smearing
¶
-
depends_on
theorem 26.42
The Hamiltonian structure of general relativity
¶
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 |
← | The ADM form of the Einstein–Hilbert Lagrangian | declared | parts/03-classical-mechanics/09-constrained-hamiltonian-dynamics.tex:1596 |