Skew-Hermitian matrix
Set
context | $n\in\mathbb N$ |
definiendum | $ A \in \mathrm{Skew-HermitianMatrix}(n) $ |
postulate | $ A \in \mathrm{SquareMatrix}(n,\mathbb C) $ |
postulate | $ A^*=-A $ |
Discussion
Reference
Wikipedia: Skew-Hermitian matrix
context | $n\in\mathbb N$ |
definiendum | $ A \in \mathrm{Skew-HermitianMatrix}(n) $ |
postulate | $ A \in \mathrm{SquareMatrix}(n,\mathbb C) $ |
postulate | $ A^*=-A $ |
Wikipedia: Skew-Hermitian matrix