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