Having matrices $A$ and $T$, find $S$ such that $A=ST$. But what if $det T=0$? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Matrices M such that for a fixed A there exists B such that M = AMBFind a matrix with determinant equals to $det(A)det(D)-det(B)det(C)$Find matrix that satisfies matrix equationFind $X$ such that $XX'=AA'-BB'$ where $A$ and $B$ are known real matricesConstruct a matrix $M$ from $A$ and $B$ such that $det(M)=det(A)-det(B)$Linear algebra, construction of counter example for two rectangular matrices such that $AB=I$ but $BAneq I$Matrices such that $det(AB-pI_m) = det(BA-pI_n) longrightarrow p|det(AB)$Show that $log(det(H_1)) ≤ log(det(H_2)) + operatornametr[H^-1_2H_1]−N$ for all positive semidefinite matrices $H_1,H_2 in C^N$How to find examples of such square matrices?Given two square matrices $A$ and $B$, how can I be sure that $C$ exists in here $AC = B$?

Project Euler #1 in C++

Chinese Seal on silk painting - what does it mean?

Amount of permutations on an NxNxN Rubik's Cube

How do living politicians protect their readily obtainable signatures from misuse?

SF book about people trapped in a series of worlds they imagine

What initially awakened the Balrog?

Putting class ranking in CV, but against dept guidelines

Generate an RGB colour grid

Is it possible for SQL statements to execute concurrently within a single session in SQL Server?

Crossing US/Canada Border for less than 24 hours

Is CEO the "profession" with the most psychopaths?

How to tell that you are a giant?

Why is the AVR GCC compiler using a full `CALL` even though I have set the `-mshort-calls` flag?

Is there a kind of relay only consumes power when switching?

Why is Nikon 1.4g better when Nikon 1.8g is sharper?

Significance of Cersei's obsession with elephants?

Maximum summed subsequences with non-adjacent items

How could we fake a moon landing now?

How to write the following sign?

Question about debouncing - delay of state change

Why do early math courses focus on the cross sections of a cone and not on other 3D objects?

Why weren't discrete x86 CPUs ever used in game hardware?

Why wasn't DOSKEY integrated with COMMAND.COM?

How would a mousetrap for use in space work?



Having matrices $A$ and $T$, find $S$ such that $A=ST$. But what if $det T=0$?



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Matrices M such that for a fixed A there exists B such that M = AMBFind a matrix with determinant equals to $det(A)det(D)-det(B)det(C)$Find matrix that satisfies matrix equationFind $X$ such that $XX'=AA'-BB'$ where $A$ and $B$ are known real matricesConstruct a matrix $M$ from $A$ and $B$ such that $det(M)=det(A)-det(B)$Linear algebra, construction of counter example for two rectangular matrices such that $AB=I$ but $BAneq I$Matrices such that $det(AB-pI_m) = det(BA-pI_n) longrightarrow p|det(AB)$Show that $log(det(H_1)) ≤ log(det(H_2)) + operatornametr[H^-1_2H_1]−N$ for all positive semidefinite matrices $H_1,H_2 in C^N$How to find examples of such square matrices?Given two square matrices $A$ and $B$, how can I be sure that $C$ exists in here $AC = B$?










2












$begingroup$


We have as a known data matrices $A$,$T$.



We want to find $S$ that $A=ST$.
What I would do is multiply $T^-1$ from right side.



$AT^-1=S$



And here we have $S$, but what if $det(T)=0$ so matrix $T^-1$ does not exists.
Does it implify that searched $S$ also does not exists?










share|cite|improve this question











$endgroup$











  • $begingroup$
    Not necessarily. But, if $A$ has higher rank than $T$, then there is no valid $S$.
    $endgroup$
    – Don Thousand
    Apr 1 at 18:23






  • 2




    $begingroup$
    And if it does exist, it is not unique, since you can add any S whose null space contains the range of $T$.
    $endgroup$
    – Robert Israel
    Apr 1 at 18:45















2












$begingroup$


We have as a known data matrices $A$,$T$.



We want to find $S$ that $A=ST$.
What I would do is multiply $T^-1$ from right side.



$AT^-1=S$



And here we have $S$, but what if $det(T)=0$ so matrix $T^-1$ does not exists.
Does it implify that searched $S$ also does not exists?










share|cite|improve this question











