proposition 44.39 SEC is the attraction condition

Rests on

• depends_on definition 44.36 Energy conditions ¶
  • depends_on definition 44.6 Stress–energy tensor ¶
    • depends_on theorem 16.36 Euler–Lagrange equations for several independent variables ¶
      • depends_on equation 16.31 eq:calcvar-field-functional ¶
      • depends_on lemma 16.18 Fundamental lemma ¶
        • depends_on definition 16.15 Variation; the first variation ¶
        • depends_on theorem 7.40 Continuous functions are integrable ¶
        • proves proof ch:14-calculus-of-variations@proof-8 ¶
      • depends_on theorem 7.133 Gauss ¶
        • depends_on definition 7.127 Simple regions ¶
        • depends_on remark 7.128 What the derivations below take as given ¶
        • depends_on theorem 7.43 Fundamental theorem of calculus, II ¶
        • proves proof ch:05-real-analysis@proof-79 ¶
      • proves proof ch:14-calculus-of-variations@proof-20 ¶
• 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 ¶
        • depends_on definition 13.117 Metric tensor of signature $(p,q)$ ¶
        • depends_on theorem 13.152 Riemann tensor; Ricci identity with torsion ¶
  • proves proof ch:03-einstein-field-equations@proof-1 ¶
• proves proof ch:03-einstein-field-equations@proof-21 ¶

Supports

Nothing declares a dependency on this node yet.