Forward jump

Let $\mathbb{T}$ be a time scale. The forward jump operator $\sigma \colon \mathbb{T}^{\kappa} \rightarrow \mathbb{T}$ is defined by the formula $$\sigma(t)=\inf \left\{ x \in \mathbb{T} \colon x > t \right\}.$$

References

• Martin Bohner and Allan Peterson: Dynamic Equations on Time Scales (2001)... (next): Definition 1.1