Is there an orthogonal matrix that is not unitary?











up vote
3
down vote

favorite
2












I could find a example of a unitary matrix such that is not orthogonal, thats simple in $mathbb{C}$, but for this exercise of a orthogonal that is not unitary i realize that is possible just on $mathbb{C}$ because all orthogonal matrix on $mathbb{R}$ is unitary, so anyone have a exemple of this case?










share|cite|improve this question




















  • 2




    Just to be clear: you're asking for a matrix $A$ with complex entries for which $AA^T = I$, but $AA^* neq I$. Is that correct?
    – Omnomnomnom
    Feb 16 '16 at 20:19










  • yes, exactly, can u help?
    – Eduardo Silva
    Feb 16 '16 at 20:23






  • 3




    Note that Omnomnomnom's clarification is very important: if a matrix $A$ with real entries satisfies $A A^T=I$ then certainly $A A^*=I$ (since $A^*=A^T$).
    – Ian
    Feb 16 '16 at 20:38

















up vote
3
down vote

favorite
2












I could find a example of a unitary matrix such that is not orthogonal, thats simple in $mathbb{C}$, but for this exercise of a orthogonal that is not unitary i realize that is possible just on $mathbb{C}$ because all orthogonal matrix on $mathbb{R}$ is unitary, so anyone have a exemple of this case?










share|cite|improve this question




















  • 2




    Just to be clear: you're asking for a matrix $A$ with complex entries for which $AA^T = I$, but $AA^* neq I$. Is that correct?
    – Omnomnomnom
    Feb 16 '16 at 20:19










  • yes, exactly, can u help?
    – Eduardo Silva
    Feb 16 '16 at 20:23






  • 3




    Note that Omnomnomnom's clarification is very important: if a matrix $A$ with real entries satisfies $A A^T=I$ then certainly $A A^*=I$ (since $A^*=A^T$).
    – Ian
    Feb 16 '16 at 20:38















up vote
3
down vote

favorite
2









up vote
3
down vote

favorite
2






2





I could find a example of a unitary matrix such that is not orthogonal, thats simple in $mathbb{C}$, but for this exercise of a orthogonal that is not unitary i realize that is possible just on $mathbb{C}$ because all orthogonal matrix on $mathbb{R}$ is unitary, so anyone have a exemple of this case?










share|cite|improve this question















I could find a example of a unitary matrix such that is not orthogonal, thats simple in $mathbb{C}$, but for this exercise of a orthogonal that is not unitary i realize that is possible just on $mathbb{C}$ because all orthogonal matrix on $mathbb{R}$ is unitary, so anyone have a exemple of this case?







linear-algebra matrices






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Feb 16 '16 at 20:16









John B

12.1k51740




12.1k51740










asked Feb 16 '16 at 20:11









Eduardo Silva

67739




67739








  • 2




    Just to be clear: you're asking for a matrix $A$ with complex entries for which $AA^T = I$, but $AA^* neq I$. Is that correct?
    – Omnomnomnom
    Feb 16 '16 at 20:19










  • yes, exactly, can u help?
    – Eduardo Silva
    Feb 16 '16 at 20:23






  • 3




    Note that Omnomnomnom's clarification is very important: if a matrix $A$ with real entries satisfies $A A^T=I$ then certainly $A A^*=I$ (since $A^*=A^T$).
    – Ian
    Feb 16 '16 at 20:38
















  • 2




    Just to be clear: you're asking for a matrix $A$ with complex entries for which $AA^T = I$, but $AA^* neq I$. Is that correct?
    – Omnomnomnom
    Feb 16 '16 at 20:19










  • yes, exactly, can u help?
    – Eduardo Silva
    Feb 16 '16 at 20:23






  • 3




    Note that Omnomnomnom's clarification is very important: if a matrix $A$ with real entries satisfies $A A^T=I$ then certainly $A A^*=I$ (since $A^*=A^T$).
    – Ian
    Feb 16 '16 at 20:38










2




2




Just to be clear: you're asking for a matrix $A$ with complex entries for which $AA^T = I$, but $AA^* neq I$. Is that correct?
– Omnomnomnom
Feb 16 '16 at 20:19




