Prove that any complex $3times 3$ matrix is similar to a given form via a $3times 3$ unitary matrix.












1












$begingroup$


Show that for any given $3times 3$ complex matrix $A$, there exist a $3 times 3$ unitary matrix $U$, such that
$$U^{-1}AU=
begin{pmatrix}
* & 0 & * \
* & * & 0 \
* & 0 & * \
end{pmatrix}
$$

It is a question in the Chinese Ph.d Entrance Exam, I think it is unusual because I never thought this kind of form before and don't know how to get start. If we replace the unitary with invertible, then the question is already solved by the answer which PSG give. But I am quite sure Jordan is not necessary with unitary.



I have an idea that we can use some $2times 2$ unitary matrix to adjust the first principal submatrix of $A$ in order to make the second principal submatrix of $A$ into a normal matrix by changing the center entry of $A$ and then we diagonalize the second principal submatrix of $A$ and apply Schur Lemma on the first principal submatrix of $A$ to make $A$ into the form that we want.










share|cite|improve this question











$endgroup$

















    1












    $begingroup$


    Show that for any given $3times 3$ complex matrix $A$, there exist a $3 times 3$ unitary matrix $U$, such that
    $$U^{-1}AU=
    begin{pmatrix}
    * & 0 & * \
    * & * & 0 \
    * & 0 & * \
    end{pmatrix}
    $$

    It is a question in the Chinese Ph.d Entrance Exam, I think it is unusual because I never thought this kind of form before and don't know how to get start. If we replace the unitary with invertible, then the question is already solved by the answer which PSG give. But I am quite sure Jordan is not necessary with unitary.



    I have an idea that we can use some $2times 2$ unitary matrix to adjust the first principal submatrix of $A$ in order to make the second principal submatrix of $A$ into a normal matrix by changing the center entry of $A$ and then we diagonalize the second principal submatrix of $A$ and apply Schur Lemma on the first principal submatrix of $A$ to make $A$ into the form that we want.










    share|cite|improve this question











    $endgroup$















      1












      1








      1


      1



      $begingroup$


      Show that for any given $3times 3$ complex matrix $A$, there exist a $3 times 3$ unitary matrix $U$, such that
      $$U^{-1}AU=
      begin{pmatrix}
      * & 0 & * \
      * & * & 0 \
      * & 0 & * \
      end{pmatrix}
      $$

      It is a question in the Chinese Ph.d Entrance Exam, I think it is unusual because I never thought this kind of form before and don't know how to get start. If we replace the unitary with invertible, then the question is already solved by the answer which PSG give. But I am quite sure Jordan is not necessary with unitary.



      I have an idea that we can use some $2times 2$ unitary matrix to adjust the first principal submatrix of $A$ in order to make the second principal submatrix of $A$ into a normal matrix by changing the center entry of $A$ and then we diagonalize the second principal submatrix of $A$ and apply Schur Lemma on the first principal submatrix of $A$ to make $A$ into the form that we want.










      share|cite|improve this question











      $endgroup$




      Show that for any given $3times 3$ complex matrix $A$, there exist a $3 times 3$ unitary matrix $U$, such that
      $$U^{-1}AU=
      begin{pmatrix}
      * & 0 & * \
      * & * & 0 \
      * & 0 & * \
      end{pmatrix}
      $$

      It is a question in the Chinese Ph.d Entrance Exam, I think it is unusual because I never thought this kind of form before and don't know how to get start. If we replace the unitary with invertible, then the question is already solved by the answer which PSG give. But I am quite sure Jordan is not necessary with unitary.



      I have an idea that we can use some $2times 2$ unitary matrix to adjust the first principal submatrix of $A$ in order to make the second principal submatrix of $A$ into a normal matrix by changing the center entry of $A$ and then we diagonalize the second principal submatrix of $A$ and apply Schur Lemma on the first principal submatrix of $A$ to make $A$ into the form that we want.







      matrices






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Dec 6 '18 at 15:01







      Lau

















      asked Dec 5 '18 at 3:09









      LauLau

      541315




      541315






















          3 Answers
          3






          active

          oldest

          votes


















          2












          $begingroup$

          Let $U=pmatrix{u&v&w}$. The statements that $U$ is unitary and $U^{-1}AU$ has the zero pattern in question mean that ${u,v,w}$ is an orthonormal basis of $mathbb C^3$, $v$ is an eigenvector of $A$ and $Awperp v$ (or equivalently, $wperp A^ast v$).



          Since $A$ is a complex square matrix, it always has a unit eigenvector $v$. Let $V=operatorname{span}{v}$. As $V^perp$ is two-dimensional and the orthogonal projection of $operatorname{span}{A^ast v}$ on $V^perp$ is at most one-dimensional, there always exists some nonzero vector $win V^perp$ that is orthogonal to $A^ast v$. Normalise $w$ and extend ${v,w}$ into an orthonormal basis ${u,v,w}$. Take $U=pmatrix{u&v&w}$ and you are done.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            I think it should be $w perp A^{T}overline{v}$ because $v^{T}Aw=0$ is equivalent to the inner product of $w$ and $A^{T}overline{v}$ is zero.
            $endgroup$
            – Lau
            Dec 8 '18 at 8:34








          • 1




            $begingroup$
            @Lau Huh? No, the usual inner product between two vectors $x,yinmathbb C^n$ is defined by $langle x,yrangle=y^ast x$, not by $y^Tx$. The latter is not an inner product: $x^Tx$ can be zero for some nonzero $x$ (such as $x^T=(1,i)$).
            $endgroup$
            – user1551
            Dec 8 '18 at 9:09










          • $begingroup$
            oh sorry It seems that I mixed something up. Thank you very much.
            $endgroup$
            – Lau
            Dec 8 '18 at 10:58





















          0












          $begingroup$

          $textbf{Case 1:}$ The characteristic polynomial is $(x-alpha)(x-beta)(x-gamma)$, where $alpha,beta$ and $gamma$ are distinct. $A$ is diagonalisable.



          $textbf{Case 2:}$ The characteristic polynomial is $(x-alpha)^2(x-gamma)$, where $alpha$ and $gamma$ are distinct. If the minimal polynomial is $(x-alpha)(x-gamma)$, $A$ is diagonalisable and if the minimal polynomial is $(x-alpha)^2(x-gamma)$, $A$ has Jordon form $begin{pmatrix}alpha&0&0\1&alpha&0\0&0&gammaend{pmatrix}$



          $textbf{Case 3:}$ The characteristic polynomial is $(x-alpha)^3$, if the minimal polynomial is $(x-alpha)$, $A$ is diagonalisable, if the minimal polynomial is $(x-alpha)^2$,$A$ has Jordon form $begin{pmatrix}alpha&0&0\1&alpha&0\0&0&alphaend{pmatrix}$ and if the minimal polynomial is $(x-alpha)^3$, $A$ has a cyclic vector say $v$ [i.e. ${v,Av, A^2 v}$ forms a basis]. Then with respect to this basis: ,$A$ has form $begin{pmatrix}0&0&*\1&0&*\0&1&*end{pmatrix}simbegin{pmatrix}*&0&0\*&1&0\*&0&1end{pmatrix} $






          share|cite|improve this answer











          $endgroup$









          • 1




            $begingroup$
            It is a $3times 3$ complex matrix, not real. Additionally, while a matrix is similar to Jordan form, it is not necessarily similar via a unitary matrix.
            $endgroup$
            – Aaron
            Dec 5 '18 at 6:07












          • $begingroup$
            ohh..sorry, will edit soon
            $endgroup$
            – PSG
            Dec 5 '18 at 6:08










          • $begingroup$
            Aaron, true. But two matrices are similar meaning , they are just written in terms of two different bases.Let's say the Jordon form is written w.r.t some basis, If we orthonormalize the basis, and write the matrix in the new basis, the $0$ entries will still remain $0$, I guess.
            $endgroup$
            – PSG
            Dec 5 '18 at 6:42












          • $begingroup$
            How can orthonormalization of the basis preserve 0 entries?
            $endgroup$
            – Lau
            Dec 5 '18 at 12:15






          • 1




            $begingroup$
            Let ${v_1,v_2,..., v_n}$ be the basis. Now say $Av_i=sum_{j=1}^{n}c_j v_jRightarrow Afrac{v_i}{||v_i||}=sum_{j=1}^{n} c_jfrac{v_j}{||v_i||}= sum_{j=1}^{n} c_jfrac{v_j}{||v_j||} times frac{||v_j||}{||v_i||}$, if some coefficient was $0$, it will remain $0$
            $endgroup$
            – PSG
            Dec 5 '18 at 12:27



















          0












          $begingroup$

          I will expand on PSG's case 3.



          First, by permutations of last 2 rows and cols we can search for form
          $$
          begin{pmatrix}
          *&*&0\
          *&*&0\
          *&0&*\
          end{pmatrix}
          $$

          Jordan chain of vectors $V=(v_1, v_2, v_3)$ gives us the following form:
          $$
          V^TAV=begin{pmatrix}
          lambda&0&0\
          1&lambda&0\
          0&1&lambda\
          end{pmatrix}
          $$



          When we apply standard orthonormalization we will obtain orthonormal basis $V'=(v_1', v_2', v_3')$:
          $$
          V'^TAV'=begin{pmatrix}
          lambda&0&0\
          a_0&lambda&0\
          b_0&c_0&lambda\
          end{pmatrix}
          $$

          Notably, we can always choose phases of our basis (by multiplying by right $e^{iphi}$), so all $b_0$ and $c_0$ are real.
          Now we want to rotate basis $V'$ around $v'_3$ by angle $theta$, obtaining new orthonomal basis $U(theta)$:
          $$
          U(theta)^TAU(theta)=begin{pmatrix}
          lambda_1(theta)&a'(theta)&0\
          a(theta)&lambda_2(theta)&0\
          b(theta)&c(theta)&lambda\
          end{pmatrix}
          $$

          Particularly, $c(theta)=c_0costheta-b_0sintheta$. It means there is such $theta$, that $c(theta)=0$.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Why the basis is still orthonomal after we rotate $v'_3$?
            $endgroup$
            – Lau
            Dec 7 '18 at 0:32










          • $begingroup$
            We rotate around $v'_3$. Rotations keep angles between vectors.
            $endgroup$
            – Vasily Mitch
            Dec 7 '18 at 12:32











          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',
          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%2f3026551%2fprove-that-any-complex-3-times-3-matrix-is-similar-to-a-given-form-via-a-3-ti%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          3 Answers
          3






          active

          oldest

          votes








          3 Answers
          3






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          2












          $begingroup$

          Let $U=pmatrix{u&v&w}$. The statements that $U$ is unitary and $U^{-1}AU$ has the zero pattern in question mean that ${u,v,w}$ is an orthonormal basis of $mathbb C^3$, $v$ is an eigenvector of $A$ and $Awperp v$ (or equivalently, $wperp A^ast v$).



          Since $A$ is a complex square matrix, it always has a unit eigenvector $v$. Let $V=operatorname{span}{v}$. As $V^perp$ is two-dimensional and the orthogonal projection of $operatorname{span}{A^ast v}$ on $V^perp$ is at most one-dimensional, there always exists some nonzero vector $win V^perp$ that is orthogonal to $A^ast v$. Normalise $w$ and extend ${v,w}$ into an orthonormal basis ${u,v,w}$. Take $U=pmatrix{u&v&w}$ and you are done.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            I think it should be $w perp A^{T}overline{v}$ because $v^{T}Aw=0$ is equivalent to the inner product of $w$ and $A^{T}overline{v}$ is zero.
            $endgroup$
            – Lau
            Dec 8 '18 at 8:34








          • 1




            $begingroup$
            @Lau Huh? No, the usual inner product between two vectors $x,yinmathbb C^n$ is defined by $langle x,yrangle=y^ast x$, not by $y^Tx$. The latter is not an inner product: $x^Tx$ can be zero for some nonzero $x$ (such as $x^T=(1,i)$).
            $endgroup$
            – user1551
            Dec 8 '18 at 9:09










          • $begingroup$
            oh sorry It seems that I mixed something up. Thank you very much.
            $endgroup$
            – Lau
            Dec 8 '18 at 10:58


















          2












          $begingroup$

          Let $U=pmatrix{u&v&w}$. The statements that $U$ is unitary and $U^{-1}AU$ has the zero pattern in question mean that ${u,v,w}$ is an orthonormal basis of $mathbb C^3$, $v$ is an eigenvector of $A$ and $Awperp v$ (or equivalently, $wperp A^ast v$).



          Since $A$ is a complex square matrix, it always has a unit eigenvector $v$. Let $V=operatorname{span}{v}$. As $V^perp$ is two-dimensional and the orthogonal projection of $operatorname{span}{A^ast v}$ on $V^perp$ is at most one-dimensional, there always exists some nonzero vector $win V^perp$ that is orthogonal to $A^ast v$. Normalise $w$ and extend ${v,w}$ into an orthonormal basis ${u,v,w}$. Take $U=pmatrix{u&v&w}$ and you are done.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            I think it should be $w perp A^{T}overline{v}$ because $v^{T}Aw=0$ is equivalent to the inner product of $w$ and $A^{T}overline{v}$ is zero.
            $endgroup$
            – Lau
            Dec 8 '18 at 8:34








          • 1




            $begingroup$
            @Lau Huh? No, the usual inner product between two vectors $x,yinmathbb C^n$ is defined by $langle x,yrangle=y^ast x$, not by $y^Tx$. The latter is not an inner product: $x^Tx$ can be zero for some nonzero $x$ (such as $x^T=(1,i)$).
            $endgroup$
            – user1551
            Dec 8 '18 at 9:09










          • $begingroup$
            oh sorry It seems that I mixed something up. Thank you very much.
            $endgroup$
            – Lau
            Dec 8 '18 at 10:58
















          2












          2








          2





          $begingroup$

          Let $U=pmatrix{u&v&w}$. The statements that $U$ is unitary and $U^{-1}AU$ has the zero pattern in question mean that ${u,v,w}$ is an orthonormal basis of $mathbb C^3$, $v$ is an eigenvector of $A$ and $Awperp v$ (or equivalently, $wperp A^ast v$).



          Since $A$ is a complex square matrix, it always has a unit eigenvector $v$. Let $V=operatorname{span}{v}$. As $V^perp$ is two-dimensional and the orthogonal projection of $operatorname{span}{A^ast v}$ on $V^perp$ is at most one-dimensional, there always exists some nonzero vector $win V^perp$ that is orthogonal to $A^ast v$. Normalise $w$ and extend ${v,w}$ into an orthonormal basis ${u,v,w}$. Take $U=pmatrix{u&v&w}$ and you are done.






          share|cite|improve this answer









          $endgroup$



          Let $U=pmatrix{u&v&w}$. The statements that $U$ is unitary and $U^{-1}AU$ has the zero pattern in question mean that ${u,v,w}$ is an orthonormal basis of $mathbb C^3$, $v$ is an eigenvector of $A$ and $Awperp v$ (or equivalently, $wperp A^ast v$).



          Since $A$ is a complex square matrix, it always has a unit eigenvector $v$. Let $V=operatorname{span}{v}$. As $V^perp$ is two-dimensional and the orthogonal projection of $operatorname{span}{A^ast v}$ on $V^perp$ is at most one-dimensional, there always exists some nonzero vector $win V^perp$ that is orthogonal to $A^ast v$. Normalise $w$ and extend ${v,w}$ into an orthonormal basis ${u,v,w}$. Take $U=pmatrix{u&v&w}$ and you are done.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Dec 6 '18 at 17:16









          user1551user1551

          72.3k566127




          72.3k566127












          • $begingroup$
            I think it should be $w perp A^{T}overline{v}$ because $v^{T}Aw=0$ is equivalent to the inner product of $w$ and $A^{T}overline{v}$ is zero.
            $endgroup$
            – Lau
            Dec 8 '18 at 8:34








          • 1




            $begingroup$
            @Lau Huh? No, the usual inner product between two vectors $x,yinmathbb C^n$ is defined by $langle x,yrangle=y^ast x$, not by $y^Tx$. The latter is not an inner product: $x^Tx$ can be zero for some nonzero $x$ (such as $x^T=(1,i)$).
            $endgroup$
            – user1551
            Dec 8 '18 at 9:09










          • $begingroup$
            oh sorry It seems that I mixed something up. Thank you very much.
            $endgroup$
            – Lau
            Dec 8 '18 at 10:58




















          • $begingroup$
            I think it should be $w perp A^{T}overline{v}$ because $v^{T}Aw=0$ is equivalent to the inner product of $w$ and $A^{T}overline{v}$ is zero.
            $endgroup$
            – Lau
            Dec 8 '18 at 8:34








          • 1




            $begingroup$
            @Lau Huh? No, the usual inner product between two vectors $x,yinmathbb C^n$ is defined by $langle x,yrangle=y^ast x$, not by $y^Tx$. The latter is not an inner product: $x^Tx$ can be zero for some nonzero $x$ (such as $x^T=(1,i)$).
            $endgroup$
            – user1551
            Dec 8 '18 at 9:09










          • $begingroup$
            oh sorry It seems that I mixed something up. Thank you very much.
            $endgroup$
            – Lau
            Dec 8 '18 at 10:58


















          $begingroup$
          I think it should be $w perp A^{T}overline{v}$ because $v^{T}Aw=0$ is equivalent to the inner product of $w$ and $A^{T}overline{v}$ is zero.
          $endgroup$
          – Lau
          Dec 8 '18 at 8:34






          $begingroup$
          I think it should be $w perp A^{T}overline{v}$ because $v^{T}Aw=0$ is equivalent to the inner product of $w$ and $A^{T}overline{v}$ is zero.
          $endgroup$
          – Lau
          Dec 8 '18 at 8:34






          1




          1




          $begingroup$
          @Lau Huh? No, the usual inner product between two vectors $x,yinmathbb C^n$ is defined by $langle x,yrangle=y^ast x$, not by $y^Tx$. The latter is not an inner product: $x^Tx$ can be zero for some nonzero $x$ (such as $x^T=(1,i)$).
          $endgroup$
          – user1551
          Dec 8 '18 at 9:09




          $begingroup$
          @Lau Huh? No, the usual inner product between two vectors $x,yinmathbb C^n$ is defined by $langle x,yrangle=y^ast x$, not by $y^Tx$. The latter is not an inner product: $x^Tx$ can be zero for some nonzero $x$ (such as $x^T=(1,i)$).
          $endgroup$
          – user1551
          Dec 8 '18 at 9:09












          $begingroup$
          oh sorry It seems that I mixed something up. Thank you very much.
          $endgroup$
          – Lau
          Dec 8 '18 at 10:58






          $begingroup$
          oh sorry It seems that I mixed something up. Thank you very much.
          $endgroup$
          – Lau
          Dec 8 '18 at 10:58













          0












          $begingroup$

          $textbf{Case 1:}$ The characteristic polynomial is $(x-alpha)(x-beta)(x-gamma)$, where $alpha,beta$ and $gamma$ are distinct. $A$ is diagonalisable.



          $textbf{Case 2:}$ The characteristic polynomial is $(x-alpha)^2(x-gamma)$, where $alpha$ and $gamma$ are distinct. If the minimal polynomial is $(x-alpha)(x-gamma)$, $A$ is diagonalisable and if the minimal polynomial is $(x-alpha)^2(x-gamma)$, $A$ has Jordon form $begin{pmatrix}alpha&0&0\1&alpha&0\0&0&gammaend{pmatrix}$



          $textbf{Case 3:}$ The characteristic polynomial is $(x-alpha)^3$, if the minimal polynomial is $(x-alpha)$, $A$ is diagonalisable, if the minimal polynomial is $(x-alpha)^2$,$A$ has Jordon form $begin{pmatrix}alpha&0&0\1&alpha&0\0&0&alphaend{pmatrix}$ and if the minimal polynomial is $(x-alpha)^3$, $A$ has a cyclic vector say $v$ [i.e. ${v,Av, A^2 v}$ forms a basis]. Then with respect to this basis: ,$A$ has form $begin{pmatrix}0&0&*\1&0&*\0&1&*end{pmatrix}simbegin{pmatrix}*&0&0\*&1&0\*&0&1end{pmatrix} $






          share|cite|improve this answer











          $endgroup$









          • 1




            $begingroup$
            It is a $3times 3$ complex matrix, not real. Additionally, while a matrix is similar to Jordan form, it is not necessarily similar via a unitary matrix.
            $endgroup$
            – Aaron
            Dec 5 '18 at 6:07












          • $begingroup$
            ohh..sorry, will edit soon
            $endgroup$
            – PSG
            Dec 5 '18 at 6:08










          • $begingroup$
            Aaron, true. But two matrices are similar meaning , they are just written in terms of two different bases.Let's say the Jordon form is written w.r.t some basis, If we orthonormalize the basis, and write the matrix in the new basis, the $0$ entries will still remain $0$, I guess.
            $endgroup$
            – PSG
            Dec 5 '18 at 6:42












          • $begingroup$
            How can orthonormalization of the basis preserve 0 entries?
            $endgroup$
            – Lau
            Dec 5 '18 at 12:15






          • 1




            $begingroup$
            Let ${v_1,v_2,..., v_n}$ be the basis. Now say $Av_i=sum_{j=1}^{n}c_j v_jRightarrow Afrac{v_i}{||v_i||}=sum_{j=1}^{n} c_jfrac{v_j}{||v_i||}= sum_{j=1}^{n} c_jfrac{v_j}{||v_j||} times frac{||v_j||}{||v_i||}$, if some coefficient was $0$, it will remain $0$
            $endgroup$
            – PSG
            Dec 5 '18 at 12:27
















          0












          $begingroup$

          $textbf{Case 1:}$ The characteristic polynomial is $(x-alpha)(x-beta)(x-gamma)$, where $alpha,beta$ and $gamma$ are distinct. $A$ is diagonalisable.



          $textbf{Case 2:}$ The characteristic polynomial is $(x-alpha)^2(x-gamma)$, where $alpha$ and $gamma$ are distinct. If the minimal polynomial is $(x-alpha)(x-gamma)$, $A$ is diagonalisable and if the minimal polynomial is $(x-alpha)^2(x-gamma)$, $A$ has Jordon form $begin{pmatrix}alpha&0&0\1&alpha&0\0&0&gammaend{pmatrix}$



          $textbf{Case 3:}$ The characteristic polynomial is $(x-alpha)^3$, if the minimal polynomial is $(x-alpha)$, $A$ is diagonalisable, if the minimal polynomial is $(x-alpha)^2$,$A$ has Jordon form $begin{pmatrix}alpha&0&0\1&alpha&0\0&0&alphaend{pmatrix}$ and if the minimal polynomial is $(x-alpha)^3$, $A$ has a cyclic vector say $v$ [i.e. ${v,Av, A^2 v}$ forms a basis]. Then with respect to this basis: ,$A$ has form $begin{pmatrix}0&0&*\1&0&*\0&1&*end{pmatrix}simbegin{pmatrix}*&0&0\*&1&0\*&0&1end{pmatrix} $






          share|cite|improve this answer











          $endgroup$









          • 1




            $begingroup$
            It is a $3times 3$ complex matrix, not real. Additionally, while a matrix is similar to Jordan form, it is not necessarily similar via a unitary matrix.
            $endgroup$
            – Aaron
            Dec 5 '18 at 6:07












          • $begingroup$
            ohh..sorry, will edit soon
            $endgroup$
            – PSG
            Dec 5 '18 at 6:08










          • $begingroup$
            Aaron, true. But two matrices are similar meaning , they are just written in terms of two different bases.Let's say the Jordon form is written w.r.t some basis, If we orthonormalize the basis, and write the matrix in the new basis, the $0$ entries will still remain $0$, I guess.
            $endgroup$
            – PSG
            Dec 5 '18 at 6:42












          • $begingroup$
            How can orthonormalization of the basis preserve 0 entries?
            $endgroup$
            – Lau
            Dec 5 '18 at 12:15






          • 1




            $begingroup$
            Let ${v_1,v_2,..., v_n}$ be the basis. Now say $Av_i=sum_{j=1}^{n}c_j v_jRightarrow Afrac{v_i}{||v_i||}=sum_{j=1}^{n} c_jfrac{v_j}{||v_i||}= sum_{j=1}^{n} c_jfrac{v_j}{||v_j||} times frac{||v_j||}{||v_i||}$, if some coefficient was $0$, it will remain $0$
            $endgroup$
            – PSG
            Dec 5 '18 at 12:27














          0












          0








          0





          $begingroup$

          $textbf{Case 1:}$ The characteristic polynomial is $(x-alpha)(x-beta)(x-gamma)$, where $alpha,beta$ and $gamma$ are distinct. $A$ is diagonalisable.



          $textbf{Case 2:}$ The characteristic polynomial is $(x-alpha)^2(x-gamma)$, where $alpha$ and $gamma$ are distinct. If the minimal polynomial is $(x-alpha)(x-gamma)$, $A$ is diagonalisable and if the minimal polynomial is $(x-alpha)^2(x-gamma)$, $A$ has Jordon form $begin{pmatrix}alpha&0&0\1&alpha&0\0&0&gammaend{pmatrix}$



          $textbf{Case 3:}$ The characteristic polynomial is $(x-alpha)^3$, if the minimal polynomial is $(x-alpha)$, $A$ is diagonalisable, if the minimal polynomial is $(x-alpha)^2$,$A$ has Jordon form $begin{pmatrix}alpha&0&0\1&alpha&0\0&0&alphaend{pmatrix}$ and if the minimal polynomial is $(x-alpha)^3$, $A$ has a cyclic vector say $v$ [i.e. ${v,Av, A^2 v}$ forms a basis]. Then with respect to this basis: ,$A$ has form $begin{pmatrix}0&0&*\1&0&*\0&1&*end{pmatrix}simbegin{pmatrix}*&0&0\*&1&0\*&0&1end{pmatrix} $






          share|cite|improve this answer











          $endgroup$



          $textbf{Case 1:}$ The characteristic polynomial is $(x-alpha)(x-beta)(x-gamma)$, where $alpha,beta$ and $gamma$ are distinct. $A$ is diagonalisable.



          $textbf{Case 2:}$ The characteristic polynomial is $(x-alpha)^2(x-gamma)$, where $alpha$ and $gamma$ are distinct. If the minimal polynomial is $(x-alpha)(x-gamma)$, $A$ is diagonalisable and if the minimal polynomial is $(x-alpha)^2(x-gamma)$, $A$ has Jordon form $begin{pmatrix}alpha&0&0\1&alpha&0\0&0&gammaend{pmatrix}$



          $textbf{Case 3:}$ The characteristic polynomial is $(x-alpha)^3$, if the minimal polynomial is $(x-alpha)$, $A$ is diagonalisable, if the minimal polynomial is $(x-alpha)^2$,$A$ has Jordon form $begin{pmatrix}alpha&0&0\1&alpha&0\0&0&alphaend{pmatrix}$ and if the minimal polynomial is $(x-alpha)^3$, $A$ has a cyclic vector say $v$ [i.e. ${v,Av, A^2 v}$ forms a basis]. Then with respect to this basis: ,$A$ has form $begin{pmatrix}0&0&*\1&0&*\0&1&*end{pmatrix}simbegin{pmatrix}*&0&0\*&1&0\*&0&1end{pmatrix} $







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Dec 5 '18 at 6:37

























          answered Dec 5 '18 at 6:04









          PSGPSG

          3849




          3849








          • 1




            $begingroup$
            It is a $3times 3$ complex matrix, not real. Additionally, while a matrix is similar to Jordan form, it is not necessarily similar via a unitary matrix.
            $endgroup$
            – Aaron
            Dec 5 '18 at 6:07












          • $begingroup$
            ohh..sorry, will edit soon
            $endgroup$
            – PSG
            Dec 5 '18 at 6:08










          • $begingroup$
            Aaron, true. But two matrices are similar meaning , they are just written in terms of two different bases.Let's say the Jordon form is written w.r.t some basis, If we orthonormalize the basis, and write the matrix in the new basis, the $0$ entries will still remain $0$, I guess.
            $endgroup$
            – PSG
            Dec 5 '18 at 6:42












          • $begingroup$
            How can orthonormalization of the basis preserve 0 entries?
            $endgroup$
            – Lau
            Dec 5 '18 at 12:15






          • 1




            $begingroup$
            Let ${v_1,v_2,..., v_n}$ be the basis. Now say $Av_i=sum_{j=1}^{n}c_j v_jRightarrow Afrac{v_i}{||v_i||}=sum_{j=1}^{n} c_jfrac{v_j}{||v_i||}= sum_{j=1}^{n} c_jfrac{v_j}{||v_j||} times frac{||v_j||}{||v_i||}$, if some coefficient was $0$, it will remain $0$
            $endgroup$
            – PSG
            Dec 5 '18 at 12:27














          • 1




            $begingroup$
            It is a $3times 3$ complex matrix, not real. Additionally, while a matrix is similar to Jordan form, it is not necessarily similar via a unitary matrix.
            $endgroup$
            – Aaron
            Dec 5 '18 at 6:07












          • $begingroup$
            ohh..sorry, will edit soon
            $endgroup$
            – PSG
            Dec 5 '18 at 6:08










          • $begingroup$
            Aaron, true. But two matrices are similar meaning , they are just written in terms of two different bases.Let's say the Jordon form is written w.r.t some basis, If we orthonormalize the basis, and write the matrix in the new basis, the $0$ entries will still remain $0$, I guess.
            $endgroup$
            – PSG
            Dec 5 '18 at 6:42












          • $begingroup$
            How can orthonormalization of the basis preserve 0 entries?
            $endgroup$
            – Lau
            Dec 5 '18 at 12:15






          • 1




            $begingroup$
            Let ${v_1,v_2,..., v_n}$ be the basis. Now say $Av_i=sum_{j=1}^{n}c_j v_jRightarrow Afrac{v_i}{||v_i||}=sum_{j=1}^{n} c_jfrac{v_j}{||v_i||}= sum_{j=1}^{n} c_jfrac{v_j}{||v_j||} times frac{||v_j||}{||v_i||}$, if some coefficient was $0$, it will remain $0$
            $endgroup$
            – PSG
            Dec 5 '18 at 12:27








          1




          1




          $begingroup$
          It is a $3times 3$ complex matrix, not real. Additionally, while a matrix is similar to Jordan form, it is not necessarily similar via a unitary matrix.
          $endgroup$
          – Aaron
          Dec 5 '18 at 6:07






          $begingroup$
          It is a $3times 3$ complex matrix, not real. Additionally, while a matrix is similar to Jordan form, it is not necessarily similar via a unitary matrix.
          $endgroup$
          – Aaron
          Dec 5 '18 at 6:07














          $begingroup$
          ohh..sorry, will edit soon
          $endgroup$
          – PSG
          Dec 5 '18 at 6:08




          $begingroup$
          ohh..sorry, will edit soon
          $endgroup$
          – PSG
          Dec 5 '18 at 6:08












          $begingroup$
          Aaron, true. But two matrices are similar meaning , they are just written in terms of two different bases.Let's say the Jordon form is written w.r.t some basis, If we orthonormalize the basis, and write the matrix in the new basis, the $0$ entries will still remain $0$, I guess.
          $endgroup$
          – PSG
          Dec 5 '18 at 6:42






          $begingroup$
          Aaron, true. But two matrices are similar meaning , they are just written in terms of two different bases.Let's say the Jordon form is written w.r.t some basis, If we orthonormalize the basis, and write the matrix in the new basis, the $0$ entries will still remain $0$, I guess.
          $endgroup$
          – PSG
          Dec 5 '18 at 6:42














          $begingroup$
          How can orthonormalization of the basis preserve 0 entries?
          $endgroup$
          – Lau
          Dec 5 '18 at 12:15




          $begingroup$
          How can orthonormalization of the basis preserve 0 entries?
          $endgroup$
          – Lau
          Dec 5 '18 at 12:15




          1




          1




          $begingroup$
          Let ${v_1,v_2,..., v_n}$ be the basis. Now say $Av_i=sum_{j=1}^{n}c_j v_jRightarrow Afrac{v_i}{||v_i||}=sum_{j=1}^{n} c_jfrac{v_j}{||v_i||}= sum_{j=1}^{n} c_jfrac{v_j}{||v_j||} times frac{||v_j||}{||v_i||}$, if some coefficient was $0$, it will remain $0$
          $endgroup$
          – PSG
          Dec 5 '18 at 12:27




          $begingroup$
          Let ${v_1,v_2,..., v_n}$ be the basis. Now say $Av_i=sum_{j=1}^{n}c_j v_jRightarrow Afrac{v_i}{||v_i||}=sum_{j=1}^{n} c_jfrac{v_j}{||v_i||}= sum_{j=1}^{n} c_jfrac{v_j}{||v_j||} times frac{||v_j||}{||v_i||}$, if some coefficient was $0$, it will remain $0$
          $endgroup$
          – PSG
          Dec 5 '18 at 12:27











          0












          $begingroup$

          I will expand on PSG's case 3.



          First, by permutations of last 2 rows and cols we can search for form
          $$
          begin{pmatrix}
          *&*&0\
          *&*&0\
          *&0&*\
          end{pmatrix}
          $$

          Jordan chain of vectors $V=(v_1, v_2, v_3)$ gives us the following form:
          $$
          V^TAV=begin{pmatrix}
          lambda&0&0\
          1&lambda&0\
          0&1&lambda\
          end{pmatrix}
          $$



          When we apply standard orthonormalization we will obtain orthonormal basis $V'=(v_1', v_2', v_3')$:
          $$
          V'^TAV'=begin{pmatrix}
          lambda&0&0\
          a_0&lambda&0\
          b_0&c_0&lambda\
          end{pmatrix}
          $$

          Notably, we can always choose phases of our basis (by multiplying by right $e^{iphi}$), so all $b_0$ and $c_0$ are real.
          Now we want to rotate basis $V'$ around $v'_3$ by angle $theta$, obtaining new orthonomal basis $U(theta)$:
          $$
          U(theta)^TAU(theta)=begin{pmatrix}
          lambda_1(theta)&a'(theta)&0\
          a(theta)&lambda_2(theta)&0\
          b(theta)&c(theta)&lambda\
          end{pmatrix}
          $$

          Particularly, $c(theta)=c_0costheta-b_0sintheta$. It means there is such $theta$, that $c(theta)=0$.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Why the basis is still orthonomal after we rotate $v'_3$?
            $endgroup$
            – Lau
            Dec 7 '18 at 0:32










          • $begingroup$
            We rotate around $v'_3$. Rotations keep angles between vectors.
            $endgroup$
            – Vasily Mitch
            Dec 7 '18 at 12:32
















          0












          $begingroup$

          I will expand on PSG's case 3.



          First, by permutations of last 2 rows and cols we can search for form
          $$
          begin{pmatrix}
          *&*&0\
          *&*&0\
          *&0&*\
          end{pmatrix}
          $$

          Jordan chain of vectors $V=(v_1, v_2, v_3)$ gives us the following form:
          $$
          V^TAV=begin{pmatrix}
          lambda&0&0\
          1&lambda&0\
          0&1&lambda\
          end{pmatrix}
          $$



          When we apply standard orthonormalization we will obtain orthonormal basis $V'=(v_1', v_2', v_3')$:
          $$
          V'^TAV'=begin{pmatrix}
          lambda&0&0\
          a_0&lambda&0\
          b_0&c_0&lambda\
          end{pmatrix}
          $$

          Notably, we can always choose phases of our basis (by multiplying by right $e^{iphi}$), so all $b_0$ and $c_0$ are real.
          Now we want to rotate basis $V'$ around $v'_3$ by angle $theta$, obtaining new orthonomal basis $U(theta)$:
          $$
          U(theta)^TAU(theta)=begin{pmatrix}
          lambda_1(theta)&a'(theta)&0\
          a(theta)&lambda_2(theta)&0\
          b(theta)&c(theta)&lambda\
          end{pmatrix}
          $$

          Particularly, $c(theta)=c_0costheta-b_0sintheta$. It means there is such $theta$, that $c(theta)=0$.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Why the basis is still orthonomal after we rotate $v'_3$?
            $endgroup$
            – Lau
            Dec 7 '18 at 0:32










          • $begingroup$
            We rotate around $v'_3$. Rotations keep angles between vectors.
            $endgroup$
            – Vasily Mitch
            Dec 7 '18 at 12:32














          0












          0








          0





          $begingroup$

          I will expand on PSG's case 3.



          First, by permutations of last 2 rows and cols we can search for form
          $$
          begin{pmatrix}
          *&*&0\
          *&*&0\
          *&0&*\
          end{pmatrix}
          $$

          Jordan chain of vectors $V=(v_1, v_2, v_3)$ gives us the following form:
          $$
          V^TAV=begin{pmatrix}
          lambda&0&0\
          1&lambda&0\
          0&1&lambda\
          end{pmatrix}
          $$



          When we apply standard orthonormalization we will obtain orthonormal basis $V'=(v_1', v_2', v_3')$:
          $$
          V'^TAV'=begin{pmatrix}
          lambda&0&0\
          a_0&lambda&0\
          b_0&c_0&lambda\
          end{pmatrix}
          $$

          Notably, we can always choose phases of our basis (by multiplying by right $e^{iphi}$), so all $b_0$ and $c_0$ are real.
          Now we want to rotate basis $V'$ around $v'_3$ by angle $theta$, obtaining new orthonomal basis $U(theta)$:
          $$
          U(theta)^TAU(theta)=begin{pmatrix}
          lambda_1(theta)&a'(theta)&0\
          a(theta)&lambda_2(theta)&0\
          b(theta)&c(theta)&lambda\
          end{pmatrix}
          $$

          Particularly, $c(theta)=c_0costheta-b_0sintheta$. It means there is such $theta$, that $c(theta)=0$.






          share|cite|improve this answer









          $endgroup$



          I will expand on PSG's case 3.



          First, by permutations of last 2 rows and cols we can search for form
          $$
          begin{pmatrix}
          *&*&0\
          *&*&0\
          *&0&*\
          end{pmatrix}
          $$

          Jordan chain of vectors $V=(v_1, v_2, v_3)$ gives us the following form:
          $$
          V^TAV=begin{pmatrix}
          lambda&0&0\
          1&lambda&0\
          0&1&lambda\
          end{pmatrix}
          $$



          When we apply standard orthonormalization we will obtain orthonormal basis $V'=(v_1', v_2', v_3')$:
          $$
          V'^TAV'=begin{pmatrix}
          lambda&0&0\
          a_0&lambda&0\
          b_0&c_0&lambda\
          end{pmatrix}
          $$

          Notably, we can always choose phases of our basis (by multiplying by right $e^{iphi}$), so all $b_0$ and $c_0$ are real.
          Now we want to rotate basis $V'$ around $v'_3$ by angle $theta$, obtaining new orthonomal basis $U(theta)$:
          $$
          U(theta)^TAU(theta)=begin{pmatrix}
          lambda_1(theta)&a'(theta)&0\
          a(theta)&lambda_2(theta)&0\
          b(theta)&c(theta)&lambda\
          end{pmatrix}
          $$

          Particularly, $c(theta)=c_0costheta-b_0sintheta$. It means there is such $theta$, that $c(theta)=0$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Dec 6 '18 at 16:17









          Vasily MitchVasily Mitch

          1,45337




          1,45337












          • $begingroup$
            Why the basis is still orthonomal after we rotate $v'_3$?
            $endgroup$
            – Lau
            Dec 7 '18 at 0:32










          • $begingroup$
            We rotate around $v'_3$. Rotations keep angles between vectors.
            $endgroup$
            – Vasily Mitch
            Dec 7 '18 at 12:32


















          • $begingroup$
            Why the basis is still orthonomal after we rotate $v'_3$?
            $endgroup$
            – Lau
            Dec 7 '18 at 0:32










          • $begingroup$
            We rotate around $v'_3$. Rotations keep angles between vectors.
            $endgroup$
            – Vasily Mitch
            Dec 7 '18 at 12:32
















          $begingroup$
          Why the basis is still orthonomal after we rotate $v'_3$?
          $endgroup$
          – Lau
          Dec 7 '18 at 0:32




          $begingroup$
          Why the basis is still orthonomal after we rotate $v'_3$?
          $endgroup$
          – Lau
          Dec 7 '18 at 0:32












          $begingroup$
          We rotate around $v'_3$. Rotations keep angles between vectors.
          $endgroup$
          – Vasily Mitch
          Dec 7 '18 at 12:32




          $begingroup$
          We rotate around $v'_3$. Rotations keep angles between vectors.
          $endgroup$
          – Vasily Mitch
          Dec 7 '18 at 12:32


















          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%2f3026551%2fprove-that-any-complex-3-times-3-matrix-is-similar-to-a-given-form-via-a-3-ti%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

          To store a contact into the json file from server.js file using a class in NodeJS

          Redirect URL with Chrome Remote Debugging Android Devices

          Dieringhausen