phenomenon 49.6 A maximum mass for a cold degenerate star

open in the book · parts/05-general-relativity-cosmology/08-compact-stars.tex:372 · p. 1345

phenomenon-tested: no experiment declares a \tests edge to it and it is not listed in untested.txt

Rests on

depends_on proposition 49.2 Ground-state pressure of the ideal Fermi gas ¶
- depends_on phenomenon 83.1 Exclusion, and the lengths of the periods ¶
  - proves derived proof ch:07-identical-particles@proof-1 ¶
- depends_on theorem 40.5 Energy–momentum relation ¶
  - depends_on definition 40.4 Four-momentum ¶
    - depends_on definition 40.2 Four-velocity ¶
      - depends_on definition 38.12 Proper time ¶
      - depends_on definition 40.1 Four-vector ¶
  - depends_on proposition 40.3 Normalization of the four-velocity ¶
    - depends_on definition 38.6 Minkowski metric and interval ¶
      - depends_on proposition 38.5 The invariant interval ¶
    - depends_on equation 40.2 eq:rdyn-fourvelocity ¶
    - proves proof ch:04-relativistic-dynamics@proof-1 ¶
  - proves proof ch:04-relativistic-dynamics@proof-2 ¶
- proves proof ch:08-compact-stars@proof-2 ¶
depends_on theorem 49.7 The Chandrasekhar mass ¶
- depends_on equation 49.7 eq:compact-lane-emden-mass ¶
- depends_on equation 49.3 eq:compact-ur-pressure ¶
- depends_on proposition 49.2 Ground-state pressure of the ideal Fermi gas ¶ ↺
- depends_on proposition 49.3 Lane–Emden form of hydrostatic equilibrium; restated from the stellar-structure chapter ¶
  - depends_on equation 31.13 eq:fluid-hydrostatic ¶
  - depends_on proposition 52.1 Hydrostatic equilibrium of a self-gravitating sphere ¶
    - depends_on proposition 31.16 Hydrostatic balance ¶
      - depends_on definition 31.1 Fluid ¶
      - depends_on theorem 30.21 Cauchy's equation of motion ¶
      - proves proof ch:14-fluid-dynamics@proof-7 ¶
    - proves proof ch:11-stellar-structure-nucleosynthesis@proof-1 ¶
  - depends_on theorem 52.6 Lane–Emden equation ¶
    - depends_on equation 52.2 eq:stellar-hydrostatic ¶
    - depends_on equation 52.1 eq:stellar-mass-continuity ¶
    - depends_on equation 52.7 eq:stellar-polytrope-eos ¶
    - proves proof ch:11-stellar-structure-nucleosynthesis@proof-4 ¶
  - proves proof ch:08-compact-stars@proof-3 ¶
- proves proof ch:08-compact-stars@proof-6 ¶
depends_on theorem 44.27 Newtonian correspondence of the field equations ¶
- depends_on definition 44.15 Dust ¶
  - depends_on definition 40.2 Four-velocity ¶ ↺
  - 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 ¶
- depends_on proposition 44.26 Newtonian limit of geodesic motion ¶
  - depends_on postulate 43.1 Geodesic motion ¶
  - proves proof ch:03-einstein-field-equations@proof-14 ¶
- depends_on proposition 44.4 Trace-reversed form ¶
  - depends_on postulate 44.3 Einstein field equations ¶
    - depends_on definition 44.2 Einstein tensor ¶
      - depends_on definition 13.153 Contractions ¶
  - proves proof ch:03-einstein-field-equations@proof-1 ¶
- proves proof ch:03-einstein-field-equations@proof-15 ¶
proves proof ch:08-compact-stars@proof-5 ¶

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`	→	The Maximum Mass of Ideal White Dwarfs	derived	parts/05-general-relativity-cosmology/08-compact-stars.tex:377
`depends_on`	→	Ground-state pressure of the ideal Fermi gas	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:383
`depends_on`	→	The Chandrasekhar mass	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:383
`depends_on`	→	Newtonian correspondence of the field equations	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:383
`proves`	←	ch:08-compact-stars@proof-5	declared	parts/05-general-relativity-cosmology/08-compact-stars.tex:387