Understanding the absolute value of a matrix.












6












$begingroup$


I believe that the absolute value of a matrix is defined as
$$
|A|=sqrt{A^{dagger}A} .
$$
But the square root of a matrix is not unique wikipedia gives a list of examples to illustrate this.



To understand this, how does one work out the absolute value of:
$$
A=begin{pmatrix}1 & 0\0 & -1end{pmatrix}
$$
Clearly $A^{dagger}=A$ so $|A|=sqrt{A^2}$, but this is not necessarily $A$. I want to pick the identity in this case, since then the eigenvalues of $|A|$ are both 1 (and they were $pm1$ for $A$). But mathematics is not about what I want. So what is $|A|$? Is it well-defined? And how do I do this operation in general, since my application for this is of course far more complex.










share|cite|improve this question











$endgroup$












  • $begingroup$
    Does this from the wikipedia page you link to help? "However, a positive-semidefinite matrix has precisely one positive-semidefinite square root, which can be called its principal square root."
    $endgroup$
    – Ethan Bolker
    Jun 23 '18 at 13:28










  • $begingroup$
    yes if $|A|$ is "the positive definite square root $sqrt{A^{dagger}A}$", but I have not seen that stated in the papers I read. Perhaps it is obvious in the mathematical community?
    $endgroup$
    – maor
    Jun 23 '18 at 13:34








  • 1




    $begingroup$
    I think it's safe to assume that's what's meant. You can always state clearly in your work that that is how you assume others are using it, and wait for an objection that will never come.
    $endgroup$
    – Ethan Bolker
    Jun 23 '18 at 13:36






  • 1




    $begingroup$
    For a positive diagonal matrix, the square root is simply the positive diagonal matrix of square roots of diagonal terms.
    $endgroup$
    – Mohammad Riazi-Kermani
    Jun 23 '18 at 13:47










  • $begingroup$
    Thanks you guys, I take it that $|A|$ is the positive square root (makes sense) and that then it is well defined for positive semidefinite matrices. Otherwise possibly not well defined. But that is alright since I was dealing with positive semidefinite matrices in my case.
    $endgroup$
    – maor
    Jun 25 '18 at 14:22
















6












$begingroup$


I believe that the absolute value of a matrix is defined as
$$
|A|=sqrt{A^{dagger}A} .
$$
But the square root of a matrix is not unique wikipedia gives a list of examples to illustrate this.



To understand this, how does one work out the absolute value of:
$$
A=begin{pmatrix}1 & 0\0 & -1end{pmatrix}
$$
Clearly $A^{dagger}=A$ so $|A|=sqrt{A^2}$, but this is not necessarily $A$. I want to pick the identity in this case, since then the eigenvalues of $|A|$ are both 1 (and they were $pm1$ for $A$). But mathematics is not about what I want. So what is $|A|$? Is it well-defined? And how do I do this operation in general, since my application for this is of course far more complex.










share|cite|improve this question











$endgroup$












  • $begingroup$
    Does this from the wikipedia page you link to help? "However, a positive-semidefinite matrix has precisely one positive-semidefinite square root, which can be called its principal square root."
    $endgroup$
    – Ethan Bolker
    Jun 23 '18 at 13:28










  • $begingroup$
    yes if $|A|$ is "the positive definite square root $sqrt{A^{dagger}A}$", but I have not seen that stated in the papers I read. Perhaps it is obvious in the mathematical community?
    $endgroup$
    – maor
    Jun 23 '18 at 13:34








  • 1




    $begingroup$
    I think it's safe to assume that's what's meant. You can always state clearly in your work that that is how you assume others are using it, and wait for an objection that will never come.
    $endgroup$
    – Ethan Bolker
    Jun 23 '18 at 13:36






  • 1




    $begingroup$
    For a positive diagonal matrix, the square root is simply the positive diagonal matrix of square roots of diagonal terms.
    $endgroup$
    – Mohammad Riazi-Kermani
    Jun 23 '18 at 13:47










  • $begingroup$
    Thanks you guys, I take it that $|A|$ is the positive square root (makes sense) and that then it is well defined for positive semidefinite matrices. Otherwise possibly not well defined. But that is alright since I was dealing with positive semidefinite matrices in my case.
    $endgroup$
    – maor
    Jun 25 '18 at 14:22














6












6








6





$begingroup$


I believe that the absolute value of a matrix is defined as
$$
|A|=sqrt{A^{dagger}A} .
$$
But the square root of a matrix is not unique wikipedia gives a list of examples to illustrate this.



