equation 38.20 eq:lor-genboost-00
open in the book ·
parts/04-special-relativity/02-lorentz-transformations.tex:355
- connected by a declared semantic edge
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
-
depends_on
theorem 38.23
Polar decomposition of a Lorentz transformation
¶
- depends_on remark 38.24 Boosts alone do not form a group ¶
- step_from equation 38.24 eq:lor-genboost-matrix ¶
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 |
← | Polar decomposition of a Lorentz transformation | declared | parts/04-special-relativity/02-lorentz-transformations.tex:856 |
step_from |
← | eq:lor-genboost-matrix | declared — assembling the components into a matrix | parts/04-special-relativity/02-lorentz-transformations.tex:382 |