Show some eigenvalue properties for $A=xy^*$Eigenvalues of a $A^T A$Non-integral power of a singular matrixcomplex problem in linear algebraProving properties about matrix $A$ s.t. $A^2 = -I$Eigenvalue and Diagonalization ProofsSymmetric matrix singular iff zero on diagonal?Proof of following statement.$A^2$ is diagonalizable and so is $A$Binding eigenvalue properties with normal operatorsProve that if $A^2=0$, then $0$ is the only eigenvalue of $A$.The spectrum of a quadratic matrix polynomial

How to make healing in an exploration game interesting

Professor being mistaken for a grad student

Opacity of an object in 2.8

Unexpected result from ArcLength

how to draw discrete time diagram in tikz

How to terminate ping <dest> &

Recruiter wants very extensive technical details about all of my previous work

Why do passenger jet manufacturers design their planes with stall prevention systems?

Existence of subset with given Hausdorff dimension

Python if-else code style for reduced code for rounding floats

Is it normal that my co-workers at a fitness company criticize my food choices?

Should we release the security issues we found in our product as CVE or we can just update those on weekly release notes?

Have researchers managed to "reverse time"? If so, what does that mean for physics?

Why did it take so long to abandon sail after steamships were demonstrated?

Are ETF trackers fundamentally better than individual stocks?

Instead of Universal Basic Income, why not Universal Basic NEEDS?

Hacking a Safe Lock after 3 tries

How to explain that I do not want to visit a country due to personal safety concern?

How to write cleanly even if my character uses expletive language?

How to read the value of this capacitor?

Why is the President allowed to veto a cancellation of emergency powers?

Is it possible to upcast ritual spells?

How to deal with taxi scam when on vacation?

How could a scammer know the apps on my phone / iTunes account?



Show some eigenvalue properties for $A=xy^*$


Eigenvalues of a $A^T A$Non-integral power of a singular matrixcomplex problem in linear algebraProving properties about matrix $A$ s.t. $A^2 = -I$Eigenvalue and Diagonalization ProofsSymmetric matrix singular iff zero on diagonal?Proof of following statement.$A^2$ is diagonalizable and so is $A$Binding eigenvalue properties with normal operatorsProve that if $A^2=0$, then $0$ is the only eigenvalue of $A$.The spectrum of a quadratic matrix polynomial













2












$begingroup$


Let $x,y$ be given vectors of dimension $n times 1$, $A=xy^*$, and $lambda=y^*x$. I’m trying to demonstrate the following:




  1. $lambda$ is an eigenvalue of $A$.

  2. If $lambda ne 0$, it will be the only nonzero eigenvalue of $A$.

  3. Explain why $A$ is diagonalizable iff $y^*xne 0$.

My approach thusfar:



  1. NTS $det(A-lambda I)=0$.
    I’d really rather not expand $det(xy^*-y^*xI)$ , but even doing so, I don’t see how doing so would help.


  2. I can verbally logic this: Since A is the product of a pair of vectors, it’s obvious that each column/row will be a scalar multiple of eachother. By proof: Suppose $exists mune 0, mu ne lambda$. I don’t know where to go from here.


  3. Going forwards: $A$ is diagonalizable. Then $exists textnonsingular S: S^-1AS=D$, where $D$ is a diagonal matrix similar to $A$. but if $A$ has only the eigenvalue zero, then $S$ is singular, a contradiction.
    Going the other direction, if $y^*xne 0$, then A has an eigenvalue not equal to zero. Then can I make a statement about the similarity of $A$ to some diagonal matrix?









share|cite|improve this question











$endgroup$











  • $begingroup$
    Hint for 1+2: $lambda$ is an eigenvalue of $A$ with corresponding eigenvector $q$ if and only if $A q = lambda q$. What happens for $q=x$?
    $endgroup$
    – Florian
    Mar 6 at 18:17















2












$begingroup$


Let $x,y$ be given vectors of dimension $n times 1$, $A=xy^*$, and $lambda=y^*x$. I’m trying to demonstrate the following:




  1. $lambda$ is an eigenvalue of $A$.

  2. If $lambda ne 0$, it will be the only nonzero eigenvalue of $A$.

  3. Explain why $A$ is diagonalizable iff $y^*xne 0$.

My approach thusfar:



  1. NTS $det(A-lambda I)=0$.
    I’d really rather not expand $det(xy^*-y^*xI)$ , but even doing so, I don’t see how doing so would help.


  2. I can verbally logic this: Since A is the product of a pair of vectors, it’s obvious that each column/row will be a scalar multiple of eachother. By proof: Suppose $exists mune 0, mu ne lambda$. I don’t know where to go from here.


  3. Going forwards: $A$ is diagonalizable. Then $exists textnonsingular S: S^-1AS=D$, where $D$ is a diagonal matrix similar to $A$. but if $A$ has only the eigenvalue zero, then $S$ is singular, a contradiction.
    Going the other direction, if $y^*xne 0$, then A has an eigenvalue not equal to zero. Then can I make a statement about the similarity of $A$ to some diagonal matrix?









share|cite|improve this question











$endgroup$











  • $begingroup$
    Hint for 1+2: $lambda$ is an eigenvalue of $A$ with corresponding eigenvector $q$ if and only if $A q = lambda q$. What happens for $q=x$?
    $endgroup$
    – Florian
    Mar 6 at 18:17













2












2








2


1



$begingroup$


Let $x,y$ be given vectors of dimension $n times 1$, $A=xy^*$, and $lambda=y^*x$. I’m trying to demonstrate the following:




  1. $lambda$ is an eigenvalue of $A$.

  2. If $lambda ne 0$, it will be the only nonzero eigenvalue of $A$.

  3. Explain why $A$ is diagonalizable iff $y^*xne 0$.

