ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Map
▼ Countable map
▼ Array
▼ Matrix
▼ Square matrix
▼ Complex square matrix
Definition D5870
Invertible complex matrix
Formulation 0
Let $I_N \in \mathbb{C}^{N \times N}$ be a D5699: Complex identity matrix.
A D6159: Complex square matrix $A \in \mathbb{C}^{N \times N}$ is invertible if and only if
(1) \begin{equation} \exists \, B \in \mathbb{C}^{N \times N} : B A = I_N \end{equation}
(2) \begin{equation} \exists \, C \in \mathbb{C}^{N \times N} : A C = I_N \end{equation}
Formulation 1
Let $I_N \in \mathbb{C}^{N \times N}$ be a D5699: Complex identity matrix.
A D6159: Complex square matrix $A \in \mathbb{C}^{N \times N}$ is invertible if and only if
(1) $A$ is a D5866: Left-invertible complex matrix
(2) $A$ is a D5867: Right-invertible complex matrix
Children
▶ D5871: Invertible real matrix