matrices and determinant











up vote
2
down vote

favorite













Let $Ain mathcal{M}_{n,p}(mathbb{R})$ and $G={}^{t!}AA$




We assume that $operatorname{rk}(A)=p$



To show that $det(G)>0$ the argument provided is $det G=(det A)^2>0$, unfortunately I don't understand, because for me this argument holds only if $Ain mathcal{M}_{p}(mathbb{R})$ (a square matrix)










share|cite|improve this question
























  • $G$ doesn't make sense... I'm not familiar with putting the transpose on the left of the matrix. Do you mean $G=A^tA$? Also how do you know that $det(A)neq 0$? Finally, what is your question?
    – Squirtle
    Nov 16 at 22:06












  • What is $rg(A)$?
    – Robert Lewis
    Nov 16 at 22:13






  • 1




    sorry but $$rg(A)=p$$
    – Stu
    Nov 16 at 22:14










  • Google "Cauchy-Binet identity".
    – darij grinberg
    Nov 16 at 22:14






  • 2




    @Stu The statement is false, unless you assume $nle p$. For $n>p$, the matrix $G$ is not invertible, so its determinant is $0$. If the rank of $A$ is $p$ and $nle p$, then $G$ is indeed invertible.
    – egreg
    Nov 16 at 22:24















up vote
2
down vote

favorite













Let $Ain mathcal{M}_{n,p}(mathbb{R})$ and $G={}^{t!}AA$




We assume that $operatorname{rk}(A)=p$



To show that $det(G)>0$ the argument provided is $det G=(det A)^2>0$, unfortunately I don't understand, because for me this argument holds only if $Ain mathcal{M}_{p}(mathbb{R})$ (a square matrix)










share|cite|improve this question
























  • $G$ doesn't make sense... I'm not familiar with putting the transpose on the left of the matrix. Do you mean $G=A^tA$? Also how do you know that $det(A)neq 0$? Finally, what is your question?
    – Squirtle
    Nov 16 at 22:06












  • What is $rg(A)$?
    – Robert Lewis
    Nov 16 at 22:13






  • 1




    sorry but $$rg(A)=p$$
    – Stu
    Nov 16 at 22:14










  • Google "Cauchy-Binet identity".
    – darij grinberg
    Nov 16 at 22:14






  • 2




    @Stu The statement is false, unless you assume $nle p$. For $n>p$, the matrix $G$ is not invertible, so its determinant is $0$. If the rank of $A$ is $p$ and $nle p$, then $G$ is indeed invertible.
    – egreg
    Nov 16 at 22:24













up vote
2
down vote

favorite









up vote
2
down vote

favorite












Let $Ain mathcal{M}_{n,p}(mathbb{R})$ and $G={}^{t!}AA$




We assume that $operatorname{rk}(A)=p$



To show that $det(G)>0$ the argument provided is $det G=(det A)^2>0$, unfortunately I don't understand, because for me this argument holds only if $Ain mathcal{M}_{p}(mathbb{R})$ (a square matrix)










share|cite|improve this question
















Let $Ain mathcal{M}_{n,p}(mathbb{R})$ and $G={}^{t!}AA$




We assume that $operatorname{rk}(A)=p$



To show that $det(G)>0$ the argument provided is $det G=(det A)^2>0$, unfortunately I don't understand, because for me this argument holds only if $Ain mathcal{M}_{p}(mathbb{R})$ (a square matrix)







linear-algebra determinant






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 16 at 22:20









egreg

174k1383198




174k1383198










asked Nov 16 at 22:03









Stu

1,1011313




1,1011313












  • $G$ doesn't make sense... I'm not familiar with putting the transpose on the left of the matrix. Do you mean $G=A^tA$? Also how do you know that $det(A)neq 0$? Finally, what is your question?
    – Squirtle
    Nov 16 at 22:06












  • What is $rg(A)$?
    – Robert Lewis
    Nov 16 at 22:13






  • 1




    sorry but $$rg(A)=p$$
    – Stu
    Nov 16 at 22:14










  • Google "Cauchy-Binet identity".
    – darij grinberg
    Nov 16 at 22:14






  • 2




    @Stu The statement is false, unless you assume $nle p$. For $n>p$, the matrix $G$ is not invertible, so its determinant is $0$. If the rank of $A$ is $p$ and $nle p$, then $G$ is indeed invertible.
    – egreg
    Nov 16 at 22:24


















  • $G$ doesn't make sense... I'm not familiar with putting the transpose on the left of the matrix. Do you mean $G=A^tA$? Also how do you know that $det(A)neq 0$? Finally, what is your question?
    – Squirtle
    Nov 16 at 22:06












  • What is $rg(A)$?
    – Robert Lewis
    Nov 16 at 22:13






  • 1




    sorry but $$rg(A)=p$$
    – Stu
    Nov 16 at 22:14










  • Google "Cauchy-Binet identity".
    – darij grinberg
    Nov 16 at 22:14






  • 2




    @Stu The statement is false, unless you assume $nle p$. For $n>p$, the matrix $G$ is not invertible, so its determinant is $0$. If the rank of $A$ is $p$ and $nle p$, then $G$ is indeed invertible.
    – egreg
    Nov 16 at 22:24
















