Differential of scalar product












1














Task from homework:




Let $f:Bbb R^ntoBbb R$, $f(x,y)=langle x, yrangle$, where $langlecdot,cdotrangle$ means the scalar product in $Bbb R^n$.
Find the differential $Df(x,y)(h,k)$.




First, the domain of $f$ is surely wrong, so with correcting it to $Bbb R^ntimes Bbb R^n$, I'm struggling to even start because every theorem we ever mentioned in class was about functions with the domain in $Bbb R^n$. How can $f$ be partially differentiated if the components $x$ and $y$ are again vectors?
Partial derivatives were my first idea, but any help would be appreciated.










share|cite|improve this question
























  • I think $f$ can be interpreted as $f(x,y)=xcdot y$, so $D_f(h,k)=Bigl.(y,x)Bigr|_{(h,k)}=(k,h)$. Also, there is no correlation between its domain and its variables; $Bbb R^n$ but $(x,y)$?
    – manooooh
    2 days ago












  • Well, $mathbb{R^n}timesmathbb{R^n}$ is just $mathbb{R^{2n}}$.
    – Mark
    2 days ago








  • 1




    Particular case of math.stackexchange.com/questions/1120430/….
    – Martín-Blas Pérez Pinilla
    2 days ago
















1














Task from homework:




Let $f:Bbb R^ntoBbb R$, $f(x,y)=langle x, yrangle$, where $langlecdot,cdotrangle$ means the scalar product in $Bbb R^n$.
Find the differential $Df(x,y)(h,k)$.




First, the domain of $f$ is surely wrong, so with correcting it to $Bbb R^ntimes Bbb R^n$, I'm struggling to even start because every theorem we ever mentioned in class was about functions with the domain in $Bbb R^n$. How can $f$ be partially differentiated if the components $x$ and $y$ are again vectors?
Partial derivatives were my first idea, but any help would be appreciated.










share|cite|improve this question
























  • I think $f$ can be interpreted as $f(x,y)=xcdot y$, so $D_f(h,k)=Bigl.(y,x)Bigr|_{(h,k)}=(k,h)$. Also, there is no correlation between its domain and its variables; $Bbb R^n$ but $(x,y)$?
    – manooooh
    2 days ago












  • Well, $mathbb{R^n}timesmathbb{R^n}$ is just $mathbb{R^{2n}}$.
    – Mark
    2 days ago








  • 1




    Particular case of math.stackexchange.com/questions/1120430/….
    – Martín-Blas Pérez Pinilla
    2 days ago














1












1








1







Task from homework:




Let $f:Bbb R^ntoBbb R$, $f(x,y)=langle x, yrangle$, where $langlecdot,cdotrangle$ means the scalar product in $Bbb R^n$.
Find the differential $Df(x,y)(h,k)$.




First, the domain of $f$ is surely wrong, so with correcting it to $Bbb R^ntimes Bbb R^n$, I'm struggling to even start because every theorem we ever mentioned in class was about functions with the domain in $Bbb R^n$. How can $f$ be partially differentiated if the components $x$ and $y$ are again vectors?
Partial derivatives were my first idea, but any help would be appreciated.










share|cite|improve this question















Task from homework:




Let $f:Bbb R^ntoBbb R$, $f(x,y)=langle x, yrangle$, where $langlecdot,cdotrangle$ means the scalar product in $Bbb R^n$.
Find the differential $Df(x,y)(h,k)$.




First, the domain of $f$ is surely wrong, so with correcting it to $Bbb R^ntimes Bbb R^n$, I'm struggling to even start because every theorem we ever mentioned in class was about functions with the domain in $Bbb R^n$. How can $f$ be partially differentiated if the components $x$ and $y$ are again vectors?
Partial derivatives were my first idea, but any help would be appreciated.







multivariable-calculus






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 2 days ago









APC89

1,920418




1,920418










asked 2 days ago









Lena

335




335












  • I think $f$ can be interpreted as $f(x,y)=xcdot y$, so $D_f(h,k)=Bigl.(y,x)Bigr|_{(h,k)}=(k,h)$. Also, there is no correlation between its domain and its variables; $Bbb R^n$ but $(x,y)$?
    – manooooh
    2 days ago












  • Well, $mathbb{R^n}timesmathbb{R^n}$ is just $mathbb{R^{2n}}$.
    – Mark
    2 days ago








  • 1




    Particular case of math.stackexchange.com/questions/1120430/….
    – Martín-Blas Pérez Pinilla
    2 days ago


















  • I think $f$ can be interpreted as $f(x,y)=xcdot y$, so $D_f(h,k)=Bigl.(y,x)Bigr|_{(h,k)}=(k,h)$. Also, there is no correlation between its domain and its variables; $Bbb R^n$ but $(x,y)$?
    – manooooh
    2 days ago












  • Well, $mathbb{R^n}timesmathbb{R^n}$ is just $mathbb{R^{2n}}$.
    – Mark
    2 days ago








  • 1




    Particular case of math.stackexchange.com/questions/1120430/….
    – Martín-Blas Pérez Pinilla
    2 days ago
















