Show that if $T$ is surjective and spans $V$, then $T(S)$ spans $W$. Announcing the arrival of...

What is the musical term for a note that continously plays through a melody?

Did Xerox really develop the first LAN?

Are my PIs rude or am I just being too sensitive?

Disable hyphenation for an entire paragraph

What happens to sewage if there is no river near by?

Why aren't air breathing engines used as small first stages

Did Kevin spill real chili?

What causes the vertical darker bands in my photo?

Is 1 ppb equal to 1 μg/kg?

Does surprise arrest existing movement?

Is there a "higher Segal conjecture"?

Is there a documented rationale why the House Ways and Means chairman can demand tax info?

How discoverable are IPv6 addresses and AAAA names by potential attackers?

How to recreate this effect in Photoshop?

Check which numbers satisfy the condition [A*B*C = A! + B! + C!]

Why is "Consequences inflicted." not a sentence?

List *all* the tuples!

The logistics of corpse disposal

What are 'alternative tunings' of a guitar and why would you use them? Doesn't it make it more difficult to play?

Does accepting a pardon have any bearing on trying that person for the same crime in a sovereign jurisdiction?

Can inflation occur in a positive-sum game currency system such as the Stack Exchange reputation system?

How can players work together to take actions that are otherwise impossible?

How do I keep my slimes from escaping their pens?

What LEGO pieces have "real-world" functionality?



Show that if $T$ is surjective and spans $V$, then $T(S)$ spans $W$.



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)How to show that a linear map is surjective?Soft question: Why freshmen feel linear algebra is abstract?How to show a set spans a space?Invariant subspace - simplified definitionDifferences between finding linear independence and finding a spanning set.Linear independence, Spanning, Injectivity, and SurjectivityCompleteness, spanning and orthonormal basesBuilding a surjective functionSpanning set definition and theoremShow that $textrm{trace}: textrm{End}(V)rightarrow k$ defined by $textrm{trace}(phi ):=textrm{trace}(M(phi ))$ is a linear map.












2












$begingroup$



Given that $T: V to W$ is a linear transformation from $V$ to $W$. Show that if $T$ is surjective and $Ssubset V$ spans $V$, then $T(S)$ spans $W$.




I think the main thing stumping me right now is how to use spanning to show anything or what I would need to prove in order to show that $W$ has been successfully spanned. I understand how to use the definition of linear transformation and surjective, but I can't even get started (OR CAN I???) without a clear understanding of how spanning works.



I understand span in concrete numbers, so I need help getting a more abstract concept of $operatorname{span} (S)$, if possible. And I tried YouTube and reading definitions already, I am truly stuck.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    How would a linear map span a subspace? What is S in all this?
    $endgroup$
    – Bernard
    Jan 22 '17 at 1:59










  • $begingroup$
    What is $S$? It seems to have just shown up out of nowhere in this question.
    $endgroup$
    – The Count
    Jan 22 '17 at 1:59










  • $begingroup$
    I've edited your question. Please check that this is what you meant.
    $endgroup$
    – user378947
    Jan 22 '17 at 2:02






  • 1




    $begingroup$
    Yes, thank you for editing, that better says what I was trying to say.
    $endgroup$
    – Snackbreak
    Jan 22 '17 at 5:01
















2












$begingroup$



Given that $T: V to W$ is a linear transformation from $V$ to $W$. Show that if $T$ is surjective and $Ssubset V$ spans $V$, then $T(S)$ spans $W$.




I think the main thing stumping me right now is how to use spanning to show anything or what I would need to prove in order to show that $W$ has been successfully spanned. I understand how to use the definition of linear transformation and surjective, but I can't even get started (OR CAN I???) without a clear understanding of how spanning works.



I understand span in concrete numbers, so I need help getting a more abstract concept of $operatorname{span} (S)$, if possible. And I tried YouTube and reading definitions already, I am truly stuck.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    How would a linear map span a subspace? What is S in all this?
    $endgroup$
    – Bernard
    Jan 22 '17 at 1:59










  • $begingroup$
    What is $S$? It seems to have just shown up out of nowhere in this question.
    $endgroup$
    – The Count
    Jan 22 '17 at 1:59










  • $begingroup$
    I've edited your question. Please check that this is what you meant.
    $endgroup$
    – user378947
    Jan 22 '17 at 2:02






  • 1




    $begingroup$
    Yes, thank you for editing, that better says what I was trying to say.
    $endgroup$
    – Snackbreak
    Jan 22 '17 at 5:01














