Nabla derivative at left-scattered

From timescalewiki
Revision as of 00:58, 23 August 2016 by Tom (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Theorem

If $f$ is continuous at $t$ and $t$ is left-scattered, then $$f^{\nabla}(t) = \dfrac{f(t)-f(\rho(t))}{\nu(t)},$$ where $f^{\nabla}$ denotes the nabla derivative, $\rho$ denotes the backward jump, and $\nu$ denotes the backward graininess.

Proof

References