$endgroup$











  • $begingroup$
    Not necessarily. But, if $A$ has higher rank than $T$, then there is no valid $S$.
    $endgroup$
    – Don Thousand
    Apr 1 at 18:23






  • 2




    $begingroup$
    And if it does exist, it is not unique, since you can add any S whose null space contains the range of $T$.
    $endgroup$
    – Robert Israel
    Apr 1 at 18:45













2












2








2





$begingroup$


We have as a known data matrices $A$,$T$.



We want to find $S$ that $A=ST$.
What I would do is multiply $T^-1$ from right side.



$AT^-1=S$



And here we have $S$, but what if $det(T)=0$ so matrix $T^-1$ does not exists.
Does it implify that searched $S$ also does not exists?










share|cite|improve this question











$endgroup$




We have as a known data matrices $A$,$T$.



We want to find $S$ that $A=ST$.
What I would do is multiply $T^-1$ from right side.



$AT^-1=S$



And here we have $S$, but what if $det(T)=0$ so matrix $T^-1$ does not exists.
Does it implify that searched $S$ also does not exists?







linear-algebra matrices matrix-equations






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Apr 2 at 13:07









José Carlos Santos

176k24135244




176k24135244










asked Apr 1 at 18:21









Michał LisMichał Lis

133




133











  • $begingroup$
    Not necessarily. But, if $A$ has higher rank than $T$, then there is no valid $S$.
    $endgroup$
    – Don Thousand
    Apr 1 at 18:23






  • 2




    $begingroup$
    And if it does exist, it is not unique, since you can add any S whose null space contains the range of $T$.
    $endgroup$
    – Robert Israel
    Apr 1 at 18:45
















  • $begingroup$
    Not necessarily. But, if $A$ has higher rank than $T$, then there is no valid $S$.
    $endgroup$
    – Don Thousand
    Apr 1 at 18:23






  • 2




    $begingroup$
    And if it does exist, it is not unique, since you can add any S whose null space contains the range of $T$.
    $endgroup$
    – Robert Israel
    Apr 1 at 18:45















$begingroup$
Not necessarily. But, if $A$ has higher rank than $T$, then there is no valid $S$.
$endgroup$
– Don Thousand
Apr 1 at 18:23




$begingroup$
Not necessarily. But, if $A$ has higher rank than $T$, then there is no valid $S$.
$endgroup$
– Don Thousand
Apr 1 at 18:23




2




2




$begingroup$
And if it does exist, it is not unique, since you can add any S whose null space contains the range of $T$.
$endgroup$
– Robert Israel
Apr 1 at 18:45




$begingroup$
And if it does exist, it is not unique, since you can add any S whose null space contains the range of $T$.
$endgroup$
– Robert Israel
Apr 1 at 18:45










2 Answers
2






active

oldest

votes


















1












$begingroup$

The matrix $S$ may exist, but it is also possible that it doesn't exist. If, for instance, $det Aneq0$, then, since $det T=0$, you can be sure that it doesn't exist.






share|cite|improve this answer









