Unitary matrix - Axioms of Choice

Loading [MathJax]/jax/output/HTML-CSS/jax.js

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

Context

Log In

Improvements of the human condition