I think $f$ can be interpreted as $f(x,y)=xcdot y$, so $D_f(h,k)=Bigl.(y,x)Bigr|_{(h,k)}=(k,h)$. Also, there is no correlation between its domain and its variables; $Bbb R^n$ but $(x,y)$?
– manooooh
2 days ago






I think $f$ can be interpreted as $f(x,y)=xcdot y$, so $D_f(h,k)=Bigl.(y,x)Bigr|_{(h,k)}=(k,h)$. Also, there is no correlation between its domain and its variables; $Bbb R^n$ but $(x,y)$?
– manooooh
2 days ago














Well, $mathbb{R^n}timesmathbb{R^n}$ is just $mathbb{R^{2n}}$.
– Mark
2 days ago






Well, $mathbb{R^n}timesmathbb{R^n}$ is just $mathbb{R^{2n}}$.
– Mark
2 days ago






1




1




Particular case of math.stackexchange.com/questions/1120430/….
– Martín-Blas Pérez Pinilla
2 days ago




Particular case of math.stackexchange.com/questions/1120430/….
– Martín-Blas Pérez Pinilla
2 days ago










2 Answers
2






active

oldest

votes


















2














The value of the differential at a point $(x,y)$ is the linear part of the difference
$;f(x+h, y+k)-f(x,y)$. Now if $f$ is the dot product, we can use bilinearity:
$$f(x+h, y+k)-f(x,y)=langle x+h,y+krangle -langle x, yrangle=underbrace{langle x,krangle+langle h, yrangle}_text{linear terms} +underbrace{langle h, krangle}_{o(|(h,k)|)},$$
so $; Df_{(x,y)}(h,k)=langle x,krangle+langle h, yrangle$.