$G$ doesn't make sense... I'm not familiar with putting the transpose on the left of the matrix. Do you mean $G=A^tA$? Also how do you know that $det(A)neq 0$? Finally, what is your question?
– Squirtle
Nov 16 at 22:06






$G$ doesn't make sense... I'm not familiar with putting the transpose on the left of the matrix. Do you mean $G=A^tA$? Also how do you know that $det(A)neq 0$? Finally, what is your question?
– Squirtle
Nov 16 at 22:06














What is $rg(A)$?
– Robert Lewis
Nov 16 at 22:13




What is $rg(A)$?
– Robert Lewis
Nov 16 at 22:13




1




1




sorry but $$rg(A)=p$$
– Stu
Nov 16 at 22:14




sorry but $$rg(A)=p$$
– Stu
Nov 16 at 22:14












Google "Cauchy-Binet identity".
– darij grinberg
Nov 16 at 22:14




Google "Cauchy-Binet identity".
– darij grinberg
Nov 16 at 22:14




2




2




@Stu The statement is false, unless you assume $nle p$. For $n>p$, the matrix $G$ is not invertible, so its determinant is $0$. If the rank of $A$ is $p$ and $nle p$, then $G$ is indeed invertible.
– egreg
Nov 16 at 22:24




@Stu The statement is false, unless you assume $nle p$. For $n>p$, the matrix $G$ is not invertible, so its determinant is $0$. If the rank of $A$ is $p$ and $nle p$, then $G$ is indeed invertible.
– egreg
Nov 16 at 22:24










1 Answer
1






active

oldest

votes

















up vote
3
down vote



accepted










The expression $(det A)^2$ indeed doesn't make sense because $A$ is not necessarily square. As pointed out in a comment, you may use Cauchy-Binet formula to prove the statement. Alternatively, as $A$ has full column rank, if $xinmathbb R^p$ is nonzero, then $Axne0$ and $x^TGx=x^TA^TAx=|Ax|^2>0$. Therefore $G$ is symmetric positive definite and it has a positive determinant.






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%2f3001688%2fmatrices-and-determinant%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
    3
    down vote



    accepted










    The expression $(det A)^2$ indeed doesn't make sense because $A$ is not necessarily square. As pointed out in a comment, you may use Cauchy-Binet formula to prove the statement. Alternatively, as $A$ has full column rank, if $xinmathbb R^p$ is nonzero, then $Axne0$ and $x^TGx=x^TA^TAx=|Ax|^2>0$. Therefore $G$ is symmetric positive definite and it has a positive determinant.






    share|cite|improve this answer

























      up vote
      3
      down vote



      accepted










      The expression $(det A)^2$ indeed doesn't make sense because $A$ is not necessarily square. As pointed out in a comment, you may use Cauchy-Binet formula to prove the statement. Alternatively, as $A$ has full column rank, if $xinmathbb R^p$ is nonzero, then $Axne0$ and $x^TGx=x^TA^TAx=|Ax|^2>0$. Therefore $G$ is symmetric positive definite and it has a positive determinant.






      share|cite|improve this answer























        up vote
        3
        down vote



        accepted







        up vote
        3
        down vote



        accepted






        The expression $(det A)^2$ indeed doesn't make sense because $A$ is not necessarily square. As pointed out in a comment, you may use Cauchy-Binet formula to prove the statement. Alternatively, as $A$ has full column rank, if $xinmathbb R^p$ is nonzero, then $Axne0$ and $x^TGx=x^TA^TAx=|Ax|^2>0$. Therefore $G$ is symmetric positive definite and it has a positive determinant.






        share|cite|improve this answer












        The expression $(det A)^2$ indeed doesn't make sense because $A$ is not necessarily square. As pointed out in a comment, you may use Cauchy-Binet formula to prove the statement. Alternatively, as $A$ has full column rank, if $xinmathbb R^p$ is nonzero, then $Axne0$ and $x^TGx=x^TA^TAx=|Ax|^2>0$. Therefore $G$ is symmetric positive definite and it has a positive determinant.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 17 at 1:45









        user1551

        70.5k566125




        70.5k566125






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3001688%2fmatrices-and-determinant%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

            AnyDesk - Fatal Program Failure

            How to calibrate 16:9 built-in touch-screen to a 4:3 resolution?

            QoS: MAC-Priority for clients behind a repeater