Linear and multilinear algebra; matrix theory Proof
Proof that scaling a row scales the determinant
Builds on Determinant is multilinear in the rows
Proof
- Let be the row of that is multiplied by , and let be row of . Then row of is .
- The matrices , and agree outside row . Their rows are , and .
- By multilinearity in the rows with and , we get .
- So .
Idea
Linearity in one row includes homogeneity: a scalar factor in that row comes out of the determinant. We get it from the linearity rule by taking the second coefficient to be zero.
Reading path
To understand this page from the ground up, read these 12 pages in order. The foundations come first. The path takes the proof Proof that the determinant is multilinear in the rows.
Show the path as a graph
- no evidence level
- Identity matrix object
- Matrix definition
- Multilinear map concept
- Vector space definition
- Square matrix definition
- Linear map definition
- Multilinear map definition
- Alternating multilinear map definition
- Determinant definition
- Proof that the determinant is multilinear in the rows proof
- Determinant is multilinear in the rows statement
- Proof that scaling a row scales the determinant proof
Where this leads
14 pages build on this one.
- Scaling a row scales the determinant
- Determinant of a scalar multiple
- Determinant is the product of the eigenvalues
- Determinant of a matrix with a zero row
- Vandermonde determinant
- Determinant is a coefficient of the characteristic polynomial
- Sylvester's criterion
- Proof of Sylvester's criterion by induction and completing the square
- Proof that the constant coefficient of the characteristic polynomial is a signed determinant
- Proof that a matrix with a zero row has determinant zero
- Schur polynomial
- Proof of the determinant of a scalar multiple
- Proof of the Vandermonde determinant by column operations
- Proof that the determinant is the product of the eigenvalues by comparing constant terms
Further reading
- Web https://en.wikipedia.org/wiki/Determinant, Basic rules
About this page
| Tag | 90DTG4Q0EA |
|---|---|
| URI | m2://90DTG4Q0EA |
| Kind | proof |
| Writing | W0 stub |
| MSC | 15A15 |
| Proves | Scaling a row scales the determinant |
| Uses | Determinant is multilinear in the rows |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.