Velocity

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

@[reducible, inline]

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

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

Equations

• Velocity d = Measured (Dimension.L𝓭 * Dimension.T𝓭⁻¹) (Fin d → ℝ)