share|cite|improve this answer































    0














    The (usual, euclidean) scalar product is defined via $$ langle x ,y rangle = x_1 y_1 + x_2 y_2 + dots + x_n y_n $$ with $x,y in mathbb{R}^n$, so your function is essentially $ f:mathbb{R}^n times mathbb{R}^n simeq mathbb{R}^{2n} to mathbb{R} $ defined indeed by $$ f(x,y) = x_1 y_1 + x_2 y_2 + dots + x_n y_n. $$From here you should be able to conclude.






    share|cite|improve this answer























    • I agree that $Bbb R^n times Bbb R^n$ is isomorphic to $Bbb R^{2n}$, but is it really correct to say they're equal?
      – Lena
      2 days ago










    • It is a bit fishy, yes, I edit the answer.
      – gangrene
      2 days ago











    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',
    autoActivateHeartbeat: false,
    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%2f3052310%2fdifferential-of-scalar-product%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    2














    The value of the differential at a point $(x,y)$ is the linear part of the difference
    $;f(x+h, y+k)-f(x,y)$. Now if $f$ is the dot product, we can use bilinearity:
    $$f(x+h, y+k)-f(x,y)=langle x+h,y+krangle -langle x, yrangle=underbrace{langle x,krangle+langle h, yrangle}_text{linear terms} +underbrace{langle h, krangle}_{o(|(h,k)|)},$$
    so $; Df_{(x,y)}(h,k)=langle x,krangle+langle h, yrangle$.






    share|cite|improve this answer




























      2














      The value of the differential at a point $(x,y)$ is the linear part of the difference
      $;f(x+h, y+k)-f(x,y)$. Now if $f$ is the dot product, we can use bilinearity:
      $$f(x+h, y+k)-f(x,y)=langle x+h,y+krangle -langle x, yrangle=underbrace{langle x,krangle+langle h, yrangle}_text{linear terms} +underbrace{langle h, krangle}_{o(|(h,k)|)},$$
      so $; Df_{(x,y)}(h,k)=langle x,krangle+langle h, yrangle$.






      share|cite|improve this answer


























        2












        2








        2






        The value of the differential at a point $(x,y)$ is the linear part of the difference
        $;f(x+h, y+k)-f(x,y)$. Now if $f$ is the dot product, we can use bilinearity:
        $$f(x+h, y+k)-f(x,y)=langle x+h,y+krangle -langle x, yrangle=underbrace{langle x,krangle+langle h, yrangle}_text{linear terms} +underbrace{langle h, krangle}_{o(|(h,k)|)},$$
        so $; Df_{(x,y)}(h,k)=langle x,krangle+langle h, yrangle$.






        share|cite|improve this answer














        The value of the differential at a point $(x,y)$ is the linear part of the difference
        $;f(x+h, y+k)-f(x,y)$. Now if $f$ is the dot product, we can use bilinearity:
        $$f(x+h, y+k)-f(x,y)=langle x+h,y+krangle -langle x, yrangle=underbrace{langle x,krangle+langle h, yrangle}_text{linear terms} +underbrace{langle h, krangle}_{o(|(h,k)|)},$$
        so $; Df_{(x,y)}(h,k)=langle x,krangle+langle h, yrangle$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited 2 days ago

























        answered 2 days ago









        Bernard

        118k639112




        118k639112























            0














            The (usual, euclidean) scalar product is defined via $$ langle x ,y rangle = x_1 y_1 + x_2 y_2 + dots + x_n y_n $$ with $x,y in mathbb{R}^n$, so your function is essentially $ f:mathbb{R}^n times mathbb{R}^n simeq mathbb{R}^{2n} to mathbb{R} $ defined indeed by $$ f(x,y) = x_1 y_1 + x_2 y_2 + dots + x_n y_n. $$From here you should be able to conclude.






            share|cite|improve this answer























            • I agree that $Bbb R^n times Bbb R^n$ is isomorphic to $Bbb R^{2n}$, but is it really correct to say they're equal?
              – Lena
              2 days ago










            • It is a bit fishy, yes, I edit the answer.
              – gangrene
              2 days ago
















            0














            The (usual, euclidean) scalar product is defined via $$ langle x ,y rangle = x_1 y_1 + x_2 y_2 + dots + x_n y_n $$ with $x,y in mathbb{R}^n$, so your function is essentially $ f:mathbb{R}^n times mathbb{R}^n simeq mathbb{R}^{2n} to mathbb{R} $ defined indeed by $$ f(x,y) = x_1 y_1 + x_2 y_2 + dots + x_n y_n. $$From here you should be able to conclude.






            share|cite|improve this answer























            • I agree that $Bbb R^n times Bbb R^n$ is isomorphic to $Bbb R^{2n}$, but is it really correct to say they're equal?
              – Lena
              2 days ago










            • It is a bit fishy, yes, I edit the answer.
              – gangrene
              2 days ago














            0












            0








            0






            The (usual, euclidean) scalar product is defined via $$ langle x ,y rangle = x_1 y_1 + x_2 y_2 + dots + x_n y_n $$ with $x,y in mathbb{R}^n$, so your function is essentially $ f:mathbb{R}^n times mathbb{R}^n simeq mathbb{R}^{2n} to mathbb{R} $ defined indeed by $$ f(x,y) = x_1 y_1 + x_2 y_2 + dots + x_n y_n. $$From here you should be able to conclude.






            share|cite|improve this answer














            The (usual, euclidean) scalar product is defined via $$ langle x ,y rangle = x_1 y_1 + x_2 y_2 + dots + x_n y_n $$ with $x,y in mathbb{R}^n$, so your function is essentially $ f:mathbb{R}^n times mathbb{R}^n simeq mathbb{R}^{2n} to mathbb{R} $ defined indeed by $$ f(x,y) = x_1 y_1 + x_2 y_2 + dots + x_n y_n. $$From here you should be able to conclude.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited 2 days ago

























            answered 2 days ago









            gangrene

            915514




            915514












            • I agree that $Bbb R^n times Bbb R^n$ is isomorphic to $Bbb R^{2n}$, but is it really correct to say they're equal?
              – Lena
              2 days ago










            • It is a bit fishy, yes, I edit the answer.
              – gangrene
              2 days ago


















            • I agree that $Bbb R^n times Bbb R^n$ is isomorphic to $Bbb R^{2n}$, but is it really correct to say they're equal?
              – Lena
              2 days ago










            • It is a bit fishy, yes, I edit the answer.
              – gangrene
              2 days ago
















            I agree that $Bbb R^n times Bbb R^n$ is isomorphic to $Bbb R^{2n}$, but is it really correct to say they're equal?
            – Lena
            2 days ago




            I agree that $Bbb R^n times Bbb R^n$ is isomorphic to $Bbb R^{2n}$, but is it really correct to say they're equal?
            – Lena
            2 days ago












            It is a bit fishy, yes, I edit the answer.
            – gangrene
            2 days ago




            It is a bit fishy, yes, I edit the answer.
            – gangrene
            2 days ago


















            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%2f3052310%2fdifferential-of-scalar-product%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

            Human spaceflight

            Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

            File:DeusFollowingSea.jpg