Prove real symmetric positivity criteria, construct Cholesky factors and use exact energy identities to separate unique solutions from singular compatibility and unbounded objectives.
Open any lesson. Completion records participation; automatic practice checks and human judgment of written arguments are separate. This unit retains its own versioned requirements.
Readiness and preparation
Check your starting point
Try these short questions on paper, then compare your reasoning. They are optional self-checks, not a placement score or a navigation requirement. Use a targeted review when useful and return with your browser’s Back control.
What does the quadratic form xᵀAx mean for a real symmetric matrix?
Positive definiteness requires a strict inequality for every nonzero vector, not just positive diagonal entries.
Compare reasoning and find a refresher
It is the scalar obtained by applying A to x and taking the dot product with x. Testing coordinate vectors checks the diagonal only; mixed coordinates can reveal a negative direction.
What extra conditions support an unpivoted normalized factorization?
The positivity proof must justify each pivot rather than dividing by an unexamined diagonal entry.
Compare reasoning and find a refresher
For a nonsingular square matrix, unit-lower LU without row exchanges exists exactly when every leading principal minor is nonzero. Positive symmetric matrices will satisfy stronger positive-minor conditions.
Construct a triangular factor with positive diagonal, solve through it, and identify exactly which energy and least-squares conclusions depend on definiteness.
Construct and prove uniqueness of positive-diagonal Cholesky factors from positive LDLᵀ, with the Hermitian conjugate-transpose extension.
Relate triangular solves to the unique minimizer of a quadratic energy and derive a conditional residual-to-error bound.
Prove the Gram rank criterion and distinguish positive definite, singular positive semidefinite and indefinite factorization cases.