2












2








2





$begingroup$



Given that $T: V to W$ is a linear transformation from $V$ to $W$. Show that if $T$ is surjective and $Ssubset V$ spans $V$, then $T(S)$ spans $W$.




I think the main thing stumping me right now is how to use spanning to show anything or what I would need to prove in order to show that $W$ has been successfully spanned. I understand how to use the definition of linear transformation and surjective, but I can't even get started (OR CAN I???) without a clear understanding of how spanning works.



I understand span in concrete numbers, so I need help getting a more abstract concept of $operatorname{span} (S)$, if possible. And I tried YouTube and reading definitions already, I am truly stuck.










share|cite|improve this question











$endgroup$





Given that $T: V to W$ is a linear transformation from $V$ to $W$. Show that if $T$ is surjective and $Ssubset V$ spans $V$, then $T(S)$ spans $W$.




I think the main thing stumping me right now is how to use spanning to show anything or what I would need to prove in order to show that $W$ has been successfully spanned. I understand how to use the definition of linear transformation and surjective, but I can't even get started (OR CAN I???) without a clear understanding of how spanning works.



I understand span in concrete numbers, so I need help getting a more abstract concept of $operatorname{span} (S)$, if possible. And I tried YouTube and reading definitions already, I am truly stuck.







linear-algebra linear-transformations transformation






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 23 at 22:05









Rócherz

3,0263823




3,0263823










asked Jan 22 '17 at 1:54









SnackbreakSnackbreak

314




314








  • 1




    $begingroup$
    How would a linear map span a subspace? What is S in all this?
    $endgroup$
    – Bernard
    Jan 22 '17 at 1:59










  • $begingroup$
    What is $S$? It seems to have just shown up out of nowhere in this question.
    $endgroup$
    – The Count
    Jan 22 '17 at 1:59










  • $begingroup$
    I've edited your question. Please check that this is what you meant.
    $endgroup$
    – user378947
    Jan 22 '17 at 2:02






  • 1




    $begingroup$
    Yes, thank you for editing, that better says what I was trying to say.
    $endgroup$
    – Snackbreak
    Jan 22 '17 at 5:01














  • 1




    $begingroup$
    How would a linear map span a subspace? What is S in all this?
    $endgroup$
    – Bernard
    Jan 22 '17 at 1:59










  • $begingroup$
    What is $S$? It seems to have just shown up out of nowhere in this question.
    $endgroup$
    – The Count
    Jan 22 '17 at 1:59










  • $begingroup$
    I've edited your question. Please check that this is what you meant.
    $endgroup$
    – user378947
    Jan 22 '17 at 2:02






  • 1




    $begingroup$
    Yes, thank you for editing, that better says what I was trying to say.
    $endgroup$
    – Snackbreak
    Jan 22 '17 at 5:01








1




1




$begingroup$
How would a linear map span a subspace? What is S in all this?
$endgroup$
– Bernard
Jan 22 '17 at 1:59




$begingroup$
How would a linear map span a subspace? What is S in all this?
$endgroup$
– Bernard
Jan 22 '17 at 1:59












$begingroup$
What is $S$? It seems to have just shown up out of nowhere in this question.
$endgroup$
– The Count
Jan 22 '17 at 1:59




$begingroup$
What is $S$? It seems to have just shown up out of nowhere in this question.
$endgroup$
– The Count
Jan 22 '17 at 1:59












$begingroup$
I've edited your question. Please check that this is what you meant.
$endgroup$
– user378947
Jan 22 '17 at 2:02




$begingroup$
I've edited your question. Please check that this is what you meant.
$endgroup$
– user378947
Jan 22 '17 at 2:02




1




1




$begingroup$
Yes, thank you for editing, that better says what I was trying to say.
$endgroup$
– Snackbreak
Jan 22 '17 at 5:01




$begingroup$
Yes, thank you for editing, that better says what I was trying to say.
$endgroup$
– Snackbreak
Jan 22 '17 at 5:01










2 Answers
2






active

oldest

votes


















1












$begingroup$

