Prove that exist a matrix $X in mathbb C^{m,n}$ for which $B=AX$












1












$begingroup$



There are a matrices $A in mathbb C^{m,m}$ and $B in mathbb C^{m,n}$ for which $rank[A | B]=rank A$. Prove that exist a matrix $X in mathbb C^{m,n}$ for which $B=AX$.





I know that probably this task is really easy because the thesis seems quite obvious. However I really try to do it for a long time and I still can not prove it.


Can you get some tips?










share|cite|improve this question









$endgroup$












  • $begingroup$
    What have you tried?
    $endgroup$
    – Christoph
    Feb 2 at 13:07










  • $begingroup$
    @Christoph If I have $rank[A | B]=rank A$ then I know that where I have the zero rows of matrix $A$ there are also zeroes of the matrix $B$ and I think that vectors in lines of matrix $A$ and $B$ are linearly dependent, so I have $B=AX$ but this proof it's not good and I do not know how to prove it in a better way.
    $endgroup$
    – MP3129
    Feb 2 at 13:15






  • 1




    $begingroup$
    You claim "so I have $B=AX$" without any justification, so this is not a proof at all. See my answer for an approach.
    $endgroup$
    – Christoph
    Feb 2 at 13:24
















1












$begingroup$



There are a matrices $A in mathbb C^{m,m}$ and $B in mathbb C^{m,n}$ for which $rank[A | B]=rank A$. Prove that exist a matrix $X in mathbb C^{m,n}$ for which $B=AX$.





I know that probably this task is really easy because the thesis seems quite obvious. However I really try to do it for a long time and I still can not prove it.


Can you get some tips?










share|cite|improve this question









$endgroup$












  • $begingroup$
    What have you tried?
    $endgroup$
    – Christoph
    Feb 2 at 13:07










  • $begingroup$
    @Christoph If I have $rank[A | B]=rank A$ then I know that where I have the zero rows of matrix $A$ there are also zeroes of the matrix $B$ and I think that vectors in lines of matrix $A$ and $B$ are linearly dependent, so I have $B=AX$ but this proof it's not good and I do not know how to prove it in a better way.
    $endgroup$
    – MP3129
    Feb 2 at 13:15






  • 1




    $begingroup$
    You claim "so I have $B=AX$" without any justification, so this is not a proof at all. See my answer for an approach.
    $endgroup$
    – Christoph
    Feb 2 at 13:24














1












1








1





$begingroup$



There are a matrices $A in mathbb C^{m,m}$ and $B in mathbb C^{m,n}$ for which $rank[A | B]=rank A$. Prove that exist a matrix $X in mathbb C^{m,n}$ for which $B=AX$.





I know that probably this task is really easy because the thesis seems quite obvious. However I really try to do it for a long time and I still can not prove it.


Can you get some tips?










share|cite|improve this question









$endgroup$





There are a matrices $A in mathbb C^{m,m}$ and $B in mathbb C^{m,n}$ for which $rank[A | B]=rank A$. Prove that exist a matrix $X in mathbb C^{m,n}$ for which $B=AX$.





I know that probably this task is really easy because the thesis seems quite obvious. However I really try to do it for a long time and I still can not prove it.


Can you get some tips?







linear-algebra






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Feb 2 at 12:56









MP3129MP3129

829211




829211












  • $begingroup$
    What have you tried?
    $endgroup$
    – Christoph
    Feb 2 at 13:07










  • $begingroup$
    @Christoph If I have $rank[A | B]=rank A$ then I know that where I have the zero rows of matrix $A$ there are also zeroes of the matrix $B$ and I think that vectors in lines of matrix $A$ and $B$ are linearly dependent, so I have $B=AX$ but this proof it's not good and I do not know how to prove it in a better way.
    $endgroup$
    – MP3129
    Feb 2 at 13:15






  • 1




    $begingroup$
    You claim "so I have $B=AX$" without any justification, so this is not a proof at all. See my answer for an approach.
    $endgroup$
    – Christoph
    Feb 2 at 13:24


















  • $begingroup$
    What have you tried?
    $endgroup$
    – Christoph
    Feb 2 at 13:07










  • $begingroup$
    @Christoph If I have $rank[A | B]=rank A$ then I know that where I have the zero rows of matrix $A$ there are also zeroes of the matrix $B$ and I think that vectors in lines of matrix $A$ and $B$ are linearly dependent, so I have $B=AX$ but this proof it's not good and I do not know how to prove it in a better way.
    $endgroup$
    – MP3129
    Feb 2 at 13:15






  • 1




    $begingroup$
    You claim "so I have $B=AX$" without any justification, so this is not a proof at all. See my answer for an approach.
    $endgroup$
    – Christoph
    Feb 2 at 13:24
















