Manuscript En05-A@1 · En05-A.tex · definition · f076e703

Definition: Schedule past

Partitioned dynamics and the exact comparison theorem › The schedule past and the metric envelope · lines 487–505

En05-A@1#def:schedulepast, En05-A@1#eq:schedulepast

For a finite terminal region $Y$ and terminal tick $T$ , set

N_{T} (Y) N_{s} (Y) = Y, = ⋃ {b \in P_{s} : b \cap N_{s + 1} (Y) \neq = \emptyset}, s < T .

The scheduled past between $t_{0}$ and $T$ is

J_{Sch}^{-} (Y, T) = {(x, s) : t_{0} \leq s \leq T, x \in N_{s} (Y)} .

Displayed formulas in this passage

En05-A@1#eq:schedulepast · line 489
$N_{T} (Y) N_{s} (Y) = Y, = ⋃ {b \in P_{s} : b \cap N_{s + 1} (Y) \neq = \emptyset}, s < T .$
unlabeled · line 500
$J_{Sch}^{-} (Y, T) = {(x, s) : t_{0} \leq s \leq T, x \in N_{s} (Y)} .$