For $ntimes n$ matrix $A$, there exists $B$ such that $AB=BA=0$ and $rk(A) + rk(B) = n$

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite













For every $ntimes n$ matrix $A$, there exists $B$ such that $AB=BA=0$ and
$rk(A) + rk(B) = n$




The question is to prove or disprove this.



I think it is true. Take a $ntimes n$ matrix $tilde A$ in Echelon form where $a_1, cdots a_k$ are linearly independent row vectors
$$tilde A = beginbmatrix
-- &a_1 & -- \
;&cdots\
-- &a_k & -- \
0& cdots & 0 \
0& cdots & 0 \
endbmatrix$$
We can define
$$tilde B = beginbmatrix
0 &cdots & 0 &|&cdots &|\
0 &cdots & 0 & |&cdots &|\
0 &cdots & 0 & b_1& cdots& b_n-k\
0 &cdots & 0 &|&cdots &|\
0 &cdots & 0 &|&cdots &|\
endbmatrix$$
where column vectors $b_1,cdots b_n-k$ are linearly independent vectors from
$$textspana_1, cdots a_k^perp.$$
Now clearly $tilde A tilde B = tilde B tilde A = 0$.



Now for general $A$, we know row operation and swapping two rows are given by invertible matrices multiplied on the left side, so there exists a invertible matrix $P$ such that
$$A = P tilde A$$
where $tilde A$ is in Echelon form. Now just define
$$B = tilde B P^-1$$
we have $AB = BA = 0$ and $$rk(A)+rk(B) = rk(tilde A)+rk(tilde B) = n.$$



Is this correct?







share|cite|improve this question






















  • What is $n$ in the statement you want to prove?
    – Taroccoesbrocco
    Aug 22 at 9:09










  • @Taroccoesbrocco sorry $A,B$ are $ntimes n$ matrices
    – Xiao
    Aug 22 at 9:10






  • 1




    This looks correct!
    – Peter Melech
    Aug 22 at 9:15










  • math.stackexchange.com/questions/298836/…
    – Jneven
    Aug 22 at 11:58














up vote
2
down vote

favorite













For every $ntimes n$ matrix $A$, there exists $B$ such that $AB=BA=0$ and
$rk(A) + rk(B) = n$




The question is to prove or disprove this.



I think it is true. Take a $ntimes n$ matrix $tilde A$ in Echelon form where $a_1, cdots a_k$ are linearly independent row vectors
$$tilde A = beginbmatrix
-- &a_1 & -- \
;&cdots\
-- &a_k & -- \
0& cdots & 0 \
0& cdots & 0 \
endbmatrix$$
We can define
$$tilde B = beginbmatrix
0 &cdots & 0 &|&cdots &|\
0 &cdots & 0 & |&cdots &|\
0 &cdots & 0 & b_1& cdots& b_n-k\
0 &cdots & 0 &|&cdots &|\
0 &cdots & 0 &|&cdots &|\
endbmatrix$$
where column vectors $b_1,cdots b_n-k$ are linearly independent vectors from
$$textspana_1, cdots a_k^perp.$$
Now clearly $tilde A tilde B = tilde B tilde A = 0$.



Now for general $A$, we know row operation and swapping two rows are given by invertible matrices multiplied on the left side, so there exists a invertible matrix $P$ such that
$$A = P tilde A$$
where $tilde A$ is in Echelon form. Now just define
$$B = tilde B P^-1$$
we have $AB = BA = 0$ and $$rk(A)+rk(B) = rk(tilde A)+rk(tilde B) = n.$$



Is this correct?







share|cite|improve this question






















  • What is $n$ in the statement you want to prove?
    – Taroccoesbrocco
    Aug 22 at 9:09










  • @Taroccoesbrocco sorry $A,B$ are $ntimes n$ matrices
    – Xiao
    Aug 22 at 9:10






  • 1




    This looks correct!
    – Peter Melech
    Aug 22 at 9:15










  • math.stackexchange.com/questions/298836/…
    – Jneven
    Aug 22 at 11:58












up vote
2
down vote

favorite









up vote
2
down vote

favorite












For every $ntimes n$ matrix $A$, there exists $B$ such that $AB=BA=0$ and
$rk(A) + rk(B) = n$




The question is to prove or disprove this.



