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

The schedule past and the metric envelope

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

En05-A@1#eq:metricenvelope

Each $N_{s} (Y)$ is finite. Moreover,

N_{s} (Y) \subseteq {x : d (x, Y) \leq r (T - s)} .

Indeed, each backward layer adds at most one block diameter.

For a terminal site $A$ , let

I_{s} = B (A, r (T - s)), J_{d}^{-} (A, T) = {(x, s) : t_{0} \leq s \leq T, x \in I_{s}} .

A block is inner at tick $s$ if it is contained in $I_{s}$ .

Displayed formulas in this passage

En05-A@1#eq:metricenvelope · line 508
$N_{s} (Y) \subseteq {x : d (x, Y) \leq r (T - s)} .$
unlabeled · line 516
$I_{s} = B (A, r (T - s)), J_{d}^{-} (A, T) = {(x, s) : t_{0} \leq s \leq T, x \in I_{s}} .$