Difference between revisions of "Time scale"
Line 8: | Line 8: | ||
$$\mu(t) := \sigma(t)-t.$$ | $$\mu(t) := \sigma(t)-t.$$ | ||
To every time scale we have a standard [[delta_derivative | differentiation operator]] and [[delta_integration | integration operator]]. | To every time scale we have a standard [[delta_derivative | differentiation operator]] and [[delta_integration | integration operator]]. | ||
+ | |||
+ | == The set of time scales == | ||
+ | Let $\mathcal{H} = \{\mathbb{T} \subset \mathbb{R} \colon \mathbb{T}$ is a closed set $\}$. A set like this can be given a standard topological structure making it a [http://hyperspaces.wikidot.com/wiki:hyperspace hyperspace]. We can characterize time scales using the [http://en.wikipedia.org/wiki/Derived_set_%28mathematics%29 Cantor-Bendixson derivative] -- a time scale $\mathbb{T}$ is the union of a perfect set and a countable set. | ||
== Examples of time scales == | == Examples of time scales == |
Revision as of 05:36, 26 May 2014
A time scale is a set $\mathbb{T} \subset \mathbb{R}$ which is closed under the standard topology of $\mathbb{R}$. Sometimes we deal with the set $\mathbb{T}^{\kappa} = \mathbb{T} \setminus \sup \mathbb{T}$. Given a time scale we define the jump operator $\sigma \colon \mathbb{T} \rightarrow \mathbb{T}$ by the formula $$\sigma(t) := \inf \left\{ x \in \mathbb{T} \colon x > t \right\}.$$ Let $f \colon \mathbb{T} \rightarrow \mathbb{R}$. The following is a common notation: $f^{\sigma} \mathbb{T}^{\kappa} \rightarrow \mathbb{R}$ is given by the formula $f^{\sigma}(t)=f(\sigma(t))$. A similar operator, the backward jump operator $\rho \colon \mathbb{T}\rightarrow \mathbb{T}$ is defined by the formula $$\rho(t) = \sup \{ x \in \mathbb{T} \colon x<t\}.$$ Let $t \in \mathbb{T}$. We say that $t$ is right-scattered if $\sigma(t)>t$ (left-scattered if $\rho(t)<t$) and that $t$ is right-dense if $\sigma(t)=t$ (left-dense if $\rho(t)=t$).
The graininess operator is the function $\mu \colon \mathbb{T} \rightarrow \mathbb{R}^+ \cup \{0\}$ is defined by the formula $$\mu(t) := \sigma(t)-t.$$ To every time scale we have a standard differentiation operator and integration operator.
The set of time scales
Let $\mathcal{H} = \{\mathbb{T} \subset \mathbb{R} \colon \mathbb{T}$ is a closed set $\}$. A set like this can be given a standard topological structure making it a hyperspace. We can characterize time scales using the Cantor-Bendixson derivative -- a time scale $\mathbb{T}$ is the union of a perfect set and a countable set.
Examples of time scales
- The real line: $\mathbb{R}$
- The integers: $\mathbb{Z} = \{\ldots, -1,0,1,\ldots\}$
- Multiples of integers: $h\mathbb{Z} = \{ht \colon t \in \mathbb{Z}\}$
- Quantum numbers ($q>1$): $\overline{q^{\mathbb{Z}}}, q>1$
- Quantum numbers ($q<1$): $\overline{q^{\mathbb{Z}}}, q<1$
- Square integers: $\mathbb{Z}^2 = \{t^2 \colon t \in \mathbb{Z} \}$
- Harmonic numbers: $\mathbb{H}=\left\{\displaystyle\sum_{k=1}^n \dfrac{1}{k} \colon n \in \mathbb{Z}^+ \right\}$
- The closure of the unit fractions: $\overline{\left\{\dfrac{1}{n} \colon n \in \mathbb{Z}^+\right\}}$
- Isolated points: $\mathbb{T}=\{\ldots, t_{-1}, t_{0}, t_1, \ldots\}$