Nilpotent Matrix is Similar to a block diagonal matrix

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











up vote
2
down vote

favorite












Prove that any nilpotent matrix is similar to a block diagonal matrix whose blocks are matrices with 1's along the first super diagonal and 0's elsewhere.



I'm not sure where to start exactly. Any guidance would be helpful!







share|cite|improve this question




















  • I am assuming over $mathbb C$?
    – Couchy311
    Mar 6 '17 at 4:58






  • 2




    Can you use Jordan canonical form? Combine with the fact that the eigenvalues of a nilpotent matrix are all $0$.
    – D_S
    Mar 6 '17 at 5:08










  • Do you know about quotient spaces?
    – Omnomnomnom
    Mar 6 '17 at 5:26






  • 2




    I think this is sometimes a stepping-stone to the full Jordan canonical form theorem. It doesn't matter what the base field is. You can build up a basis of the vector space with the required properties. Take $xnot=0$; there is some minimal $k$ such that $N^k x=0$. It's easy to prove that $x,Nx,N^2x, dots,N^k-1x$ is LI, and action of $N$ on these is "right". Now take $x_2$ outside the span of these and repeat.
    – ancientmathematician
    Mar 6 '17 at 9:43











  • Check Daniel's answer here: math.stackexchange.com/questions/809473/…
    – Daniel
    Mar 6 '17 at 21:44















up vote
2
down vote

favorite












Prove that any nilpotent matrix is similar to a block diagonal matrix whose blocks are matrices with 1's along the first super diagonal and 0's elsewhere.



I'm not sure where to start exactly. Any guidance would be helpful!







share|cite|improve this question




















  • I am assuming over $mathbb C$?
    – Couchy311
    Mar 6 '17 at 4:58






  • 2




    Can you use Jordan canonical form? Combine with the fact that the eigenvalues of a nilpotent matrix are all $0$.
    – D_S
    Mar 6 '17 at 5:08










  • Do you know about quotient spaces?
    – Omnomnomnom
    Mar 6 '17 at 5:26






  • 2




    I think this is sometimes a stepping-stone to the full Jordan canonical form theorem. It doesn't matter what the base field is. You can build up a basis of the vector space with the required properties. Take $xnot=0$; there is some minimal $k$ such that $N^k x=0$. It's easy to prove that $x,Nx,N^2x, dots,N^k-1x$ is LI, and action of $N$ on these is "right". Now take $x_2$ outside the span of these and repeat.
    – ancientmathematician
    Mar 6 '17 at 9:43











  • Check Daniel's answer here: math.stackexchange.com/questions/809473/…
    – Daniel
    Mar 6 '17 at 21:44













up vote
2
down vote

favorite









up vote
2
down vote

favorite











Prove that any nilpotent matrix is similar to a block diagonal matrix whose blocks are matrices with 1's along the first super diagonal and 0's elsewhere.



I'm not sure where to start exactly. Any guidance would be helpful!







share|cite|improve this question












Prove that any nilpotent matrix is similar to a block diagonal matrix whose blocks are matrices with 1's along the first super diagonal and 0's elsewhere.



I'm not sure where to start exactly. Any guidance would be helpful!









share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Mar 6 '17 at 4:54









bmmcutet12

1739




1739











  • I am assuming over $mathbb C$?
    – Couchy311
    Mar 6 '17 at 4:58






  • 2




    Can you use Jordan canonical form? Combine with the fact that the eigenvalues of a nilpotent matrix are all $0$.
    – D_S
    Mar 6 '17 at 5:08










  • Do you know about quotient spaces?
    – Omnomnomnom
    Mar 6 '17 at 5:26






  • 2




    I think this is sometimes a stepping-stone to the full Jordan canonical form theorem. It doesn't matter what the base field is. You can build up a basis of the vector space with the required properties. Take $xnot=0$; there is some minimal $k$ such that $N^k x=0$. It's easy to prove that $x,Nx,N^2x, dots,N^k-1x$ is LI, and action of $N$ on these is "right". Now take $x_2$ outside the span of these and repeat.
    – ancientmathematician
    Mar 6 '17 at 9:43











  • Check Daniel's answer here: math.stackexchange.com/questions/809473/…
    – Daniel
    Mar 6 '17 at 21:44

















  • I am assuming over $mathbb C$?
    – Couchy311
    Mar 6 '17 at 4:58






  • 2




    Can you use Jordan canonical form? Combine with the fact that the eigenvalues of a nilpotent matrix are all $0$.
    – D_S
    Mar 6 '17 at 5:08










  • Do you know about quotient spaces?
    – Omnomnomnom
    Mar 6 '17 at 5:26






  • 2




    I think this is sometimes a stepping-stone to the full Jordan canonical form theorem. It doesn't matter what the base field is. You can build up a basis of the vector space with the required properties. Take $xnot=0$; there is some minimal $k$ such that $N^k x=0$. It's easy to prove that $x,Nx,N^2x, dots,N^k-1x$ is LI, and action of $N$ on these is "right". Now take $x_2$ outside the span of these and repeat.
    – ancientmathematician
    Mar 6 '17 at 9:43











  • Check Daniel's answer here: math.stackexchange.com/questions/809473/…
    – Daniel
    Mar 6 '17 at 21:44
















