Idempotent — Definition, Formula & Examples

Idempotent describes an element that, when applied to itself, gives back the same element. For matrices, a matrix A is idempotent if multiplying it by itself yields A again: A² = A.

A square matrix $A$ is idempotent if and only if $A^2 = A$ , where $A^2$ denotes the standard matrix product $A \cdot A$ . More generally, an element $a$ of a ring or algebra is idempotent if $a^2 = a$ .

Key Formula

A^2 = A

Where:

$A$ = A square matrix
$A^2$ = The matrix product A · A

How It Works

To check whether a matrix is idempotent, compute the product

A \cdot A

and see if the result equals

A

. Every idempotent matrix has eigenvalues that are either 0 or 1. The identity matrix

I

and the zero matrix

O

are trivially idempotent. In applied settings, idempotent matrices arise naturally as projection matrices, which project vectors onto a subspace — applying the projection twice has the same effect as applying it once.

Worked Example

Problem: Determine whether the matrix A is idempotent, where A = [[1, 0], [0, 0]].

Compute A²: Multiply A by itself using standard matrix multiplication.

A^2 = \begin{bmatrix} 1 & 0 \\ 0 & 0 \end{bmatrix} \begin{bmatrix} 1 & 0 \\ 0 & 0 \end{bmatrix} = \begin{bmatrix} 1\cdot1+0\cdot0 & 1\cdot0+0\cdot0 \\ 0\cdot1+0\cdot0 & 0\cdot0+0\cdot0 \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & 0 \end{bmatrix}

Compare A² with A: Since every entry of A² matches the corresponding entry of A, we have A² = A.

Answer: A is idempotent because A² = A.

Why It Matters

Idempotent matrices appear throughout statistics and data science as projection matrices in linear regression — the hat matrix

H = X(X^TX)^{-1}X^T

that maps observed values to fitted values is idempotent. Recognizing idempotency simplifies proofs about estimator properties and helps verify that a transformation truly acts as a projection.

Common Mistakes

Mistake: Assuming every idempotent matrix must be the identity or the zero matrix.

Correction: Many non-trivial idempotent matrices exist. Any matrix that projects onto a proper subspace (not the whole space and not {0}) is idempotent but is neither I nor O.