Assuming that $f$ is a bounded linear function on $X$, compute $|f|$.












1












$begingroup$


Let $X$ be a finite dimensional linear space and let ${e_i}^{n}_{i=1}$ be a basis. Hence, there exists unique scalars ${alpha_i}^{n}_{i=1}$ such that
begin{align} x=sum^{n}_{i=1}alpha_i e_i.end{align}
Now, we define $|cdot|$ by begin{align} |x|=left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}.end{align}
Assuming that $f$ is a bounded linear function on $X$, I want compute $|f|$.



MY TRIAL



Since $f$ is a bounded linear function on $X$, then there exists $Kgeq 0$ such that
begin{align} |f(x)|leq K|x|,;;forall;xin X.end{align}
So, taking $sup$ over $|x|leq 1,$ we get
begin{align} |f|=suplimits_{|x|leq 1}|f(x)|leq K,;;forall;xin X.end{align}
I might be wrong. Kindly check if I'm wrong or right. If I'm wrong, can you give me an idea of what to do?










share|cite|improve this question











$endgroup$












  • $begingroup$
    I don't use the same definition of a bounded function... Are you sure of yours?
    $endgroup$
    – Damien
    Dec 27 '18 at 8:22










  • $begingroup$
    @Damien: Yes, you can also check en.wikipedia.org/wiki/Bounded_operator, to verify!
    $endgroup$
    – Omojola Micheal
    Dec 27 '18 at 8:24










  • $begingroup$
    @Damien: Which do you use?
    $endgroup$
    – Omojola Micheal
    Dec 27 '18 at 8:24










  • $begingroup$
    It appears that the definition of a bounded linear function is different from the definition of a bounded function. I did not know. Yo are right. Sorry
    $endgroup$
    – Damien
    Dec 27 '18 at 8:35










  • $begingroup$
    @Damien: No problems! We all learn!
    $endgroup$
    – Omojola Micheal
    Dec 27 '18 at 8:51
















1












$begingroup$


Let $X$ be a finite dimensional linear space and let ${e_i}^{n}_{i=1}$ be a basis. Hence, there exists unique scalars ${alpha_i}^{n}_{i=1}$ such that
begin{align} x=sum^{n}_{i=1}alpha_i e_i.end{align}
Now, we define $|cdot|$ by begin{align} |x|=left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}.end{align}
Assuming that $f$ is a bounded linear function on $X$, I want compute $|f|$.



MY TRIAL



Since $f$ is a bounded linear function on $X$, then there exists $Kgeq 0$ such that
begin{align} |f(x)|leq K|x|,;;forall;xin X.end{align}
So, taking $sup$ over $|x|leq 1,$ we get
begin{align} |f|=suplimits_{|x|leq 1}|f(x)|leq K,;;forall;xin X.end{align}
I might be wrong. Kindly check if I'm wrong or right. If I'm wrong, can you give me an idea of what to do?










share|cite|improve this question











$endgroup$












  • $begingroup$
    I don't use the same definition of a bounded function... Are you sure of yours?
    $endgroup$
    – Damien
    Dec 27 '18 at 8:22










  • $begingroup$
    @Damien: Yes, you can also check en.wikipedia.org/wiki/Bounded_operator, to verify!
    $endgroup$
    – Omojola Micheal
    Dec 27 '18 at 8:24










  • $begingroup$
    @Damien: Which do you use?
    $endgroup$
    – Omojola Micheal
    Dec 27 '18 at 8:24










  • $begingroup$
    It appears that the definition of a bounded linear function is different from the definition of a bounded function. I did not know. Yo are right. Sorry
    $endgroup$
    – Damien
    Dec 27 '18 at 8:35










  • $begingroup$
    @Damien: No problems! We all learn!
    $endgroup$
    – Omojola Micheal
    Dec 27 '18 at 8:51














1












1








1


1



$begingroup$


Let $X$ be a finite dimensional linear space and let ${e_i}^{n}_{i=1}$ be a basis. Hence, there exists unique scalars ${alpha_i}^{n}_{i=1}$ such that
begin{align} x=sum^{n}_{i=1}alpha_i e_i.end{align}
Now, we define $|cdot|$ by begin{align} |x|=left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}.end{align}
Assuming that $f$ is a bounded linear function on $X$, I want compute $|f|$.



MY TRIAL



Since $f$ is a bounded linear function on $X$, then there exists $Kgeq 0$ such that
begin{align} |f(x)|leq K|x|,;;forall;xin X.end{align}
So, taking $sup$ over $|x|leq 1,$ we get
begin{align} |f|=suplimits_{|x|leq 1}|f(x)|leq K,;;forall;xin X.end{align}
I might be wrong. Kindly check if I'm wrong or right. If I'm wrong, can you give me an idea of what to do?










