# Difference between revisions of "Induction on time scales"

From timescalewiki

Line 10: | Line 10: | ||

==References== | ==References== | ||

− | * {{BookReference|Dynamic Equations on Time Scales|2001|Martin Bohner|author2=Allan Peterson|prev=Forward jump|next=}}: Theorem 1.7 | + | * {{BookReference|Dynamic Equations on Time Scales|2001|Martin Bohner|author2=Allan Peterson|prev=Forward jump|next=Delta derivative}}: Theorem 1.7 |

[http://web.mst.edu/~bohner/sample.pdf] | [http://web.mst.edu/~bohner/sample.pdf] | ||

[[Category:Theorem]] | [[Category:Theorem]] | ||

[[Category:Unproven]] | [[Category:Unproven]] |

## Latest revision as of 05:10, 10 June 2016

## Theorem

Let $\mathbb{T}$ be a time scale. Let $t_0 \in \mathbb{T}$ and assume that $\{S(t) \colon t \in [t_0,\infty)\}$ is a family of statements satisfying the following axioms:

- the statement $S(t_0)$ is true
- if $t \in [t_0,\infty)$ is right-scattered and $S(t)$ is true, then $S(\sigma(t))$ is true
- if $t \in [t_0,\infty)$ is right-dense and $S(t)$ is true, then there is a neighborhood $U$ of $t$ such that $S(s)$ is true for all $s \in U \cap (t,\infty)$
- if $t \in (t_0, \infty)$ is left-dense and $S(s)$ is true for all $s \in [t_0,t)$, then $S(t)$ is true.

Then $S(t)$ is true for all $t \in [t_0,\infty)$.

## Proof

## References

- Martin Bohner and Allan Peterson:
*Dynamic Equations on Time Scales*(2001)... (previous)... (next): Theorem 1.7