Definition
Inverse matrix
A square matrix whose product with a given matrix on either side is the identity.
For a square matrix over a field, an inverse matrix is a matrix satisfying
It exists exactly when the represented linear map is bijective, equivalently when . It is unique: if , then .
Products and parameters
If are invertible then . For a differentiable family of invertible matrices,
This follows by differentiating . Entrywise smoothness of the inverse also follows from the adjugate formula on the open set where the determinant is nonzero; uniform inverse bounds require quantitative control away from singular matrices.