If $sum_{i=1}^vu_iotimes v_i =0$ then $v_i=0$ for all $i=1,cdots, n$











up vote
0
down vote

favorite












Let $U$, $V$ be $K$-vector spaces. Let $u_1,cdots, u_nin U$ be linear independent vectors and $v_1,cdots, v_nin V$ arbitrary vectors. Show that if $sum_{i=1}^vu_iotimes v_i =0$ then $v_i=0$ for all $i=1,cdots, n$



I can obviously show the converse, but it does not suffice. I tried to find the answer here but I couldn't. It seems simple but I don't know how to begin










share|cite|improve this question


















  • 1




    Should it be $sum_{i=1}^n$ rather than $sum_{i=1}^v$ in the title and text?
    – Semiclassical
    Nov 17 at 18:35















up vote
0
down vote

favorite












Let $U$, $V$ be $K$-vector spaces. Let $u_1,cdots, u_nin U$ be linear independent vectors and $v_1,cdots, v_nin V$ arbitrary vectors. Show that if $sum_{i=1}^vu_iotimes v_i =0$ then $v_i=0$ for all $i=1,cdots, n$



I can obviously show the converse, but it does not suffice. I tried to find the answer here but I couldn't. It seems simple but I don't know how to begin










share|cite|improve this question


















  • 1




    Should it be $sum_{i=1}^n$ rather than $sum_{i=1}^v$ in the title and text?
    – Semiclassical
    Nov 17 at 18:35













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Let $U$, $V$ be $K$-vector spaces. Let $u_1,cdots, u_nin U$ be linear independent vectors and $v_1,cdots, v_nin V$ arbitrary vectors. Show that if $sum_{i=1}^vu_iotimes v_i =0$ then $v_i=0$ for all $i=1,cdots, n$



I can obviously show the converse, but it does not suffice. I tried to find the answer here but I couldn't. It seems simple but I don't know how to begin










share|cite|improve this question













Let $U$, $V$ be $K$-vector spaces. Let $u_1,cdots, u_nin U$ be linear independent vectors and $v_1,cdots, v_nin V$ arbitrary vectors. Show that if $sum_{i=1}^vu_iotimes v_i =0$ then $v_i=0$ for all $i=1,cdots, n$



I can obviously show the converse, but it does not suffice. I tried to find the answer here but I couldn't. It seems simple but I don't know how to begin







linear-algebra






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 17 at 18:07









Guerlando OCs

6821450




6821450








  • 1




    Should it be $sum_{i=1}^n$ rather than $sum_{i=1}^v$ in the title and text?
    – Semiclassical
    Nov 17 at 18:35














  • 1




    Should it be $sum_{i=1}^n$ rather than $sum_{i=1}^v$ in the title and text?
    – Semiclassical
    Nov 17 at 18:35








1




1




Should it be $sum_{i=1}^n$ rather than $sum_{i=1}^v$ in the title and text?
– Semiclassical
Nov 17 at 18:35




Should it be $sum_{i=1}^n$ rather than $sum_{i=1}^v$ in the title and text?
– Semiclassical
Nov 17 at 18:35










1 Answer
1






active

oldest

votes

















up vote
1
down vote



accepted










Let $w_1, ldots, w_m$ be a basis of $V$. Then $u_i otimes w_j$ is linearly independent in
$U otimes V$. One can write



$$sum_{i=1}^{n} u_i otimes v_i = sum_{i=1}^{n} u_i otimes left( sum_{j=1}^{m}c^i_j w_jright) = sum_{i=1}^{n} sum_{j=1}^{m} c^i_j (u_i otimes w_j) = 0.$$



Clearly, this implies that all $c^i_j = 0$. Thus, $v_i = sum c^i_j w_j = 0$.






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: 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%2f3002635%2fif-sum-i-1vu-i-otimes-v-i-0-then-v-i-0-for-all-i-1-cdots-n%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








    up vote
    1
    down vote



    accepted










    Let $w_1, ldots, w_m$ be a basis of $V$. Then $u_i otimes w_j$ is linearly independent in
    $U otimes V$. One can write



    $$sum_{i=1}^{n} u_i otimes v_i = sum_{i=1}^{n} u_i otimes left( sum_{j=1}^{m}c^i_j w_jright) = sum_{i=1}^{n} sum_{j=1}^{m} c^i_j (u_i otimes w_j) = 0.$$



    Clearly, this implies that all $c^i_j = 0$. Thus, $v_i = sum c^i_j w_j = 0$.






    share|cite|improve this answer

























      up vote
      1
      down vote



      accepted










      Let $w_1, ldots, w_m$ be a basis of $V$. Then $u_i otimes w_j$ is linearly independent in
      $U otimes V$. One can write



      $$sum_{i=1}^{n} u_i otimes v_i = sum_{i=1}^{n} u_i otimes left( sum_{j=1}^{m}c^i_j w_jright) = sum_{i=1}^{n} sum_{j=1}^{m} c^i_j (u_i otimes w_j) = 0.$$



      Clearly, this implies that all $c^i_j = 0$. Thus, $v_i = sum c^i_j w_j = 0$.






      share|cite|improve this answer























        up vote
        1
        down vote



        accepted







        up vote
        1
        down vote



        accepted






        Let $w_1, ldots, w_m$ be a basis of $V$. Then $u_i otimes w_j$ is linearly independent in
        $U otimes V$. One can write



        $$sum_{i=1}^{n} u_i otimes v_i = sum_{i=1}^{n} u_i otimes left( sum_{j=1}^{m}c^i_j w_jright) = sum_{i=1}^{n} sum_{j=1}^{m} c^i_j (u_i otimes w_j) = 0.$$



        Clearly, this implies that all $c^i_j = 0$. Thus, $v_i = sum c^i_j w_j = 0$.






        share|cite|improve this answer












        Let $w_1, ldots, w_m$ be a basis of $V$. Then $u_i otimes w_j$ is linearly independent in
        $U otimes V$. One can write



        $$sum_{i=1}^{n} u_i otimes v_i = sum_{i=1}^{n} u_i otimes left( sum_{j=1}^{m}c^i_j w_jright) = sum_{i=1}^{n} sum_{j=1}^{m} c^i_j (u_i otimes w_j) = 0.$$



        Clearly, this implies that all $c^i_j = 0$. Thus, $v_i = sum c^i_j w_j = 0$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 17 at 18:32









        Jeffery Opoku-Mensah

        3,517719




        3,517719






























            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%2f3002635%2fif-sum-i-1vu-i-otimes-v-i-0-then-v-i-0-for-all-i-1-cdots-n%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

            QoS: MAC-Priority for clients behind a repeater

            Ивакино (Тотемский район)

            Can't locate Autom4te/ChannelDefs.pm in @INC (when it definitely is there)