How to show that if $x^T x = 0$, then $x=0$ for any column vector $x$?“Show” that the direction cosines...

Signed and unsigned numbers

Which classes are needed to have access to every spell in the PHB?

Power Strip for Europe

Is it possible to avoid unpacking when merging Association?

When a wind turbine does not produce enough electricity how does the power company compensate for the loss?

Is it possible that a question has only two answers?

Create chunks from an array

Did Amazon pay $0 in taxes last year?

School performs periodic password audits. Is my password compromised?

Trig Subsitution When There's No Square Root

Am I understanding this Storm King's Thunder map wrong?

Plausibility of Mushroom Buildings

What's the 'present simple' form of the word "нашла́" in 3rd person singular female?

Has a sovereign Communist government ever run, and conceded loss, on a fair election?

Doubts in understanding some concepts of potential energy

In the late 1940’s to early 1950’s what technology was available that could melt a LOT of ice?

Recommendation letter by significant other if you worked with them professionally?

Haman going to the second feast dirty

What do *foreign films* mean for an American?

Source permutation

Do I really need to have a scientific explanation for my premise?

How to resolve: Reviewer #1 says remove section X vs. Reviewer #2 says expand section X

How does Ehrenfest's theorem apply to the quantum harmonic oscillator?

From an axiomatic set theoric approach why can we take uncountable unions?



How to show that if $x^T x = 0$, then $x=0$ for any column vector $x$?


“Show” that the direction cosines of a vector satisfies…Find $d$ of a plane equation$A$ is a symmetric real matrix. Show that there is $B$ such that $B^3=A$How to show a vector space is not closed under addition with elements not in the vector space.proving that for any vectors $u,v,w in mathbb{R}^n$ prove $|u+v+w| leq |u| +|v|+|w|$ (verify)How to convert from cartesian to vector form (of a straight line)How do I work out the calculation to find the unknown vectorIs there another name for a vector?Prove that if $r(t)times frac{dr(t)}{dt}=0$, then $r(t)$ has a fixed direction.Column vector as a linear combination?













0












$begingroup$


I did the proof and got it wrong, it'd be really helpful if someone could point me in the right direction or show me how to do it. The $T$ in $(x)^Tx=0$ means transpose; I wasn't sure if that was clear in the title.










share|cite|improve this question









New contributor




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







$endgroup$








  • 7




    $begingroup$
    $(x)^Tx$ is a sum of squares of entries of $x$; if any entry were non-zero the sum of squares would be positive
    $endgroup$
    – J. W. Tanner
    2 days ago






  • 3




    $begingroup$
    Another way to see it: ${bf x}^T{bf x}$ is the squared length of $bf x$; if the squared length is $0$, then ${bf x} = {bf 0}$.
    $endgroup$
    – Théophile
    2 days ago










  • $begingroup$
    Also, $x^Tx$ is simply the scalar product $<x,x> = sum_{i=1}^{n}x_{i}^2$ which is only zero in the case of $x = 0$
    $endgroup$
    – Victoria M
    2 days ago


















0












$begingroup$


I did the proof and got it wrong, it'd be really helpful if someone could point me in the right direction or show me how to do it. The $T$ in $(x)^Tx=0$ means transpose; I wasn't sure if that was clear in the title.










share|cite|improve this question









New contributor




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







$endgroup$








  • 7




    $begingroup$
    $(x)^Tx$ is a sum of squares of entries of $x$; if any entry were non-zero the sum of squares would be positive
    $endgroup$
    – J. W. Tanner
    2 days ago






  • 3




    $begingroup$
    Another way to see it: ${bf x}^T{bf x}$ is the squared length of $bf x$; if the squared length is $0$, then ${bf x} = {bf 0}$.
    $endgroup$
    – Théophile
    2 days ago










  • $begingroup$
    Also, $x^Tx$ is simply the scalar product $<x,x> = sum_{i=1}^{n}x_{i}^2$ which is only zero in the case of $x = 0$
    $endgroup$
    – Victoria M
    2 days ago
















