Unitary matrix
Set
context | $n\in\mathbb N$ |
definiendum | $ U \in \mathrm{UnitaryMatrix}(n) $ |
postulate | $ U \in \mathrm{SquareMatrix}(n,\mathbb C) $ |
postulate | $ U^*\ U = U\ U^* = I_n $ |
Discussion
Reference
Wikipedia: Unitary matrix
context | $n\in\mathbb N$ |
definiendum | $ U \in \mathrm{UnitaryMatrix}(n) $ |
postulate | $ U \in \mathrm{SquareMatrix}(n,\mathbb C) $ |
postulate | $ U^*\ U = U\ U^* = I_n $ |
Wikipedia: Unitary matrix