Just to be clear: you're asking for a matrix $A$ with complex entries for which $AA^T = I$, but $AA^* neq I$. Is that correct?
– Omnomnomnom
Feb 16 '16 at 20:19












yes, exactly, can u help?
– Eduardo Silva
Feb 16 '16 at 20:23




yes, exactly, can u help?
– Eduardo Silva
Feb 16 '16 at 20:23




3




3




Note that Omnomnomnom's clarification is very important: if a matrix $A$ with real entries satisfies $A A^T=I$ then certainly $A A^*=I$ (since $A^*=A^T$).
– Ian
Feb 16 '16 at 20:38






Note that Omnomnomnom's clarification is very important: if a matrix $A$ with real entries satisfies $A A^T=I$ then certainly $A A^*=I$ (since $A^*=A^T$).
– Ian
Feb 16 '16 at 20:38












2 Answers
2






active

oldest

votes

















up vote
7
down vote



accepted










The matrix
$$
A = pmatrix{
sqrt{2}&i\
i&-sqrt{2}
}
$$

satisfies $AA^T = I$ but
$$
AA^* = pmatrix{5&-2isqrt{2}\2isqrt{2}&5}
$$






share|cite|improve this answer























  • Almost irrelevant, but you missed a factor of $2$ in the terms outside the main diagonal, didn't you? My calculations give $-2isqrt{2}$ and $2isqrt{2}$
    – Danilo Gregorin
    Nov 20 at 18:46










  • @DaniloGregorin well spotted
    – Omnomnomnom
    Nov 20 at 19:51


















up vote
0
down vote













