Cholesky decomposition Created 2026-09-28 Updated 2026-10-25
Every real symmetric matrix that is a positive-definite matrix has a unique Cholesky decomposition , where is a lower triangular matrix with positive diagonal entries.[ref] For a complex Hermitian positive-definite matrix, the corresponding factorization is , with the conjugate transpose and the diagonal of positive and real.[ref] The factorization turns a linear system into two triangular systems.
For example, matching entries in gives
Choose the positive square roots in order: , and . Therefore
The second radicand, , is the scalar Schur complement remaining after eliminating the first variable. A positive diagonal of alone would not guarantee that this quantity is positive; Sylvester's criterion explains the relevant leading principal minors.
Figure 1. . Original exact two-by-two example. Multiplying the displayed lower triangular matrix by its transpose recovers ; forward substitution and backward substitution in a triangular system give for . Details.
For that right-hand side, first use forward substitution to solve : and , so . Then use backward substitution in a triangular system to solve : and , giving . No matrix inverse is required. For several right-hand sides with the same , keep the same factor and repeat only these triangular solves.
Matrix inverse Created 2026-09-24 Updated 2026-10-14
For an -by- square matrix over a field, its matrix inverse is an -by- matrix satisfying both identities
where is the identity matrix. It exists exactly when is an invertible matrix, equivalently when its matrix rank is or its determinant is nonzero. It reverses the linear map: applying and then recovers the input, while applying and then recovers the output.[ref]
The matrix inverse is unique. If and both satisfy the identities, then . Although the definition is two-sided, for finite square matrices either identity alone suffices: forces a trivial kernel, whereas forces surjectivity; either makes an invertible matrix by the rank-nullity theorem. Rectangular matrices may have only one of these properties.
For a concrete example, take
Direct matrix multiplication gives
Consequently the vector follows a reversible journey:
The columns and are the images of the standard basis vectors. They turn the unit square into a parallelogram; the matrix inverse restores both the square and its surrounding grid. Since , this example changes shape while preserving area, illustrating that invertibility does not require preserving lengths or angles.
Figure 1.
A matrix inverse restores a grid and a vector; a singular matrix merges distinct inputs
. Details.
For comparison, the singular matrix
cannot have a matrix inverse: the output cannot specify which of the two inputs occurred. Their difference belongs to its kernel. Indeed collapses the plane to a line, its matrix rank is one, and its determinant is zero. No subsequent function of the output alone can reconstruct every input.
An important use of the matrix inverse is describing the unique solution of a linear system:
For , the preceding computation solves and , giving . In computation, usually solve the linear system using Gaussian elimination and a factorization such as an LU decomposition, rather than forming every entry of the matrix inverse. The inverse formula specifies the answer; a factorization provides a reusable way to compute it for each right-hand side.[ref]
Here the LU decomposition is especially simple:
Solve by forward substitution in a triangular system: and . Then solve by backward substitution in a triangular system: and . The same factors work when changes. If the whole matrix inverse is actually needed, its th column is the solution of , where is the th standard basis vector.
Reversing several operations means undoing the last one first. For invertible matrices of the same size,
because , and the product in the other order is also . This is why a change-of-basis matrix uses its matrix inverse to reverse the direction of coordinate conversion.
The orthogonal matrix preserves the Euclidean norm, so
The first three entries of can be set to zero by backward substitution in a triangular system, while its fourth entry is always . Solving the triangular system gives , , and . Thus the unique least-squares solution and residual norm are
Uniqueness follows from the nonzero diagonal entries of the top triangular block, equivalently the full column rank of .
Gaussian elimination without pivoting gives
Thus and the solution is unique exactly when .
For , forward substitution in a triangular system in gives . Consistency of requires . backward substitution in a triangular system then gives
For the small QR decomposition, each of the Givens rotations eliminates one subdiagonal entry of the upper Hessenberg matrix. At column , apply the rotation to two rows in columns , costing arithmetic operations. Summing gives , and applying the rotations to the right-hand side costs . Backward substitution in a triangular system costs .
Computing costs and the final dense matrix multiplication costs . Thus the total, with the Arnoldi decomposition already supplied, is
Here , since has orthonormal columns in . In the standard dense arithmetic model, forming the general matrix–vector product gives the sharp cost. The pair above records that two-parameter bound; looser bounds such as are also possible because . Treating as an unstructured dense matrix would unnecessarily replace its factorization by an computation.
Write and . The Arnoldi decomposition and give
Because has orthonormal columns, it preserves the Euclidean norm. The generalized minimal residual method therefore reduces to the small linear least-squares problem
Use Givens rotations on the upper Hessenberg matrix to obtain a QR decomposition
where is an orthogonal matrix and is an upper triangular matrix. Then solve by backward substitution in a triangular system and form . The resulting minimum linear-system residual has Euclidean norm .
The small problem has a unique answer: if , the Arnoldi decomposition gives . The invertible matrix implies , and the orthonormality of then gives . Thus has full column rank and is nonsingular.