share|cite|improve this question











$endgroup$




Let $X$ be a finite dimensional linear space and let ${e_i}^{n}_{i=1}$ be a basis. Hence, there exists unique scalars ${alpha_i}^{n}_{i=1}$ such that
begin{align} x=sum^{n}_{i=1}alpha_i e_i.end{align}
Now, we define $|cdot|$ by begin{align} |x|=left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}.end{align}
Assuming that $f$ is a bounded linear function on $X$, I want compute $|f|$.



MY TRIAL



Since $f$ is a bounded linear function on $X$, then there exists $Kgeq 0$ such that
begin{align} |f(x)|leq K|x|,;;forall;xin X.end{align}
So, taking $sup$ over $|x|leq 1,$ we get
begin{align} |f|=suplimits_{|x|leq 1}|f(x)|leq K,;;forall;xin X.end{align}
I might be wrong. Kindly check if I'm wrong or right. If I'm wrong, can you give me an idea of what to do?







functional-analysis normed-spaces






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 27 '18 at 8:31







Omojola Micheal

















asked Dec 27 '18 at 8:12









Omojola MichealOmojola Micheal

1,901324




1,901324












  • $begingroup$
    I don't use the same definition of a bounded function... Are you sure of yours?
    $endgroup$
    – Damien
    Dec 27 '18 at 8:22










  • $begingroup$
    @Damien: Yes, you can also check en.wikipedia.org/wiki/Bounded_operator, to verify!
    $endgroup$
    – Omojola Micheal
    Dec 27 '18 at 8:24










  • $begingroup$
    @Damien: Which do you use?
    $endgroup$
    – Omojola Micheal
    Dec 27 '18 at 8:24










  • $begingroup$
    It appears that the definition of a bounded linear function is different from the definition of a bounded function. I did not know. Yo are right. Sorry
    $endgroup$
    – Damien
    Dec 27 '18 at 8:35










  • $begingroup$
    @Damien: No problems! We all learn!
    $endgroup$
    – Omojola Micheal
    Dec 27 '18 at 8:51


















  • $begingroup$
    I don't use the same definition of a bounded function... Are you sure of yours?
    $endgroup$
    – Damien
    Dec 27 '18 at 8:22










  • $begingroup$
    @Damien: Yes, you can also check en.wikipedia.org/wiki/Bounded_operator, to verify!
    $endgroup$
    – Omojola Micheal
    Dec 27 '18 at 8:24










  • $begingroup$
    @Damien: Which do you use?
    $endgroup$
    – Omojola Micheal
    Dec 27 '18 at 8:24










  • $begingroup$
    It appears that the definition of a bounded linear function is different from the definition of a bounded function. I did not know. Yo are right. Sorry
    $endgroup$
    – Damien
    Dec 27 '18 at 8:35










  • $begingroup$
    @Damien: No problems! We all learn!
    $endgroup$
    – Omojola Micheal
    Dec 27 '18 at 8:51
















$begingroup$
I don't use the same definition of a bounded function... Are you sure of yours?
$endgroup$
– Damien
Dec 27 '18 at 8:22




$begingroup$
I don't use the same definition of a bounded function... Are you sure of yours?
$endgroup$
– Damien
Dec 27 '18 at 8:22












$begingroup$
@Damien: Yes, you can also check en.wikipedia.org/wiki/Bounded_operator, to verify!
$endgroup$
– Omojola Micheal
Dec 27 '18 at 8:24




$begingroup$
@Damien: Yes, you can also check en.wikipedia.org/wiki/Bounded_operator, to verify!
$endgroup$
– Omojola Micheal
Dec 27 '18 at 8:24












$begingroup$
@Damien: Which do you use?
$endgroup$
– Omojola Micheal
Dec 27 '18 at 8:24




$begingroup$
@Damien: Which do you use?
$endgroup$
– Omojola Micheal
Dec 27 '18 at 8:24












$begingroup$
It appears that the definition of a bounded linear function is different from the definition of a bounded function. I did not know. Yo are right. Sorry
$endgroup$
– Damien
Dec 27 '18 at 8:35




$begingroup$
It appears that the definition of a bounded linear function is different from the definition of a bounded function. I did not know. Yo are right. Sorry
$endgroup$
– Damien
Dec 27 '18 at 8:35












$begingroup$
@Damien: No problems! We all learn!
$endgroup$
– Omojola Micheal
Dec 27 '18 at 8:51




$begingroup$
@Damien: No problems! We all learn!
$endgroup$
– Omojola Micheal
Dec 27 '18 at 8:51










2 Answers
2






active

oldest

votes


















1












$begingroup$