I think it is true. Take a $ntimes n$ matrix $tilde A$ in Echelon form where $a_1, cdots a_k$ are linearly independent row vectors
$$tilde A = beginbmatrix
-- &a_1 & -- \
;&cdots\
-- &a_k & -- \
0& cdots & 0 \
0& cdots & 0 \
endbmatrix$$
We can define
$$tilde B = beginbmatrix
0 &cdots & 0 &|&cdots &|\
0 &cdots & 0 & |&cdots &|\
0 &cdots & 0 & b_1& cdots& b_n-k\
0 &cdots & 0 &|&cdots &|\
0 &cdots & 0 &|&cdots &|\
endbmatrix$$
where column vectors $b_1,cdots b_n-k$ are linearly independent vectors from
$$textspana_1, cdots a_k^perp.$$
Now clearly $tilde A tilde B = tilde B tilde A = 0$.



Now for general $A$, we know row operation and swapping two rows are given by invertible matrices multiplied on the left side, so there exists a invertible matrix $P$ such that
$$A = P tilde A$$
where $tilde A$ is in Echelon form. Now just define
$$B = tilde B P^-1$$
we have $AB = BA = 0$ and $$rk(A)+rk(B) = rk(tilde A)+rk(tilde B) = n.$$



Is this correct?







share|cite|improve this question















For every $ntimes n$ matrix $A$, there exists $B$ such that $AB=BA=0$ and
$rk(A) + rk(B) = n$




The question is to prove or disprove this.



I think it is true. Take a $ntimes n$ matrix $tilde A$ in Echelon form where $a_1, cdots a_k$ are linearly independent row vectors
$$tilde A = beginbmatrix
-- &a_1 & -- \
;&cdots\
-- &a_k & -- \
0& cdots & 0 \
0& cdots & 0 \
endbmatrix$$
We can define
$$tilde B = beginbmatrix
0 &cdots & 0 &|&cdots &|\
0 &cdots & 0 & |&cdots &|\
0 &cdots & 0 & b_1& cdots& b_n-k\
0 &cdots & 0 &|&cdots &|\
0 &cdots & 0 &|&cdots &|\
endbmatrix$$
where column vectors $b_1,cdots b_n-k$ are linearly independent vectors from
$$textspana_1, cdots a_k^perp.$$
Now clearly $tilde A tilde B = tilde B tilde A = 0$.



Now for general $A$, we know row operation and swapping two rows are given by invertible matrices multiplied on the left side, so there exists a invertible matrix $P$ such that
$$A = P tilde A$$
where $tilde A$ is in Echelon form. Now just define
$$B = tilde B P^-1$$
we have $AB = BA = 0$ and $$rk(A)+rk(B) = rk(tilde A)+rk(tilde B) = n.$$



Is this correct?









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 22 at 9:10

























asked Aug 22 at 9:00









Xiao

4,50011334




4,50011334











  • What is $n$ in the statement you want to prove?
    – Taroccoesbrocco
    Aug 22 at 9:09










  • @Taroccoesbrocco sorry $A,B$ are $ntimes n$ matrices
    – Xiao
    Aug 22 at 9:10






  • 1




    This looks correct!
    – Peter Melech
    Aug 22 at 9:15










  • math.stackexchange.com/questions/298836/…
    – Jneven
    Aug 22 at 11:58
















  • What is $n$ in the statement you want to prove?
    – Taroccoesbrocco
    Aug 22 at 9:09










  • @Taroccoesbrocco sorry $A,B$ are $ntimes n$ matrices
    – Xiao
    Aug 22 at 9:10






  • 1




    This looks correct!
    – Peter Melech
    Aug 22 at 9:15










  • math.stackexchange.com/questions/298836/…
    – Jneven
    Aug 22 at 11:58















What is $n$ in the statement you want to prove?
– Taroccoesbrocco
Aug 22 at 9:09




What is $n$ in the statement you want to prove?
– Taroccoesbrocco
Aug 22 at 9:09












@Taroccoesbrocco sorry $A,B$ are $ntimes n$ matrices
– Xiao
Aug 22 at 9:10




@Taroccoesbrocco sorry $A,B$ are $ntimes n$ matrices
– Xiao
Aug 22 at 9:10




1




1




This looks correct!
– Peter Melech
Aug 22 at 9:15




This looks correct!
– Peter Melech
Aug 22 at 9:15












math.stackexchange.com/questions/298836/…
– Jneven
Aug 22 at 11:58




math.stackexchange.com/questions/298836/…
– Jneven
Aug 22 at 11:58















active

oldest

votes











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: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
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%2f2890817%2ffor-n-times-n-matrix-a-there-exists-b-such-that-ab-ba-0-and-rka-rk%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2890817%2ffor-n-times-n-matrix-a-there-exists-b-such-that-ab-ba-0-and-rka-rk%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Mutual Information Always Non-negative

Why am i infinitely getting the same tweet with the Twitter Search API?