prove A is similar to a diagonal matrix $operatornamediagx_1,x_2,cdots,x_n $

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











up vote
0
down vote

favorite
1













If the $ntimes n$ square matrix $A$ satisfy $operatornamerank(A+3E)+operatornamerank(A-3E)=n$, $E$ is the identity matrix , prove A is similar to a diagonal matrix $operatornamediagx_1,x_2,cdots,x_n $ where $x_i=3$ or $-3$ for $i=1,2,cdots,n$.




I have been told to get this by discussing the geometric multiplicity of $lambda=3$ and $lambda=-3$ . But I am not familiar with the properties of geometric multiplicity. Any more elementary method to get the point?










share|cite|improve this question



















  • 1




    What is $E$? The identity matrix?
    – mathcounterexamples.net
    Aug 30 at 9:26










  • Yep, I'll edit it.
    – Jaqen Chou
    Aug 30 at 9:28










  • The geometric multiplicity of $lambda$ and $A$ is the dimension of $ker(A-lambda E)$. It is the amount of linear independet eigenvectors you may find.
    – Babelfish
    Aug 30 at 9:34















up vote
0
down vote

favorite
1













If the $ntimes n$ square matrix $A$ satisfy $operatornamerank(A+3E)+operatornamerank(A-3E)=n$, $E$ is the identity matrix , prove A is similar to a diagonal matrix $operatornamediagx_1,x_2,cdots,x_n $ where $x_i=3$ or $-3$ for $i=1,2,cdots,n$.




I have been told to get this by discussing the geometric multiplicity of $lambda=3$ and $lambda=-3$ . But I am not familiar with the properties of geometric multiplicity. Any more elementary method to get the point?










share|cite|improve this question



















  • 1




    What is $E$? The identity matrix?
    – mathcounterexamples.net
    Aug 30 at 9:26










  • Yep, I'll edit it.
    – Jaqen Chou
    Aug 30 at 9:28










  • The geometric multiplicity of $lambda$ and $A$ is the dimension of $ker(A-lambda E)$. It is the amount of linear independet eigenvectors you may find.
    – Babelfish
    Aug 30 at 9:34













up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1






If the $ntimes n$ square matrix $A$ satisfy $operatornamerank(A+3E)+operatornamerank(A-3E)=n$, $E$ is the identity matrix , prove A is similar to a diagonal matrix $operatornamediagx_1,x_2,cdots,x_n $ where $x_i=3$ or $-3$ for $i=1,2,cdots,n$.




I have been told to get this by discussing the geometric multiplicity of $lambda=3$ and $lambda=-3$ . But I am not familiar with the properties of geometric multiplicity. Any more elementary method to get the point?










share|cite|improve this question
















If the $ntimes n$ square matrix $A$ satisfy $operatornamerank(A+3E)+operatornamerank(A-3E)=n$, $E$ is the identity matrix , prove A is similar to a diagonal matrix $operatornamediagx_1,x_2,cdots,x_n $ where $x_i=3$ or $-3$ for $i=1,2,cdots,n$.




I have been told to get this by discussing the geometric multiplicity of $lambda=3$ and $lambda=-3$ . But I am not familiar with the properties of geometric multiplicity. Any more elementary method to get the point?







linear-algebra






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 30 at 9:38









Bernard

112k635102




112k635102










asked Aug 30 at 9:23









Jaqen Chou

3499




3499







  • 1




    What is $E$? The identity matrix?
    – mathcounterexamples.net
    Aug 30 at 9:26










  • Yep, I'll edit it.
    – Jaqen Chou
    Aug 30 at 9:28










  • The geometric multiplicity of $lambda$ and $A$ is the dimension of $ker(A-lambda E)$. It is the amount of linear independet eigenvectors you may find.
    – Babelfish
    Aug 30 at 9:34













  • 1




    What is $E$? The identity matrix?
    – mathcounterexamples.net
    Aug 30 at 9:26










  • Yep, I'll edit it.
    – Jaqen Chou
    Aug 30 at 9:28










  • The geometric multiplicity of $lambda$ and $A$ is the dimension of $ker(A-lambda E)$. It is the amount of linear independet eigenvectors you may find.
    – Babelfish
    Aug 30 at 9:34








1




1




What is $E$? The identity matrix?
– mathcounterexamples.net
Aug 30 at 9:26




What is $E$? The identity matrix?
– mathcounterexamples.net
Aug 30 at 9:26












Yep, I'll edit it.
– Jaqen Chou
Aug 30 at 9:28




Yep, I'll edit it.
– Jaqen Chou
Aug 30 at 9:28












The geometric multiplicity of $lambda$ and $A$ is the dimension of $ker(A-lambda E)$. It is the amount of linear independet eigenvectors you may find.
– Babelfish
Aug 30 at 9:34





The geometric multiplicity of $lambda$ and $A$ is the dimension of $ker(A-lambda E)$. It is the amount of linear independet eigenvectors you may find.
– Babelfish
Aug 30 at 9:34











