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

F12149

Formulation 1

Let $A \in \mathbb{C}^{N \times N}$ be a D999: Complex matrix.

Then the following statements are equivalent

(1)	\begin{equation} \text{det}(A) \neq 0 \end{equation}
(2)	\begin{equation} \left\{ z \in \mathbb{C}^{N \times 1} : A z = \boldsymbol{0} \right\} = \left\{ \boldsymbol{0} \right\} \end{equation}