$S$ spans $V$ simply means that every element $v in V$ can be written (not necessarily uniquely) as a finite linear combination of elements of $S$.



so it is required to prove that every element $w in W$ can be written as a finite linear combination of elements of $T(S)$



now, the fact that $T$ is surjective means that any $w in W$ is the image (under the mapping $T$) of some (not necessarily unique) element of $V$. i.e. we can find $u in V$ such that:



$$
w = T(u)
$$



write $u$ as a finite linear combination of elements of $S$:



$$
u = sum_k lambda_k s_k
$$
where the $lambda_k$ are scalars and each $s_k in S$



since the mapping $T$ is linear we have:



$$
w = T(u) = Tbigg(sum_k lambda_k s_k bigg) = sum_k lambda_k T(s_k)
$$
showing that $w$ is a linear combination of elements of $T(S)$ as required.






share|cite|improve this answer









$endgroup$





















    2












    $begingroup$

    Let $win W$. As $T$ is surjective we know that there is some $vin V$ such that $T(v)=w$. We also know that $S$ spans $V$, so there are $v_1,...,v_kin S$ and scalars $lambda_1,...,lambda_k$ such that $v=lambda_1v_1+cdots+lambda_kv_k.$ Applying $T$ to both sides of this equation yields the desired conclusion.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      By the way, saying that a subset $S$ of a vector space $V$ spans $V$ means that for every $vin V$ there are a finite number of vectors $v_1,...,v_kin S$ and scalars $lambda_1,...,lambda_k$ such that $v=lambda_1v_1+cdots+lambda_kv_k$. In words, that every vector in $V$ can be expressed as a finite linear combination of elements in $S$.
      $endgroup$
      – user378947
      Jan 22 '17 at 2:07








    • 1




      $begingroup$
      Okay, I think the lambdas were throwing me off in the Wikipedia definition, I wasn't sure how to express anything useful with a sum of (λ sub i)(v sub i), but you breaking it down like that helps significantly. Thank you! @ mathbeing @David Holden
      $endgroup$
      – Snackbreak
      Jan 22 '17 at 5:05












    Your Answer








    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%2f2108162%2fshow-that-if-t-is-surjective-and-spans-v-then-ts-spans-w%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$

    $S$ spans $V$ simply means that every element $v in V$ can be written (not necessarily uniquely) as a finite linear combination of elements of $S$.



    so it is required to prove that every element $w in W$ can be written as a finite linear combination of elements of $T(S)$



    now, the fact that $T$ is surjective means that any $w in W$ is the image (under the mapping $T$) of some (not necessarily unique) element of $V$. i.e. we can find $u in V$ such that:



    $$
    w = T(u)
    $$



    write $u$ as a finite linear combination of elements of $S$:



    $$
    u = sum_k lambda_k s_k
    $$
    where the $lambda_k$ are scalars and each $s_k in S$



    since the mapping $T$ is linear we have:



    $$
    w = T(u) = Tbigg(sum_k lambda_k s_k bigg) = sum_k lambda_k T(s_k)
    $$
    showing that $w$ is a linear combination of elements of $T(S)$ as required.






    share|cite|improve this answer









    $endgroup$


















      1












      $begingroup$

      $S$ spans $V$ simply means that every element $v in V$ can be written (not necessarily uniquely) as a finite linear combination of elements of $S$.



      so it is required to prove that every element $w in W$ can be written as a finite linear combination of elements of $T(S)$



      now, the fact that $T$ is surjective means that any $w in W$ is the image (under the mapping $T$) of some (not necessarily unique) element of $V$. i.e. we can find $u in V$ such that:



      $$
      w = T(u)
      $$



      write $u$ as a finite linear combination of elements of $S$:



      $$
      u = sum_k lambda_k s_k
      $$
      where the $lambda_k$ are scalars and each $s_k in S$



      since the mapping $T$ is linear we have:



      $$
      w = T(u) = Tbigg(sum_k lambda_k s_k bigg) = sum_k lambda_k T(s_k)
      $$
      showing that $w$ is a linear combination of elements of $T(S)$ as required.






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





        $begingroup$

        $S$ spans $V$ simply means that every element $v in V$ can be written (not necessarily uniquely) as a finite linear combination of elements of $S$.



        so it is required to prove that every element $w in W$ can be written as a finite linear combination of elements of $T(S)$



        now, the fact that $T$ is surjective means that any $w in W$ is the image (under the mapping $T$) of some (not necessarily unique) element of $V$. i.e. we can find $u in V$ such that:



        $$
        w = T(u)
        $$



        write $u$ as a finite linear combination of elements of $S$:



        $$
        u = sum_k lambda_k s_k
        $$
        where the $lambda_k$ are scalars and each $s_k in S$



        since the mapping $T$ is linear we have:



        $$
        w = T(u) = Tbigg(sum_k lambda_k s_k bigg) = sum_k lambda_k T(s_k)
        $$
        showing that $w$ is a linear combination of elements of $T(S)$ as required.






        share|cite|improve this answer









        $endgroup$



        $S$ spans $V$ simply means that every element $v in V$ can be written (not necessarily uniquely) as a finite linear combination of elements of $S$.



        so it is required to prove that every element $w in W$ can be written as a finite linear combination of elements of $T(S)$



        now, the fact that $T$ is surjective means that any $w in W$ is the image (under the mapping $T$) of some (not necessarily unique) element of $V$. i.e. we can find $u in V$ such that:



        $$
        w = T(u)
        $$



        write $u$ as a finite linear combination of elements of $S$:



        $$
        u = sum_k lambda_k s_k
        $$
        where the $lambda_k$ are scalars and each $s_k in S$



        since the mapping $T$ is linear we have:



        $$
        w = T(u) = Tbigg(sum_k lambda_k s_k bigg) = sum_k lambda_k T(s_k)
        $$
        showing that $w$ is a linear combination of elements of $T(S)$ as required.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 22 '17 at 3:53









        David HoldenDavid Holden

        14.9k21226




        14.9k21226























            2












            $begingroup$

            Let $win W$. As $T$ is surjective we know that there is some $vin V$ such that $T(v)=w$. We also know that $S$ spans $V$, so there are $v_1,...,v_kin S$ and scalars $lambda_1,...,lambda_k$ such that $v=lambda_1v_1+cdots+lambda_kv_k.$ Applying $T$ to both sides of this equation yields the desired conclusion.






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              By the way, saying that a subset $S$ of a vector space $V$ spans $V$ means that for every $vin V$ there are a finite number of vectors $v_1,...,v_kin S$ and scalars $lambda_1,...,lambda_k$ such that $v=lambda_1v_1+cdots+lambda_kv_k$. In words, that every vector in $V$ can be expressed as a finite linear combination of elements in $S$.
              $endgroup$
              – user378947
              Jan 22 '17 at 2:07








            • 1




              $begingroup$
              Okay, I think the lambdas were throwing me off in the Wikipedia definition, I wasn't sure how to express anything useful with a sum of (λ sub i)(v sub i), but you breaking it down like that helps significantly. Thank you! @ mathbeing @David Holden
              $endgroup$
              – Snackbreak
              Jan 22 '17 at 5:05
















            2












            $begingroup$

            Let $win W$. As $T$ is surjective we know that there is some $vin V$ such that $T(v)=w$. We also know that $S$ spans $V$, so there are $v_1,...,v_kin S$ and scalars $lambda_1,...,lambda_k$ such that $v=lambda_1v_1+cdots+lambda_kv_k.$ Applying $T$ to both sides of this equation yields the desired conclusion.






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              By the way, saying that a subset $S$ of a vector space $V$ spans $V$ means that for every $vin V$ there are a finite number of vectors $v_1,...,v_kin S$ and scalars $lambda_1,...,lambda_k$ such that $v=lambda_1v_1+cdots+lambda_kv_k$. In words, that every vector in $V$ can be expressed as a finite linear combination of elements in $S$.
              $endgroup$
              – user378947
              Jan 22 '17 at 2:07








            • 1




              $begingroup$
              Okay, I think the lambdas were throwing me off in the Wikipedia definition, I wasn't sure how to express anything useful with a sum of (λ sub i)(v sub i), but you breaking it down like that helps significantly. Thank you! @ mathbeing @David Holden
              $endgroup$
              – Snackbreak
              Jan 22 '17 at 5:05














            2












            2








            2





            $begingroup$

            Let $win W$. As $T$ is surjective we know that there is some $vin V$ such that $T(v)=w$. We also know that $S$ spans $V$, so there are $v_1,...,v_kin S$ and scalars $lambda_1,...,lambda_k$ such that $v=lambda_1v_1+cdots+lambda_kv_k.$ Applying $T$ to both sides of this equation yields the desired conclusion.






            share|cite|improve this answer









            $endgroup$



            Let $win W$. As $T$ is surjective we know that there is some $vin V$ such that $T(v)=w$. We also know that $S$ spans $V$, so there are $v_1,...,v_kin S$ and scalars $lambda_1,...,lambda_k$ such that $v=lambda_1v_1+cdots+lambda_kv_k.$ Applying $T$ to both sides of this equation yields the desired conclusion.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Jan 22 '17 at 2:00







            user378947



















            • $begingroup$
              By the way, saying that a subset $S$ of a vector space $V$ spans $V$ means that for every $vin V$ there are a finite number of vectors $v_1,...,v_kin S$ and scalars $lambda_1,...,lambda_k$ such that $v=lambda_1v_1+cdots+lambda_kv_k$. In words, that every vector in $V$ can be expressed as a finite linear combination of elements in $S$.
              $endgroup$
              – user378947
              Jan 22 '17 at 2:07








            • 1




              $begingroup$
              Okay, I think the lambdas were throwing me off in the Wikipedia definition, I wasn't sure how to express anything useful with a sum of (λ sub i)(v sub i), but you breaking it down like that helps significantly. Thank you! @ mathbeing @David Holden
              $endgroup$
              – Snackbreak
              Jan 22 '17 at 5:05


















            • $begingroup$
              By the way, saying that a subset $S$ of a vector space $V$ spans $V$ means that for every $vin V$ there are a finite number of vectors $v_1,...,v_kin S$ and scalars $lambda_1,...,lambda_k$ such that $v=lambda_1v_1+cdots+lambda_kv_k$. In words, that every vector in $V$ can be expressed as a finite linear combination of elements in $S$.
              $endgroup$
              – user378947
              Jan 22 '17 at 2:07








            • 1




              $begingroup$
              Okay, I think the lambdas were throwing me off in the Wikipedia definition, I wasn't sure how to express anything useful with a sum of (λ sub i)(v sub i), but you breaking it down like that helps significantly. Thank you! @ mathbeing @David Holden
              $endgroup$
              – Snackbreak
              Jan 22 '17 at 5:05
















            $begingroup$
            By the way, saying that a subset $S$ of a vector space $V$ spans $V$ means that for every $vin V$ there are a finite number of vectors $v_1,...,v_kin S$ and scalars $lambda_1,...,lambda_k$ such that $v=lambda_1v_1+cdots+lambda_kv_k$. In words, that every vector in $V$ can be expressed as a finite linear combination of elements in $S$.
            $endgroup$
            – user378947
            Jan 22 '17 at 2:07






            $begingroup$
            By the way, saying that a subset $S$ of a vector space $V$ spans $V$ means that for every $vin V$ there are a finite number of vectors $v_1,...,v_kin S$ and scalars $lambda_1,...,lambda_k$ such that $v=lambda_1v_1+cdots+lambda_kv_k$. In words, that every vector in $V$ can be expressed as a finite linear combination of elements in $S$.
            $endgroup$
            – user378947
            Jan 22 '17 at 2:07






            1




            1




            $begingroup$
            Okay, I think the lambdas were throwing me off in the Wikipedia definition, I wasn't sure how to express anything useful with a sum of (λ sub i)(v sub i), but you breaking it down like that helps significantly. Thank you! @ mathbeing @David Holden
            $endgroup$
            – Snackbreak
            Jan 22 '17 at 5:05




            $begingroup$
            Okay, I think the lambdas were throwing me off in the Wikipedia definition, I wasn't sure how to express anything useful with a sum of (λ sub i)(v sub i), but you breaking it down like that helps significantly. Thank you! @ mathbeing @David Holden
            $endgroup$
            – Snackbreak
            Jan 22 '17 at 5:05


















            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%2f2108162%2fshow-that-if-t-is-surjective-and-spans-v-then-ts-spans-w%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

            Was Woodrow Wilson really a Liberal?Was World War I a war of liberals against authoritarians?Founding Fathers...