Relativity and gravitational theory Special relativity: kinematics Proposition
Thomas precession
Builds on Wigner rotationLorentz factorPrecession
Statement
Let a particle move in an inertial frame with velocity , , and acceleration . Let be the Lorentz factor. Carry a rest frame along the particle so that its values at infinitesimally close moments differ by a pure boost, without rotation. Compare it at each moment with the frame obtained from by the pure boost with velocity . Then, relative to these boosted lab axes, the axes of the carried rest frame rotate, a precession with angular velocity
Remarks
Proof idea: compare the boost with the composition of and the small boost relating consecutive rest frames. By Wigner rotation, the two differ by a small rotation, and computing it to first order in gives . The precession vanishes for straight-line motion, where . For one has and . Example: for an electron in an atom, this precession reduces the naive spin-orbit coupling by a factor , the Thomas half, which brings the fine structure in agreement with experiment.
Going deeper
For a student
Thomas precession is the infinitesimal form of Wigner rotation. In the language of four-vectors, the rest frame is carried along the world line by FermiβWalker transport. Then is the rotation of this transported frame relative to the lab axes. In general relativity it is one part of the precession of a gyroscope in orbit, next to the geodetic effect and frame-dragging.
Reading path
To understand this page from the ground up, read these 45 pages in order. The foundations come first.
- Cross product concept
- Determinant concept
- General linear group object
- Group concept
- Hermitian matrix concept
- Identity matrix object
- Lie group concept
- Lorentz factor concept
- Lorentz transformation concept
- Matrix definition
- MΓΆbius transformation concept
- Precession concept
- Quadratic form concept
- Rapidity concept
- Real projective space object
- Riemann sphere concept
- Rotation concept
- Signature of a quadratic form concept
- Vector space definition
- Ring definition
- Square matrix definition
- Transpose definition
- Velocity-addition formula statement
- Linear map definition
- Unit of a ring definition
- Conjugate transpose definition
- Orthogonal matrix definition
- Multilinear map definition
- Division ring definition
- Orthogonal group object
- Alternating multilinear map definition
- Unitary matrix definition
- The quaternions example
- Determinant definition
- Unitary group object
- Indefinite orthogonal group example
- Special orthogonal group object
- Special linear group object
- Special unitary group SU(n) example
- Rotation group SO(3) example
- SU(2) example
- SL(2,C) example
- Lorentz group example
- Wigner rotation statement
- Thomas precession statement
Further reading
About this page
| Tag | DHN1NV44A3 |
|---|---|
| URI | m2://DHN1NV44A3 |
| Kind | statement, proposition |
| Writing | W0 stub |
| MSC | 83A05, 70B05 |
| Status | This copy of the site has no build data. Run m2 status DHN1NV44A3. |
| About | Wigner rotation |
| Uses | Wigner rotation, Lorentz factor, Precession |
| Same as | |
| Changed | 3 November 2026 |
Markdown Β· JSON Β· Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.