isUnitary

P93944 predicate

Indicates that an entity (such as an operator, matrix, or transformation) preserves inner products and norms, typically meaning its inverse equals its adjoint (or conjugate transpose).

Observed surface forms (1)

Sample triples (2)

Subject Object
Weil representation true
rotation group SU(2)
surface form: SU(2)
U†U = I via predicate surface "hasUnitarityCondition"