$begingroup$
What have you tried?
$endgroup$
– Christoph
Feb 2 at 13:07




$begingroup$
What have you tried?
$endgroup$
– Christoph
Feb 2 at 13:07












$begingroup$
@Christoph If I have $rank[A | B]=rank A$ then I know that where I have the zero rows of matrix $A$ there are also zeroes of the matrix $B$ and I think that vectors in lines of matrix $A$ and $B$ are linearly dependent, so I have $B=AX$ but this proof it's not good and I do not know how to prove it in a better way.
$endgroup$
– MP3129
Feb 2 at 13:15




$begingroup$
@Christoph If I have $rank[A | B]=rank A$ then I know that where I have the zero rows of matrix $A$ there are also zeroes of the matrix $B$ and I think that vectors in lines of matrix $A$ and $B$ are linearly dependent, so I have $B=AX$ but this proof it's not good and I do not know how to prove it in a better way.
$endgroup$
– MP3129
Feb 2 at 13:15




1




1




$begingroup$
You claim "so I have $B=AX$" without any justification, so this is not a proof at all. See my answer for an approach.
$endgroup$
– Christoph
Feb 2 at 13:24




$begingroup$
You claim "so I have $B=AX$" without any justification, so this is not a proof at all. See my answer for an approach.
$endgroup$
– Christoph
Feb 2 at 13:24










1 Answer
1






active

oldest

votes


















1












$begingroup$

Hint: The rank of a matrix $Min K^{mtimes n}$ with columns $M_1,dots,M_nin K^m$ is the dimension of $langle M_1,dots,M_n rangle$ (the subspace of $K^m$ spanned by $M_1,dots,M_n$). Since $operatorname{rank}(A) = operatorname{rank}(A|B)$ you have
$$
langle A_1,dots,A_m rangle = langle A_1,dots,A_m,B_1,dots,B_nrangle.
$$

Can you take it from here?






share|cite|improve this answer









$endgroup$













  • $begingroup$
    So columns $B$ are linearly dependent on $A$ but I don't know what I can do the next
    $endgroup$
    – MP3129
    Feb 2 at 21:56






  • 1




    $begingroup$
    Write each $B_i$ as a linear combination of the $A_i$. Try to combine all these equations into a matrix identity.
    $endgroup$
    – Christoph
    Feb 2 at 23:05










  • $begingroup$
    Ok - Do you mean that I should create linear transformation and find matrix of transformation? Ok, that works bot I am not sure if I can do just like that
    $endgroup$
    – MP3129
    Feb 2 at 23:13






  • 1




    $begingroup$
    No, I don't mean that. I mean exactly what I said. There are real number $x_{ij}$ such that $B_i = sum_{j=1}^m x_{ji} A_j$. Letting $X=(x_{ij})$ yields $B = AX$.
    $endgroup$
    – Christoph
    Feb 2 at 23:18










  • $begingroup$
    Okay, I mean about something similar - thanks for help!
    $endgroup$
    – MP3129
    Feb 2 at 23:21












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%2f3097267%2fprove-that-exist-a-matrix-x-in-mathbb-cm-n-for-which-b-ax%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









1












$begingroup$

Hint: The rank of a matrix $Min K^{mtimes n}$ with columns $M_1,dots,M_nin K^m$ is the dimension of $langle M_1,dots,M_n rangle$ (the subspace of $K^m$ spanned by $M_1,dots,M_n$). Since $operatorname{rank}(A) = operatorname{rank}(A|B)$ you have
$$
langle A_1,dots,A_m rangle = langle A_1,dots,A_m,B_1,dots,B_nrangle.
$$

