Proper time is the time measured by a clock following a specific worldline in spacetime, invariant under Lorentz transformations.Proper time is an invariant quantity that does not depend on the reference frame. It equals the time measured by a clock moving with the object. For a stationary observer, the time of such an object runs slower, and the effect is stronger the higher the speed or the closer a massive body. In everyday life, the slowing is imperceptible, but it is detected by precise atomic clocks.
The concept of local time appeared in the works of Hendrik Lorentz (1895) and Henri Poincaré (1900) as an auxiliary quantity for electrodynamics. In 1905, Albert Einstein gave it fundamental status in special relativity, and Hermann Minkowski geometrized it as world line length in 1908. In 1915, in general relativity, proper time became the basis for describing gravity. Experimental confirmations were obtained in the Hafele–Keating experiments with atomic clocks (1971).
In special relativity, proper time τ is related to coordinate time t by dτ = dt √(1 – v²/c²). As v → c, proper time slows sharply. In general relativity, the metric tensor is used: dτ² = –g₀₀ dt², for example, in the exterior Schwarzschild solution g₀₀ = –(1 – rₛ/r), and as r → rₛ (event horizon), proper time tends to zero. Time dilation for moving particles is confirmed by the lifetime of muons in the atmosphere.
Without correction for the difference in proper time between GPS satellites and ground clocks, navigation error would accumulate to 10 km per day.
An astronaut who spends six months on the International Space Station ages 0.005 seconds less than his peers on Earth.
| \tau | variable | integral autocorrelation time — autocorrelation time second |
| C(t) | variable | autocorrelation function — autocorrelation function |
| t | variable | time lag — time second |
| \int_{0}^{\infty} | operator | integration from zero to infinity — definite integral |
| t_E | variable | Einstein crossing time — time second |
| \theta_E | variable | Angular radius of the Einstein ring — einstein radius angle radian |
| \mu | variable | Relative proper motion between lens and source — angular velocity radian per second |
| τ | variable | Proper time — proper time second |
| r | variable | Radial coordinate — radial coordinate metre |
| f(r) | variable | Metric function — metric function |
| d | operator | Infinitesimal change — differential |
| r | variable | Radial coordinate from the center — radial distance metre |
| f(r) | variable | Metric function determining spacetime geometry — metric function |
| G | constant | Newtonian constant of gravitation — gravitational constant = 6.67430e-11 cubic metre per kilogram per second squared |
| c | constant | Speed of light in vacuum — speed of light = 299792458 metre per second |
| k_e | constant | Electrostatic force constant in Coulomb's law — coulomb constant = 8.9875517923e9 newton metre squared per coulomb squared |
| ξ^μ | variable | deviation vector between two nearby geodesics — geodesic deviation vector metre |
| τ | variable | proper time along the geodesic — proper time second |
| u^ν | variable | four-velocity of the geodesic — four velocity |
| u^ρ | variable | four-velocity of the geodesic (repeated index) — four velocity |
| ξ^σ | variable | deviation vector (repeated index) — geodesic deviation vector metre |
| D^2/dτ^2 | operator | second covariant derivative along the geodesic — covariant second derivative |








