Why $ (X(g_1), X(g_2),cdots, X(g_n))=operatorname{d}Y(X) $?











up vote
0
down vote

favorite













In Euclidean space $ mathbb{R}^n $, let $ X_j=frac{partial}{partial x_j} $, and for every $ X, Yinmathfrak{X}(mathbb{R}^n) $, if
$$ X=sum_{i}f_iX_i=(f_1, f_2, cdots, f_n),quad Y=sum_{j}g_jX_j=(g_1, g_2, cdots, g_n), $$
then
begin{align*}
nabla_XY&=sum_jX(g_j)X_j+sum_{i, j}f_inabla_{X_i}X_j=sum_jX(g_j)X_j\
&=(X(g_1), X(g_2),cdots, X(g_n))\
&=operatorname{d} Y(X).
end{align*}




This is from my textbook. I don't understand why $ (X(g_1), X(g_2),cdots, X(g_n))=operatorname{d}Y(X) $? ($ operatorname{d} $ is the tangent map).










share|cite|improve this question




















  • 1




    Your notation is nonstandard. Try clarifying what your notation in the post means (and I suspect, you'll answer your own question in the process).
    – Matt
    yesterday






  • 1




    That's OK if you identify smooth vector fields on $mathbb{R}^n$ with smooth functions $mathbb{R}^ntomathbb{R}^n$. What's your definition for tangent map?
    – Dante Grevino
    yesterday










  • @DanteGrevino I am afraid I don't know and that's where my confusion is from.
    – Philip
    yesterday















up vote
0
down vote

favorite













In Euclidean space $ mathbb{R}^n $, let $ X_j=frac{partial}{partial x_j} $, and for every $ X, Yinmathfrak{X}(mathbb{R}^n) $, if
$$ X=sum_{i}f_iX_i=(f_1, f_2, cdots, f_n),quad Y=sum_{j}g_jX_j=(g_1, g_2, cdots, g_n), $$
then
begin{align*}
nabla_XY&=sum_jX(g_j)X_j+sum_{i, j}f_inabla_{X_i}X_j=sum_jX(g_j)X_j\
&=(X(g_1), X(g_2),cdots, X(g_n))\
&=operatorname{d} Y(X).
end{align*}




This is from my textbook. I don't understand why $ (X(g_1), X(g_2),cdots, X(g_n))=operatorname{d}Y(X) $? ($ operatorname{d} $ is the tangent map).










share|cite|improve this question




















  • 1




    Your notation is nonstandard. Try clarifying what your notation in the post means (and I suspect, you'll answer your own question in the process).
    – Matt
    yesterday






  • 1




    That's OK if you identify smooth vector fields on $mathbb{R}^n$ with smooth functions $mathbb{R}^ntomathbb{R}^n$. What's your definition for tangent map?
    – Dante Grevino
    yesterday










  • @DanteGrevino I am afraid I don't know and that's where my confusion is from.
    – Philip
    yesterday













up vote
0
down vote

favorite









up vote
0
down vote

favorite












In Euclidean space $ mathbb{R}^n $, let $ X_j=frac{partial}{partial x_j} $, and for every $ X, Yinmathfrak{X}(mathbb{R}^n) $, if
$$ X=sum_{i}f_iX_i=(f_1, f_2, cdots, f_n),quad Y=sum_{j}g_jX_j=(g_1, g_2, cdots, g_n), $$
then
begin{align*}
nabla_XY&=sum_jX(g_j)X_j+sum_{i, j}f_inabla_{X_i}X_j=sum_jX(g_j)X_j\
&=(X(g_1), X(g_2),cdots, X(g_n))\
&=operatorname{d} Y(X).
end{align*}




This is from my textbook. I don't understand why $ (X(g_1), X(g_2),cdots, X(g_n))=operatorname{d}Y(X) $? ($ operatorname{d} $ is the tangent map).










share|cite|improve this question
















In Euclidean space $ mathbb{R}^n $, let $ X_j=frac{partial}{partial x_j} $, and for every $ X, Yinmathfrak{X}(mathbb{R}^n) $, if
$$ X=sum_{i}f_iX_i=(f_1, f_2, cdots, f_n),quad Y=sum_{j}g_jX_j=(g_1, g_2, cdots, g_n), $$
then
begin{align*}
nabla_XY&=sum_jX(g_j)X_j+sum_{i, j}f_inabla_{X_i}X_j=sum_jX(g_j)X_j\
&=(X(g_1), X(g_2),cdots, X(g_n))\
&=operatorname{d} Y(X).
end{align*}




This is from my textbook. I don't understand why $ (X(g_1), X(g_2),cdots, X(g_n))=operatorname{d}Y(X) $? ($ operatorname{d} $ is the tangent map).







differential-geometry riemannian-geometry






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited yesterday

























asked yesterday









Philip

1,046315




1,046315








  • 1




    Your notation is nonstandard. Try clarifying what your notation in the post means (and I suspect, you'll answer your own question in the process).
    – Matt
    yesterday






  • 1




    That's OK if you identify smooth vector fields on $mathbb{R}^n$ with smooth functions $mathbb{R}^ntomathbb{R}^n$. What's your definition for tangent map?
    – Dante Grevino
    yesterday










  • @DanteGrevino I am afraid I don't know and that's where my confusion is from.
    – Philip
    yesterday














  • 1




    Your notation is nonstandard. Try clarifying what your notation in the post means (and I suspect, you'll answer your own question in the process).
    – Matt
    yesterday






  • 1




    That's OK if you identify smooth vector fields on $mathbb{R}^n$ with smooth functions $mathbb{R}^ntomathbb{R}^n$. What's your definition for tangent map?
    – Dante Grevino
    yesterday










  • @DanteGrevino I am afraid I don't know and that's where my confusion is from.
    – Philip
    yesterday








1




1




Your notation is nonstandard. Try clarifying what your notation in the post means (and I suspect, you'll answer your own question in the process).
– Matt
yesterday




Your notation is nonstandard. Try clarifying what your notation in the post means (and I suspect, you'll answer your own question in the process).
– Matt
yesterday




1




1




That's OK if you identify smooth vector fields on $mathbb{R}^n$ with smooth functions $mathbb{R}^ntomathbb{R}^n$. What's your definition for tangent map?
– Dante Grevino
yesterday




That's OK if you identify smooth vector fields on $mathbb{R}^n$ with smooth functions $mathbb{R}^ntomathbb{R}^n$. What's your definition for tangent map?
– Dante Grevino
yesterday












@DanteGrevino I am afraid I don't know and that's where my confusion is from.
– Philip
yesterday




@DanteGrevino I am afraid I don't know and that's where my confusion is from.
– Philip
yesterday










1 Answer
1






active

oldest

votes

















up vote
0
down vote













In $M=mathbb{R}^n$ we have the global chart given by the identity map $phi:xin M mapsto x in mathbb{R}^n$. For every point $p$ in $M$ we have the basis of the tangent vectors given by this chart $frac{partial}{partial varphi_i}|_p$ with $1leq i leq n$. They are the usuar directional derivatives, $frac{partial}{partial varphi_i}|_p=frac{partial}{partial x_i}|_p$. So for every smooth function $f:Mto mathbb{R}$ and for every $i$, we have $frac{partial}{partial varphi_i}|_p(f)=frac{partial f}{partial x_i}(p)$. In your notation, $X_i=frac{partial}{partial varphi_i}|_p$.



Every smooth vector field $X$ in $mathfrak{X}(M)$ can be writen univocally as $X=sum_i^ng_ifrac{partial}{partial varphi_i}$ where $g_i:Mto mathbb{R}$ is smooth and is given by $g_i(p)=X_p(varphi_i)$ for every $i$. So we have an isomorphism
$$
X in mathfrak{X}(M)mapsto (X(varphi_1),ldots,X(varphi_n)) in mathcal{C}^infty(M,mathbb{R}^n)
$$

with inverse
$$
(g_1,dots,g_n) in mathcal{C}^infty(M,mathbb{R}^n) mapsto sum_i^ng_ifrac{partial}{partial varphi_i} in mathfrak{X}(M)
$$



Under the identifications above, consider a smooth vector field $Y=(g_1,ldots,g_n)$. It is just a smooth function $mathbb{R}^ntomathbb{R}^n$ so you can compute its differential map (or tangent map). For every $p$ in $M$, $d_pY: T_pM to T_{Y(p)}mathbb{R}^n$ is given by $d_pY(X_p)(f)=X_p(fcirc Y)$ for every $f$ in $mathcal{C}^infty(M)$. We can again use the identifications $T_pMcong mathbb{R}^n$ and $T_{Y(p)}congmathbb{R}^n$. Under this identifications $d_pY$ is just the linear endomorphism of $mathbb{R}^n$ with the differential matrix of $Y$ at $p$ as asociated matrix. That explain $(X(g_1),ldots,X(g_n))=(dg_1(X),ldots,dg_n(X))=dY(X)$.






share|cite|improve this answer








New contributor




Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.


















    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%2f3004891%2fwhy-xg-1-xg-2-cdots-xg-n-operatornamedyx%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
    0
    down vote













    In $M=mathbb{R}^n$ we have the global chart given by the identity map $phi:xin M mapsto x in mathbb{R}^n$. For every point $p$ in $M$ we have the basis of the tangent vectors given by this chart $frac{partial}{partial varphi_i}|_p$ with $1leq i leq n$. They are the usuar directional derivatives, $frac{partial}{partial varphi_i}|_p=frac{partial}{partial x_i}|_p$. So for every smooth function $f:Mto mathbb{R}$ and for every $i$, we have $frac{partial}{partial varphi_i}|_p(f)=frac{partial f}{partial x_i}(p)$. In your notation, $X_i=frac{partial}{partial varphi_i}|_p$.



    Every smooth vector field $X$ in $mathfrak{X}(M)$ can be writen univocally as $X=sum_i^ng_ifrac{partial}{partial varphi_i}$ where $g_i:Mto mathbb{R}$ is smooth and is given by $g_i(p)=X_p(varphi_i)$ for every $i$. So we have an isomorphism
    $$
    X in mathfrak{X}(M)mapsto (X(varphi_1),ldots,X(varphi_n)) in mathcal{C}^infty(M,mathbb{R}^n)
    $$

    with inverse
    $$
    (g_1,dots,g_n) in mathcal{C}^infty(M,mathbb{R}^n) mapsto sum_i^ng_ifrac{partial}{partial varphi_i} in mathfrak{X}(M)
    $$



    Under the identifications above, consider a smooth vector field $Y=(g_1,ldots,g_n)$. It is just a smooth function $mathbb{R}^ntomathbb{R}^n$ so you can compute its differential map (or tangent map). For every $p$ in $M$, $d_pY: T_pM to T_{Y(p)}mathbb{R}^n$ is given by $d_pY(X_p)(f)=X_p(fcirc Y)$ for every $f$ in $mathcal{C}^infty(M)$. We can again use the identifications $T_pMcong mathbb{R}^n$ and $T_{Y(p)}congmathbb{R}^n$. Under this identifications $d_pY$ is just the linear endomorphism of $mathbb{R}^n$ with the differential matrix of $Y$ at $p$ as asociated matrix. That explain $(X(g_1),ldots,X(g_n))=(dg_1(X),ldots,dg_n(X))=dY(X)$.






    share|cite|improve this answer








    New contributor




    Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
    Check out our Code of Conduct.






















      up vote
      0
      down vote













      In $M=mathbb{R}^n$ we have the global chart given by the identity map $phi:xin M mapsto x in mathbb{R}^n$. For every point $p$ in $M$ we have the basis of the tangent vectors given by this chart $frac{partial}{partial varphi_i}|_p$ with $1leq i leq n$. They are the usuar directional derivatives, $frac{partial}{partial varphi_i}|_p=frac{partial}{partial x_i}|_p$. So for every smooth function $f:Mto mathbb{R}$ and for every $i$, we have $frac{partial}{partial varphi_i}|_p(f)=frac{partial f}{partial x_i}(p)$. In your notation, $X_i=frac{partial}{partial varphi_i}|_p$.



      Every smooth vector field $X$ in $mathfrak{X}(M)$ can be writen univocally as $X=sum_i^ng_ifrac{partial}{partial varphi_i}$ where $g_i:Mto mathbb{R}$ is smooth and is given by $g_i(p)=X_p(varphi_i)$ for every $i$. So we have an isomorphism
      $$
      X in mathfrak{X}(M)mapsto (X(varphi_1),ldots,X(varphi_n)) in mathcal{C}^infty(M,mathbb{R}^n)
      $$

      with inverse
      $$
      (g_1,dots,g_n) in mathcal{C}^infty(M,mathbb{R}^n) mapsto sum_i^ng_ifrac{partial}{partial varphi_i} in mathfrak{X}(M)
      $$



      Under the identifications above, consider a smooth vector field $Y=(g_1,ldots,g_n)$. It is just a smooth function $mathbb{R}^ntomathbb{R}^n$ so you can compute its differential map (or tangent map). For every $p$ in $M$, $d_pY: T_pM to T_{Y(p)}mathbb{R}^n$ is given by $d_pY(X_p)(f)=X_p(fcirc Y)$ for every $f$ in $mathcal{C}^infty(M)$. We can again use the identifications $T_pMcong mathbb{R}^n$ and $T_{Y(p)}congmathbb{R}^n$. Under this identifications $d_pY$ is just the linear endomorphism of $mathbb{R}^n$ with the differential matrix of $Y$ at $p$ as asociated matrix. That explain $(X(g_1),ldots,X(g_n))=(dg_1(X),ldots,dg_n(X))=dY(X)$.






      share|cite|improve this answer








      New contributor




      Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.




















        up vote
        0
        down vote










        up vote
        0
        down vote









        In $M=mathbb{R}^n$ we have the global chart given by the identity map $phi:xin M mapsto x in mathbb{R}^n$. For every point $p$ in $M$ we have the basis of the tangent vectors given by this chart $frac{partial}{partial varphi_i}|_p$ with $1leq i leq n$. They are the usuar directional derivatives, $frac{partial}{partial varphi_i}|_p=frac{partial}{partial x_i}|_p$. So for every smooth function $f:Mto mathbb{R}$ and for every $i$, we have $frac{partial}{partial varphi_i}|_p(f)=frac{partial f}{partial x_i}(p)$. In your notation, $X_i=frac{partial}{partial varphi_i}|_p$.



        Every smooth vector field $X$ in $mathfrak{X}(M)$ can be writen univocally as $X=sum_i^ng_ifrac{partial}{partial varphi_i}$ where $g_i:Mto mathbb{R}$ is smooth and is given by $g_i(p)=X_p(varphi_i)$ for every $i$. So we have an isomorphism
        $$
        X in mathfrak{X}(M)mapsto (X(varphi_1),ldots,X(varphi_n)) in mathcal{C}^infty(M,mathbb{R}^n)
        $$

        with inverse
        $$
        (g_1,dots,g_n) in mathcal{C}^infty(M,mathbb{R}^n) mapsto sum_i^ng_ifrac{partial}{partial varphi_i} in mathfrak{X}(M)
        $$



        Under the identifications above, consider a smooth vector field $Y=(g_1,ldots,g_n)$. It is just a smooth function $mathbb{R}^ntomathbb{R}^n$ so you can compute its differential map (or tangent map). For every $p$ in $M$, $d_pY: T_pM to T_{Y(p)}mathbb{R}^n$ is given by $d_pY(X_p)(f)=X_p(fcirc Y)$ for every $f$ in $mathcal{C}^infty(M)$. We can again use the identifications $T_pMcong mathbb{R}^n$ and $T_{Y(p)}congmathbb{R}^n$. Under this identifications $d_pY$ is just the linear endomorphism of $mathbb{R}^n$ with the differential matrix of $Y$ at $p$ as asociated matrix. That explain $(X(g_1),ldots,X(g_n))=(dg_1(X),ldots,dg_n(X))=dY(X)$.






        share|cite|improve this answer








        New contributor




        Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.









        In $M=mathbb{R}^n$ we have the global chart given by the identity map $phi:xin M mapsto x in mathbb{R}^n$. For every point $p$ in $M$ we have the basis of the tangent vectors given by this chart $frac{partial}{partial varphi_i}|_p$ with $1leq i leq n$. They are the usuar directional derivatives, $frac{partial}{partial varphi_i}|_p=frac{partial}{partial x_i}|_p$. So for every smooth function $f:Mto mathbb{R}$ and for every $i$, we have $frac{partial}{partial varphi_i}|_p(f)=frac{partial f}{partial x_i}(p)$. In your notation, $X_i=frac{partial}{partial varphi_i}|_p$.



        Every smooth vector field $X$ in $mathfrak{X}(M)$ can be writen univocally as $X=sum_i^ng_ifrac{partial}{partial varphi_i}$ where $g_i:Mto mathbb{R}$ is smooth and is given by $g_i(p)=X_p(varphi_i)$ for every $i$. So we have an isomorphism
        $$
        X in mathfrak{X}(M)mapsto (X(varphi_1),ldots,X(varphi_n)) in mathcal{C}^infty(M,mathbb{R}^n)
        $$

        with inverse
        $$
        (g_1,dots,g_n) in mathcal{C}^infty(M,mathbb{R}^n) mapsto sum_i^ng_ifrac{partial}{partial varphi_i} in mathfrak{X}(M)
        $$



        Under the identifications above, consider a smooth vector field $Y=(g_1,ldots,g_n)$. It is just a smooth function $mathbb{R}^ntomathbb{R}^n$ so you can compute its differential map (or tangent map). For every $p$ in $M$, $d_pY: T_pM to T_{Y(p)}mathbb{R}^n$ is given by $d_pY(X_p)(f)=X_p(fcirc Y)$ for every $f$ in $mathcal{C}^infty(M)$. We can again use the identifications $T_pMcong mathbb{R}^n$ and $T_{Y(p)}congmathbb{R}^n$. Under this identifications $d_pY$ is just the linear endomorphism of $mathbb{R}^n$ with the differential matrix of $Y$ at $p$ as asociated matrix. That explain $(X(g_1),ldots,X(g_n))=(dg_1(X),ldots,dg_n(X))=dY(X)$.







        share|cite|improve this answer








        New contributor




        Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.









        share|cite|improve this answer



        share|cite|improve this answer






        New contributor




        Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.









        answered yesterday









        Dante Grevino

        1763




        1763




        New contributor




        Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.





        New contributor





        Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.






        Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3004891%2fwhy-xg-1-xg-2-cdots-xg-n-operatornamedyx%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

            Wiesbaden

            Marschland

            Dieringhausen