Momentum

In this module we define the type Momentum, which represents the momentum of a particle in d-dimensional space, in an arbitrary (but given) set of units.

@[reducible, inline]

abbrev Momentum (d : ℕ := 3) : Type

Momentum in d-dimensional space in an arbitary, but given, set of units. In (3+1)d space time this corresponds to 3-momentum not 4-momentum.

Equations

• Momentum d = WithDim (Dimension.M𝓭 * Dimension.L𝓭 * Dimension.T𝓭⁻¹) (Fin d → ℝ)