Hermitian matrix
Set
context | n∈N |
definiendum | A∈HermitianMatrix(n) |
postulate | A∈SquareMatrix(n,C) |
postulate | A∗=A |
Discussion
Reference
Wikipedia: Hermitian matrix
context | n∈N |
definiendum | A∈HermitianMatrix(n) |
postulate | A∈SquareMatrix(n,C) |
postulate | A∗=A |
Wikipedia: Hermitian matrix