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
Real matrix standard submatrix
Definition D5940
Real square matrix standard minor
Formulation 1
Let $A \in \mathbb{R}^{N \times N}$ be a D6160: Real 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{R}^{(N - 1) \times (N - 1)}$ is a D5939: Real 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
Real square matrix cofactor