To understand this, how does one work out the absolute value of:
$$
A=begin{pmatrix}1 & 0\0 & -1end{pmatrix}
$$
Clearly $A^{dagger}=A$ so $|A|=sqrt{A^2}$, but this is not necessarily $A$. I want to pick the identity in this case, since then the eigenvalues of $|A|$ are both 1 (and they were $pm1$ for $A$). But mathematics is not about what I want. So what is $|A|$? Is it well-defined? And how do I do this operation in general, since my application for this is of course far more complex.










share|cite|improve this question











$endgroup$




I believe that the absolute value of a matrix is defined as
$$
|A|=sqrt{A^{dagger}A} .
$$
But the square root of a matrix is not unique wikipedia gives a list of examples to illustrate this.



To understand this, how does one work out the absolute value of:
$$
A=begin{pmatrix}1 & 0\0 & -1end{pmatrix}
$$
Clearly $A^{dagger}=A$ so $|A|=sqrt{A^2}$, but this is not necessarily $A$. I want to pick the identity in this case, since then the eigenvalues of $|A|$ are both 1 (and they were $pm1$ for $A$). But mathematics is not about what I want. So what is $|A|$? Is it well-defined? And how do I do this operation in general, since my application for this is of course far more complex.







linear-algebra matrices absolute-value






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jun 23 '18 at 13:46







maor

















asked Jun 23 '18 at 13:25









maormaor

385




385












  • $begingroup$
    Does this from the wikipedia page you link to help? "However, a positive-semidefinite matrix has precisely one positive-semidefinite square root, which can be called its principal square root."
    $endgroup$
    – Ethan Bolker
    Jun 23 '18 at 13:28










  • $begingroup$
    yes if $|A|$ is "the positive definite square root $sqrt{A^{dagger}A}$", but I have not seen that stated in the papers I read. Perhaps it is obvious in the mathematical community?
    $endgroup$
    – maor
    Jun 23 '18 at 13:34








  • 1




    $begingroup$
    I think it's safe to assume that's what's meant. You can always state clearly in your work that that is how you assume others are using it, and wait for an objection that will never come.
    $endgroup$
    – Ethan Bolker
    Jun 23 '18 at 13:36






  • 1




    $begingroup$
    For a positive diagonal matrix, the square root is simply the positive diagonal matrix of square roots of diagonal terms.
    $endgroup$
    – Mohammad Riazi-Kermani
    Jun 23 '18 at 13:47










  • $begingroup$
    Thanks you guys, I take it that $|A|$ is the positive square root (makes sense) and that then it is well defined for positive semidefinite matrices. Otherwise possibly not well defined. But that is alright since I was dealing with positive semidefinite matrices in my case.
    $endgroup$
    – maor
    Jun 25 '18 at 14:22


















  • $begingroup$
    Does this from the wikipedia page you link to help? "However, a positive-semidefinite matrix has precisely one positive-semidefinite square root, which can be called its principal square root."
    $endgroup$
    – Ethan Bolker
    Jun 23 '18 at 13:28










  • $begingroup$
    yes if $|A|$ is "the positive definite square root $sqrt{A^{dagger}A}$", but I have not seen that stated in the papers I read. Perhaps it is obvious in the mathematical community?
    $endgroup$
    – maor
    Jun 23 '18 at 13:34








  • 1




    $begingroup$
    I think it's safe to assume that's what's meant. You can always state clearly in your work that that is how you assume others are using it, and wait for an objection that will never come.
    $endgroup$
    – Ethan Bolker
    Jun 23 '18 at 13:36






  • 1




    $begingroup$
    For a positive diagonal matrix, the square root is simply the positive diagonal matrix of square roots of diagonal terms.
    $endgroup$
    – Mohammad Riazi-Kermani
    Jun 23 '18 at 13:47










  • $begingroup$
    Thanks you guys, I take it that $|A|$ is the positive square root (makes sense) and that then it is well defined for positive semidefinite matrices. Otherwise possibly not well defined. But that is alright since I was dealing with positive semidefinite matrices in my case.
    $endgroup$
    – maor
    Jun 25 '18 at 14:22
















$begingroup$
Does this from the wikipedia page you link to help? "However, a positive-semidefinite matrix has precisely one positive-semidefinite square root, which can be called its principal square root."
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:28




$begingroup$
Does this from the wikipedia page you link to help? "However, a positive-semidefinite matrix has precisely one positive-semidefinite square root, which can be called its principal square root."
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:28