My approach thusfar:



  1. NTS $det(A-lambda I)=0$.
    I’d really rather not expand $det(xy^*-y^*xI)$ , but even doing so, I don’t see how doing so would help.


  2. I can verbally logic this: Since A is the product of a pair of vectors, it’s obvious that each column/row will be a scalar multiple of eachother. By proof: Suppose $exists mune 0, mu ne lambda$. I don’t know where to go from here.


  3. Going forwards: $A$ is diagonalizable. Then $exists textnonsingular S: S^-1AS=D$, where $D$ is a diagonal matrix similar to $A$. but if $A$ has only the eigenvalue zero, then $S$ is singular, a contradiction.
    Going the other direction, if $y^*xne 0$, then A has an eigenvalue not equal to zero. Then can I make a statement about the similarity of $A$ to some diagonal matrix?









share|cite|improve this question











$endgroup$




Let $x,y$ be given vectors of dimension $n times 1$, $A=xy^*$, and $lambda=y^*x$. I’m trying to demonstrate the following:




  1. $lambda$ is an eigenvalue of $A$.

  2. If $lambda ne 0$, it will be the only nonzero eigenvalue of $A$.

  3. Explain why $A$ is diagonalizable iff $y^*xne 0$.

My approach thusfar:



  1. NTS $det(A-lambda I)=0$.
    I’d really rather not expand $det(xy^*-y^*xI)$ , but even doing so, I don’t see how doing so would help.


  2. I can verbally logic this: Since A is the product of a pair of vectors, it’s obvious that each column/row will be a scalar multiple of eachother. By proof: Suppose $exists mune 0, mu ne lambda$. I don’t know where to go from here.


  3. Going forwards: $A$ is diagonalizable. Then $exists textnonsingular S: S^-1AS=D$, where $D$ is a diagonal matrix similar to $A$. but if $A$ has only the eigenvalue zero, then $S$ is singular, a contradiction.
    Going the other direction, if $y^*xne 0$, then A has an eigenvalue not equal to zero. Then can I make a statement about the similarity of $A$ to some diagonal matrix?






linear-algebra matrices eigenvalues-eigenvectors matrix-analysis






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 6 at 18:00









Robert Lewis

48.1k23067




48.1k23067










asked Mar 6 at 17:54









Thor KamphefnerThor Kamphefner

836




836











  • $begingroup$
    Hint for 1+2: $lambda$ is an eigenvalue of $A$ with corresponding eigenvector $q$ if and only if $A q = lambda q$. What happens for $q=x$?
    $endgroup$
    – Florian
    Mar 6 at 18:17
















  • $begingroup$
    Hint for 1+2: $lambda$ is an eigenvalue of $A$ with corresponding eigenvector $q$ if and only if $A q = lambda q$. What happens for $q=x$?
    $endgroup$
    – Florian
    Mar 6 at 18:17















$begingroup$
Hint for 1+2: $lambda$ is an eigenvalue of $A$ with corresponding eigenvector $q$ if and only if $A q = lambda q$. What happens for $q=x$?
$endgroup$
– Florian
Mar 6 at 18:17




$begingroup$
Hint for 1+2: $lambda$ is an eigenvalue of $A$ with corresponding eigenvector $q$ if and only if $A q = lambda q$. What happens for $q=x$?
$endgroup$
– Florian
Mar 6 at 18:17










3 Answers
3






active

oldest

votes


















2












$begingroup$

Suppose $xneq0$. Let $P$ be an orthonormal matrix (i.e., $ P^*P=I$)
such that $ Px=a$, where $a=(a_1,0,cdots,0)^*$. Let $Py=b=(b_1,b_2,cdots,b_n)^*$. Then
$$ A=xy^*=(P^-1a)(P^-1b)^*=P^*(ab^*)P $$
which implies that $A$ and $ab^*$ have the same eigenvalues. Note that
$$ e_1b=left[beginmatrixa_1b_1&a_1b_2&cdots&a_1b_n\
0&0&cdots&0\
vdots&vdots&cdots&vdots\
0&0&cdots&0\
endmatrixright] $$

which has eigenvalues $a_1b_1$ and $0$ (the multiplicity $n-1$) and also note that
$$ a_1b_1=e_1^*b=(a,b)=(P^-1a,P^-1y)=(x,y)=x^*y=lambda. $$
Thus $A$ has eigenvalues $lambda$ and $0$ (the multiplicity $n-1$).



Let $x^*ynot=0$, choose an orthonormal matrix $P$ such that $Px=|x|e_1$ where $e_1=(1,0,cdots,0)^*$. Let $$barb=e_1+kP^*y $$
where $k$ is such that
$$ (e_1,barb)=1+k(e_1,Py)=1+frack(Px,Py)=1+frackx^*y=0$$
namely, $k=-fracx^*y$. Let $e_2=fracbarbbarb$ and choose $e_3,cdots,e_n$ such that $e_1,e_2,cdots,e_n$ are orthonormal. Then
$$ PAP^*=Pxy^*P^*=|x|e_1(Py)^*=fracke_1(barb-e_1)^*=-fracke_1e_1^*,$$
namely $xy^*$ is diagonalizable.






share|cite|improve this answer











