This is an old revision of the document!


Hermitian matrix

Set

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

Discussion

Reference

Wikipedia: Hermitian matrix

Parents

Subset of

Context

Link to graph
Log In
Improvements of the human condition