Can you take it from here?






share|cite|improve this answer









$endgroup$













  • $begingroup$
    So columns $B$ are linearly dependent on $A$ but I don't know what I can do the next
    $endgroup$
    – MP3129
    Feb 2 at 21:56






  • 1




    $begingroup$
    Write each $B_i$ as a linear combination of the $A_i$. Try to combine all these equations into a matrix identity.
    $endgroup$
    – Christoph
    Feb 2 at 23:05










  • $begingroup$
    Ok - Do you mean that I should create linear transformation and find matrix of transformation? Ok, that works bot I am not sure if I can do just like that
    $endgroup$
    – MP3129
    Feb 2 at 23:13






  • 1




    $begingroup$
    No, I don't mean that. I mean exactly what I said. There are real number $x_{ij}$ such that $B_i = sum_{j=1}^m x_{ji} A_j$. Letting $X=(x_{ij})$ yields $B = AX$.
    $endgroup$
    – Christoph
    Feb 2 at 23:18










  • $begingroup$
    Okay, I mean about something similar - thanks for help!
    $endgroup$
    – MP3129
    Feb 2 at 23:21
















1












$begingroup$

Hint: The rank of a matrix $Min K^{mtimes n}$ with columns $M_1,dots,M_nin K^m$ is the dimension of $langle M_1,dots,M_n rangle$ (the subspace of $K^m$ spanned by $M_1,dots,M_n$). Since $operatorname{rank}(A) = operatorname{rank}(A|B)$ you have
$$
langle A_1,dots,A_m rangle = langle A_1,dots,A_m,B_1,dots,B_nrangle.
$$

Can you take it from here?






share|cite|improve this answer









$endgroup$













  • $begingroup$
    So columns $B$ are linearly dependent on $A$ but I don't know what I can do the next
    $endgroup$
    – MP3129
    Feb 2 at 21:56






  • 1




    $begingroup$
    Write each $B_i$ as a linear combination of the $A_i$. Try to combine all these equations into a matrix identity.
    $endgroup$
    – Christoph
    Feb 2 at 23:05










  • $begingroup$
    Ok - Do you mean that I should create linear transformation and find matrix of transformation? Ok, that works bot I am not sure if I can do just like that
    $endgroup$
    – MP3129
    Feb 2 at 23:13






  • 1




    $begingroup$
    No, I don't mean that. I mean exactly what I said. There are real number $x_{ij}$ such that $B_i = sum_{j=1}^m x_{ji} A_j$. Letting $X=(x_{ij})$ yields $B = AX$.
    $endgroup$
    – Christoph
    Feb 2 at 23:18










  • $begingroup$
    Okay, I mean about something similar - thanks for help!
    $endgroup$
    – MP3129
    Feb 2 at 23:21














1












1








1





$begingroup$

Hint: The rank of a matrix $Min K^{mtimes n}$ with columns $M_1,dots,M_nin K^m$ is the dimension of $langle M_1,dots,M_n rangle$ (the subspace of $K^m$ spanned by $M_1,dots,M_n$). Since $operatorname{rank}(A) = operatorname{rank}(A|B)$ you have
$$
langle A_1,dots,A_m rangle = langle A_1,dots,A_m,B_1,dots,B_nrangle.
$$

Can you take it from here?






share|cite|improve this answer









$endgroup$



Hint: The rank of a matrix $Min K^{mtimes n}$ with columns $M_1,dots,M_nin K^m$ is the dimension of $langle M_1,dots,M_n rangle$ (the subspace of $K^m$ spanned by $M_1,dots,M_n$). Since $operatorname{rank}(A) = operatorname{rank}(A|B)$ you have
$$
langle A_1,dots,A_m rangle = langle A_1,dots,A_m,B_1,dots,B_nrangle.
$$

Can you take it from here?







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Feb 2 at 13:23









ChristophChristoph

12.5k1642




