Jabarkan Sifat dari Matriks uniter

Matriks uniter dapat didefinisikan lewat banyak cara. Jika  adalah matriks persegi dengan entri-entri berupa bilangan kompleks, maka pernyataan-pernyataan berikut ekuivalen: