$AA^T = BB^T rightarrow A =BU $

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











up vote
0
down vote

favorite












Is it true that $AA^T = BB^T$ always implies $A =BU $ for some unitary matrix $U$. Or there may exist other scenarios also? All matrices are real
and square.










share|cite|improve this question

















  • 1




    If $A$ is invertible, then $A^T$ is invertible as well and thus $A=BB^T(A^T)^-1=BB^T(A^-1)^T$.
    – zzuussee
    Sep 6 at 10:12










  • Can we make a statement on $A$ which is always true?
    – Shanks
    Sep 6 at 10:16














up vote
0
down vote

favorite












Is it true that $AA^T = BB^T$ always implies $A =BU $ for some unitary matrix $U$. Or there may exist other scenarios also? All matrices are real
and square.










share|cite|improve this question

















  • 1




    If $A$ is invertible, then $A^T$ is invertible as well and thus $A=BB^T(A^T)^-1=BB^T(A^-1)^T$.
    – zzuussee
    Sep 6 at 10:12










  • Can we make a statement on $A$ which is always true?
    – Shanks
    Sep 6 at 10:16












up vote
0
down vote

favorite









up vote
0
down vote

favorite











Is it true that $AA^T = BB^T$ always implies $A =BU $ for some unitary matrix $U$. Or there may exist other scenarios also? All matrices are real
and square.










share|cite|improve this question













Is it true that $AA^T = BB^T$ always implies $A =BU $ for some unitary matrix $U$. Or there may exist other scenarios also? All matrices are real
and square.







matrices matrix-equations matrix-decomposition transpose






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Sep 6 at 10:08









Shanks

17510




17510







  • 1




    If $A$ is invertible, then $A^T$ is invertible as well and thus $A=BB^T(A^T)^-1=BB^T(A^-1)^T$.
    – zzuussee
    Sep 6 at 10:12










  • Can we make a statement on $A$ which is always true?
    – Shanks
    Sep 6 at 10:16












  • 1




    If $A$ is invertible, then $A^T$ is invertible as well and thus $A=BB^T(A^T)^-1=BB^T(A^-1)^T$.
    – zzuussee
    Sep 6 at 10:12










  • Can we make a statement on $A$ which is always true?
    – Shanks
    Sep 6 at 10:16







1




1




If $A$ is invertible, then $A^T$ is invertible as well and thus $A=BB^T(A^T)^-1=BB^T(A^-1)^T$.
– zzuussee
Sep 6 at 10:12




If $A$ is invertible, then $A^T$ is invertible as well and thus $A=BB^T(A^T)^-1=BB^T(A^-1)^T$.
– zzuussee
Sep 6 at 10:12












Can we make a statement on $A$ which is always true?
– Shanks
Sep 6 at 10:16




Can we make a statement on $A$ which is always true?
– Shanks
Sep 6 at 10:16










1 Answer
1






active

oldest

votes

















up vote
1
down vote













This should work in general, although I think it is overkill if $A$ and $B$ are invertible:



The entry at position $(i,j)$ of $AA^T$ is the scalar product of the $i$th row of $A$ with the $j$th row. So the equality of these matrices shows that these scalar products are always the same, both for the rows of $A$ and the rows of $B$. As the scalar product is bilinear, we can extend this result to sums and coefficients.

This gives us a linear map $$varphi : rs(A) to rs(B),$$
where $rs$ denotes the row space such that $varphi$ is compatible with the scalar product. Using that the zero vector is the only vector of length $0$, you can show that $varphi$ is bijective, i.e. an isometry.



Now using a real version of Witt's theorem, you can extend $varphi$ to an isometry $Phi$ on the whole space. But every isometry $Phi$ on the whole space is given by an orthogonal matrix (or a unitary matrix with real entries if you want).






share|cite|improve this answer




















    Your Answer




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

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

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

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );













     

    draft saved


    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2907300%2faat-bbt-rightarrow-a-bu%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    1
    down vote













    This should work in general, although I think it is overkill if $A$ and $B$ are invertible:



    The entry at position $(i,j)$ of $AA^T$ is the scalar product of the $i$th row of $A$ with the $j$th row. So the equality of these matrices shows that these scalar products are always the same, both for the rows of $A$ and the rows of $B$. As the scalar product is bilinear, we can extend this result to sums and coefficients.

    This gives us a linear map $$varphi : rs(A) to rs(B),$$
    where $rs$ denotes the row space such that $varphi$ is compatible with the scalar product. Using that the zero vector is the only vector of length $0$, you can show that $varphi$ is bijective, i.e. an isometry.



    Now using a real version of Witt's theorem, you can extend $varphi$ to an isometry $Phi$ on the whole space. But every isometry $Phi$ on the whole space is given by an orthogonal matrix (or a unitary matrix with real entries if you want).






    share|cite|improve this answer
























      up vote
      1
      down vote













      This should work in general, although I think it is overkill if $A$ and $B$ are invertible:



      The entry at position $(i,j)$ of $AA^T$ is the scalar product of the $i$th row of $A$ with the $j$th row. So the equality of these matrices shows that these scalar products are always the same, both for the rows of $A$ and the rows of $B$. As the scalar product is bilinear, we can extend this result to sums and coefficients.

      This gives us a linear map $$varphi : rs(A) to rs(B),$$
      where $rs$ denotes the row space such that $varphi$ is compatible with the scalar product. Using that the zero vector is the only vector of length $0$, you can show that $varphi$ is bijective, i.e. an isometry.



      Now using a real version of Witt's theorem, you can extend $varphi$ to an isometry $Phi$ on the whole space. But every isometry $Phi$ on the whole space is given by an orthogonal matrix (or a unitary matrix with real entries if you want).






      share|cite|improve this answer






















        up vote
        1
        down vote










        up vote
        1
        down vote









        This should work in general, although I think it is overkill if $A$ and $B$ are invertible:



        The entry at position $(i,j)$ of $AA^T$ is the scalar product of the $i$th row of $A$ with the $j$th row. So the equality of these matrices shows that these scalar products are always the same, both for the rows of $A$ and the rows of $B$. As the scalar product is bilinear, we can extend this result to sums and coefficients.

        This gives us a linear map $$varphi : rs(A) to rs(B),$$
        where $rs$ denotes the row space such that $varphi$ is compatible with the scalar product. Using that the zero vector is the only vector of length $0$, you can show that $varphi$ is bijective, i.e. an isometry.



        Now using a real version of Witt's theorem, you can extend $varphi$ to an isometry $Phi$ on the whole space. But every isometry $Phi$ on the whole space is given by an orthogonal matrix (or a unitary matrix with real entries if you want).






        share|cite|improve this answer












        This should work in general, although I think it is overkill if $A$ and $B$ are invertible:



        The entry at position $(i,j)$ of $AA^T$ is the scalar product of the $i$th row of $A$ with the $j$th row. So the equality of these matrices shows that these scalar products are always the same, both for the rows of $A$ and the rows of $B$. As the scalar product is bilinear, we can extend this result to sums and coefficients.

        This gives us a linear map $$varphi : rs(A) to rs(B),$$
        where $rs$ denotes the row space such that $varphi$ is compatible with the scalar product. Using that the zero vector is the only vector of length $0$, you can show that $varphi$ is bijective, i.e. an isometry.



        Now using a real version of Witt's theorem, you can extend $varphi$ to an isometry $Phi$ on the whole space. But every isometry $Phi$ on the whole space is given by an orthogonal matrix (or a unitary matrix with real entries if you want).







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Sep 6 at 10:29









        Dirk Liebhold

        4,151117




        4,151117



























             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2907300%2faat-bbt-rightarrow-a-bu%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            How to combine Bézier curves to a surface?

            Carbon dioxide

            Why am i infinitely getting the same tweet with the Twitter Search API?