Proposition 17.10.37`9335B48D7458`

Proposition 17.10.37.9335B48D7458 Let $\varphi _1,\varphi _0\in \mathcal{E}^{\infty }(X,\theta ;\phi )$. Let $(\varphi _ t)_{t\in (0,1)}$ be the geodesic from $\varphi _0$ to $\varphi _1$. Then

\[ t\inf _{\{ \phi \neq -\infty \} }(\varphi _1-\varphi _0)=\inf _{\{ \phi \neq -\infty \} }(\varphi _ t-\varphi _0) \]

for all $t\in (0,1]$.

Cite this page

BibTeX citation

@misc{pome-tag-9335B48D7458,
  author = {{Pome contributors}},
  title = {Proposition 17.10.37},
  howpublished = {Pome},
  url = {https://mingchenxia.github.io/Pome/tag/9335B48D7458/}
}

Comments

Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.

Read this page’s discussion on GitHub Post a comment on GitHub

Proposition 17.10.379335B48D7458

Comments

Proposition 17.10.37`9335B48D7458`