definition 44.15 Dust
open in the book ·
parts/05-general-relativity-cosmology/03-einstein-field-equations.tex:716
· p. 1270
- ground object -- no derivation owed
Rests on
-
depends_on
definition 40.2
Four-velocity
¶
-
depends_on
definition 38.12
Proper time
¶
-
depends_on
definition 38.6
Minkowski metric and interval
¶
-
depends_on
proposition 38.5
The invariant interval
¶
- depends_on equation 38.1 eq:lor-beta-gamma ¶
- depends_on theorem 38.4 Lorentz boost ¶
- proves proof ch:02-lorentz-transformations@proof-2 ¶
-
depends_on
proposition 38.5
The invariant interval
¶
- depends_on proposition 38.5 The invariant interval ¶ ↺
-
depends_on
definition 38.6
Minkowski metric and interval
¶
-
depends_on
definition 40.1
Four-vector
¶
- depends_on definition 38.6 Minkowski metric and interval ¶ ↺
- depends_on equation 38.14 eq:lor-invariance-condition ¶
-
depends_on
definition 38.12
Proper time
¶
-
depends_on
phenomenon 40.6
Mass–energy equivalence
¶
- depends_on equation 40.4 eq:rdyn-E-p ¶
- proves proof ch:04-relativistic-dynamics@proof-3 ¶
Supports
-
depends_on
definition 44.16
Perfect fluid
¶
- depends_on proposition 44.37 Energy conditions for the perfect fluid ¶
-
depends_on
proposition 44.20
Perfect-fluid equations of motion
¶
- depends_on corollary 44.21 Dust flows on geodesics ¶
-
depends_on
theorem 49.9
Tolman–Oppenheimer–Volkoff equations
¶
-
depends_on
example 49.11
The uniform-density star
¶
-
depends_on
proposition 49.12
Buchdahl bound
¶
- depends_on phenomenon 49.19 Neutron stars reach two solar masses ¶
-
depends_on
proposition 49.12
Buchdahl bound
¶
- depends_on phenomenon 49.19 Neutron stars reach two solar masses ¶ ↺
-
depends_on
example 49.11
The uniform-density star
¶
-
depends_on
theorem 44.27
Newtonian correspondence of the field equations
¶
- depends_on corollary 44.35 The field equations are essentially unique ¶
- depends_on phenomenon 49.6 A maximum mass for a cold degenerate star ¶
- depends_on phenomenon 49.16 Pulsars: clocks at nuclear density ¶
- depends_on phenomenon 49.14 A neutron star is observed being born ¶
- depends_on proposition 44.29 Linearized field equations ¶
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 |
→ | Four-velocity | declared | parts/05-general-relativity-cosmology/03-einstein-field-equations.tex:726 |
depends_on |
→ | Mass–energy equivalence | declared | parts/05-general-relativity-cosmology/03-einstein-field-equations.tex:726 |
depends_on |
← | Perfect fluid | declared | parts/05-general-relativity-cosmology/03-einstein-field-equations.tex:743 |
depends_on |
← | Newtonian correspondence of the field equations | declared | parts/05-general-relativity-cosmology/03-einstein-field-equations.tex:1153 |