12.5k1642












  • $begingroup$
    So columns $B$ are linearly dependent on $A$ but I don't know what I can do the next
    $endgroup$
    – MP3129
    Feb 2 at 21:56






  • 1




    $begingroup$
    Write each $B_i$ as a linear combination of the $A_i$. Try to combine all these equations into a matrix identity.
    $endgroup$
    – Christoph
    Feb 2 at 23:05










  • $begingroup$
    Ok - Do you mean that I should create linear transformation and find matrix of transformation? Ok, that works bot I am not sure if I can do just like that
    $endgroup$
    – MP3129
    Feb 2 at 23:13






  • 1




    $begingroup$
    No, I don't mean that. I mean exactly what I said. There are real number $x_{ij}$ such that $B_i = sum_{j=1}^m x_{ji} A_j$. Letting $X=(x_{ij})$ yields $B = AX$.
    $endgroup$
    – Christoph
    Feb 2 at 23:18










  • $begingroup$
    Okay, I mean about something similar - thanks for help!
    $endgroup$
    – MP3129
    Feb 2 at 23:21


















  • $begingroup$
    So columns $B$ are linearly dependent on $A$ but I don't know what I can do the next
    $endgroup$
    – MP3129
    Feb 2 at 21:56






  • 1




    $begingroup$
    Write each $B_i$ as a linear combination of the $A_i$. Try to combine all these equations into a matrix identity.
    $endgroup$
    – Christoph
    Feb 2 at 23:05










  • $begingroup$
    Ok - Do you mean that I should create linear transformation and find matrix of transformation? Ok, that works bot I am not sure if I can do just like that
    $endgroup$
    – MP3129
    Feb 2 at 23:13






  • 1




    $begingroup$
    No, I don't mean that. I mean exactly what I said. There are real number $x_{ij}$ such that $B_i = sum_{j=1}^m x_{ji} A_j$. Letting $X=(x_{ij})$ yields $B = AX$.
    $endgroup$
    – Christoph
    Feb 2 at 23:18










  • $begingroup$
    Okay, I mean about something similar - thanks for help!
    $endgroup$
    – MP3129
    Feb 2 at 23:21
















$begingroup$
So columns $B$ are linearly dependent on $A$ but I don't know what I can do the next
$endgroup$
– MP3129
Feb 2 at 21:56




$begingroup$
So columns $B$ are linearly dependent on $A$ but I don't know what I can do the next
$endgroup$
– MP3129
Feb 2 at 21:56




1




1




$begingroup$
Write each $B_i$ as a linear combination of the $A_i$. Try to combine all these equations into a matrix identity.
$endgroup$
– Christoph
Feb 2 at 23:05




$begingroup$
Write each $B_i$ as a linear combination of the $A_i$. Try to combine all these equations into a matrix identity.
$endgroup$
– Christoph
Feb 2 at 23:05












$begingroup$
Ok - Do you mean that I should create linear transformation and find matrix of transformation? Ok, that works bot I am not sure if I can do just like that
$endgroup$
– MP3129
Feb 2 at 23:13




$begingroup$
Ok - Do you mean that I should create linear transformation and find matrix of transformation? Ok, that works bot I am not sure if I can do just like that
$endgroup$
– MP3129
Feb 2 at 23:13




1




1




$begingroup$
No, I don't mean that. I mean exactly what I said. There are real number $x_{ij}$ such that $B_i = sum_{j=1}^m x_{ji} A_j$. Letting $X=(x_{ij})$ yields $B = AX$.
$endgroup$
– Christoph
Feb 2 at 23:18




$begingroup$
No, I don't mean that. I mean exactly what I said. There are real number $x_{ij}$ such that $B_i = sum_{j=1}^m x_{ji} A_j$. Letting $X=(x_{ij})$ yields $B = AX$.
$endgroup$
– Christoph
Feb 2 at 23:18












$begingroup$
Okay, I mean about something similar - thanks for help!
$endgroup$
– MP3129
Feb 2 at 23:21




$begingroup$
Okay, I mean about something similar - thanks for help!
$endgroup$
– MP3129
Feb 2 at 23:21


















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%2f3097267%2fprove-that-exist-a-matrix-x-in-mathbb-cm-n-for-which-b-ax%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

MongoDB - Not Authorized To Execute Command

in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith

Npm cannot find a required file even through it is in the searched directory