Delta integral from t to sigma(t)

From timescalewiki
Revision as of 22:40, 22 August 2016 by Tom (talk | contribs) (Tom moved page Integral from t to sigma(t) to Delta integral from t to sigma(t))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Theorem

The following formula holds: $$\int_t^{\sigma(t)} f(\tau) \Delta \tau = \mu(t)f(t),$$ where $\int$ denotes the delta integral, $\sigma$ denotes the forward jump, and $\mu$ denotes the forward graininess.

Proof

References