$begingroup$
yes if $|A|$ is "the positive definite square root $sqrt{A^{dagger}A}$", but I have not seen that stated in the papers I read. Perhaps it is obvious in the mathematical community?
$endgroup$
– maor
Jun 23 '18 at 13:34






$begingroup$
yes if $|A|$ is "the positive definite square root $sqrt{A^{dagger}A}$", but I have not seen that stated in the papers I read. Perhaps it is obvious in the mathematical community?
$endgroup$
– maor
Jun 23 '18 at 13:34






1




1




$begingroup$
I think it's safe to assume that's what's meant. You can always state clearly in your work that that is how you assume others are using it, and wait for an objection that will never come.
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:36




$begingroup$
I think it's safe to assume that's what's meant. You can always state clearly in your work that that is how you assume others are using it, and wait for an objection that will never come.
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:36




1




1




$begingroup$
For a positive diagonal matrix, the square root is simply the positive diagonal matrix of square roots of diagonal terms.
$endgroup$
– Mohammad Riazi-Kermani
Jun 23 '18 at 13:47




$begingroup$
For a positive diagonal matrix, the square root is simply the positive diagonal matrix of square roots of diagonal terms.
$endgroup$
– Mohammad Riazi-Kermani
Jun 23 '18 at 13:47












$begingroup$
Thanks you guys, I take it that $|A|$ is the positive square root (makes sense) and that then it is well defined for positive semidefinite matrices. Otherwise possibly not well defined. But that is alright since I was dealing with positive semidefinite matrices in my case.
$endgroup$
– maor
Jun 25 '18 at 14:22




$begingroup$
Thanks you guys, I take it that $|A|$ is the positive square root (makes sense) and that then it is well defined for positive semidefinite matrices. Otherwise possibly not well defined. But that is alright since I was dealing with positive semidefinite matrices in my case.
$endgroup$
– maor
Jun 25 '18 at 14:22










1 Answer
1






active

oldest

votes


















0












$begingroup$

If $D$ is a diagonal matrix with positive terms, then the positive square root, $sqrt D$ is uniquely determined by the diagonal matrix of positive square roots of diagonal terms.



If a matrix $A$ is diagonalizable with positive eigenvalues then $A= P^{-1}DP$ and we can define its positive square root as $ sqrt A= P^{-1} sqrt D P$



Thus there is no confusion in finding the absolute value if $A$ if we consider only positive square roots.






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%2f2829437%2funderstanding-the-absolute-value-of-a-matrix%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









    0












    $begingroup$

    If $D$ is a diagonal matrix with positive terms, then the positive square root, $sqrt D$ is uniquely determined by the diagonal matrix of positive square roots of diagonal terms.



    If a matrix $A$ is diagonalizable with positive eigenvalues then $A= P^{-1}DP$ and we can define its positive square root as $ sqrt A= P^{-1} sqrt D P$



    Thus there is no confusion in finding the absolute value if $A$ if we consider only positive square roots.






    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      If $D$ is a diagonal matrix with positive terms, then the positive square root, $sqrt D$ is uniquely determined by the diagonal matrix of positive square roots of diagonal terms.



      If a matrix $A$ is diagonalizable with positive eigenvalues then $A= P^{-1}DP$ and we can define its positive square root as $ sqrt A= P^{-1} sqrt D P$



      Thus there is no confusion in finding the absolute value if $A$ if we consider only positive square roots.






      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        If $D$ is a diagonal matrix with positive terms, then the positive square root, $sqrt D$ is uniquely determined by the diagonal matrix of positive square roots of diagonal terms.



        If a matrix $A$ is diagonalizable with positive eigenvalues then $A= P^{-1}DP$ and we can define its positive square root as $ sqrt A= P^{-1} sqrt D P$



        Thus there is no confusion in finding the absolute value if $A$ if we consider only positive square roots.






        share|cite|improve this answer









        $endgroup$



        If $D$ is a diagonal matrix with positive terms, then the positive square root, $sqrt D$ is uniquely determined by the diagonal matrix of positive square roots of diagonal terms.



        If a matrix $A$ is diagonalizable with positive eigenvalues then $A= P^{-1}DP$ and we can define its positive square root as $ sqrt A= P^{-1} sqrt D P$



        Thus there is no confusion in finding the absolute value if $A$ if we consider only positive square roots.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jun 23 '18 at 13:56









        Mohammad Riazi-KermaniMohammad Riazi-Kermani

        41.4k42061




        41.4k42061






























            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%2f2829437%2funderstanding-the-absolute-value-of-a-matrix%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

            An IMO inspired problem

            Management

            Has there ever been an instance of an active nuclear power plant within or near a war zone?