Is $mathbb{R}^n$ always an inner product space?












1














This may be a silly question but every two norms on $mathbb{R}^n$ are equivalent and $VertcdotVert_2$ comes from the usual dot product so $(mathbb{R}^n,VertcdotVert_2)$ is (at least) an inner product space (pre-Hilbert).



Why can't we say that $(mathbb{R}^n,VertcdotVert_{infty})$ is also pre-Hilbert? I know the uniform norm doesn't come from an inner product but two spaces are (topologically) the same if their norms are equivalent and up until now (at least in my course) it is only the topology that gives the space its "uniqueness".



The fact that a norm comes from an inner product doesn't change the topology nor the algebraic (vector space) structure. I get the product may be useful but what unique, defining, core property ... does it have??










share|cite|improve this question


















  • 1




    Because the $infty$ norm is not induced by an inner product.
    – ncmathsadist
    Jan 4 at 20:26












  • @ncmathsadist the question is why would $(mathbb{R}^n,VertcdotVert_2)$ and $(mathbb{R}^n,VertcdotVert_{infty})$ be any different under any classification if they are essentially the same. What does the inner product have to make the difference (apart from being an inner product)
    – Pedro
    Jan 4 at 20:30






  • 1




    They are topologically equivalent but, for instance, they are not isometric as Banach spaces.
    – ncmathsadist
    Jan 4 at 20:35
















1














This may be a silly question but every two norms on $mathbb{R}^n$ are equivalent and $VertcdotVert_2$ comes from the usual dot product so $(mathbb{R}^n,VertcdotVert_2)$ is (at least) an inner product space (pre-Hilbert).



Why can't we say that $(mathbb{R}^n,VertcdotVert_{infty})$ is also pre-Hilbert? I know the uniform norm doesn't come from an inner product but two spaces are (topologically) the same if their norms are equivalent and up until now (at least in my course) it is only the topology that gives the space its "uniqueness".



The fact that a norm comes from an inner product doesn't change the topology nor the algebraic (vector space) structure. I get the product may be useful but what unique, defining, core property ... does it have??










share|cite|improve this question


















  • 1




    Because the $infty$ norm is not induced by an inner product.
    – ncmathsadist
    Jan 4 at 20:26












  • @ncmathsadist the question is why would $(mathbb{R}^n,VertcdotVert_2)$ and $(mathbb{R}^n,VertcdotVert_{infty})$ be any different under any classification if they are essentially the same. What does the inner product have to make the difference (apart from being an inner product)
    – Pedro
    Jan 4 at 20:30






  • 1




    They are topologically equivalent but, for instance, they are not isometric as Banach spaces.
    – ncmathsadist
    Jan 4 at 20:35














1












1








1







This may be a silly question but every two norms on $mathbb{R}^n$ are equivalent and $VertcdotVert_2$ comes from the usual dot product so $(mathbb{R}^n,VertcdotVert_2)$ is (at least) an inner product space (pre-Hilbert).



Why can't we say that $(mathbb{R}^n,VertcdotVert_{infty})$ is also pre-Hilbert? I know the uniform norm doesn't come from an inner product but two spaces are (topologically) the same if their norms are equivalent and up until now (at least in my course) it is only the topology that gives the space its "uniqueness".



The fact that a norm comes from an inner product doesn't change the topology nor the algebraic (vector space) structure. I get the product may be useful but what unique, defining, core property ... does it have??










share|cite|improve this question













This may be a silly question but every two norms on $mathbb{R}^n$ are equivalent and $VertcdotVert_2$ comes from the usual dot product so $(mathbb{R}^n,VertcdotVert_2)$ is (at least) an inner product space (pre-Hilbert).



Why can't we say that $(mathbb{R}^n,VertcdotVert_{infty})$ is also pre-Hilbert? I know the uniform norm doesn't come from an inner product but two spaces are (topologically) the same if their norms are equivalent and up until now (at least in my course) it is only the topology that gives the space its "uniqueness".



The fact that a norm comes from an inner product doesn't change the topology nor the algebraic (vector space) structure. I get the product may be useful but what unique, defining, core property ... does it have??







norm normed-spaces inner-product-space






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 4 at 20:17









PedroPedro

517212




