If $X$ has more than one element, then the norm $||f||=sup_xin X|f(x)|$ doesn't come from a inner product

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite
1













If $X$ has more than one element, then the norm $|f|=sup_xin X|f(x)|$ doesn't come from a inner product in $B(X;mathbbR) := f mathpunct: Xto mathbbR$ such that $f$ is bounded$$




That is, there is no inner product $langle-,-rangle$ such that $langle f,frangle = |f|^2$.



I thought of doing this in two ways: Set $langle f,f rangle = |f|^2$ and then getting a contradiction to the definition of inner product. Or showing a counterexample of the parallelogram law. In both cases I'm stuck on how to use that $X$ has more than one element. Any hint or idea will be appreciated.







share|cite|improve this question


















  • 1




    A norm comes from an inner product if and only if it satisfies the parallelogram law (en.wikipedia.org/wiki/Parallelogram_law) which this norm does not.
    – User8128
    Aug 16 at 20:02






  • 1




    Parallelogram law is the way to go. Say $a,bin X$, $ane b$. Use $a$ and $b$ to define two functions $f$ and $g$...
    – David C. Ullrich
    Aug 16 at 20:04















up vote
1
down vote

favorite
1













If $X$ has more than one element, then the norm $|f|=sup_xin X|f(x)|$ doesn't come from a inner product in $B(X;mathbbR) := f mathpunct: Xto mathbbR$ such that $f$ is bounded$$




That is, there is no inner product $langle-,-rangle$ such that $langle f,frangle = |f|^2$.



I thought of doing this in two ways: Set $langle f,f rangle = |f|^2$ and then getting a contradiction to the definition of inner product. Or showing a counterexample of the parallelogram law. In both cases I'm stuck on how to use that $X$ has more than one element. Any hint or idea will be appreciated.







share|cite|improve this question


















  • 1




    A norm comes from an inner product if and only if it satisfies the parallelogram law (en.wikipedia.org/wiki/Parallelogram_law) which this norm does not.
    – User8128
    Aug 16 at 20:02






  • 1




    Parallelogram law is the way to go. Say $a,bin X$, $ane b$. Use $a$ and $b$ to define two functions $f$ and $g$...
    – David C. Ullrich
    Aug 16 at 20:04













up vote
1
down vote

favorite
1









up vote
1
down vote

favorite
1






1






If $X$ has more than one element, then the norm $|f|=sup_xin X|f(x)|$ doesn't come from a inner product in $B(X;mathbbR) := f mathpunct: Xto mathbbR$ such that $f$ is bounded$$




That is, there is no inner product $langle-,-rangle$ such that $langle f,frangle = |f|^2$.



I thought of doing this in two ways: Set $langle f,f rangle = |f|^2$ and then getting a contradiction to the definition of inner product. Or showing a counterexample of the parallelogram law. In both cases I'm stuck on how to use that $X$ has more than one element. Any hint or idea will be appreciated.







share|cite|improve this question















If $X$ has more than one element, then the norm $|f|=sup_xin X|f(x)|$ doesn't come from a inner product in $B(X;mathbbR) := f mathpunct: Xto mathbbR$ such that $f$ is bounded$$




That is, there is no inner product $langle-,-rangle$ such that $langle f,frangle = |f|^2$.



I thought of doing this in two ways: Set $langle f,f rangle = |f|^2$ and then getting a contradiction to the definition of inner product. Or showing a counterexample of the parallelogram law. In both cases I'm stuck on how to use that $X$ has more than one element. Any hint or idea will be appreciated.









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 17 at 7:51









Henno Brandsma

92k342100




92k342100










asked Aug 16 at 19:46









AnalyticHarmony

569213




