Well-definedness of assinging a value to a point of a manifold with respect to parallelism











up vote
1
down vote

favorite












By definition as in DoCarmo’s Riemannian Geometry book, in a smooth manifold $M$ a vector field $V$ along a smooth curve $c:(a,b)rightarrow M$ is a mapping $tmapsto V(t)in T_{c(t)}M$ such that $tmapsto V(t)f$ is a smooth map for all smooth maps $fin C^{infty}(M)$.



Suppose that $c_1,c_2$ are two smooth curves in $M$ such that $c_1(t_0)=c_2(t_0)$, and $c_1(t_1)=c_2(t_1)$ where $t_0$ and $t_1$ are two distinct points in the (same) domain of $c_1,c_2$. Suppose that $V_0in T_{c_1(t_0)}M$. There exists a unique parallel vector field $V_1$ along $c_1$ such that $V_1(t_0)=V_0$, and similarly a unique $V_2$ along $c_2$ such that $V_2(t_0)=V_0$. Does it follow that $V_1(t_1)=V_2(t_1)$?










share|cite|improve this question




























    up vote
    1
    down vote

    favorite












    By definition as in DoCarmo’s Riemannian Geometry book, in a smooth manifold $M$ a vector field $V$ along a smooth curve $c:(a,b)rightarrow M$ is a mapping $tmapsto V(t)in T_{c(t)}M$ such that $tmapsto V(t)f$ is a smooth map for all smooth maps $fin C^{infty}(M)$.



    Suppose that $c_1,c_2$ are two smooth curves in $M$ such that $c_1(t_0)=c_2(t_0)$, and $c_1(t_1)=c_2(t_1)$ where $t_0$ and $t_1$ are two distinct points in the (same) domain of $c_1,c_2$. Suppose that $V_0in T_{c_1(t_0)}M$. There exists a unique parallel vector field $V_1$ along $c_1$ such that $V_1(t_0)=V_0$, and similarly a unique $V_2$ along $c_2$ such that $V_2(t_0)=V_0$. Does it follow that $V_1(t_1)=V_2(t_1)$?










    share|cite|improve this question


























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      By definition as in DoCarmo’s Riemannian Geometry book, in a smooth manifold $M$ a vector field $V$ along a smooth curve $c:(a,b)rightarrow M$ is a mapping $tmapsto V(t)in T_{c(t)}M$ such that $tmapsto V(t)f$ is a smooth map for all smooth maps $fin C^{infty}(M)$.



      Suppose that $c_1,c_2$ are two smooth curves in $M$ such that $c_1(t_0)=c_2(t_0)$, and $c_1(t_1)=c_2(t_1)$ where $t_0$ and $t_1$ are two distinct points in the (same) domain of $c_1,c_2$. Suppose that $V_0in T_{c_1(t_0)}M$. There exists a unique parallel vector field $V_1$ along $c_1$ such that $V_1(t_0)=V_0$, and similarly a unique $V_2$ along $c_2$ such that $V_2(t_0)=V_0$. Does it follow that $V_1(t_1)=V_2(t_1)$?










      share|cite|improve this question















      By definition as in DoCarmo’s Riemannian Geometry book, in a smooth manifold $M$ a vector field $V$ along a smooth curve $c:(a,b)rightarrow M$ is a mapping $tmapsto V(t)in T_{c(t)}M$ such that $tmapsto V(t)f$ is a smooth map for all smooth maps $fin C^{infty}(M)$.



      Suppose that $c_1,c_2$ are two smooth curves in $M$ such that $c_1(t_0)=c_2(t_0)$, and $c_1(t_1)=c_2(t_1)$ where $t_0$ and $t_1$ are two distinct points in the (same) domain of $c_1,c_2$. Suppose that $V_0in T_{c_1(t_0)}M$. There exists a unique parallel vector field $V_1$ along $c_1$ such that $V_1(t_0)=V_0$, and similarly a unique $V_2$ along $c_2$ such that $V_2(t_0)=V_0$. Does it follow that $V_1(t_1)=V_2(t_1)$?







      differential-geometry riemannian-geometry smooth-manifolds vector-fields






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Dec 5 at 13:57

























      asked Dec 5 at 13:38









      User12239

      405215




      405215






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          Not necessarily, unless the space is flat. This is actually a definition; a space is flat if and only if the property you ask about holds. The Euclidean space is flat.



          These things are the starting point of the concept of curvature.



          The following picture is taken from Wikipedia and it shows how the choice of a path can produce different parallel trasported vectors, in the case of the sphere.



          Wikipedia - Parallel transport and curvature






          share|cite|improve this answer





















          • Thanks for this intuitive illustration
            – User12239
            Dec 5 at 14:26











          Your Answer





          StackExchange.ifUsing("editor", function () {
          return StackExchange.using("mathjaxEditing", function () {
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          });
          });
          }, "mathjax-editing");

          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "69"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3027073%2fwell-definedness-of-assinging-a-value-to-a-point-of-a-manifold-with-respect-to-p%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          1
          down vote



          accepted










          Not necessarily, unless the space is flat. This is actually a definition; a space is flat if and only if the property you ask about holds. The Euclidean space is flat.



          These things are the starting point of the concept of curvature.



          The following picture is taken from Wikipedia and it shows how the choice of a path can produce different parallel trasported vectors, in the case of the sphere.



          Wikipedia - Parallel transport and curvature






          share|cite|improve this answer





















          • Thanks for this intuitive illustration
            – User12239
            Dec 5 at 14:26















          up vote
          1
          down vote



          accepted










          Not necessarily, unless the space is flat. This is actually a definition; a space is flat if and only if the property you ask about holds. The Euclidean space is flat.



          These things are the starting point of the concept of curvature.



          The following picture is taken from Wikipedia and it shows how the choice of a path can produce different parallel trasported vectors, in the case of the sphere.



          Wikipedia - Parallel transport and curvature






          share|cite|improve this answer





















          • Thanks for this intuitive illustration
            – User12239
            Dec 5 at 14:26













          up vote
          1
          down vote



          accepted







          up vote
          1
          down vote



          accepted






          Not necessarily, unless the space is flat. This is actually a definition; a space is flat if and only if the property you ask about holds. The Euclidean space is flat.



          These things are the starting point of the concept of curvature.



          The following picture is taken from Wikipedia and it shows how the choice of a path can produce different parallel trasported vectors, in the case of the sphere.



          Wikipedia - Parallel transport and curvature






          share|cite|improve this answer












          Not necessarily, unless the space is flat. This is actually a definition; a space is flat if and only if the property you ask about holds. The Euclidean space is flat.



          These things are the starting point of the concept of curvature.



          The following picture is taken from Wikipedia and it shows how the choice of a path can produce different parallel trasported vectors, in the case of the sphere.



          Wikipedia - Parallel transport and curvature







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Dec 5 at 14:15









          Giuseppe Negro

          17.3k330122




          17.3k330122












          • Thanks for this intuitive illustration
            – User12239
            Dec 5 at 14:26


















          • Thanks for this intuitive illustration
            – User12239
            Dec 5 at 14:26
















          Thanks for this intuitive illustration
          – User12239
          Dec 5 at 14:26




          Thanks for this intuitive illustration
          – User12239
          Dec 5 at 14:26


















          draft saved

          draft discarded




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.





          Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


          Please pay close attention to the following guidance:


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3027073%2fwell-definedness-of-assinging-a-value-to-a-point-of-a-manifold-with-respect-to-p%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          Bressuire

          Cabo Verde

          Gyllenstierna