0












0








0


1



$begingroup$


I did the proof and got it wrong, it'd be really helpful if someone could point me in the right direction or show me how to do it. The $T$ in $(x)^Tx=0$ means transpose; I wasn't sure if that was clear in the title.










share|cite|improve this question









New contributor




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







$endgroup$




I did the proof and got it wrong, it'd be really helpful if someone could point me in the right direction or show me how to do it. The $T$ in $(x)^Tx=0$ means transpose; I wasn't sure if that was clear in the title.







linear-algebra vectors norm






share|cite|improve this question









New contributor




gmb12 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 question









New contributor




gmb12 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 question




share|cite|improve this question








edited 2 days ago









J. W. Tanner

3,0681320




3,0681320






New contributor




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









asked 2 days ago









gmb12gmb12

31




31




New contributor




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





New contributor





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






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








  • 7




    $begingroup$
    $(x)^Tx$ is a sum of squares of entries of $x$; if any entry were non-zero the sum of squares would be positive
    $endgroup$
    – J. W. Tanner
    2 days ago






  • 3




    $begingroup$
    Another way to see it: ${bf x}^T{bf x}$ is the squared length of $bf x$; if the squared length is $0$, then ${bf x} = {bf 0}$.
    $endgroup$
    – Théophile
    2 days ago










  • $begingroup$
    Also, $x^Tx$ is simply the scalar product $<x,x> = sum_{i=1}^{n}x_{i}^2$ which is only zero in the case of $x = 0$
    $endgroup$
    – Victoria M
    2 days ago
















  • 7




    $begingroup$
    $(x)^Tx$ is a sum of squares of entries of $x$; if any entry were non-zero the sum of squares would be positive
    $endgroup$
    – J. W. Tanner
    2 days ago






  • 3




    $begingroup$
    Another way to see it: ${bf x}^T{bf x}$ is the squared length of $bf x$; if the squared length is $0$, then ${bf x} = {bf 0}$.
    $endgroup$
    – Théophile
    2 days ago










  • $begingroup$
    Also, $x^Tx$ is simply the scalar product $<x,x> = sum_{i=1}^{n}x_{i}^2$ which is only zero in the case of $x = 0$
    $endgroup$
    – Victoria M
    2 days ago










7




7




$begingroup$
$(x)^Tx$ is a sum of squares of entries of $x$; if any entry were non-zero the sum of squares would be positive
$endgroup$
– J. W. Tanner
2 days ago




$begingroup$
$(x)^Tx$ is a sum of squares of entries of $x$; if any entry were non-zero the sum of squares would be positive
$endgroup$
– J. W. Tanner
2 days ago




3




3




$begingroup$
Another way to see it: ${bf x}^T{bf x}$ is the squared length of $bf x$; if the squared length is $0$, then ${bf x} = {bf 0}$.
$endgroup$
– Théophile
2 days ago




$begingroup$
Another way to see it: ${bf x}^T{bf x}$ is the squared length of $bf x$; if the squared length is $0$, then ${bf x} = {bf 0}$.
$endgroup$
– Théophile
2 days ago












$begingroup$
Also, $x^Tx$ is simply the scalar product $<x,x> = sum_{i=1}^{n}x_{i}^2$ which is only zero in the case of $x = 0$
$endgroup$
– Victoria M
2 days ago






$begingroup$
Also, $x^Tx$ is simply the scalar product $<x,x> = sum_{i=1}^{n}x_{i}^2$ which is only zero in the case of $x = 0$
$endgroup$
– Victoria M
2 days ago












1 Answer
1






active

oldest

votes


















3












$begingroup$

Let $$x=left(
begin{matrix}
x_1 \
x_2 \
. \
.\
.\
x_n
end{matrix}
right).
$$