569213







  • 1




    A norm comes from an inner product if and only if it satisfies the parallelogram law (en.wikipedia.org/wiki/Parallelogram_law) which this norm does not.
    – User8128
    Aug 16 at 20:02






  • 1




    Parallelogram law is the way to go. Say $a,bin X$, $ane b$. Use $a$ and $b$ to define two functions $f$ and $g$...
    – David C. Ullrich
    Aug 16 at 20:04













  • 1




    A norm comes from an inner product if and only if it satisfies the parallelogram law (en.wikipedia.org/wiki/Parallelogram_law) which this norm does not.
    – User8128
    Aug 16 at 20:02






  • 1




    Parallelogram law is the way to go. Say $a,bin X$, $ane b$. Use $a$ and $b$ to define two functions $f$ and $g$...
    – David C. Ullrich
    Aug 16 at 20:04








1




1




A norm comes from an inner product if and only if it satisfies the parallelogram law (en.wikipedia.org/wiki/Parallelogram_law) which this norm does not.
– User8128
Aug 16 at 20:02




A norm comes from an inner product if and only if it satisfies the parallelogram law (en.wikipedia.org/wiki/Parallelogram_law) which this norm does not.
– User8128
Aug 16 at 20:02




1




1




Parallelogram law is the way to go. Say $a,bin X$, $ane b$. Use $a$ and $b$ to define two functions $f$ and $g$...
– David C. Ullrich
Aug 16 at 20:04





Parallelogram law is the way to go. Say $a,bin X$, $ane b$. Use $a$ and $b$ to define two functions $f$ and $g$...
– David C. Ullrich
Aug 16 at 20:04











1 Answer
1






active

oldest

votes

















up vote
3
down vote



accepted










If $X$ contains elements $aneq b$, define $f(x) = delta_xa$ and $g(x) = delta_xa + delta_ba$. Then
$$
2(|f|_infty^2 + |g|_infty^2) = 2 neq 5 = |f+g|_infty^2 + |f-g|_infty^2
$$
so $|cdot|_infty$ doesn't satisfy the parallelogram law and hence isn't generated by an inner product.






share|cite|improve this answer




















    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: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    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%2f2885118%2fif-x-has-more-than-one-element-then-the-norm-f-sup-x-in-xfx-does%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    3
    down vote



    accepted










    If $X$ contains elements $aneq b$, define $f(x) = delta_xa$ and $g(x) = delta_xa + delta_ba$. Then
    $$
    2(|f|_infty^2 + |g|_infty^2) = 2 neq 5 = |f+g|_infty^2 + |f-g|_infty^2
    $$
    so $|cdot|_infty$ doesn't satisfy the parallelogram law and hence isn't generated by an inner product.






    share|cite|improve this answer
























      up vote
      3
      down vote



      accepted










      If $X$ contains elements $aneq b$, define $f(x) = delta_xa$ and $g(x) = delta_xa + delta_ba$. Then
      $$
      2(|f|_infty^2 + |g|_infty^2) = 2 neq 5 = |f+g|_infty^2 + |f-g|_infty^2
      $$
      so $|cdot|_infty$ doesn't satisfy the parallelogram law and hence isn't generated by an inner product.






      share|cite|improve this answer






















        up vote
        3
        down vote



        accepted







        up vote
        3
        down vote



        accepted






        If $X$ contains elements $aneq b$, define $f(x) = delta_xa$ and $g(x) = delta_xa + delta_ba$. Then
        $$
        2(|f|_infty^2 + |g|_infty^2) = 2 neq 5 = |f+g|_infty^2 + |f-g|_infty^2
        $$
        so $|cdot|_infty$ doesn't satisfy the parallelogram law and hence isn't generated by an inner product.






        share|cite|improve this answer












        If $X$ contains elements $aneq b$, define $f(x) = delta_xa$ and $g(x) = delta_xa + delta_ba$. Then
        $$
        2(|f|_infty^2 + |g|_infty^2) = 2 neq 5 = |f+g|_infty^2 + |f-g|_infty^2
        $$
        so $|cdot|_infty$ doesn't satisfy the parallelogram law and hence isn't generated by an inner product.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Aug 16 at 20:10









        cdipaolo

        677311




        677311






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2885118%2fif-x-has-more-than-one-element-then-the-norm-f-sup-x-in-xfx-does%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            How to combine Bézier curves to a surface?

            Why am i infinitely getting the same tweet with the Twitter Search API?

            Carbon dioxide