Relation between trace of matrix $A^*A$ and invertibility of the matrix $A$











up vote
1
down vote

favorite












Is there any relation between $mathrm{tr}(A^*A)$ and invertibility of the matrix $A$? What information about the matrix $A$ does $A^*A$ gives ?
I was confused about this when I came across the following statements:
Is it true that :




  1. If $A$ is invertible, then $mathrm{tr}(A^*A)$ is non zero.

  2. If $|mathrm{tr}(A^*A)|<n^2$, then $|a_{ij}|<1$ for some $i,j$

  3. If $|mathrm{tr}(A^*A)|=0$, then $A$ is a zero matrix.


Can someone help me with the answer? Thank you in advance.










share|cite|improve this question









New contributor




math math is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • What is $A^*$ in context? Complex conjugate of $A$? Conjugate-transpose of $A$?
    – Richard Martin
    yesterday












  • @RichardMartin Conjugate transpose
    – Jean-Claude Arbaut
    yesterday






  • 3




    Hint: $mathrm{tr}(A^*A)=sum_{i,j} |a_{ij}|^2$. @RichardMartin No, it's not the "sum of squares", there is a modulus.
    – Jean-Claude Arbaut
    yesterday

















up vote
1
down vote

favorite












Is there any relation between $mathrm{tr}(A^*A)$ and invertibility of the matrix $A$? What information about the matrix $A$ does $A^*A$ gives ?
I was confused about this when I came across the following statements:
Is it true that :




  1. If $A$ is invertible, then $mathrm{tr}(A^*A)$ is non zero.

  2. If $|mathrm{tr}(A^*A)|<n^2$, then $|a_{ij}|<1$ for some $i,j$

  3. If $|mathrm{tr}(A^*A)|=0$, then $A$ is a zero matrix.


Can someone help me with the answer? Thank you in advance.










share|cite|improve this question









New contributor




math math is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • What is $A^*$ in context? Complex conjugate of $A$? Conjugate-transpose of $A$?
    – Richard Martin
    yesterday












  • @RichardMartin Conjugate transpose
    – Jean-Claude Arbaut
    yesterday






  • 3




    Hint: $mathrm{tr}(A^*A)=sum_{i,j} |a_{ij}|^2$. @RichardMartin No, it's not the "sum of squares", there is a modulus.
    – Jean-Claude Arbaut
    yesterday















up vote
1
down vote

favorite









up vote
1
down vote

favorite











Is there any relation between $mathrm{tr}(A^*A)$ and invertibility of the matrix $A$? What information about the matrix $A$ does $A^*A$ gives ?
I was confused about this when I came across the following statements:
Is it true that :




  1. If $A$ is invertible, then $mathrm{tr}(A^*A)$ is non zero.

  2. If $|mathrm{tr}(A^*A)|<n^2$, then $|a_{ij}|<1$ for some $i,j$

  3. If $|mathrm{tr}(A^*A)|=0$, then $A$ is a zero matrix.


Can someone help me with the answer? Thank you in advance.










share|cite|improve this question









New contributor




math math is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











Is there any relation between $mathrm{tr}(A^*A)$ and invertibility of the matrix $A$? What information about the matrix $A$ does $A^*A$ gives ?
I was confused about this when I came across the following statements:
Is it true that :




  1. If $A$ is invertible, then $mathrm{tr}(A^*A)$ is non zero.

  2. If $|mathrm{tr}(A^*A)|<n^2$, then $|a_{ij}|<1$ for some $i,j$

  3. If $|mathrm{tr}(A^*A)|=0$, then $A$ is a zero matrix.


Can someone help me with the answer? Thank you in advance.







linear-algebra trace






share|cite|improve this question









New contributor




math math is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




math math is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited yesterday









Jean-Claude Arbaut

14.3k63361




14.3k63361






New contributor




math math is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked yesterday









math math

84




84




New contributor




math math is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





math math is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






math math is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












  • What is $A^*$ in context? Complex conjugate of $A$? Conjugate-transpose of $A$?
    – Richard Martin
    yesterday












  • @RichardMartin Conjugate transpose
    – Jean-Claude Arbaut
    yesterday






  • 3




    Hint: $mathrm{tr}(A^*A)=sum_{i,j} |a_{ij}|^2$. @RichardMartin No, it's not the "sum of squares", there is a modulus.
    – Jean-Claude Arbaut
    yesterday




















  • What is $A^*$ in context? Complex conjugate of $A$? Conjugate-transpose of $A$?
    – Richard Martin
    yesterday












  • @RichardMartin Conjugate transpose
    – Jean-Claude Arbaut
    yesterday






  • 3




    Hint: $mathrm{tr}(A^*A)=sum_{i,j} |a_{ij}|^2$. @RichardMartin No, it's not the "sum of squares", there is a modulus.
    – Jean-Claude Arbaut
    yesterday


















