An identity of determinant

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











up vote
0
down vote

favorite












Let $L$ be an $ntimes n$ matrix and $W= operatornamediag(w_1,cdots,w_n)$.
Show that $det(I-WL)= sum_Ssubset[n] det(L[S])(-1)^w^S$. Where $I$ is the $ntimes n$ identity matrix, $L[S]$ is the principal submatrix of $L$ whose rows and columns are indexed by $S$ and $w^S = prod_iin S w_i$.



I am thinking there is some way to apply Cauchy-Binet in this case.







share|cite|improve this question





















  • First prove that $detleft(I + Aright) = sumlimits_S subseteq left[nright] detleft(Aleft[Sright]right)$ for any $n times n$-matrix $A$. (This is Proposition 1 in math.stackexchange.com/a/1752326 where I give a reference to a detailed proof.) Now apply it to $A = - WL$ and simplify $detleft(left(WLright)left[Sright]right)$ to $left(-1right)^ w^S detleft(Lleft[Sright]right)$ (because $- WL$ is obtained from $L$ by multiplying each row with one of the $-w_i$).
    – darij grinberg
    Aug 4 at 16:52















up vote
0
down vote

favorite












Let $L$ be an $ntimes n$ matrix and $W= operatornamediag(w_1,cdots,w_n)$.
Show that $det(I-WL)= sum_Ssubset[n] det(L[S])(-1)^w^S$. Where $I$ is the $ntimes n$ identity matrix, $L[S]$ is the principal submatrix of $L$ whose rows and columns are indexed by $S$ and $w^S = prod_iin S w_i$.



I am thinking there is some way to apply Cauchy-Binet in this case.







share|cite|improve this question





















  • First prove that $detleft(I + Aright) = sumlimits_S subseteq left[nright] detleft(Aleft[Sright]right)$ for any $n times n$-matrix $A$. (This is Proposition 1 in math.stackexchange.com/a/1752326 where I give a reference to a detailed proof.) Now apply it to $A = - WL$ and simplify $detleft(left(WLright)left[Sright]right)$ to $left(-1right)^ w^S detleft(Lleft[Sright]right)$ (because $- WL$ is obtained from $L$ by multiplying each row with one of the $-w_i$).
    – darij grinberg
    Aug 4 at 16:52













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Let $L$ be an $ntimes n$ matrix and $W= operatornamediag(w_1,cdots,w_n)$.
Show that $det(I-WL)= sum_Ssubset[n] det(L[S])(-1)^w^S$. Where $I$ is the $ntimes n$ identity matrix, $L[S]$ is the principal submatrix of $L$ whose rows and columns are indexed by $S$ and $w^S = prod_iin S w_i$.



I am thinking there is some way to apply Cauchy-Binet in this case.







share|cite|improve this question













Let $L$ be an $ntimes n$ matrix and $W= operatornamediag(w_1,cdots,w_n)$.
Show that $det(I-WL)= sum_Ssubset[n] det(L[S])(-1)^w^S$. Where $I$ is the $ntimes n$ identity matrix, $L[S]$ is the principal submatrix of $L$ whose rows and columns are indexed by $S$ and $w^S = prod_iin S w_i$.



I am thinking there is some way to apply Cauchy-Binet in this case.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Aug 2 at 18:15









Bernard

110k635102




110k635102









asked Aug 2 at 18:08









Sudipta Roy

1517




1517











  • First prove that $detleft(I + Aright) = sumlimits_S subseteq left[nright] detleft(Aleft[Sright]right)$ for any $n times n$-matrix $A$. (This is Proposition 1 in math.stackexchange.com/a/1752326 where I give a reference to a detailed proof.) Now apply it to $A = - WL$ and simplify $detleft(left(WLright)left[Sright]right)$ to $left(-1right)^ w^S detleft(Lleft[Sright]right)$ (because $- WL$ is obtained from $L$ by multiplying each row with one of the $-w_i$).
    – darij grinberg
    Aug 4 at 16:52

















  • First prove that $detleft(I + Aright) = sumlimits_S subseteq left[nright] detleft(Aleft[Sright]right)$ for any $n times n$-matrix $A$. (This is Proposition 1 in math.stackexchange.com/a/1752326 where I give a reference to a detailed proof.) Now apply it to $A = - WL$ and simplify $detleft(left(WLright)left[Sright]right)$ to $left(-1right)^ w^S detleft(Lleft[Sright]right)$ (because $- WL$ is obtained from $L$ by multiplying each row with one of the $-w_i$).
    – darij grinberg
    Aug 4 at 16:52
















First prove that $detleft(I + Aright) = sumlimits_S subseteq left[nright] detleft(Aleft[Sright]right)$ for any $n times n$-matrix $A$. (This is Proposition 1 in math.stackexchange.com/a/1752326 where I give a reference to a detailed proof.) Now apply it to $A = - WL$ and simplify $detleft(left(WLright)left[Sright]right)$ to $left(-1right)^ w^S detleft(Lleft[Sright]right)$ (because $- WL$ is obtained from $L$ by multiplying each row with one of the $-w_i$).
– darij grinberg
Aug 4 at 16:52





First prove that $detleft(I + Aright) = sumlimits_S subseteq left[nright] detleft(Aleft[Sright]right)$ for any $n times n$-matrix $A$. (This is Proposition 1 in math.stackexchange.com/a/1752326 where I give a reference to a detailed proof.) Now apply it to $A = - WL$ and simplify $detleft(left(WLright)left[Sright]right)$ to $left(-1right)^ w^S detleft(Lleft[Sright]right)$ (because $- WL$ is obtained from $L$ by multiplying each row with one of the $-w_i$).
– darij grinberg
Aug 4 at 16:52
















active

oldest

votes











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%2f2870337%2fan-identity-of-determinant%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2870337%2fan-identity-of-determinant%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?