postulate 18.16 Principle of Galilean relativity
open in the book ·
parts/03-classical-mechanics/01-kinematics.tex:442
· p. 723
- ground object -- no derivation owed
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
-
depends_on
definition 18.18
Galilean transformation
¶
-
depends_on
proposition 18.20
The Galilean group
¶
-
depends_on
corollary 18.24
Galilean composition of velocities
¶
- depends_on phenomenon 18.26 Composition of velocities, and its limit ¶
- depends_on remark 18.25 Where the additivity goes ¶
- depends_on remark 18.22 Superseded, and in exactly what sense ¶
-
depends_on
corollary 18.24
Galilean composition of velocities
¶
-
depends_on
proposition 18.21
Galilean invariants
¶
- depends_on remark 18.22 Superseded, and in exactly what sense ¶ ↺
-
depends_on
proposition 18.23
Transformation of velocity and acceleration
¶
- depends_on phenomenon 18.26 Composition of velocities, and its limit ¶ ↺
-
depends_on
proposition 19.13
Which forces are admissible
¶
-
depends_on
corollary 19.14
Central pair forces are admissible
¶
-
depends_on
postulate 19.61
Newton's third law, strong form
¶
- depends_on theorem 19.63 The spin obeys the same law about the centre of mass ¶
- depends_on theorem 19.62 Rotational second law for a system ¶
-
depends_on
postulate 19.61
Newton's third law, strong form
¶
-
depends_on
corollary 19.14
Central pair forces are admissible
¶
- depends_on remark 18.19 Why the map is affine, and what is assumed to make it so ¶
- depends_on remark 19.11 Mass is a Galilean scalar ¶
-
depends_on
theorem 19.12
Galilean covariance of the second law
¶
- depends_on proposition 19.13 Which forces are admissible ¶ ↺
- depends_on theorem 19.25 Galilean covariance of the rotational second law ¶
- depends_on theorem 19.25 Galilean covariance of the rotational second law ¶ ↺
-
depends_on
proposition 18.20
The Galilean group
¶
-
depends_on
phenomenon 18.17
Uniform motion is undetectable from within
¶
- depends_on remark 18.13 Absolute space is stated here, and not adopted ¶
-
depends_on
phenomenon 29.53
Rotation is locally detectable, uniform motion is
not
¶
- depends_on phenomenon 20.12 Coriolis deflection ¶
- depends_on remark 18.2 What is assumed here, and what is measured ¶
- depends_on remark 29.54 What the bucket does and does not settle ¶
- depends_on remark 18.13 Absolute space is stated here, and not adopted ¶ ↺
- depends_on remark 18.2 What is assumed here, and what is measured ¶ ↺
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/01-kinematics.tex:524 |
depends_on |
← | Uniform motion is undetectable from within | declared | parts/03-classical-mechanics/01-kinematics.tex:469 |
depends_on |
← | Rotation is locally detectable, uniform motion is not | declared | parts/03-classical-mechanics/12-rigid-body-rotating-frames.tex:2232 |
depends_on |
← | Absolute space is stated here, and not adopted | declared | parts/03-classical-mechanics/01-kinematics.tex:379 |
depends_on |
← | What is assumed here, and what is measured | declared | parts/03-classical-mechanics/01-kinematics.tex:85 |