Ciri Matriks Ortogonal dan Uniter
Matriks persegi real disebut ortogonal ketika
Matriks persegi kompleks disebut uniter ketika
Di sini, adalah transpos konjugat. Matriks ortogonal real merupakan matriks uniter dengan entri real.
Persamaan definisi tersebut setara dengan pernyataan bahwa kolom-kolomnya membentuk basis ortonormal. Baris-barisnya juga ortonormal.
Besaran yang Dipertahankan Transformasi Ortogonal dan Uniter
Untuk vektor real dan matriks ortogonal ,
Pernyataan yang sama berlaku pada dengan hasil kali dalam konjugat dan . Jadi, transformasi ortogonal dan uniter mempertahankan panjang, jarak, sudut, dan ortogonalitas.
Semua nilai singularnya sama dengan , sehingga
Perkalian dengan matriks tersebut tidak memperbesar galat relatif dalam norma Euklides. Inilah alasan faktorisasi menggunakan reflektor Householder dan rotasi Givens.
Determinan dan Orientasi
Untuk matriks uniter,
Untuk matriks ortogonal real, determinannya real, sehingga
Kasus mempertahankan orientasi. Kasus membalik orientasi dan mengandung komponen refleksi.
Nilai Eigen dan Struktur Spektral
Jika dengan , maka
Jadi, setiap nilai eigen berada pada lingkaran satuan kompleks. Nilai eigen tak real dari matriks ortogonal real muncul sebagai pasangan konjugat. Matriks uniter bersifat normal, sehingga teorema spektral kompleks memberikan
Dalam dekomposisi ini, adalah matriks uniter. Untuk matriks dengan entri bilangan real, matriks ortogonal dapat direduksi menjadi blok-blok yang terdiri atas , , dan rotasi bidang.
Contoh Rotasi
Rotasi bidang berlawanan arah jarum jam sebesar adalah
Kolom-kolomnya ortonormal, dan perkalian langsung memberikan
Polinomial karakteristiknya adalah
Kecuali merupakan kelipatan , rotasi ini tidak memiliki vektor eigen real. Pada rotasi bidang sejati, tidak ada arah real tak nol yang tetap atau hanya berubah tanda.
Contoh Refleksi
Untuk vektor satuan , matriks Householder
Matriks merefleksikan vektor terhadap hiperbidang yang tegak lurus pada . Sifat ortogonalnya dapat diperiksa melalui
Dari kedua identitas di atas, kita memperoleh . Pada arah , matriks memiliki nilai eigen . Setiap vektor yang tegak lurus terhadap memiliki nilai eigen . Karena itu, .
Pemeriksaan Ekuivalen dan Konsekuensi
| Pernyataan | Kasus ortogonal | Kasus uniter |
|---|---|---|
| Invers | ||
| Kolom | basis ortonormal real | basis ortonormal kompleks |
| Determinan | bermodulus | |
| Nilai eigen | lingkaran satuan, berpasangan konjugat jika tak real | lingkaran satuan |
| Nilai singular | semuanya | semuanya |
| Bilangan kondisi norma dua |
Hasil kali dan invers tetap berada dalam kelas yang sama:
Karena matriks ortogonal dan uniter mempertahankan norma, transformasi ortogonal dalam algoritma dan perhitungan kuadrat terkecil tidak mengubah panjang vektor. Transformasi Fourier, mekanika kuantum, dan pemrosesan geometri juga memakai sifat ini untuk mempertahankan produk dalam dan norma.