What is $A^*$ in context? Complex conjugate of $A$? Conjugate-transpose of $A$?
– Richard Martin
yesterday






What is $A^*$ in context? Complex conjugate of $A$? Conjugate-transpose of $A$?
– Richard Martin
yesterday














@RichardMartin Conjugate transpose
– Jean-Claude Arbaut
yesterday




@RichardMartin Conjugate transpose
– Jean-Claude Arbaut
yesterday




3




3




Hint: $mathrm{tr}(A^*A)=sum_{i,j} |a_{ij}|^2$. @RichardMartin No, it's not the "sum of squares", there is a modulus.
– Jean-Claude Arbaut
yesterday






Hint: $mathrm{tr}(A^*A)=sum_{i,j} |a_{ij}|^2$. @RichardMartin No, it's not the "sum of squares", there is a modulus.
– Jean-Claude Arbaut
yesterday












1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










Let $A in mathbb{C}^{n times n}$ be a complex square matrix.



Since for a complex number $z = x + iy$ we have
$$
z^* z = (x - iy)(x + iy) = x^2 + y^2 = |z|^2,
quad text{where } |z| := sqrt{x^2 + y^2}
$$

Now we have
$$
A^* A =
begin{pmatrix}
a_{1,1}^* & ldots & a_{n,1}^* \
vdots & ddots & vdots \
a_{1,n}^* & ldots & a_{n,n}^*
end{pmatrix}
begin{pmatrix}
a_{1,1} & ldots & a_{1,n} \
vdots & ddots & vdots \
a_{n,1} & ldots & a_{n,n}
end{pmatrix}
= begin{pmatrix}
sum_{i = 1}^{n} a_{i,1} a_{i,1}^* & & ast \
& ddots & \
ast & & sum_{i = 1}^{n} a_{i,n} a_{i,n}^*
end{pmatrix}
$$

therefore we have $operatorname{tr}(A^* A) = sum_{i,j=1}^{n} |a_{i,j}|^2$




  1. Let let $operatorname{tr}(A^*A) = 0$ then $|a_{i,j}|=0$ for all so the $A$ is the zero matrix, so $det(A)=0$, so it's not invertible, proving (1) by contraposition.

  2. From the above sum formula for the trace, since all summands are positive, when the sum is smaller than $n^2$, which is the number of summands, one of the summands has to be smaller than 1.

  3. Proven in (1).






