Definitions
,
Results
,
Conjectures
▾
Set of symbols
▾
Alphabet
▾
Deduction system
▾
Theory
▾
Zermelo-Fraenkel set theory
▾
Set
▾
Binary cartesian set product
▾
Binary relation
▾
Map
▾
Countable map
▾
Array
▾
Matrix
▾
Complex matrix conjugate transpose
▾
Normal complex matrix
Normal real matrix
Formulation 0
A
D6160: Real square matrix
$A \in \mathbb{R}^{N \times N}$ is a
normal real matrix
if and only if \begin{equation} A^T A = A A^T \end{equation}