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
Submatrix
Complex matrix standard submatrix
Definition D6182
Complex square matrix standard minor
Formulation 0
Let $A \in \mathbb{C}^{N \times N}$ be a D6159: Complex square matrix such that
(i) $N \in \{ 2, 3, 4, \ldots \}$ is a D5094: Positive integer
(ii) $n, m \in \{ 1, 2, \ldots, N \}$ are each a D5094: Positive integer
(iii) $B \in \mathbb{C}^{(N - 1) \times (N - 1)}$ is a D6181: Complex matrix standard submatrix for $A$ with respect to $(n, m)$
The standard minor for $A$ with respect to $(n, m)$ is the D993: Real number \begin{equation} \text{Det} B \end{equation}
Children
Complex square matrix cofactor