$|f|=sup {frac {|f(sum a_ie_i)|} {|sum a_ie_i|}}leqsqrt {sum |f(e_i)|^{2}}$ by C-S inequality. The exact value of $|f|$ is not easy to write and it is not $sqrt {sum |f(e_i)|^{2}}$ in general. For example, User Damien has given example in a comment in which the norm is not equal to $sqrt {sum |f(e_i)|^{2}}$






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Sorry, I find this result very strange. For example, consider $n=2$, $f(e_1)=e_1$, $f(e_2)=2e_2$
    $endgroup$
    – Damien
    Dec 27 '18 at 8:52






  • 1




    $begingroup$
    @Damien I thought $f$ was a continuous linear functional but I now realize that it is a linear map of $X$ into $X$. The exact value of $|f|$ is hard to write. From what the OP has written it is not clear if he is trying to write an explicitly formula for $|f|$. Thanks for your comment.
    $endgroup$
    – Kavi Rama Murthy
    Dec 27 '18 at 9:09



















0












$begingroup$

I guess it should be:
begin{align} |f|&=suplimits_{xneq 0}dfrac{|f(x)|}{|x|}\&=suplimits_{alpha_ineq 0}dfrac{left|f(sum^{n}_{i=1}alpha_i e_i)right|}{left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}}\&=suplimits_{alpha_ineq 0}dfrac{left|sum^{n}_{i=1}alpha_i f(e_i)right|}{left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}}.end{align}






share|cite|improve this answer