3 Answers
3






active

oldest

votes

















up vote
1
down vote













From $operatornamerank(A+3E)+operatornamerank(A-3E)=n$ and the nullity-rank theorem we get



$n= dim (ker(A+3E))+dim (ker(A-3E))$. Hence, if $ mathbb K= mathbb R$ or$= mathbb C$:



$mathbb K^n= ker(A+3E) oplus ker(A-3E).$



Can you proceed ?






share|cite|improve this answer





























    up vote
    0
    down vote













    Hint: If $A$ is similar to a diagonal matrix $diag(3,dots 3, -3, dots, -3)$, then there are vectors $b_1,dots, b_k,c_1,dots,c_l$ which form a basis such that $A b_i = 3b_i$ and $Ac_i = -3c_i$. Those vectors are eigenvectors. So you have to assert that there are enough of those vectors.






    share|cite|improve this answer



























      up vote
      0
      down vote













      Since $DeclareMathOperatorKerKerDeclareMathOperatordimdim dim(Ker(A+3E))=n-operatornamerank(A+3E)$ and $dim(Ker(A-3E))=$ $n-operatornamerank(A-3E)$, we have
      $$dim (Ker(A-3E))+dim(Ker(A+3E))=n.$$
      The subspaces $Ker(A-3E)$ and $Ker(A+3E)$ intersect only at $0$ and their dimensions add up to $n$. So we can choose a basis $v_1,ldots, v_n$ for $mathbbR^n$ such that $v_1,ldots, v_k$ is a basis for $Ker(A-3E)$ and $v_k+1,ldots, v_n$ is a basis for $Ker(A+3E)$. Then the matrix of $A$ in this basis is a diagonal matrix with diagonal entries equal to $3$ or $-3$.






      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%2f2899310%2fprove-a-is-similar-to-a-diagonal-matrix-operatornamediag-x-1-x-2-cdots-x-n%23new-answer', 'question_page');

        );

        Post as a guest






























        3 Answers
        3






        active

        oldest

        votes








        3 Answers
        3






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes








        up vote
        1
        down vote













        From $operatornamerank(A+3E)+operatornamerank(A-3E)=n$ and the nullity-rank theorem we get



        $n= dim (ker(A+3E))+dim (ker(A-3E))$. Hence, if $ mathbb K= mathbb R$ or$= mathbb C$:



        $mathbb K^n= ker(A+3E) oplus ker(A-3E).$



        Can you proceed ?






        share|cite|improve this answer


























          up vote
          1
          down vote













          From $operatornamerank(A+3E)+operatornamerank(A-3E)=n$ and the nullity-rank theorem we get



          $n= dim (ker(A+3E))+dim (ker(A-3E))$. Hence, if $ mathbb K= mathbb R$ or$= mathbb C$:



          $mathbb K^n= ker(A+3E) oplus ker(A-3E).$



          Can you proceed ?






          share|cite|improve this answer
























            up vote
            1
            down vote










            up vote
            1
            down vote









            From $operatornamerank(A+3E)+operatornamerank(A-3E)=n$ and the nullity-rank theorem we get



            $n= dim (ker(A+3E))+dim (ker(A-3E))$. Hence, if $ mathbb K= mathbb R$ or$= mathbb C$:



            $mathbb K^n= ker(A+3E) oplus ker(A-3E).$



            Can you proceed ?






            share|cite|improve this answer














            From $operatornamerank(A+3E)+operatornamerank(A-3E)=n$ and the nullity-rank theorem we get



            $n= dim (ker(A+3E))+dim (ker(A-3E))$. Hence, if $ mathbb K= mathbb R$ or$= mathbb C$:



            $mathbb K^n= ker(A+3E) oplus ker(A-3E).$



            Can you proceed ?







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Aug 30 at 9:50









            Bernard

            112k635102




            112k635102










            answered Aug 30 at 9:38









            Fred

            38.2k1238




            38.2k1238




















                up vote
                0
                down vote













                Hint: If $A$ is similar to a diagonal matrix $diag(3,dots 3, -3, dots, -3)$, then there are vectors $b_1,dots, b_k,c_1,dots,c_l$ which form a basis such that $A b_i = 3b_i$ and $Ac_i = -3c_i$. Those vectors are eigenvectors. So you have to assert that there are enough of those vectors.






                share|cite|improve this answer
























                  up vote
                  0
                  down vote













                  Hint: If $A$ is similar to a diagonal matrix $diag(3,dots 3, -3, dots, -3)$, then there are vectors $b_1,dots, b_k,c_1,dots,c_l$ which form a basis such that $A b_i = 3b_i$ and $Ac_i = -3c_i$. Those vectors are eigenvectors. So you have to assert that there are enough of those vectors.






                  share|cite|improve this answer






















                    up vote
                    0
                    down vote










                    up vote
                    0
                    down vote









                    Hint: If $A$ is similar to a diagonal matrix $diag(3,dots 3, -3, dots, -3)$, then there are vectors $b_1,dots, b_k,c_1,dots,c_l$ which form a basis such that $A b_i = 3b_i$ and $Ac_i = -3c_i$. Those vectors are eigenvectors. So you have to assert that there are enough of those vectors.






                    share|cite|improve this answer












                    Hint: If $A$ is similar to a diagonal matrix $diag(3,dots 3, -3, dots, -3)$, then there are vectors $b_1,dots, b_k,c_1,dots,c_l$ which form a basis such that $A b_i = 3b_i$ and $Ac_i = -3c_i$. Those vectors are eigenvectors. So you have to assert that there are enough of those vectors.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Aug 30 at 9:37









                    Babelfish

                    1,004115




                    1,004115




















                        up vote
                        0
                        down vote













                        Since $DeclareMathOperatorKerKerDeclareMathOperatordimdim dim(Ker(A+3E))=n-operatornamerank(A+3E)$ and $dim(Ker(A-3E))=$ $n-operatornamerank(A-3E)$, we have
                        $$dim (Ker(A-3E))+dim(Ker(A+3E))=n.$$
                        The subspaces $Ker(A-3E)$ and $Ker(A+3E)$ intersect only at $0$ and their dimensions add up to $n$. So we can choose a basis $v_1,ldots, v_n$ for $mathbbR^n$ such that $v_1,ldots, v_k$ is a basis for $Ker(A-3E)$ and $v_k+1,ldots, v_n$ is a basis for $Ker(A+3E)$. Then the matrix of $A$ in this basis is a diagonal matrix with diagonal entries equal to $3$ or $-3$.






                        share|cite|improve this answer


























                          up vote
                          0
                          down vote













                          Since $DeclareMathOperatorKerKerDeclareMathOperatordimdim dim(Ker(A+3E))=n-operatornamerank(A+3E)$ and $dim(Ker(A-3E))=$ $n-operatornamerank(A-3E)$, we have
                          $$dim (Ker(A-3E))+dim(Ker(A+3E))=n.$$
                          The subspaces $Ker(A-3E)$ and $Ker(A+3E)$ intersect only at $0$ and their dimensions add up to $n$. So we can choose a basis $v_1,ldots, v_n$ for $mathbbR^n$ such that $v_1,ldots, v_k$ is a basis for $Ker(A-3E)$ and $v_k+1,ldots, v_n$ is a basis for $Ker(A+3E)$. Then the matrix of $A$ in this basis is a diagonal matrix with diagonal entries equal to $3$ or $-3$.






                          share|cite|improve this answer
























                            up vote
                            0
                            down vote










                            up vote
                            0
                            down vote









                            Since $DeclareMathOperatorKerKerDeclareMathOperatordimdim dim(Ker(A+3E))=n-operatornamerank(A+3E)$ and $dim(Ker(A-3E))=$ $n-operatornamerank(A-3E)$, we have
                            $$dim (Ker(A-3E))+dim(Ker(A+3E))=n.$$
                            The subspaces $Ker(A-3E)$ and $Ker(A+3E)$ intersect only at $0$ and their dimensions add up to $n$. So we can choose a basis $v_1,ldots, v_n$ for $mathbbR^n$ such that $v_1,ldots, v_k$ is a basis for $Ker(A-3E)$ and $v_k+1,ldots, v_n$ is a basis for $Ker(A+3E)$. Then the matrix of $A$ in this basis is a diagonal matrix with diagonal entries equal to $3$ or $-3$.






                            share|cite|improve this answer














                            Since $DeclareMathOperatorKerKerDeclareMathOperatordimdim dim(Ker(A+3E))=n-operatornamerank(A+3E)$ and $dim(Ker(A-3E))=$ $n-operatornamerank(A-3E)$, we have
                            $$dim (Ker(A-3E))+dim(Ker(A+3E))=n.$$
                            The subspaces $Ker(A-3E)$ and $Ker(A+3E)$ intersect only at $0$ and their dimensions add up to $n$. So we can choose a basis $v_1,ldots, v_n$ for $mathbbR^n$ such that $v_1,ldots, v_k$ is a basis for $Ker(A-3E)$ and $v_k+1,ldots, v_n$ is a basis for $Ker(A+3E)$. Then the matrix of $A$ in this basis is a diagonal matrix with diagonal entries equal to $3$ or $-3$.







                            share|cite|improve this answer














                            share|cite|improve this answer



                            share|cite|improve this answer








                            edited Aug 30 at 9:48









                            Bernard

                            112k635102




                            112k635102










                            answered Aug 30 at 9:37









                            Marco

                            1,59417




                            1,59417



























                                 

                                draft saved


                                draft discarded















































                                 


                                draft saved


                                draft discarded














                                StackExchange.ready(
                                function ()
                                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2899310%2fprove-a-is-similar-to-a-diagonal-matrix-operatornamediag-x-1-x-2-cdots-x-n%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?