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
Context
| context | $n\in\mathbb N$ |
| definiendum | $ A \in \mathrm{NormalMatrix}(n) $ |
| postulate | $ A \in \mathrm{SquareMatrix}(n,\mathbb C) $ |
| postulate | $ A^*\ A = A\ A^* $ |
Wikipedia: Normal matrix
