theorem 19.25 Galilean covariance of the rotational second law
open in the book ·
parts/03-classical-mechanics/02-newtonian-dynamics.tex:703
· p. 741
Rests on
-
depends_on
definition 18.18
Galilean transformation
¶
-
depends_on
definition 18.8
Inertial frame of reference
¶
- depends_on definition 18.7 Frame of reference ¶
- depends_on definition 18.6 Free particle ¶
- depends_on postulate 18.14 Absolute time ¶
- depends_on postulate 18.16 Principle of Galilean relativity ¶
-
depends_on
definition 18.8
Inertial frame of reference
¶
- depends_on equation 19.14 eq:newt-torque ¶
-
depends_on
theorem 19.12
Galilean covariance of the second law
¶
- depends_on definition 18.18 Galilean transformation ¶ ↺
- depends_on equation 19.4 eq:newt-fma ¶
- depends_on postulate 18.14 Absolute time ¶ ↺
- proves proof ch:02-newtonian-dynamics@proof-3 ¶
- proves proof ch:02-newtonian-dynamics@proof-8 ¶
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 |
|---|---|---|---|---|
depends_on |
→ | Galilean transformation | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:712 |
depends_on |
→ | eq:newt-torque | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:712 |
depends_on |
→ | Galilean covariance of the second law | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:712 |
proves |
← | ch:02-newtonian-dynamics@proof-8 | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:716 |