517212








  • 1




    Because the $infty$ norm is not induced by an inner product.
    – ncmathsadist
    Jan 4 at 20:26












  • @ncmathsadist the question is why would $(mathbb{R}^n,VertcdotVert_2)$ and $(mathbb{R}^n,VertcdotVert_{infty})$ be any different under any classification if they are essentially the same. What does the inner product have to make the difference (apart from being an inner product)
    – Pedro
    Jan 4 at 20:30






  • 1




    They are topologically equivalent but, for instance, they are not isometric as Banach spaces.
    – ncmathsadist
    Jan 4 at 20:35














  • 1




    Because the $infty$ norm is not induced by an inner product.
    – ncmathsadist
    Jan 4 at 20:26












  • @ncmathsadist the question is why would $(mathbb{R}^n,VertcdotVert_2)$ and $(mathbb{R}^n,VertcdotVert_{infty})$ be any different under any classification if they are essentially the same. What does the inner product have to make the difference (apart from being an inner product)
    – Pedro
    Jan 4 at 20:30






  • 1




    They are topologically equivalent but, for instance, they are not isometric as Banach spaces.
    – ncmathsadist
    Jan 4 at 20:35








1




1




Because the $infty$ norm is not induced by an inner product.
– ncmathsadist
Jan 4 at 20:26






Because the $infty$ norm is not induced by an inner product.
– ncmathsadist
Jan 4 at 20:26














@ncmathsadist the question is why would $(mathbb{R}^n,VertcdotVert_2)$ and $(mathbb{R}^n,VertcdotVert_{infty})$ be any different under any classification if they are essentially the same. What does the inner product have to make the difference (apart from being an inner product)
– Pedro
Jan 4 at 20:30




@ncmathsadist the question is why would $(mathbb{R}^n,VertcdotVert_2)$ and $(mathbb{R}^n,VertcdotVert_{infty})$ be any different under any classification if they are essentially the same. What does the inner product have to make the difference (apart from being an inner product)
– Pedro
Jan 4 at 20:30




1




1




They are topologically equivalent but, for instance, they are not isometric as Banach spaces.
– ncmathsadist
Jan 4 at 20:35




They are topologically equivalent but, for instance, they are not isometric as Banach spaces.
– ncmathsadist
Jan 4 at 20:35










1 Answer
1






active

oldest

votes


















1














The question is how do you interpret $mathbb R^n$. Indeed,




  • if you consider it a real vector space, then it carries a natural inner product.

  • if you consider it a normed space equipped with the Euclidean distance, then yes, it carries an inner product that can be recovered from the norm

  • if you consider it a normed space with some fixed norm, then no. For example, note that the norm coming from an inner product is strictly convex, so it rules out the max norm. For different reasons, the $ell_p$-norms for $pneq 2$ are counterexamples too.






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',
    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%2f3062057%2fis-mathbbrn-always-an-inner-product-space%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









    1














    The question is how do you interpret $mathbb R^n$. Indeed,




    • if you consider it a real vector space, then it carries a natural inner product.

    • if you consider it a normed space equipped with the Euclidean distance, then yes, it carries an inner product that can be recovered from the norm

    • if you consider it a normed space with some fixed norm, then no. For example, note that the norm coming from an inner product is strictly convex, so it rules out the max norm. For different reasons, the $ell_p$-norms for $pneq 2$ are counterexamples too.






    share|cite|improve this answer


























      1














      The question is how do you interpret $mathbb R^n$. Indeed,




      • if you consider it a real vector space, then it carries a natural inner product.

      • if you consider it a normed space equipped with the Euclidean distance, then yes, it carries an inner product that can be recovered from the norm

      • if you consider it a normed space with some fixed norm, then no. For example, note that the norm coming from an inner product is strictly convex, so it rules out the max norm. For different reasons, the $ell_p$-norms for $pneq 2$ are counterexamples too.






      share|cite|improve this answer
























        1












        1








        1






        The question is how do you interpret $mathbb R^n$. Indeed,




        • if you consider it a real vector space, then it carries a natural inner product.

        • if you consider it a normed space equipped with the Euclidean distance, then yes, it carries an inner product that can be recovered from the norm

        • if you consider it a normed space with some fixed norm, then no. For example, note that the norm coming from an inner product is strictly convex, so it rules out the max norm. For different reasons, the $ell_p$-norms for $pneq 2$ are counterexamples too.






        share|cite|improve this answer












        The question is how do you interpret $mathbb R^n$. Indeed,




        • if you consider it a real vector space, then it carries a natural inner product.

        • if you consider it a normed space equipped with the Euclidean distance, then yes, it carries an inner product that can be recovered from the norm

        • if you consider it a normed space with some fixed norm, then no. For example, note that the norm coming from an inner product is strictly convex, so it rules out the max norm. For different reasons, the $ell_p$-norms for $pneq 2$ are counterexamples too.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 4 at 20:37









        Tomek KaniaTomek Kania

        12.1k11943




        12.1k11943






























            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.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3062057%2fis-mathbbrn-always-an-inner-product-space%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

            1300-talet

            1300-talet

            Display a custom attribute below product name in the front-end Magento 1.9.3.8