$endgroup$













    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%2f3053702%2fassuming-that-f-is-a-bounded-linear-function-on-x-compute-f%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









    1












    $begingroup$

    $|f|=sup {frac {|f(sum a_ie_i)|} {|sum a_ie_i|}}leqsqrt {sum |f(e_i)|^{2}}$ by C-S inequality. The exact value of $|f|$ is not easy to write and it is not $sqrt {sum |f(e_i)|^{2}}$ in general. For example, User Damien has given example in a comment in which the norm is not equal to $sqrt {sum |f(e_i)|^{2}}$






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      Sorry, I find this result very strange. For example, consider $n=2$, $f(e_1)=e_1$, $f(e_2)=2e_2$
      $endgroup$
      – Damien
      Dec 27 '18 at 8:52






    • 1




      $begingroup$
      @Damien I thought $f$ was a continuous linear functional but I now realize that it is a linear map of $X$ into $X$. The exact value of $|f|$ is hard to write. From what the OP has written it is not clear if he is trying to write an explicitly formula for $|f|$. Thanks for your comment.
      $endgroup$
      – Kavi Rama Murthy
      Dec 27 '18 at 9:09
















    1












    $begingroup$

    $|f|=sup {frac {|f(sum a_ie_i)|} {|sum a_ie_i|}}leqsqrt {sum |f(e_i)|^{2}}$ by C-S inequality. The exact value of $|f|$ is not easy to write and it is not $sqrt {sum |f(e_i)|^{2}}$ in general. For example, User Damien has given example in a comment in which the norm is not equal to $sqrt {sum |f(e_i)|^{2}}$






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      Sorry, I find this result very strange. For example, consider $n=2$, $f(e_1)=e_1$, $f(e_2)=2e_2$
      $endgroup$
      – Damien
      Dec 27 '18 at 8:52






    • 1




      $begingroup$
      @Damien I thought $f$ was a continuous linear functional but I now realize that it is a linear map of $X$ into $X$. The exact value of $|f|$ is hard to write. From what the OP has written it is not clear if he is trying to write an explicitly formula for $|f|$. Thanks for your comment.
      $endgroup$
      – Kavi Rama Murthy
      Dec 27 '18 at 9:09














    1












    1








    1





    $begingroup$

    $|f|=sup {frac {|f(sum a_ie_i)|} {|sum a_ie_i|}}leqsqrt {sum |f(e_i)|^{2}}$ by C-S inequality. The exact value of $|f|$ is not easy to write and it is not $sqrt {sum |f(e_i)|^{2}}$ in general. For example, User Damien has given example in a comment in which the norm is not equal to $sqrt {sum |f(e_i)|^{2}}$






    share|cite|improve this answer











    $endgroup$



    $|f|=sup {frac {|f(sum a_ie_i)|} {|sum a_ie_i|}}leqsqrt {sum |f(e_i)|^{2}}$ by C-S inequality. The exact value of $|f|$ is not easy to write and it is not $sqrt {sum |f(e_i)|^{2}}$ in general. For example, User Damien has given example in a comment in which the norm is not equal to $sqrt {sum |f(e_i)|^{2}}$







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited Dec 27 '18 at 9:15

























    answered Dec 27 '18 at 8:20









    Kavi Rama MurthyKavi Rama Murthy

    62.5k42262




    62.5k42262












    • $begingroup$
      Sorry, I find this result very strange. For example, consider $n=2$, $f(e_1)=e_1$, $f(e_2)=2e_2$
      $endgroup$
      – Damien
      Dec 27 '18 at 8:52






    • 1




      $begingroup$
      @Damien I thought $f$ was a continuous linear functional but I now realize that it is a linear map of $X$ into $X$. The exact value of $|f|$ is hard to write. From what the OP has written it is not clear if he is trying to write an explicitly formula for $|f|$. Thanks for your comment.
      $endgroup$
      – Kavi Rama Murthy
      Dec 27 '18 at 9:09


















    • $begingroup$
      Sorry, I find this result very strange. For example, consider $n=2$, $f(e_1)=e_1$, $f(e_2)=2e_2$
      $endgroup$
      – Damien
      Dec 27 '18 at 8:52






    • 1




      $begingroup$
      @Damien I thought $f$ was a continuous linear functional but I now realize that it is a linear map of $X$ into $X$. The exact value of $|f|$ is hard to write. From what the OP has written it is not clear if he is trying to write an explicitly formula for $|f|$. Thanks for your comment.
      $endgroup$
      – Kavi Rama Murthy
      Dec 27 '18 at 9:09
















    $begingroup$
    Sorry, I find this result very strange. For example, consider $n=2$, $f(e_1)=e_1$, $f(e_2)=2e_2$
    $endgroup$
    – Damien
    Dec 27 '18 at 8:52




    $begingroup$
    Sorry, I find this result very strange. For example, consider $n=2$, $f(e_1)=e_1$, $f(e_2)=2e_2$
    $endgroup$
    – Damien
    Dec 27 '18 at 8:52




    1




    1




    $begingroup$
    @Damien I thought $f$ was a continuous linear functional but I now realize that it is a linear map of $X$ into $X$. The exact value of $|f|$ is hard to write. From what the OP has written it is not clear if he is trying to write an explicitly formula for $|f|$. Thanks for your comment.
    $endgroup$
    – Kavi Rama Murthy
    Dec 27 '18 at 9:09




    $begingroup$
    @Damien I thought $f$ was a continuous linear functional but I now realize that it is a linear map of $X$ into $X$. The exact value of $|f|$ is hard to write. From what the OP has written it is not clear if he is trying to write an explicitly formula for $|f|$. Thanks for your comment.
    $endgroup$
    – Kavi Rama Murthy
    Dec 27 '18 at 9:09











    0












    $begingroup$

    I guess it should be:
    begin{align} |f|&=suplimits_{xneq 0}dfrac{|f(x)|}{|x|}\&=suplimits_{alpha_ineq 0}dfrac{left|f(sum^{n}_{i=1}alpha_i e_i)right|}{left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}}\&=suplimits_{alpha_ineq 0}dfrac{left|sum^{n}_{i=1}alpha_i f(e_i)right|}{left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}}.end{align}






    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      I guess it should be:
      begin{align} |f|&=suplimits_{xneq 0}dfrac{|f(x)|}{|x|}\&=suplimits_{alpha_ineq 0}dfrac{left|f(sum^{n}_{i=1}alpha_i e_i)right|}{left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}}\&=suplimits_{alpha_ineq 0}dfrac{left|sum^{n}_{i=1}alpha_i f(e_i)right|}{left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}}.end{align}






      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        I guess it should be:
        begin{align} |f|&=suplimits_{xneq 0}dfrac{|f(x)|}{|x|}\&=suplimits_{alpha_ineq 0}dfrac{left|f(sum^{n}_{i=1}alpha_i e_i)right|}{left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}}\&=suplimits_{alpha_ineq 0}dfrac{left|sum^{n}_{i=1}alpha_i f(e_i)right|}{left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}}.end{align}






        share|cite|improve this answer









        $endgroup$



        I guess it should be:
        begin{align} |f|&=suplimits_{xneq 0}dfrac{|f(x)|}{|x|}\&=suplimits_{alpha_ineq 0}dfrac{left|f(sum^{n}_{i=1}alpha_i e_i)right|}{left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}}\&=suplimits_{alpha_ineq 0}dfrac{left|sum^{n}_{i=1}alpha_i f(e_i)right|}{left(sum^{n}_{i=1}|alpha_i |^2right)^{1/2}}.end{align}







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Dec 27 '18 at 14:39









        Omojola MichealOmojola Micheal

        1,901324




        1,901324






























            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%2f3053702%2fassuming-that-f-is-a-bounded-linear-function-on-x-compute-f%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

            Quarter-circle Tiles

            build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

            Mont Emei