Definition 17.10.80.6945CDF5DE8A Let $\ell ,\ell '\in \mathcal{R}^1(X,\theta ;\phi )$. We define
\[ d_1(\ell ,\ell ')\coloneqq \lim _{t\to \infty }\frac{1}{t}d_1(\ell _ t,\ell '_ t). \]
The limit exists in $[0,\infty ]$ by proposition 17.10.79.
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.