$endgroup$




















    4












    $begingroup$

    Hints:



    1. Consider $xy^*x$.

    2. Assume $xy^*v=lambda vne 0$, then it also equals to $x(y^*v)$, so $v$ is a scalar multiple of $x$.

    3. By the above, if $y^*x=0$, the only eigenvalue of $xy^*$ is $0$, so if it's diagonalizable, it must be similar to the diagonal matrix with the eigenvalues, though $xy^*ne 0$ (unless $x=y=0$).

      On the other hand, if $y^*xne 0$, we have $dimker(x^*y) =n-1$, choose a basis there, extend by $x$, and in that basis the matrix of $x^*y$ is diagonal with a single nonzero entry $y^*x$.





    share|cite|improve this answer









    $endgroup$




















      1












      $begingroup$

      Since the underlying field $Bbb K$ over and $Bbb K$-vector space $V$ on which $A$ operates, $A in mathcal L(V)$, are unspecified, I am going to assume that



      $textchar(Bbb K) = 0 tag 0$



      for the remainder of this answer.



      To show that



      $lambda = y^ast x tag 1$



      is an eigenvalue of



      $A = xy^ast, tag 2$



      we need merely consider



      $Ax = (xy^ast)x = x(y^ast x) = x(lambda) = lambda x, tag 3$



      which, assuming $x ne 0$, shows that $lambda$ is an eigenvalue of $A$ with corresponding eigenvector $x$.



      Now if $mu ne 0$ is any other eigenvalue of $A$, then



      $exists z ne 0, ; Az = mu z; tag 4$



      since $mu ne 0$ and $z ne 0$, we have



      $0 ne mu z = Az = (xy^ast)z = x(y^ast z) = (y^ast z)x; tag 5$



      from this we infer that



      $(y^ast z) ne 0, ; x ne 0, tag 6$



      which leads us to



      $z = dfracy^ast zmux = alpha x, ; alpha = dfracy^ast zmu ne 0; tag 7$



      $z$ is thus a scalar multiple of $x$, whence



      $mu z = Az = A(alpha x) = alpha Ax = alpha lambda x = lambda(alpha x) = lambda z; tag 8$



      thus,



      $(mu - lambda)z = 0 Longrightarrow mu = lambda, tag 9$



      and we see that $lambda ne 0$ is the only non-zero eigenvalue of $A$.



      Last but by no means least, if



      $lambda = y^ast x ne 0, tag10$



      then as we have seen above, $lambda$ is the sole non-vanishing eigenvalue of $A = xy^ast$, and furthermore, $lambda$ is of geometric and algebraic multiplicity $1$; we can see that this is true via the observation that the kernel of the linear map



      $phi_y: V to Bbb K, ; phi_y(z) = y^ast z in Bbb K, ; z in V, tag11$



      satisfies



      $dim ker phi_y = n - 1, tag12$



      where



      $dim_Bbb K V = n; tag13$



      therefore there exist $n - 1$ linearly independent vectors



      $w_1, w_2, ldots, w_n - 1 in ker phi_y, tag14$



      each of which satisfies



      $y^ast w_i = phi_y(w_i) = 0, ; 1 le i le n - 1; tag15$



      then



      $Aw_i = (xy^ast)w_i = x(y^ast w_i) = 0, 1 le i le n - 1; tag16$



      from (11)-(16) we see that the dimension of the kernel of $A$, that is, the dimension of the $0$-eigenspace, is $n - 1$; from this fact we conclude that the dimension of the $lambda$-eigenspace is precisely $1$, i.e., $lambda$ is of geometric and algebraic multiplicity $1$ as asserted above.



      We may now build the matrix $S$ as



      $S = [x ;w_1 ; w_2 ; ldots ; w_n - 1]; tag17$



      that is, the columns of $S$ are the vectors $x$, $w_1$, $w_2$, and so forth; then



      $AS = [Ax ; Aw_1 ; Aw_2 ; ldots ; Aw_n - 1] = [(y^ast x)x ; 0 ; 0 ; ldots ; 0]; tag18$



      now the $w_i$ are linearly independent from one another, and $x$ is linearly independent from the $w_i$ since they are eigenvectors associated to different eigenvalues; thus the matrix $S$ is non-singular and we may form $S^-1$ such that



      $S^-1S = S^-1[x ;w_1 ; w_2 ; ldots ; w_n - 1] = [S^-1x ; S^-1w_1 ; S^-1w_2 ; ldots ; S^-1w_n - 1] = I; tag19$



      from (18) and (19) we infer that



      $S^-1AS = [S^-1(y^ast x)x ; S^-10 ; S^-10 ; ldots ; S^-10] = [y^ast x S^-1x ; 0 ; 0 ; ldots ; 0]; tag20$



      now inspection of (19) reveals that



      $S^-1x = e_1 = beginpmatrix 1 \ 0 \ 0 \ vdots \ 0 endpmatrix; tag21$



      therefore (20) becomes



      $S^-1AS = [y^ast x e_1 ; 0 ; 0 ; ldots ; 0], tag22$



      which has only one non-zero entry, $y^ast x$, in the top left-hand corner. It is manifestly diagonal and every diagonal entry besides $y^ast x$ is zero, as we expect based on what we have uncovered regarding the eigenvalues of $A$.






      share|cite|improve this answer









      $endgroup$












        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%2f3137885%2fshow-some-eigenvalue-properties-for-a-xy%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$

        Suppose $xneq0$. Let $P$ be an orthonormal matrix (i.e., $ P^*P=I$)
        such that $ Px=a$, where $a=(a_1,0,cdots,0)^*$. Let $Py=b=(b_1,b_2,cdots,b_n)^*$. Then
        $$ A=xy^*=(P^-1a)(P^-1b)^*=P^*(ab^*)P $$
        which implies that $A$ and $ab^*$ have the same eigenvalues. Note that
        $$ e_1b=left[beginmatrixa_1b_1&a_1b_2&cdots&a_1b_n\
        0&0&cdots&0\
        vdots&vdots&cdots&vdots\
        0&0&cdots&0\
        endmatrixright] $$

        which has eigenvalues $a_1b_1$ and $0$ (the multiplicity $n-1$) and also note that
        $$ a_1b_1=e_1^*b=(a,b)=(P^-1a,P^-1y)=(x,y)=x^*y=lambda. $$
        Thus $A$ has eigenvalues $lambda$ and $0$ (the multiplicity $n-1$).



        Let $x^*ynot=0$, choose an orthonormal matrix $P$ such that $Px=|x|e_1$ where $e_1=(1,0,cdots,0)^*$. Let $$barb=e_1+kP^*y $$
        where $k$ is such that
        $$ (e_1,barb)=1+k(e_1,Py)=1+frack(Px,Py)=1+frackx^*y=0$$
        namely, $k=-fracx^*y$. Let $e_2=fracbarbbarb$ and choose $e_3,cdots,e_n$ such that $e_1,e_2,cdots,e_n$ are orthonormal. Then
        $$ PAP^*=Pxy^*P^*=|x|e_1(Py)^*=fracke_1(barb-e_1)^*=-fracke_1e_1^*,$$
        namely $xy^*$ is diagonalizable.






        share|cite|improve this answer











        $endgroup$

















          2












          $begingroup$

          Suppose $xneq0$. Let $P$ be an orthonormal matrix (i.e., $ P^*P=I$)
          such that $ Px=a$, where $a=(a_1,0,cdots,0)^*$. Let $Py=b=(b_1,b_2,cdots,b_n)^*$. Then
          $$ A=xy^*=(P^-1a)(P^-1b)^*=P^*(ab^*)P $$
          which implies that $A$ and $ab^*$ have the same eigenvalues. Note that
          $$ e_1b=left[beginmatrixa_1b_1&a_1b_2&cdots&a_1b_n\
          0&0&cdots&0\
          vdots&vdots&cdots&vdots\
          0&0&cdots&0\
          endmatrixright] $$

          which has eigenvalues $a_1b_1$ and $0$ (the multiplicity $n-1$) and also note that
          $$ a_1b_1=e_1^*b=(a,b)=(P^-1a,P^-1y)=(x,y)=x^*y=lambda. $$
          Thus $A$ has eigenvalues $lambda$ and $0$ (the multiplicity $n-1$).



          Let $x^*ynot=0$, choose an orthonormal matrix $P$ such that $Px=|x|e_1$ where $e_1=(1,0,cdots,0)^*$. Let $$barb=e_1+kP^*y $$
          where $k$ is such that
          $$ (e_1,barb)=1+k(e_1,Py)=1+frack(Px,Py)=1+frackx^*y=0$$
          namely, $k=-fracx^*y$. Let $e_2=fracbarbbarb$ and choose $e_3,cdots,e_n$ such that $e_1,e_2,cdots,e_n$ are orthonormal. Then
          $$ PAP^*=Pxy^*P^*=|x|e_1(Py)^*=fracke_1(barb-e_1)^*=-fracke_1e_1^*,$$
          namely $xy^*$ is diagonalizable.






          share|cite|improve this answer











          $endgroup$















            2












            2








            2





            $begingroup$

            Suppose $xneq0$. Let $P$ be an orthonormal matrix (i.e., $ P^*P=I$)
            such that $ Px=a$, where $a=(a_1,0,cdots,0)^*$. Let $Py=b=(b_1,b_2,cdots,b_n)^*$. Then
            $$ A=xy^*=(P^-1a)(P^-1b)^*=P^*(ab^*)P $$
            which implies that $A$ and $ab^*$ have the same eigenvalues. Note that
            $$ e_1b=left[beginmatrixa_1b_1&a_1b_2&cdots&a_1b_n\
            0&0&cdots&0\
            vdots&vdots&cdots&vdots\
            0&0&cdots&0\
            endmatrixright] $$

            which has eigenvalues $a_1b_1$ and $0$ (the multiplicity $n-1$) and also note that
            $$ a_1b_1=e_1^*b=(a,b)=(P^-1a,P^-1y)=(x,y)=x^*y=lambda. $$
            Thus $A$ has eigenvalues $lambda$ and $0$ (the multiplicity $n-1$).



            Let $x^*ynot=0$, choose an orthonormal matrix $P$ such that $Px=|x|e_1$ where $e_1=(1,0,cdots,0)^*$. Let $$barb=e_1+kP^*y $$
            where $k$ is such that
            $$ (e_1,barb)=1+k(e_1,Py)=1+frack(Px,Py)=1+frackx^*y=0$$
            namely, $k=-fracx^*y$. Let $e_2=fracbarbbarb$ and choose $e_3,cdots,e_n$ such that $e_1,e_2,cdots,e_n$ are orthonormal. Then
            $$ PAP^*=Pxy^*P^*=|x|e_1(Py)^*=fracke_1(barb-e_1)^*=-fracke_1e_1^*,$$
            namely $xy^*$ is diagonalizable.






            share|cite|improve this answer











            $endgroup$



            Suppose $xneq0$. Let $P$ be an orthonormal matrix (i.e., $ P^*P=I$)
            such that $ Px=a$, where $a=(a_1,0,cdots,0)^*$. Let $Py=b=(b_1,b_2,cdots,b_n)^*$. Then
            $$ A=xy^*=(P^-1a)(P^-1b)^*=P^*(ab^*)P $$
            which implies that $A$ and $ab^*$ have the same eigenvalues. Note that
            $$ e_1b=left[beginmatrixa_1b_1&a_1b_2&cdots&a_1b_n\
            0&0&cdots&0\
            vdots&vdots&cdots&vdots\
            0&0&cdots&0\
            endmatrixright] $$

            which has eigenvalues $a_1b_1$ and $0$ (the multiplicity $n-1$) and also note that
            $$ a_1b_1=e_1^*b=(a,b)=(P^-1a,P^-1y)=(x,y)=x^*y=lambda. $$
            Thus $A$ has eigenvalues $lambda$ and $0$ (the multiplicity $n-1$).



            Let $x^*ynot=0$, choose an orthonormal matrix $P$ such that $Px=|x|e_1$ where $e_1=(1,0,cdots,0)^*$. Let $$barb=e_1+kP^*y $$
            where $k$ is such that
            $$ (e_1,barb)=1+k(e_1,Py)=1+frack(Px,Py)=1+frackx^*y=0$$
            namely, $k=-fracx^*y$. Let $e_2=fracbarbbarb$ and choose $e_3,cdots,e_n$ such that $e_1,e_2,cdots,e_n$ are orthonormal. Then
            $$ PAP^*=Pxy^*P^*=|x|e_1(Py)^*=fracke_1(barb-e_1)^*=-fracke_1e_1^*,$$
            namely $xy^*$ is diagonalizable.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited 7 hours ago

























            answered Mar 7 at 17:12









            xpaulxpaul

            23.3k24655




            23.3k24655





















                4












                $begingroup$

                Hints:



                1. Consider $xy^*x$.

                2. Assume $xy^*v=lambda vne 0$, then it also equals to $x(y^*v)$, so $v$ is a scalar multiple of $x$.

                3. By the above, if $y^*x=0$, the only eigenvalue of $xy^*$ is $0$, so if it's diagonalizable, it must be similar to the diagonal matrix with the eigenvalues, though $xy^*ne 0$ (unless $x=y=0$).

                  On the other hand, if $y^*xne 0$, we have $dimker(x^*y) =n-1$, choose a basis there, extend by $x$, and in that basis the matrix of $x^*y$ is diagonal with a single nonzero entry $y^*x$.





                share|cite|improve this answer









                $endgroup$

















                  4












                  $begingroup$

                  Hints:



                  1. Consider $xy^*x$.

                  2. Assume $xy^*v=lambda vne 0$, then it also equals to $x(y^*v)$, so $v$ is a scalar multiple of $x$.

                  3. By the above, if $y^*x=0$, the only eigenvalue of $xy^*$ is $0$, so if it's diagonalizable, it must be similar to the diagonal matrix with the eigenvalues, though $xy^*ne 0$ (unless $x=y=0$).

                    On the other hand, if $y^*xne 0$, we have $dimker(x^*y) =n-1$, choose a basis there, extend by $x$, and in that basis the matrix of $x^*y$ is diagonal with a single nonzero entry $y^*x$.





                  share|cite|improve this answer









                  $endgroup$















                    4












                    4








                    4





                    $begingroup$

                    Hints:



                    1. Consider $xy^*x$.

                    2. Assume $xy^*v=lambda vne 0$, then it also equals to $x(y^*v)$, so $v$ is a scalar multiple of $x$.

                    3. By the above, if $y^*x=0$, the only eigenvalue of $xy^*$ is $0$, so if it's diagonalizable, it must be similar to the diagonal matrix with the eigenvalues, though $xy^*ne 0$ (unless $x=y=0$).

                      On the other hand, if $y^*xne 0$, we have $dimker(x^*y) =n-1$, choose a basis there, extend by $x$, and in that basis the matrix of $x^*y$ is diagonal with a single nonzero entry $y^*x$.





                    share|cite|improve this answer









                    $endgroup$



                    Hints:



                    1. Consider $xy^*x$.

                    2. Assume $xy^*v=lambda vne 0$, then it also equals to $x(y^*v)$, so $v$ is a scalar multiple of $x$.

                    3. By the above, if $y^*x=0$, the only eigenvalue of $xy^*$ is $0$, so if it's diagonalizable, it must be similar to the diagonal matrix with the eigenvalues, though $xy^*ne 0$ (unless $x=y=0$).

                      On the other hand, if $y^*xne 0$, we have $dimker(x^*y) =n-1$, choose a basis there, extend by $x$, and in that basis the matrix of $x^*y$ is diagonal with a single nonzero entry $y^*x$.






                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Mar 6 at 18:17









                    BerciBerci

                    61.4k23674




                    61.4k23674





















                        1












                        $begingroup$

                        Since the underlying field $Bbb K$ over and $Bbb K$-vector space $V$ on which $A$ operates, $A in mathcal L(V)$, are unspecified, I am going to assume that



                        $textchar(Bbb K) = 0 tag 0$



                        for the remainder of this answer.



                        To show that



                        $lambda = y^ast x tag 1$



                        is an eigenvalue of



                        $A = xy^ast, tag 2$



                        we need merely consider



                        $Ax = (xy^ast)x = x(y^ast x) = x(lambda) = lambda x, tag 3$



                        which, assuming $x ne 0$, shows that $lambda$ is an eigenvalue of $A$ with corresponding eigenvector $x$.



                        Now if $mu ne 0$ is any other eigenvalue of $A$, then



                        $exists z ne 0, ; Az = mu z; tag 4$



                        since $mu ne 0$ and $z ne 0$, we have



                        $0 ne mu z = Az = (xy^ast)z = x(y^ast z) = (y^ast z)x; tag 5$



                        from this we infer that



                        $(y^ast z) ne 0, ; x ne 0, tag 6$



                        which leads us to



                        $z = dfracy^ast zmux = alpha x, ; alpha = dfracy^ast zmu ne 0; tag 7$



                        $z$ is thus a scalar multiple of $x$, whence



                        $mu z = Az = A(alpha x) = alpha Ax = alpha lambda x = lambda(alpha x) = lambda z; tag 8$



                        thus,



                        $(mu - lambda)z = 0 Longrightarrow mu = lambda, tag 9$



                        and we see that $lambda ne 0$ is the only non-zero eigenvalue of $A$.



                        Last but by no means least, if



                        $lambda = y^ast x ne 0, tag10$



                        then as we have seen above, $lambda$ is the sole non-vanishing eigenvalue of $A = xy^ast$, and furthermore, $lambda$ is of geometric and algebraic multiplicity $1$; we can see that this is true via the observation that the kernel of the linear map



                        $phi_y: V to Bbb K, ; phi_y(z) = y^ast z in Bbb K, ; z in V, tag11$



                        satisfies



                        $dim ker phi_y = n - 1, tag12$



                        where



                        $dim_Bbb K V = n; tag13$



                        therefore there exist $n - 1$ linearly independent vectors



                        $w_1, w_2, ldots, w_n - 1 in ker phi_y, tag14$



                        each of which satisfies



                        $y^ast w_i = phi_y(w_i) = 0, ; 1 le i le n - 1; tag15$



                        then



                        $Aw_i = (xy^ast)w_i = x(y^ast w_i) = 0, 1 le i le n - 1; tag16$



                        from (11)-(16) we see that the dimension of the kernel of $A$, that is, the dimension of the $0$-eigenspace, is $n - 1$; from this fact we conclude that the dimension of the $lambda$-eigenspace is precisely $1$, i.e., $lambda$ is of geometric and algebraic multiplicity $1$ as asserted above.



                        We may now build the matrix $S$ as



                        $S = [x ;w_1 ; w_2 ; ldots ; w_n - 1]; tag17$



                        that is, the columns of $S$ are the vectors $x$, $w_1$, $w_2$, and so forth; then



                        $AS = [Ax ; Aw_1 ; Aw_2 ; ldots ; Aw_n - 1] = [(y^ast x)x ; 0 ; 0 ; ldots ; 0]; tag18$



                        now the $w_i$ are linearly independent from one another, and $x$ is linearly independent from the $w_i$ since they are eigenvectors associated to different eigenvalues; thus the matrix $S$ is non-singular and we may form $S^-1$ such that



                        $S^-1S = S^-1[x ;w_1 ; w_2 ; ldots ; w_n - 1] = [S^-1x ; S^-1w_1 ; S^-1w_2 ; ldots ; S^-1w_n - 1] = I; tag19$



                        from (18) and (19) we infer that



                        $S^-1AS = [S^-1(y^ast x)x ; S^-10 ; S^-10 ; ldots ; S^-10] = [y^ast x S^-1x ; 0 ; 0 ; ldots ; 0]; tag20$



                        now inspection of (19) reveals that



                        $S^-1x = e_1 = beginpmatrix 1 \ 0 \ 0 \ vdots \ 0 endpmatrix; tag21$



                        therefore (20) becomes



                        $S^-1AS = [y^ast x e_1 ; 0 ; 0 ; ldots ; 0], tag22$



                        which has only one non-zero entry, $y^ast x$, in the top left-hand corner. It is manifestly diagonal and every diagonal entry besides $y^ast x$ is zero, as we expect based on what we have uncovered regarding the eigenvalues of $A$.






                        share|cite|improve this answer









                        $endgroup$

















                          1












                          $begingroup$

                          Since the underlying field $Bbb K$ over and $Bbb K$-vector space $V$ on which $A$ operates, $A in mathcal L(V)$, are unspecified, I am going to assume that



                          $textchar(Bbb K) = 0 tag 0$



                          for the remainder of this answer.



                          To show that



                          $lambda = y^ast x tag 1$



                          is an eigenvalue of



                          $A = xy^ast, tag 2$



                          we need merely consider



                          $Ax = (xy^ast)x = x(y^ast x) = x(lambda) = lambda x, tag 3$



                          which, assuming $x ne 0$, shows that $lambda$ is an eigenvalue of $A$ with corresponding eigenvector $x$.



                          Now if $mu ne 0$ is any other eigenvalue of $A$, then



                          $exists z ne 0, ; Az = mu z; tag 4$



                          since $mu ne 0$ and $z ne 0$, we have



                          $0 ne mu z = Az = (xy^ast)z = x(y^ast z) = (y^ast z)x; tag 5$



                          from this we infer that



                          $(y^ast z) ne 0, ; x ne 0, tag 6$



                          which leads us to



                          $z = dfracy^ast zmux = alpha x, ; alpha = dfracy^ast zmu ne 0; tag 7$



                          $z$ is thus a scalar multiple of $x$, whence



                          $mu z = Az = A(alpha x) = alpha Ax = alpha lambda x = lambda(alpha x) = lambda z; tag 8$



                          thus,



                          $(mu - lambda)z = 0 Longrightarrow mu = lambda, tag 9$



                          and we see that $lambda ne 0$ is the only non-zero eigenvalue of $A$.



                          Last but by no means least, if



                          $lambda = y^ast x ne 0, tag10$



                          then as we have seen above, $lambda$ is the sole non-vanishing eigenvalue of $A = xy^ast$, and furthermore, $lambda$ is of geometric and algebraic multiplicity $1$; we can see that this is true via the observation that the kernel of the linear map



                          $phi_y: V to Bbb K, ; phi_y(z) = y^ast z in Bbb K, ; z in V, tag11$



                          satisfies



                          $dim ker phi_y = n - 1, tag12$



                          where



                          $dim_Bbb K V = n; tag13$



                          therefore there exist $n - 1$ linearly independent vectors



                          $w_1, w_2, ldots, w_n - 1 in ker phi_y, tag14$



                          each of which satisfies



                          $y^ast w_i = phi_y(w_i) = 0, ; 1 le i le n - 1; tag15$



                          then



                          $Aw_i = (xy^ast)w_i = x(y^ast w_i) = 0, 1 le i le n - 1; tag16$



                          from (11)-(16) we see that the dimension of the kernel of $A$, that is, the dimension of the $0$-eigenspace, is $n - 1$; from this fact we conclude that the dimension of the $lambda$-eigenspace is precisely $1$, i.e., $lambda$ is of geometric and algebraic multiplicity $1$ as asserted above.



                          We may now build the matrix $S$ as



                          $S = [x ;w_1 ; w_2 ; ldots ; w_n - 1]; tag17$



                          that is, the columns of $S$ are the vectors $x$, $w_1$, $w_2$, and so forth; then



                          $AS = [Ax ; Aw_1 ; Aw_2 ; ldots ; Aw_n - 1] = [(y^ast x)x ; 0 ; 0 ; ldots ; 0]; tag18$



                          now the $w_i$ are linearly independent from one another, and $x$ is linearly independent from the $w_i$ since they are eigenvectors associated to different eigenvalues; thus the matrix $S$ is non-singular and we may form $S^-1$ such that



                          $S^-1S = S^-1[x ;w_1 ; w_2 ; ldots ; w_n - 1] = [S^-1x ; S^-1w_1 ; S^-1w_2 ; ldots ; S^-1w_n - 1] = I; tag19$



                          from (18) and (19) we infer that



                          $S^-1AS = [S^-1(y^ast x)x ; S^-10 ; S^-10 ; ldots ; S^-10] = [y^ast x S^-1x ; 0 ; 0 ; ldots ; 0]; tag20$



                          now inspection of (19) reveals that



                          $S^-1x = e_1 = beginpmatrix 1 \ 0 \ 0 \ vdots \ 0 endpmatrix; tag21$



                          therefore (20) becomes



                          $S^-1AS = [y^ast x e_1 ; 0 ; 0 ; ldots ; 0], tag22$



                          which has only one non-zero entry, $y^ast x$, in the top left-hand corner. It is manifestly diagonal and every diagonal entry besides $y^ast x$ is zero, as we expect based on what we have uncovered regarding the eigenvalues of $A$.






                          share|cite|improve this answer









                          $endgroup$















                            1












                            1








                            1





                            $begingroup$

                            Since the underlying field $Bbb K$ over and $Bbb K$-vector space $V$ on which $A$ operates, $A in mathcal L(V)$, are unspecified, I am going to assume that



                            $textchar(Bbb K) = 0 tag 0$



                            for the remainder of this answer.



                            To show that



                            $lambda = y^ast x tag 1$



                            is an eigenvalue of



                            $A = xy^ast, tag 2$



                            we need merely consider



                            $Ax = (xy^ast)x = x(y^ast x) = x(lambda) = lambda x, tag 3$



                            which, assuming $x ne 0$, shows that $lambda$ is an eigenvalue of $A$ with corresponding eigenvector $x$.



                            Now if $mu ne 0$ is any other eigenvalue of $A$, then



                            $exists z ne 0, ; Az = mu z; tag 4$



                            since $mu ne 0$ and $z ne 0$, we have



                            $0 ne mu z = Az = (xy^ast)z = x(y^ast z) = (y^ast z)x; tag 5$



                            from this we infer that



                            $(y^ast z) ne 0, ; x ne 0, tag 6$



                            which leads us to



                            $z = dfracy^ast zmux = alpha x, ; alpha = dfracy^ast zmu ne 0; tag 7$



                            $z$ is thus a scalar multiple of $x$, whence



                            $mu z = Az = A(alpha x) = alpha Ax = alpha lambda x = lambda(alpha x) = lambda z; tag 8$



                            thus,



                            $(mu - lambda)z = 0 Longrightarrow mu = lambda, tag 9$



                            and we see that $lambda ne 0$ is the only non-zero eigenvalue of $A$.



                            Last but by no means least, if



                            $lambda = y^ast x ne 0, tag10$



                            then as we have seen above, $lambda$ is the sole non-vanishing eigenvalue of $A = xy^ast$, and furthermore, $lambda$ is of geometric and algebraic multiplicity $1$; we can see that this is true via the observation that the kernel of the linear map



                            $phi_y: V to Bbb K, ; phi_y(z) = y^ast z in Bbb K, ; z in V, tag11$



                            satisfies



                            $dim ker phi_y = n - 1, tag12$



                            where



                            $dim_Bbb K V = n; tag13$



                            therefore there exist $n - 1$ linearly independent vectors



                            $w_1, w_2, ldots, w_n - 1 in ker phi_y, tag14$



                            each of which satisfies



                            $y^ast w_i = phi_y(w_i) = 0, ; 1 le i le n - 1; tag15$



                            then



                            $Aw_i = (xy^ast)w_i = x(y^ast w_i) = 0, 1 le i le n - 1; tag16$



                            from (11)-(16) we see that the dimension of the kernel of $A$, that is, the dimension of the $0$-eigenspace, is $n - 1$; from this fact we conclude that the dimension of the $lambda$-eigenspace is precisely $1$, i.e., $lambda$ is of geometric and algebraic multiplicity $1$ as asserted above.



                            We may now build the matrix $S$ as



                            $S = [x ;w_1 ; w_2 ; ldots ; w_n - 1]; tag17$



                            that is, the columns of $S$ are the vectors $x$, $w_1$, $w_2$, and so forth; then



                            $AS = [Ax ; Aw_1 ; Aw_2 ; ldots ; Aw_n - 1] = [(y^ast x)x ; 0 ; 0 ; ldots ; 0]; tag18$



                            now the $w_i$ are linearly independent from one another, and $x$ is linearly independent from the $w_i$ since they are eigenvectors associated to different eigenvalues; thus the matrix $S$ is non-singular and we may form $S^-1$ such that



                            $S^-1S = S^-1[x ;w_1 ; w_2 ; ldots ; w_n - 1] = [S^-1x ; S^-1w_1 ; S^-1w_2 ; ldots ; S^-1w_n - 1] = I; tag19$



                            from (18) and (19) we infer that



                            $S^-1AS = [S^-1(y^ast x)x ; S^-10 ; S^-10 ; ldots ; S^-10] = [y^ast x S^-1x ; 0 ; 0 ; ldots ; 0]; tag20$



                            now inspection of (19) reveals that



                            $S^-1x = e_1 = beginpmatrix 1 \ 0 \ 0 \ vdots \ 0 endpmatrix; tag21$



                            therefore (20) becomes



                            $S^-1AS = [y^ast x e_1 ; 0 ; 0 ; ldots ; 0], tag22$



                            which has only one non-zero entry, $y^ast x$, in the top left-hand corner. It is manifestly diagonal and every diagonal entry besides $y^ast x$ is zero, as we expect based on what we have uncovered regarding the eigenvalues of $A$.






                            share|cite|improve this answer









                            $endgroup$



                            Since the underlying field $Bbb K$ over and $Bbb K$-vector space $V$ on which $A$ operates, $A in mathcal L(V)$, are unspecified, I am going to assume that



                            $textchar(Bbb K) = 0 tag 0$



                            for the remainder of this answer.



                            To show that



                            $lambda = y^ast x tag 1$



                            is an eigenvalue of



                            $A = xy^ast, tag 2$



                            we need merely consider



                            $Ax = (xy^ast)x = x(y^ast x) = x(lambda) = lambda x, tag 3$



                            which, assuming $x ne 0$, shows that $lambda$ is an eigenvalue of $A$ with corresponding eigenvector $x$.



                            Now if $mu ne 0$ is any other eigenvalue of $A$, then



                            $exists z ne 0, ; Az = mu z; tag 4$



                            since $mu ne 0$ and $z ne 0$, we have



                            $0 ne mu z = Az = (xy^ast)z = x(y^ast z) = (y^ast z)x; tag 5$



                            from this we infer that



                            $(y^ast z) ne 0, ; x ne 0, tag 6$



                            which leads us to



                            $z = dfracy^ast zmux = alpha x, ; alpha = dfracy^ast zmu ne 0; tag 7$



                            $z$ is thus a scalar multiple of $x$, whence



                            $mu z = Az = A(alpha x) = alpha Ax = alpha lambda x = lambda(alpha x) = lambda z; tag 8$



                            thus,



                            $(mu - lambda)z = 0 Longrightarrow mu = lambda, tag 9$



                            and we see that $lambda ne 0$ is the only non-zero eigenvalue of $A$.



                            Last but by no means least, if



                            $lambda = y^ast x ne 0, tag10$



                            then as we have seen above, $lambda$ is the sole non-vanishing eigenvalue of $A = xy^ast$, and furthermore, $lambda$ is of geometric and algebraic multiplicity $1$; we can see that this is true via the observation that the kernel of the linear map



                            $phi_y: V to Bbb K, ; phi_y(z) = y^ast z in Bbb K, ; z in V, tag11$



                            satisfies



                            $dim ker phi_y = n - 1, tag12$



                            where



                            $dim_Bbb K V = n; tag13$



                            therefore there exist $n - 1$ linearly independent vectors



                            $w_1, w_2, ldots, w_n - 1 in ker phi_y, tag14$



                            each of which satisfies



                            $y^ast w_i = phi_y(w_i) = 0, ; 1 le i le n - 1; tag15$



                            then



                            $Aw_i = (xy^ast)w_i = x(y^ast w_i) = 0, 1 le i le n - 1; tag16$



                            from (11)-(16) we see that the dimension of the kernel of $A$, that is, the dimension of the $0$-eigenspace, is $n - 1$; from this fact we conclude that the dimension of the $lambda$-eigenspace is precisely $1$, i.e., $lambda$ is of geometric and algebraic multiplicity $1$ as asserted above.



                            We may now build the matrix $S$ as



                            $S = [x ;w_1 ; w_2 ; ldots ; w_n - 1]; tag17$



                            that is, the columns of $S$ are the vectors $x$, $w_1$, $w_2$, and so forth; then



                            $AS = [Ax ; Aw_1 ; Aw_2 ; ldots ; Aw_n - 1] = [(y^ast x)x ; 0 ; 0 ; ldots ; 0]; tag18$



                            now the $w_i$ are linearly independent from one another, and $x$ is linearly independent from the $w_i$ since they are eigenvectors associated to different eigenvalues; thus the matrix $S$ is non-singular and we may form $S^-1$ such that



                            $S^-1S = S^-1[x ;w_1 ; w_2 ; ldots ; w_n - 1] = [S^-1x ; S^-1w_1 ; S^-1w_2 ; ldots ; S^-1w_n - 1] = I; tag19$



                            from (18) and (19) we infer that



                            $S^-1AS = [S^-1(y^ast x)x ; S^-10 ; S^-10 ; ldots ; S^-10] = [y^ast x S^-1x ; 0 ; 0 ; ldots ; 0]; tag20$



                            now inspection of (19) reveals that



                            $S^-1x = e_1 = beginpmatrix 1 \ 0 \ 0 \ vdots \ 0 endpmatrix; tag21$



                            therefore (20) becomes



                            $S^-1AS = [y^ast x e_1 ; 0 ; 0 ; ldots ; 0], tag22$



                            which has only one non-zero entry, $y^ast x$, in the top left-hand corner. It is manifestly diagonal and every diagonal entry besides $y^ast x$ is zero, as we expect based on what we have uncovered regarding the eigenvalues of $A$.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Mar 11 at 18:46









                            Robert LewisRobert Lewis

                            48.1k23067




                            48.1k23067



























                                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%2f3137885%2fshow-some-eigenvalue-properties-for-a-xy%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

                                Moe incest case Sentencing See also References Navigation menu"'Australian Josef Fritzl' fathered four children by daughter""Small town recoils in horror at 'Australian Fritzl' incest case""Victorian rape allegations echo Fritzl case - Just In (Australian Broadcasting Corporation)""Incest father jailed for 22 years""'Australian Fritzl' sentenced to 22 years in prison for abusing daughter for three decades""RSJ v The Queen"

                                Who is our nearest planetary neighbor, on average?Santa Claus flies to the South PoleSeven Spheres of Unequal Mass, a weighing problem with a twistDescribe a large integerFast Mental Calculation of $7.5^7$Math in Space (without the help of celebrities)Find the value of $bigstar$: Puzzle 8 - InequalityWho drinks beer while running anyway?A Crucial DeliveryRanking And AverageHow long will my money last at roulette?

                                Daza language Contents Vocabulary Phonology References External links Navigation menudaza1242Daza"Dazaga"eeee178086576