- Commit
- 83cacbeeac86bbb8a771b9929db3c5a152014bba
- Parent
- 5e7748a21a23832587a34c8ecba5d48e990f9f39
- Author
- Pablo <pablo-escobar@riseup.net>
- Date
Minor clarification
Riemannian Geometry course project on the manifold H¹(I, M) of class H¹ curves on a Riemannian manifold M and its applications to the geodesics problem
Minor clarification
1 file changed, 4 insertions, 4 deletions
Status | File Name | N° Changes | Insertions | Deletions |
Modified | sections/structure.tex | 8 | 4 | 4 |
diff --git a/sections/structure.tex b/sections/structure.tex @@ -336,10 +336,10 @@ discuss the Riemannian structure of \(H^1(I, M)\). We begin our discussion of the Riemannian structure of \(H^1(I, M)\) by looking at its tangent bundle. Notice that for each \(\gamma \in {C'}^\infty(I, M)\) the chart \(\exp_\gamma^{-1} : U_\gamma \to H^1(\gamma^* TM)\) induces a -canonical isomorphism \(\phi_\gamma : T_\gamma H^1(I, M) \isoto H^1(\gamma^* -TM)\), as described in proposition~\ref{thm:tanget-space-topology}. In fact, -this isomorphisms may be extended to a canonical isomorphism of vector bundles, -as seen in\dots +canonical isomorphism \(\phi_\gamma = \phi_{\gamma, \gamma} : T_\gamma H^1(I, +M) \isoto H^1(\gamma^* TM)\), as described in +proposition~\ref{thm:tanget-space-topology}. In fact, this isomorphisms may be +extended to a canonical isomorphism of vector bundles, as seen in\dots \begin{lemma} Given \(i = 0, 1\), the collection \(\{(\psi_{i, \gamma}(H^1(U_\gamma) \times