Normal matrix

Set

context $n\in\mathbb N$
definiendum $ A \in \mathrm{NormalMatrix}(n) $
postulate $ A \in \mathrm{SquareMatrix}(n,\mathbb C) $
postulate $ A^*\ A = A\ A^* $

Discussion

Reference

Wikipedia: Normal matrix

Parents

Subset of

Square matrix

Context

Matrix conjugate transpose