phenomenon 48.16 Flat rotation curves and the missing mass

open in the book · parts/05-general-relativity-cosmology/07-cosmology.tex:1350 · p. 1334

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

Rests on

depends_on equation 48.27 eq:cosmo-growth-eq ¶
depends_on theorem 48.14 Linear growth of density perturbations ¶
- depends_on equation 48.6 eq:cosmo-friedmann-1 ¶
- depends_on equation 31.10 eq:fluid-continuity ¶
- depends_on equation 31.19 eq:fluid-euler ¶
- depends_on theorem 48.5 The Friedmann equations ¶
  - depends_on equation 48.3 eq:cosmo-flrw-metric ¶
  - depends_on equation 48.5 eq:cosmo-perfect-fluid ¶
  - depends_on postulate 44.3 Einstein field equations ¶
    - depends_on definition 44.2 Einstein tensor ¶
      - depends_on definition 13.153 Contractions ¶
  - proves proof ch:07-cosmology@proof-4 ¶
- proves proof ch:07-cosmology@proof-11 ¶
proves proof ch:07-cosmology@proof-13 ¶

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`	→	Planck 2018 results. VI. Cosmological parameters	derived	parts/05-general-relativity-cosmology/07-cosmology.tex:1360
`cites`	→	Rotation of the Andromeda Nebula from a Spectroscopic Survey of Emission Regions	derived	parts/05-general-relativity-cosmology/07-cosmology.tex:1354
`cites`	→	Die Rotverschiebung von extragalaktischen Nebeln	derived	parts/05-general-relativity-cosmology/07-cosmology.tex:1357
`depends_on`	→	eq:cosmo-growth-eq	declared	parts/05-general-relativity-cosmology/07-cosmology.tex:1362
`depends_on`	→	Linear growth of density perturbations	declared	parts/05-general-relativity-cosmology/07-cosmology.tex:1362
`proves`	←	ch:07-cosmology@proof-13	declared	parts/05-general-relativity-cosmology/07-cosmology.tex:1365