phenomenon 19.65 Spin is conserved when no external torque acts
open in the book ·
parts/03-classical-mechanics/02-newtonian-dynamics.tex:1940
· p. 757
- phenomenon-tested: no experiment declares a \tests edge to it and it is not listed in untested.txt
Rests on
-
depends_on
theorem 19.63
The spin obeys the same law about the centre of mass
¶
-
depends_on
lemma 19.57
The centre of mass is the origin of its own frame
¶
- depends_on equation 19.38 eq:newt-cm-position ¶
- depends_on equation 19.49 eq:newt-cm-relative ¶
- proves proof ch:02-newtonian-dynamics@proof-18 ¶
-
depends_on
postulate 19.61
Newton's third law, strong form
¶
-
depends_on
corollary 19.14
Central pair forces are admissible
¶
-
depends_on
proposition 19.13
Which forces are admissible
¶
- depends_on definition 18.18 Galilean transformation ¶
- depends_on theorem 19.12 Galilean covariance of the second law ¶
- proves proof ch:02-newtonian-dynamics@proof-4 ¶
-
depends_on
proposition 19.13
Which forces are admissible
¶
-
depends_on
postulate 19.48
Newton's third law
¶
- depends_on definition 19.2 Interaction ¶
-
depends_on
postulate 19.8
Newton's second law
¶
- depends_on definition 19.5 Linear momentum ¶
- depends_on postulate 19.6 Newton's first law ¶
-
depends_on
corollary 19.14
Central pair forces are admissible
¶
-
depends_on
theorem 19.58
Decomposition of the angular momentum
¶
-
depends_on
definition 19.55
Angular momentum of the centre of mass
¶
-
depends_on
definition 19.18
Angular momentum
¶
- depends_on definition 18.3 Particle ¶ ↺
- depends_on definition 19.5 Linear momentum ¶ ↺
-
depends_on
definition 19.51
Linear momentum of the centre of mass
¶
- depends_on definition 19.47 Position of the centre of mass ¶
- depends_on definition 19.5 Linear momentum ¶ ↺
-
depends_on
definition 19.18
Angular momentum
¶
- depends_on equation 19.44 eq:newt-cm-momentum ¶
- depends_on lemma 19.57 The centre of mass is the origin of its own frame ¶ ↺
- proves proof ch:02-newtonian-dynamics@proof-19 ¶
-
depends_on
definition 19.55
Angular momentum of the centre of mass
¶
- proves proof ch:02-newtonian-dynamics@proof-22 ¶
-
depends_on
lemma 19.57
The centre of mass is the origin of its own frame
¶
- proves proof ch:02-newtonian-dynamics@proof-23 ¶
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 |
→ | The spin obeys the same law about the centre of mass | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:1950 |
proves |
← | ch:02-newtonian-dynamics@proof-23 | declared | parts/03-classical-mechanics/02-newtonian-dynamics.tex:1953 |