Late remark. In general, if $K$ is complex skew-symmetric, then $Q=e^{zK}$ is complex orthogonal for every $zinmathbb C$. When $Kne0$, since $e^{zK}$ is holomorphic and its power series expansion has some nonzero high-order terms, $e^{zK}$ is not a constant function. Therefore it cannot be real all the time (otherwise it will fail to satisfy Cauchy-Riemann equations). Pick a $z$ such that $Q=e^{zK}$ is not real. Then $Q$ is not unitary, because all unitary orthogonal matrices are real.






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
    });


    }
    });














     

    draft saved


    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1658707%2fis-there-an-orthogonal-matrix-that-is-not-unitary%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    7
    down vote



    accepted










    The matrix
    $$
    A = pmatrix{
    sqrt{2}&i\
    i&-sqrt{2}
    }
    $$

    satisfies $AA^T = I$ but
    $$
    AA^* = pmatrix{5&-2isqrt{2}\2isqrt{2}&5}
    $$






    share|cite|improve this answer























    • Almost irrelevant, but you missed a factor of $2$ in the terms outside the main diagonal, didn't you? My calculations give $-2isqrt{2}$ and $2isqrt{2}$
      – Danilo Gregorin
      Nov 20 at 18:46










    • @DaniloGregorin well spotted
      – Omnomnomnom
      Nov 20 at 19:51















    up vote
    7
    down vote



    accepted










    The matrix
    $$
    A = pmatrix{
    sqrt{2}&i\
    i&-sqrt{2}
    }
    $$

    satisfies $AA^T = I$ but
    $$
    AA^* = pmatrix{5&-2isqrt{2}\2isqrt{2}&5}
    $$






    share|cite|improve this answer























    • Almost irrelevant, but you missed a factor of $2$ in the terms outside the main diagonal, didn't you? My calculations give $-2isqrt{2}$ and $2isqrt{2}$
      – Danilo Gregorin
      Nov 20 at 18:46










    • @DaniloGregorin well spotted
      – Omnomnomnom
      Nov 20 at 19:51













    up vote
    7
    down vote



    accepted







    up vote
    7
    down vote



    accepted






    The matrix
    $$
    A = pmatrix{
    sqrt{2}&i\
    i&-sqrt{2}
    }
    $$

    satisfies $AA^T = I$ but
    $$
    AA^* = pmatrix{5&-2isqrt{2}\2isqrt{2}&5}
    $$






    share|cite|improve this answer














    The matrix
    $$
    A = pmatrix{
    sqrt{2}&i\
    i&-sqrt{2}
    }
    $$

    satisfies $AA^T = I$ but
    $$
    AA^* = pmatrix{5&-2isqrt{2}\2isqrt{2}&5}
    $$







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited Nov 20 at 19:51

























    answered Feb 16 '16 at 20:36









    Omnomnomnom

    125k788176




    125k788176












    • Almost irrelevant, but you missed a factor of $2$ in the terms outside the main diagonal, didn't you? My calculations give $-2isqrt{2}$ and $2isqrt{2}$
      – Danilo Gregorin
      Nov 20 at 18:46










    • @DaniloGregorin well spotted
      – Omnomnomnom
      Nov 20 at 19:51


















    • Almost irrelevant, but you missed a factor of $2$ in the terms outside the main diagonal, didn't you? My calculations give $-2isqrt{2}$ and $2isqrt{2}$
      – Danilo Gregorin
      Nov 20 at 18:46










    • @DaniloGregorin well spotted
      – Omnomnomnom
      Nov 20 at 19:51
















    Almost irrelevant, but you missed a factor of $2$ in the terms outside the main diagonal, didn't you? My calculations give $-2isqrt{2}$ and $2isqrt{2}$
    – Danilo Gregorin
    Nov 20 at 18:46




    Almost irrelevant, but you missed a factor of $2$ in the terms outside the main diagonal, didn't you? My calculations give $-2isqrt{2}$ and $2isqrt{2}$
    – Danilo Gregorin
    Nov 20 at 18:46












    @DaniloGregorin well spotted
    – Omnomnomnom
    Nov 20 at 19:51




    @DaniloGregorin well spotted
    – Omnomnomnom
    Nov 20 at 19:51










    up vote
    0
    down vote













    Late remark. In general, if $K$ is complex skew-symmetric, then $Q=e^{zK}$ is complex orthogonal for every $zinmathbb C$. When $Kne0$, since $e^{zK}$ is holomorphic and its power series expansion has some nonzero high-order terms, $e^{zK}$ is not a constant function. Therefore it cannot be real all the time (otherwise it will fail to satisfy Cauchy-Riemann equations). Pick a $z$ such that $Q=e^{zK}$ is not real. Then $Q$ is not unitary, because all unitary orthogonal matrices are real.






    share|cite|improve this answer

























      up vote
      0
      down vote













      Late remark. In general, if $K$ is complex skew-symmetric, then $Q=e^{zK}$ is complex orthogonal for every $zinmathbb C$. When $Kne0$, since $e^{zK}$ is holomorphic and its power series expansion has some nonzero high-order terms, $e^{zK}$ is not a constant function. Therefore it cannot be real all the time (otherwise it will fail to satisfy Cauchy-Riemann equations). Pick a $z$ such that $Q=e^{zK}$ is not real. Then $Q$ is not unitary, because all unitary orthogonal matrices are real.






      share|cite|improve this answer























        up vote
        0
        down vote










        up vote
        0
        down vote









        Late remark. In general, if $K$ is complex skew-symmetric, then $Q=e^{zK}$ is complex orthogonal for every $zinmathbb C$. When $Kne0$, since $e^{zK}$ is holomorphic and its power series expansion has some nonzero high-order terms, $e^{zK}$ is not a constant function. Therefore it cannot be real all the time (otherwise it will fail to satisfy Cauchy-Riemann equations). Pick a $z$ such that $Q=e^{zK}$ is not real. Then $Q$ is not unitary, because all unitary orthogonal matrices are real.






        share|cite|improve this answer












        Late remark. In general, if $K$ is complex skew-symmetric, then $Q=e^{zK}$ is complex orthogonal for every $zinmathbb C$. When $Kne0$, since $e^{zK}$ is holomorphic and its power series expansion has some nonzero high-order terms, $e^{zK}$ is not a constant function. Therefore it cannot be real all the time (otherwise it will fail to satisfy Cauchy-Riemann equations). Pick a $z$ such that $Q=e^{zK}$ is not real. Then $Q$ is not unitary, because all unitary orthogonal matrices are real.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 21 at 5:01









        user1551

        70.2k566125




        70.2k566125






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1658707%2fis-there-an-orthogonal-matrix-that-is-not-unitary%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

            Wiesbaden

            Marschland

            Dieringhausen