Lemma 17.10.22.BDEA4F06B7F1 Let $\varphi _0,\varphi _1\in \mathrm{PSH}(X,\theta )$. Assume that there is a subgeodesic from $\varphi _0$ to $\varphi _1$. Then the geodesic $(\varphi _ t)_{t\in (0,1)}$ from $\varphi _0$ to $\varphi _1$ is a subgeodesic from $\varphi _0$ to $\varphi _1$.
Lemma 17.10.22BDEA4F06B7F1
Proof. This is an immediate consequence of proposition 17.10.13. $\square$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.