A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Positive Definite Matrices

College Depth 86 in the knowledge graph ☐ I know this ☆ Set as goal
353prerequisites beneath it
See this on the map →
Symmetric Matrices and Their Properties→
positive-definite quadratic-forms

Core Idea

A symmetric matrix A is positive definite if xᵀAx > 0 for all nonzero x. Equivalently, all eigenvalues are positive. Positive definite matrices are invertible, have a unique Cholesky decomposition A = LLᵀ, and define a valid inner product. The normal equations AᵀAx = Aᵀb have a unique solution when A has full column rank (AᵀA is positive definite).

Explainer

The expression xᵀAx is called a quadratic form. For a 2×2 symmetric matrix, it produces an expression like ax₁² + 2bx₁x₂ + cx₂², a bowl-shaped or saddle-shaped surface when graphed. Positive definiteness means this surface is always bowl-shaped — it opens upward and has a unique minimum at the origin. Every other point is strictly higher. This geometric picture is the heart of the concept: a positive definite matrix defines a "shape" on space that behaves like a generalized squared length, always positive except at the origin.

You know from your study of symmetric matrices that symmetric matrices have real eigenvalues and orthogonal eigenvectors. The connection between eigenvalues and positive definiteness is direct: since A is symmetric, any vector x can be written in terms of eigenvectors, and xᵀAx becomes a sum of terms λᵢ(vᵢ · x)². For this sum to be positive for all nonzero x, every eigenvalue λᵢ must be positive. This gives the equivalence: positive definite ↔ all eigenvalues positive. Negative eigenvalues produce saddle-shaped quadratic forms; zero eigenvalues produce degenerate forms that collapse along some direction.

The Cholesky decomposition A = LLᵀ, where L is a lower triangular matrix with positive diagonal entries, is the computational signature of positive definiteness. It is the matrix analogue of writing a positive number as a square: just as 9 = 3², a positive definite matrix factors as A = LLᵀ. This decomposition exists if and only if A is positive definite, making it both a test and a tool. Numerically, Cholesky decomposition is twice as efficient as LU decomposition for symmetric positive definite systems, which is why recognizing positive definiteness matters in practice.

The most important application is in least-squares problems. When you have an overdetermined system Ax = b with more equations than unknowns, you seek the best approximate solution via the normal equations AᵀAx = Aᵀb. The matrix AᵀA is always symmetric, and it is positive definite whenever A has full column rank (no redundant columns). Positive definiteness of AᵀA guarantees these normal equations have a unique solution — the unique least-squares minimizer. Without full rank, AᵀA is only positive *semi*-definite, and solutions are no longer unique.

Practice Questions 5 questions

Prerequisite Chain

Understanding Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Dividing Integers → Unit Rates → Proportions → Percent Concept → Converting Between Fractions, Decimals, and Percents → Operations with Rational Numbers → Two-Step Equations → Solving Multi-Step Equations → Equations with Variables on Both Sides → Angle Pairs: Complementary, Supplementary, and Vertical → Parallel Lines and Transversals → Corresponding Angles → Alternate Interior Angles → Triangle Angle Sum Theorem → Exterior Angle Theorem → Triangle Inequality Theorem → Similar Triangles: AA Similarity → Similar Triangles: SSS and SAS Similarity → Proportions in Similar Triangles → Right Triangle Trigonometry Introduction → Sine, Cosine, and Tangent Ratios → Trigonometric Ratios Review → Vectors in Two Dimensions → Vector Operations: Addition, Subtraction, and Scalar Multiplication → Dot Product (Inner Product in R^n) → Matrix Multiplication → Determinants of 2×2 and 3×3 Matrices → Invertible Matrices and Matrix Inverses → Systems of Linear Equations and Matrix Form → Gaussian Elimination and Row Reduction → Row Echelon Form and Back Substitution → The Standard Matrix of a Linear Transformation → Eigenvalues and Eigenvectors → Symmetric Matrices and Their Properties → Positive Definite Matrices

Longest path: 87 steps · 353 total prerequisite topics

Prerequisites (1)

Leads To (0)

No topics depend on this one yet.