$endgroup$




















    0












    $begingroup$

    Suppose $S$ exists and we're dealing with square matrices. Then if $Tv=0$, we also have $Av=0$.



    Since the null space of $T$ is contained in the null space of $A$, the rank-nullity theorem tells us that the rank of $T$ is greater than or equal than the rank of $A$.



    Thus $S$ cannot exist if the rank of $A$ is greater than the rank of $T$.



    Actually, the matrix $S$ exists if and only if the null space of $T$ is contained in the null space of $A$. It's perhaps simpler to show it with linear maps.



    We have linear maps $fcolon Vto V$ and $gcolon Vto V$ (with $V$ a finite dimensional space) such that $ker gsubseteqker f$. We want to find $hcolon Vto V$ such that $f=hcirc g$.



    Take a basis $v_1,dots,v_k$ of $ker g$ and extend it to a basis of $V$. Then it's easy to show that $w_k+1=g(v_k+1),dots,w_n=g(v_n)$ is linearly independent, so we can extend it to a basis $w_1,dots,w_k,w_k+1,dots,w_n$ of $V$.



    Now define $h$ on this basis by
    $$
    h(w_i)=begincases
    0 & 1le ile k \[4px]
    f(v_i) & k+1le ile n
    endcases
    $$

    Since, for every $i$, we have $h(g(v_i))=f(v_i)$, we can conclude that $hcirc g=f$.



    Now take for $f$ and $g$ the linear maps induced by $A$ and $T$ respectively: $f(v)=Av$ and $g(v)=Tv$; for $S$ use the matrix of $h$ with respect to the standard basis.



    Of course the condition that the null space of $T$ is contained in the null space of $A$ is satisfied if $T$ is invertible.






    share|cite|improve this answer









    $endgroup$













      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%2f3170950%2fhaving-matrices-a-and-t-find-s-such-that-a-st-but-what-if-det-t-0%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$

      The matrix $S$ may exist, but it is also possible that it doesn't exist. If, for instance, $det Aneq0$, then, since $det T=0$, you can be sure that it doesn't exist.






      share|cite|improve this answer









      $endgroup$

















        1












        $begingroup$

        The matrix $S$ may exist, but it is also possible that it doesn't exist. If, for instance, $det Aneq0$, then, since $det T=0$, you can be sure that it doesn't exist.






        share|cite|improve this answer









        $endgroup$















          1












          1








          1





          $begingroup$

          The matrix $S$ may exist, but it is also possible that it doesn't exist. If, for instance, $det Aneq0$, then, since $det T=0$, you can be sure that it doesn't exist.






          share|cite|improve this answer









          $endgroup$



          The matrix $S$ may exist, but it is also possible that it doesn't exist. If, for instance, $det Aneq0$, then, since $det T=0$, you can be sure that it doesn't exist.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Apr 1 at 18:24









          José Carlos SantosJosé Carlos Santos

          176k24135244




          176k24135244





















              0












              $begingroup$

              Suppose $S$ exists and we're dealing with square matrices. Then if $Tv=0$, we also have $Av=0$.



              Since the null space of $T$ is contained in the null space of $A$, the rank-nullity theorem tells us that the rank of $T$ is greater than or equal than the rank of $A$.



              Thus $S$ cannot exist if the rank of $A$ is greater than the rank of $T$.



              Actually, the matrix $S$ exists if and only if the null space of $T$ is contained in the null space of $A$. It's perhaps simpler to show it with linear maps.



              We have linear maps $fcolon Vto V$ and $gcolon Vto V$ (with $V$ a finite dimensional space) such that $ker gsubseteqker f$. We want to find $hcolon Vto V$ such that $f=hcirc g$.



              Take a basis $v_1,dots,v_k$ of $ker g$ and extend it to a basis of $V$. Then it's easy to show that $w_k+1=g(v_k+1),dots,w_n=g(v_n)$ is linearly independent, so we can extend it to a basis $w_1,dots,w_k,w_k+1,dots,w_n$ of $V$.



              Now define $h$ on this basis by
              $$
              h(w_i)=begincases
              0 & 1le ile k \[4px]
              f(v_i) & k+1le ile n
              endcases
              $$

              Since, for every $i$, we have $h(g(v_i))=f(v_i)$, we can conclude that $hcirc g=f$.



              Now take for $f$ and $g$ the linear maps induced by $A$ and $T$ respectively: $f(v)=Av$ and $g(v)=Tv$; for $S$ use the matrix of $h$ with respect to the standard basis.



              Of course the condition that the null space of $T$ is contained in the null space of $A$ is satisfied if $T$ is invertible.






              share|cite|improve this answer









              $endgroup$

















                0












                $begingroup$

                Suppose $S$ exists and we're dealing with square matrices. Then if $Tv=0$, we also have $Av=0$.



                Since the null space of $T$ is contained in the null space of $A$, the rank-nullity theorem tells us that the rank of $T$ is greater than or equal than the rank of $A$.



                Thus $S$ cannot exist if the rank of $A$ is greater than the rank of $T$.



                Actually, the matrix $S$ exists if and only if the null space of $T$ is contained in the null space of $A$. It's perhaps simpler to show it with linear maps.



                We have linear maps $fcolon Vto V$ and $gcolon Vto V$ (with $V$ a finite dimensional space) such that $ker gsubseteqker f$. We want to find $hcolon Vto V$ such that $f=hcirc g$.



                Take a basis $v_1,dots,v_k$ of $ker g$ and extend it to a basis of $V$. Then it's easy to show that $w_k+1=g(v_k+1),dots,w_n=g(v_n)$ is linearly independent, so we can extend it to a basis $w_1,dots,w_k,w_k+1,dots,w_n$ of $V$.



                Now define $h$ on this basis by
                $$
                h(w_i)=begincases
                0 & 1le ile k \[4px]
                f(v_i) & k+1le ile n
                endcases
                $$

                Since, for every $i$, we have $h(g(v_i))=f(v_i)$, we can conclude that $hcirc g=f$.



                Now take for $f$ and $g$ the linear maps induced by $A$ and $T$ respectively: $f(v)=Av$ and $g(v)=Tv$; for $S$ use the matrix of $h$ with respect to the standard basis.



                Of course the condition that the null space of $T$ is contained in the null space of $A$ is satisfied if $T$ is invertible.






                share|cite|improve this answer









                $endgroup$















                  0












                  0








                  0





                  $begingroup$

                  Suppose $S$ exists and we're dealing with square matrices. Then if $Tv=0$, we also have $Av=0$.



                  Since the null space of $T$ is contained in the null space of $A$, the rank-nullity theorem tells us that the rank of $T$ is greater than or equal than the rank of $A$.



                  Thus $S$ cannot exist if the rank of $A$ is greater than the rank of $T$.



                  Actually, the matrix $S$ exists if and only if the null space of $T$ is contained in the null space of $A$. It's perhaps simpler to show it with linear maps.



                  We have linear maps $fcolon Vto V$ and $gcolon Vto V$ (with $V$ a finite dimensional space) such that $ker gsubseteqker f$. We want to find $hcolon Vto V$ such that $f=hcirc g$.



                  Take a basis $v_1,dots,v_k$ of $ker g$ and extend it to a basis of $V$. Then it's easy to show that $w_k+1=g(v_k+1),dots,w_n=g(v_n)$ is linearly independent, so we can extend it to a basis $w_1,dots,w_k,w_k+1,dots,w_n$ of $V$.



                  Now define $h$ on this basis by
                  $$
                  h(w_i)=begincases
                  0 & 1le ile k \[4px]
                  f(v_i) & k+1le ile n
                  endcases
                  $$

                  Since, for every $i$, we have $h(g(v_i))=f(v_i)$, we can conclude that $hcirc g=f$.



                  Now take for $f$ and $g$ the linear maps induced by $A$ and $T$ respectively: $f(v)=Av$ and $g(v)=Tv$; for $S$ use the matrix of $h$ with respect to the standard basis.



                  Of course the condition that the null space of $T$ is contained in the null space of $A$ is satisfied if $T$ is invertible.






                  share|cite|improve this answer









                  $endgroup$



                  Suppose $S$ exists and we're dealing with square matrices. Then if $Tv=0$, we also have $Av=0$.



                  Since the null space of $T$ is contained in the null space of $A$, the rank-nullity theorem tells us that the rank of $T$ is greater than or equal than the rank of $A$.



                  Thus $S$ cannot exist if the rank of $A$ is greater than the rank of $T$.



                  Actually, the matrix $S$ exists if and only if the null space of $T$ is contained in the null space of $A$. It's perhaps simpler to show it with linear maps.



                  We have linear maps $fcolon Vto V$ and $gcolon Vto V$ (with $V$ a finite dimensional space) such that $ker gsubseteqker f$. We want to find $hcolon Vto V$ such that $f=hcirc g$.



                  Take a basis $v_1,dots,v_k$ of $ker g$ and extend it to a basis of $V$. Then it's easy to show that $w_k+1=g(v_k+1),dots,w_n=g(v_n)$ is linearly independent, so we can extend it to a basis $w_1,dots,w_k,w_k+1,dots,w_n$ of $V$.



                  Now define $h$ on this basis by
                  $$
                  h(w_i)=begincases
                  0 & 1le ile k \[4px]
                  f(v_i) & k+1le ile n
                  endcases
                  $$

                  Since, for every $i$, we have $h(g(v_i))=f(v_i)$, we can conclude that $hcirc g=f$.



                  Now take for $f$ and $g$ the linear maps induced by $A$ and $T$ respectively: $f(v)=Av$ and $g(v)=Tv$; for $S$ use the matrix of $h$ with respect to the standard basis.



                  Of course the condition that the null space of $T$ is contained in the null space of $A$ is satisfied if $T$ is invertible.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Apr 1 at 22:30









                  egregegreg

                  186k1486209




                  186k1486209



























                      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%2f3170950%2fhaving-matrices-a-and-t-find-s-such-that-a-st-but-what-if-det-t-0%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

                      Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

                      Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

                      Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