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

Parents

Subset of

Normal matrix

Context

Unit matrix