share|cite|improve this answer























    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: 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
    });


    }
    });






    math math is a new contributor. Be nice, and check out our Code of Conduct.










     

    draft saved


    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3004936%2frelation-between-trace-of-matrix-aa-and-invertibility-of-the-matrix-a%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    2
    down vote



    accepted










    Let $A in mathbb{C}^{n times n}$ be a complex square matrix.



    Since for a complex number $z = x + iy$ we have
    $$
    z^* z = (x - iy)(x + iy) = x^2 + y^2 = |z|^2,
    quad text{where } |z| := sqrt{x^2 + y^2}
    $$

    Now we have
    $$
    A^* A =
    begin{pmatrix}
    a_{1,1}^* & ldots & a_{n,1}^* \
    vdots & ddots & vdots \
    a_{1,n}^* & ldots & a_{n,n}^*
    end{pmatrix}
    begin{pmatrix}
    a_{1,1} & ldots & a_{1,n} \
    vdots & ddots & vdots \
    a_{n,1} & ldots & a_{n,n}
    end{pmatrix}
    = begin{pmatrix}
    sum_{i = 1}^{n} a_{i,1} a_{i,1}^* & & ast \
    & ddots & \
    ast & & sum_{i = 1}^{n} a_{i,n} a_{i,n}^*
    end{pmatrix}
    $$

    therefore we have $operatorname{tr}(A^* A) = sum_{i,j=1}^{n} |a_{i,j}|^2$




    1. Let let $operatorname{tr}(A^*A) = 0$ then $|a_{i,j}|=0$ for all so the $A$ is the zero matrix, so $det(A)=0$, so it's not invertible, proving (1) by contraposition.

    2. From the above sum formula for the trace, since all summands are positive, when the sum is smaller than $n^2$, which is the number of summands, one of the summands has to be smaller than 1.

    3. Proven in (1).






    share|cite|improve this answer



























      up vote
      2
      down vote



      accepted










      Let $A in mathbb{C}^{n times n}$ be a complex square matrix.



      Since for a complex number $z = x + iy$ we have
      $$
      z^* z = (x - iy)(x + iy) = x^2 + y^2 = |z|^2,
      quad text{where } |z| := sqrt{x^2 + y^2}
      $$

      Now we have
      $$
      A^* A =
      begin{pmatrix}
      a_{1,1}^* & ldots & a_{n,1}^* \
      vdots & ddots & vdots \
      a_{1,n}^* & ldots & a_{n,n}^*
      end{pmatrix}
      begin{pmatrix}
      a_{1,1} & ldots & a_{1,n} \
      vdots & ddots & vdots \
      a_{n,1} & ldots & a_{n,n}
      end{pmatrix}
      = begin{pmatrix}
      sum_{i = 1}^{n} a_{i,1} a_{i,1}^* & & ast \
      & ddots & \
      ast & & sum_{i = 1}^{n} a_{i,n} a_{i,n}^*
      end{pmatrix}
      $$

      therefore we have $operatorname{tr}(A^* A) = sum_{i,j=1}^{n} |a_{i,j}|^2$




      1. Let let $operatorname{tr}(A^*A) = 0$ then $|a_{i,j}|=0$ for all so the $A$ is the zero matrix, so $det(A)=0$, so it's not invertible, proving (1) by contraposition.

      2. From the above sum formula for the trace, since all summands are positive, when the sum is smaller than $n^2$, which is the number of summands, one of the summands has to be smaller than 1.

      3. Proven in (1).






      share|cite|improve this answer

























        up vote
        2
        down vote



        accepted







        up vote
        2
        down vote



        accepted






        Let $A in mathbb{C}^{n times n}$ be a complex square matrix.



        Since for a complex number $z = x + iy$ we have
        $$
        z^* z = (x - iy)(x + iy) = x^2 + y^2 = |z|^2,
        quad text{where } |z| := sqrt{x^2 + y^2}
        $$

        Now we have
        $$
        A^* A =
        begin{pmatrix}
        a_{1,1}^* & ldots & a_{n,1}^* \
        vdots & ddots & vdots \
        a_{1,n}^* & ldots & a_{n,n}^*
        end{pmatrix}
        begin{pmatrix}
        a_{1,1} & ldots & a_{1,n} \
        vdots & ddots & vdots \
        a_{n,1} & ldots & a_{n,n}
        end{pmatrix}
        = begin{pmatrix}
        sum_{i = 1}^{n} a_{i,1} a_{i,1}^* & & ast \
        & ddots & \
        ast & & sum_{i = 1}^{n} a_{i,n} a_{i,n}^*
        end{pmatrix}
        $$

        therefore we have $operatorname{tr}(A^* A) = sum_{i,j=1}^{n} |a_{i,j}|^2$




        1. Let let $operatorname{tr}(A^*A) = 0$ then $|a_{i,j}|=0$ for all so the $A$ is the zero matrix, so $det(A)=0$, so it's not invertible, proving (1) by contraposition.

        2. From the above sum formula for the trace, since all summands are positive, when the sum is smaller than $n^2$, which is the number of summands, one of the summands has to be smaller than 1.

        3. Proven in (1).






        share|cite|improve this answer














        Let $A in mathbb{C}^{n times n}$ be a complex square matrix.



        Since for a complex number $z = x + iy$ we have
        $$
        z^* z = (x - iy)(x + iy) = x^2 + y^2 = |z|^2,
        quad text{where } |z| := sqrt{x^2 + y^2}
        $$

        Now we have
        $$
        A^* A =
        begin{pmatrix}
        a_{1,1}^* & ldots & a_{n,1}^* \
        vdots & ddots & vdots \
        a_{1,n}^* & ldots & a_{n,n}^*
        end{pmatrix}
        begin{pmatrix}
        a_{1,1} & ldots & a_{1,n} \
        vdots & ddots & vdots \
        a_{n,1} & ldots & a_{n,n}
        end{pmatrix}
        = begin{pmatrix}
        sum_{i = 1}^{n} a_{i,1} a_{i,1}^* & & ast \
        & ddots & \
        ast & & sum_{i = 1}^{n} a_{i,n} a_{i,n}^*
        end{pmatrix}
        $$

        therefore we have $operatorname{tr}(A^* A) = sum_{i,j=1}^{n} |a_{i,j}|^2$




        1. Let let $operatorname{tr}(A^*A) = 0$ then $|a_{i,j}|=0$ for all so the $A$ is the zero matrix, so $det(A)=0$, so it's not invertible, proving (1) by contraposition.

        2. From the above sum formula for the trace, since all summands are positive, when the sum is smaller than $n^2$, which is the number of summands, one of the summands has to be smaller than 1.

        3. Proven in (1).







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited yesterday

























        answered yesterday









        Viktor Glombik

        474220




        474220






















            math math is a new contributor. Be nice, and check out our Code of Conduct.










             

            draft saved


            draft discarded


















            math math is a new contributor. Be nice, and check out our Code of Conduct.













            math math is a new contributor. Be nice, and check out our Code of Conduct.












            math math is a new contributor. Be nice, and check out our Code of Conduct.















             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3004936%2frelation-between-trace-of-matrix-aa-and-invertibility-of-the-matrix-a%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

            Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

            Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

            A Topological Invariant for $pi_3(U(n))$