Then $x^Tx$ = $x_1^2+x_2^2+...+x_n^2$.



Since for all real $x_i$, $x_i^2 = 0$ if $x_i=0$ and $x_i^2>0$ otherwise,



$x^Tx=0$ implies $x_i=0$ for all $i$, i.e., $x=mathbf 0.$






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
    });


    }
    });






    gmb12 is a new contributor. Be nice, and check out our Code of Conduct.










    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3140380%2fhow-to-show-that-if-xt-x-0-then-x-0-for-any-column-vector-x%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









    3












    $begingroup$

    Let $$x=left(
    begin{matrix}
    x_1 \
    x_2 \
    . \
    .\
    .\
    x_n
    end{matrix}
    right).
    $$

    Then $x^Tx$ = $x_1^2+x_2^2+...+x_n^2$.



    Since for all real $x_i$, $x_i^2 = 0$ if $x_i=0$ and $x_i^2>0$ otherwise,



    $x^Tx=0$ implies $x_i=0$ for all $i$, i.e., $x=mathbf 0.$






    share|cite|improve this answer









    $endgroup$


















      3












      $begingroup$

      Let $$x=left(
      begin{matrix}
      x_1 \
      x_2 \
      . \
      .\
      .\
      x_n
      end{matrix}
      right).
      $$

      Then $x^Tx$ = $x_1^2+x_2^2+...+x_n^2$.



      Since for all real $x_i$, $x_i^2 = 0$ if $x_i=0$ and $x_i^2>0$ otherwise,



      $x^Tx=0$ implies $x_i=0$ for all $i$, i.e., $x=mathbf 0.$






      share|cite|improve this answer









      $endgroup$
















        3












        3








        3





        $begingroup$

        Let $$x=left(
        begin{matrix}
        x_1 \
        x_2 \
        . \
        .\
        .\
        x_n
        end{matrix}
        right).
        $$

        Then $x^Tx$ = $x_1^2+x_2^2+...+x_n^2$.



        Since for all real $x_i$, $x_i^2 = 0$ if $x_i=0$ and $x_i^2>0$ otherwise,



        $x^Tx=0$ implies $x_i=0$ for all $i$, i.e., $x=mathbf 0.$






        share|cite|improve this answer









        $endgroup$



        Let $$x=left(
        begin{matrix}
        x_1 \
        x_2 \
        . \
        .\
        .\
        x_n
        end{matrix}
        right).
        $$

        Then $x^Tx$ = $x_1^2+x_2^2+...+x_n^2$.



        Since for all real $x_i$, $x_i^2 = 0$ if $x_i=0$ and $x_i^2>0$ otherwise,



        $x^Tx=0$ implies $x_i=0$ for all $i$, i.e., $x=mathbf 0.$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 2 days ago









        J. W. TannerJ. W. Tanner

        3,0681320




        3,0681320






















            gmb12 is a new contributor. Be nice, and check out our Code of Conduct.










            draft saved

            draft discarded


















            gmb12 is a new contributor. Be nice, and check out our Code of Conduct.













            gmb12 is a new contributor. Be nice, and check out our Code of Conduct.












            gmb12 is a new contributor. Be nice, and check out our Code of Conduct.
















            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%2f3140380%2fhow-to-show-that-if-xt-x-0-then-x-0-for-any-column-vector-x%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

            Nidaros erkebispedøme

            Birsay

            Where did Arya get these scars? Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manara Favourite questions and answers from the 1st quarter of 2019Why did Arya refuse to end it?Has the pronunciation of Arya Stark's name changed?Has Arya forgiven people?Why did Arya Stark lose her vision?Why can Arya still use the faces?Has the Narrow Sea become narrower?Does Arya Stark know how to make poisons outside of the House of Black and White?Why did Nymeria leave Arya?Why did Arya not kill the Lannister soldiers she encountered in the Riverlands?What is the current canonical age of Sansa, Bran and Arya Stark?