I am assuming over $mathbb C$?
– Couchy311
Mar 6 '17 at 4:58




I am assuming over $mathbb C$?
– Couchy311
Mar 6 '17 at 4:58




2




2




Can you use Jordan canonical form? Combine with the fact that the eigenvalues of a nilpotent matrix are all $0$.
– D_S
Mar 6 '17 at 5:08




Can you use Jordan canonical form? Combine with the fact that the eigenvalues of a nilpotent matrix are all $0$.
– D_S
Mar 6 '17 at 5:08












Do you know about quotient spaces?
– Omnomnomnom
Mar 6 '17 at 5:26




Do you know about quotient spaces?
– Omnomnomnom
Mar 6 '17 at 5:26




2




2




I think this is sometimes a stepping-stone to the full Jordan canonical form theorem. It doesn't matter what the base field is. You can build up a basis of the vector space with the required properties. Take $xnot=0$; there is some minimal $k$ such that $N^k x=0$. It's easy to prove that $x,Nx,N^2x, dots,N^k-1x$ is LI, and action of $N$ on these is "right". Now take $x_2$ outside the span of these and repeat.
– ancientmathematician
Mar 6 '17 at 9:43





I think this is sometimes a stepping-stone to the full Jordan canonical form theorem. It doesn't matter what the base field is. You can build up a basis of the vector space with the required properties. Take $xnot=0$; there is some minimal $k$ such that $N^k x=0$. It's easy to prove that $x,Nx,N^2x, dots,N^k-1x$ is LI, and action of $N$ on these is "right". Now take $x_2$ outside the span of these and repeat.
– ancientmathematician
Mar 6 '17 at 9:43













Check Daniel's answer here: math.stackexchange.com/questions/809473/…
– Daniel
Mar 6 '17 at 21:44





Check Daniel's answer here: math.stackexchange.com/questions/809473/…
– Daniel
Mar 6 '17 at 21:44











1 Answer
1






active

oldest

votes

















up vote
0
down vote













My answer is based on Wikipedia articles "Nilpotent matrix" and "Jordan normal form."



Every square matrix A over an algebraically-closed field has a Jordan canonical form J, which has zeros everywhere except A's eigenvalues as diagonal entries and possibly ones on the super diagonal. A is similar to J because there exists an invertible matrix P such that A = P J P ⁻¹. Because zero is the only eigenvalue of a nilpotent matrix, J has the form you want.






share|cite|improve this answer




















    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%2f2173942%2fnilpotent-matrix-is-similar-to-a-block-diagonal-matrix%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    0
    down vote













    My answer is based on Wikipedia articles "Nilpotent matrix" and "Jordan normal form."



    Every square matrix A over an algebraically-closed field has a Jordan canonical form J, which has zeros everywhere except A's eigenvalues as diagonal entries and possibly ones on the super diagonal. A is similar to J because there exists an invertible matrix P such that A = P J P ⁻¹. Because zero is the only eigenvalue of a nilpotent matrix, J has the form you want.






    share|cite|improve this answer
























      up vote
      0
      down vote













      My answer is based on Wikipedia articles "Nilpotent matrix" and "Jordan normal form."



      Every square matrix A over an algebraically-closed field has a Jordan canonical form J, which has zeros everywhere except A's eigenvalues as diagonal entries and possibly ones on the super diagonal. A is similar to J because there exists an invertible matrix P such that A = P J P ⁻¹. Because zero is the only eigenvalue of a nilpotent matrix, J has the form you want.






      share|cite|improve this answer






















        up vote
        0
        down vote










        up vote
        0
        down vote









        My answer is based on Wikipedia articles "Nilpotent matrix" and "Jordan normal form."



        Every square matrix A over an algebraically-closed field has a Jordan canonical form J, which has zeros everywhere except A's eigenvalues as diagonal entries and possibly ones on the super diagonal. A is similar to J because there exists an invertible matrix P such that A = P J P ⁻¹. Because zero is the only eigenvalue of a nilpotent matrix, J has the form you want.






        share|cite|improve this answer












        My answer is based on Wikipedia articles "Nilpotent matrix" and "Jordan normal form."



        Every square matrix A over an algebraically-closed field has a Jordan canonical form J, which has zeros everywhere except A's eigenvalues as diagonal entries and possibly ones on the super diagonal. A is similar to J because there exists an invertible matrix P such that A = P J P ⁻¹. Because zero is the only eigenvalue of a nilpotent matrix, J has the form you want.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Aug 11 at 20:27









        Maurice P

        1,1601630




        1,1601630






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2173942%2fnilpotent-matrix-is-similar-to-a-block-diagonal-matrix%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            tkz-euclide: tkzDrawCircle[R] not working

            How to combine Bézier curves to a surface?

            1st Magritte Awards