For a complex matrix , is the sum of the th powers of its eigenvalues, counted with algebraic multiplicity. This does not require diagonalizability: a similar upper triangular matrix has the eigenvalues on its diagonal, and taking powers raises those diagonal entries to their corresponding powers. Newton's identities therefore recover its characteristic polynomial from the first such traces.
For the Jordan block , and . Hence and , giving . The repeated eigenvalue is recovered even though this matrix is not diagonalizable.[ref]
Character of an exterior square Created 2026-09-24 Updated 2026-11-05
For a finite-dimensional complex representation with character , the exterior square has characterIf the eigenvalues of on are , counted with algebraic multiplicity, its eigenvalues on the exterior square are for . Expanding the square of their sum giveswhich proves the formula by taking traces. A basis giving an upper triangular matrix suffices for this argument, so diagonalizability is unnecessary.
At the identity, the formula becomes . This supplies a quick consistency check before using the character to decompose the representation.
Computed three-by-three LU decomposition Created 2026-10-14 Updated 2026-10-31
Here is an original example of Gaussian elimination that can be checked entirely with integers. Start withThe first pivot element is . The elimination multipliers are and . Apply the elementary row operations and to obtainNow the second pivot element is , and . The elementary row operation givesImportantly, comes from the current reduced matrix, not the original entry . To reconstruct from , its second row is twice the first row of plus the second; its third row is minus the first row of plus three times the second plus the third. These are exactly the coefficients in the lower triangular matrix .
Gaussian elimination turns a three-by-three matrix into an upper triangular matrix, while elimination multipliers are stored in a lower triangular matrix
. Details. The unpivoted calculation here illustrates the structure of LU decomposition; applying partial pivoting to this particular would choose a different first row and different factors. Both procedures can represent the same linear system when their permutation matrices are handled consistently.
Forward substitution 2026-10-14
Forward substitution solves a linear system with a lower triangular matrix and nonzero diagonal, from the first row downward:The first sum is empty, so . Each subsequent row uses only components already found. For a unit triangular matrix , omit the division because . The complementary procedure, back substitution, solves an upper triangular matrix system from the last row upward.[ref]
Gaussian elimination Created 2026-09-24 Updated 2026-10-25
Gaussian elimination applies elementary row operations to reduce a linear system to triangular form. Dense elimination uses arithmetic operations.
Gaussian elimination solves a linear system by removing one unknown from later equations at each step. Write the coefficients and right-hand side together as an augmented matrix . Apply the same elementary row operations to both parts until the coefficients form a row echelon form; for a square invertible matrix, this gives an upper triangular matrix system. Then back substitution recovers the unknowns from the last equation upward. The useful simplification is that each successive equation involves fewer unknowns, while the set of solutions stays the same.
Why do elementary row operations preserve solutions? Interchanging equations changes only their order. Multiplying an equation by a nonzero scalar can be undone by division. Replacing equation by itself plus times equation , with , can be undone by adding times the unchanged equation . Equivalently, an elementary matrix is an invertible matrix, so if and only if . Applying an operation to without also applying it to loses this equivalence.
At step , choose a nonzero pivot element after any row interchange. For every , form the elimination multiplier and perform the elementary row operation . Its coefficient in column becomes in exact arithmetic. Later operations combine rows that already have zeros in earlier columns, so those zeros survive. If an active column has no nonzero candidate, general row echelon form reduction skips it; a square invertible matrix always has a candidate at each step with suitable row interchanges. Partial pivoting also considers roundoff error when selecting the candidate.[ref]
2.6 Row pivoting. Fundamentals of Numerical Computation by Tobin A. Driscoll and others; §2.6.1, Definition 2.6.1: select the largest absolute candidate; §2.6.3: permute the right-hand side too
For a dense matrix with one right-hand side, the classical algorithm uses arithmetic operations over the real numbers, counting each addition, subtraction, multiplication and division as one. At step , the coefficient update has entries, each costing one multiplication and one subtraction; the elimination multipliers, right-hand-side updates and back substitution contribute lower-order terms. Searching for partial pivoting adds comparisons, and storing the dense coefficients uses space. These assumptions exclude the different storage and work patterns of sparse Gaussian elimination; the exact loop counts appear in LU factorization and solve costs. Here denotes Big O notation.
Recording the same steps as an LU decomposition makes Reusing LU factors for multiple right-hand sides possible. This is useful whenever the coefficients stay fixed while the forcing vector changes: the expensive elimination is done once. The choice of pivot element matters even when the linear system is well conditioned, as Tiny-pivot roundoff in Gaussian elimination demonstrates.
Gaussian elimination with a row swap Created 2026-10-18 Updated 2026-10-20
Consider this original linear system and its augmented matrix:The first diagonal entry is zero, so it cannot serve as a pivot element. Interchange and to obtain a pivot element of one:This chooses a convenient nonzero entry for exact arithmetic; partial pivoting would instead interchange and , selecting the largest absolute value, two. For our chosen ordering, the first-column elimination multipliers are and . The elementary row operation givesThe next pivot element is two and the next elimination multiplier is . Applying gives the upper triangular matrix systemEvery operation also changed the right-hand side. Back substitution now givesChecking the original equations, rather than only the reduced ones, verifies the answer by matrix multiplication:Thus a zero first diagonal entry was a row-order obstruction, not a singular matrix. Indeed, the diagonal product of the final upper triangular matrix is ; the single row interchange makes , since the two row additions preserve the determinant.
A row interchange supplies the first pivot element; successive elementary row operations create zeros, then back substitution gives
. Details. Givens rotation Created 2026-09-24 Updated 2026-10-14
A Givens rotation eliminates one component of a vector by rotating just two coordinates, preserving its Euclidean norm. For example,The length remains five: elimination moves the component into the retained coordinate rather than discarding it. Applied to a matrix, the same operation mixes two rows; QR decomposition by Givens rotations uses these local operations to build an upper triangular matrix.
For indices , the matrix is the identity matrix except for its block on coordinates :This article uses left matrix multiplication on column vectors. If and , the block is a rotation matrix through angle : the minus sign belongs in the lower left. Its transpose reverses the rotation. Direct multiplication gives and determinant one, so it is an orthogonal matrix; consequently . Only two coordinates change, but this Euclidean norm identity holds for the entire vector.
Haar sampling by Gaussian QR decomposition 2026-10-25
Generate a real -by- matrix with independent entries having the standard normal distribution. Take its QR decomposition with positive diagonal in the upper triangular matrix factor, . The orthogonal matrix has normalized Haar measure on the full orthogonal group . If a numerical factorization returns , set and return . The signs are nonzero almost surely: successively drawn Gaussian columns have probability zero of lying in the proper linear subspace spanned by earlier columns.
For correctness, every fixed orthogonal matrix preserves the standard Gaussian column density and column independence, so and have the same probability distribution. The positive-diagonal QR decomposition is unique: two decompositions would give an orthogonal matrix that is also an upper triangular matrix with positive diagonal, hence the identity. Therefore and has a left-invariant probability law. Uniqueness of normalized Haar measure on the compact group identifies that law. Each determinant sign has probability by reflection invariance.
Householder QR decomposition Created 2026-09-24 Updated 2026-11-05
A Householder QR decomposition introduces zeros below successive diagonal entries using orthogonal reflections. For a nonzero real column segment , set when and otherwise, and defineThen and . The sign choice avoids subtracting nearly equal numbers when constructing . If the segment is zero, skip the reflection.
For with , apply the first reflection to all rows, the second to rows , and so on, extending each by an identity on the earlier rows. This giveswhere is orthogonal and consists of an upper triangular matrix above zero rows. The reflections are stored through their defining vectors, so a full dense need not be formed.[ref]
Fundamentals of Numerical Computation by Tobin A. Driscoll and others. Section 3.4, Householder reflections and successive triangularization
For full column rank, the top block of is invertible and back substitution solves the transformed least squares problem. Orthogonal transformations preserve the Euclidean norm, making this route useful when the normal equations would square a large condition number.
Householder QR example in two dimensions 2026-10-14
Apply the preceding Householder reflection to the columns ofThe first column becomes and the second becomes :Thus an orthogonal matrix multiplying an upper triangular matrix reconstructs . The zero below the diagonal came from a geometric operation that preserves Euclidean norms and inner products.
Our positive-diagonal convention for QR decomposition is obtained by a sign adjustment. With , putThen and . The intermediate sign chooses an orientation for a basis vector; the adjustment makes the diagonal positive.
For a larger matrix, the next Householder reflection acts only on the lower rows of the remaining columns, retaining the zeros already created. Store its defining vector and apply instead of forming a dense reflection matrix. This links a simple mirror operation to efficient QR decomposition, including least-squares solutions.
LU decomposition Created 2026-09-29 Updated 2026-10-14
An LU decomposition writes a square matrix as , with a lower triangular matrix and an upper triangular matrix. We use a unit triangular matrix , meaning . The factors record Gaussian elimination: contains the reduced equations, while stores the elimination multipliers needed to reconstruct the original equations. This makes Reusing LU factors for multiple right-hand sides inexpensive.[ref]
For an invertible matrix, unpivoted LU decomposition requires nonzero pivot elements at every elimination step; invertibility alone does not guarantee this. In general use Pivoted LU decomposition, with the explicit convention and a permutation matrix . Once the factors exist, solving a linear system needs forward substitution followed by back substitution, rather than forming a matrix inverse.
LU decomposition of an upper Hessenberg matrix Created 2026-10-31 Updated 2026-11-05
When Gaussian elimination without row interchanges is defined, an upper Hessenberg matrix needs at most one elimination per pivot column, because only its first subdiagonal can be nonzero. The LU decomposition has a unit lower bidiagonal matrix and an upper triangular matrix . If the input matrix is also symmetric, it is a tridiagonal matrix and is upper bidiagonal.
The nonzero-pivot condition is essential: is upper Hessenberg and invertible but has no such unpivoted LU decomposition. A pivoted factorization can still be computed, with its permutations recorded explicitly.
Matrix decomposition 2026-10-14
A matrix decomposition expresses a matrix as a matrix product of factors with simpler structure. An LU decomposition uses triangular factors, a QR decomposition uses an orthogonal matrix and a triangular factor, and a singular value decomposition separates input directions, stretching factors and output directions. The factorization is an identity; the chosen structure determines what it helps compute.
For an original two-by-two example,The outer factors are a lower triangular matrix and an upper triangular matrix, each with unit diagonal as in a unit triangular matrix; the middle factor is a diagonal matrix. Their matrix product is , and the final diagonal entry is the Schur complement of the first entry . This is the scalar version of the factorization under block elimination.
To solve , solve with the three factors in their displayed order from left to right: first the lower triangular factor, then the diagonal factor, then the upper triangular factor. The intermediate vectors are and , giving the concise answer . A new right-hand side uses the same factors. This is why Reusing LU factors for multiple right-hand sides is useful: factorization records work that otherwise would be repeated, while forward substitution and back substitution apply it cheaply.[ref]
Convex Optimization by Stephen Boyd and Lieven Vandenberghe. §C.4.1, printed pp. 673–674: block factor-solve interpretation
Different decompositions reveal different features. A Cholesky decomposition uses positive definiteness of a symmetric matrix, while a singular value decomposition also applies to rectangular matrices and exposes matrix rank. The existence and numerical behaviour of the factors depend on their own hypotheses; for example, an unpivoted LU decomposition can fail when a chosen pivot element is zero even though the matrix is an invertible matrix.
Matrix trace Created 2026-09-24 Updated 2026-10-14
For an -by- square matrix over a field, its matrix trace is the sum of its diagonal entries:For example, has trace . Adding corresponding diagonal entries immediately proves linearity:Thus matrix trace is a linear functional on the vector space of -by- matrices.[ref]
Linear Algebra Done Right by Sheldon Axler (4th edition). Axler, Linear Algebra Done Right, fourth edition, §8D, definition 8.47 and result 8.56
The surprising point is that the sum is intrinsic to a linear operator, even though individual diagonal entries depend on the basis. The cyclic property of the trace gives, for any invertible matrix ,Hence matrix similarity preserves trace. For the example above, choose the change-of-basis matrix . ThenThe diagonal entries have changed but their sum has not. This makes trace useful for extracting a feature of the underlying linear operator without finding a preferred basis.
Over the complex numbers, or over the real numbers after allowing complex eigenvalues, the trace equals their sum with algebraic multiplicity:No diagonalizable matrix hypothesis is needed.[ref]
Linear Algebra Done Right by Sheldon Axler (4th edition). Axler, Linear Algebra Done Right, fourth edition, §8D, results 8.50–8.52
To see why, use triangularization over an algebraically closed field: an upper triangular matrix similar to has the eigenvalues on its diagonal, counted with algebraic multiplicity, because its characteristic polynomial is . Similarity preserves trace, so summing that diagonal proves the formula.For instance,There is only one independent eigenvector, since , so is not a diagonalizable matrix. Nevertheless its repeated eigenvalue contributes twice. For our earlier , the characteristic polynomial is , its eigenvalues are and , and their sum is . An inexpensive diagonal sum therefore gives spectral information before solving the characteristic polynomial.
The trace of a real matrix does not give that linear map's volume factor: that factor is the absolute value of its determinant. For example, has trace and area factor , but has trace and volume factor . Their occasional numerical agreement in two dimensions is a coincidence. The connection between trace and local volume change gives a geometric interpretation near the identity matrix, and describes the volume rate of a flow map generated by a linear system of differential equations.
For a matrix supported in its first row and any upper triangular matrix , multiplication gives . Thus has dimension at most one for every , whereas the entire module has dimension three. Hence this module is not cyclic, over every field .
The Cayley-Hamilton theorem statesLet . Extend the field to an algebraically closed field and choose a basis in which the matrix of is an upper triangular matrix, as permitted. Write its diagonal entries as and put . Each is an invariant subspace, andApply first, then , and continue. The resulting product sends into . These factors are commuting operators, soThe determinant of an upper triangular matrix gives . Thus after the field extension. Its entries were in the original field, whose embedding is injective, so they were already zero there. The zero-dimensional case is immediate as well.
In the monomial basis of the complex vector space , the binomial theorem givesThe characteristic polynomial of this upper triangular matrix is the product of minus its diagonal entries, so .
For the minimal polynomial, set , the forward difference with step one. For a nonconstant polynomial of polynomial degree , the binomial theorem shows that has polynomial degree . Constant polynomials have zero forward difference. Consequently on . To prove that the nilpotency index is exactly four, computeIt follows thatIf were diagonalizable, its only eigenvalue would be , and its diagonal matrix in an eigenbasis would be . This would make , whereas . Thus is not diagonalizable. Equivalently, its minimal polynomial has a repeated root.
We prove by mathematical induction on that every linear map on an -dimensional complex vector space admits both triangular forms. For or this is immediate. When , the fundamental theorem of algebra supplies an eigenvector ; its span is an invariant subspace.
By parts (ii) and (iii), has dimension and is an invariant subspace of the dual map . Apply the induction hypothesis to to choose a basis with an upper triangular matrix. Extend it by a linear functional satisfying . Such a functional exists by basis extension, and cannot belong to . In this basis of , the matrix of has the formwhere is an upper triangular matrix; here the last diagonal entry follows by evaluating at , where .
There is a basis of with , since the dual basis construction gives a finite-dimensional bidual evaluation map isomorphism. In particular . The matrix transpose relationship for a dual map givesa lower triangular matrix. Reversing this basis turns a lower triangular matrix into an upper triangular matrix. If is the permutation matrix reversing the order, we have provedThis completes the induction by triangularization using dual spaces.
Past exam of the mathematical methods I course of the University of Oxford 2019 resit 4 Solution 2026-10-25
Use the Leibniz formula for determinants:For a nonzero product in an upper triangular matrix, every selected column must satisfy . But a permutation has , so every one of these inequalities is an equality. Only the identity permutation can contribute. Its sign is positive and its product is , which proves the result even if some diagonal entries vanish.
Past exam of the mathematical methods I course of the University of Oxford 2021 3 a Solution 2026-10-25
In the matrix product, . A nonzero summand in a product of upper triangular matrices requires both and . If , no such index exists, so the product is upper triangular. If , only survives, givingThis also shows inductively why the diagonal of an integer matrix power consists of the corresponding powers of the diagonal entries.



