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$?
$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?
linear-algebra matrices matrix-equations
$endgroup$
add a comment |
$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?
linear-algebra matrices matrix-equations
$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
add a comment |
$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?
linear-algebra matrices matrix-equations
$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
linear-algebra matrices matrix-equations
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
add a comment |
$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
add a comment |
2 Answers
2
active
oldest
votes
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
answered Apr 1 at 18:24
José Carlos SantosJosé Carlos Santos
176k24135244
176k24135244
add a comment |
add a comment |
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
answered Apr 1 at 22:30
egregegreg
186k1486209
186k1486209
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$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