ThmDex – An index of mathematical definitions, results, and conjectures.

Result R5498 on D2089: Inverse matrix
Subresult of R5497: Inverse matrix is unique for complex square matrix

Inverse matrix is unique for real square matrix

Formulation 0

Let $A \in \mathbb{R}^{N \times N}$ be a a D6160: Real square matrix such that

(i)	$B$ and $C$ are each an D2089: Inverse matrix for $A$

Then \begin{equation} B = C \end{equation}

Proofs

Proof 0

Let $A \in \mathbb{R}^{N \times N}$ be a a D6160: Real square matrix such that

(i)	$B$ and $C$ are each an D2089: Inverse matrix for $A$

This result is a particular case of R5497: Inverse matrix is unique for complex square matrix. $\square$