Dalam aljabar linear, matriks persegi dengan entri-entri berupa bilangan kompleks disebut uniter jika invers dirinya sama dengan transpos konjugatnya, . Secara formal, matriks uniter adalah matriks yang memenuhi dengan adalah matriks identitas. Dalam bidang fisika, khususnya mekanika kuantum, transpos konjugat dikenal sebagai adjoin Hermite dari suatu matriks dan disimbolkan dengan dagger (โ€ ), jadi persamaan di atas dapat dinyatakan sebagai Versi analog dari matriks uniter pada lapangan bilangan real adalah matriks ortogonal. Matriks uniter memiliki peran penting dalam mekanika kuantum karena mereka tidak melestarikan (tidak mengubah) norma, dan akibatnya, juga melestarikan probability amplitudes.

Sifat

sunting

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

  • adalah matriks uniter.
  • adalah matriks uniter.
  • terbalikkan, dengan invers .
  • Kolom-kolom dari membentuk basis ortonormal dari terhadap operasi hasil kali dalam yang biasa. Dengan kata lain, .
  • Kolom-kolom dari membentuk basis ortonormal dari terhadap operasi hasil kali dalam yang biasa. Dengan kata lain, .
  • adalah suatu isometri terhadap norma yang biasa. Dengan kata lain, untuk sembarang , dengan .
  • merupakan matriks normal (secara ekuivalen, ada suatu basis ortonormal yang dibentuk oleh vektor-vektor eigen dari ) dengan nilai-nilai eigennya terletak pada lingkaran satuan.

Selain itu, sifat-sifat berikut selalu dipenuhi untuk sembarang matriks uniter berukuran hingga:

  • Untuk sembarang vektor kompleks dan , perkalian dengan akan mempertahankan hasil kali dalam kedua vektor tersebut; dengan kata lain, .
  • juga merupakan matriks normal, karena .
  • Sebagai akibat dari teorema spektral, dapat diagonalkan; dengan kata lain, serupa secara uniter dengan suatu matriks diagonal.. Hal ini mengartikan memiliki faktorisasi berbentuk , dengan berupa matriks uniter, dan berupa matriks diagonal dan uniter.
  • .
  • Ruang eigen dari bersifat ortogonal.
  • dapat ditulis sebagai , dengan menyatakan eksponensiasi matriks, adalah unit imajiner, dan berupa matriks Hermite.

Untuk sembarang bilangan bulat nonnegatif , himpunan semua matriks uniter berukuran yang dilengkapi operasi perkalian matriks akan membentuk sebuah grup, yang dikenal sebagai grup uniter .

Konstruksi secara sederhana

sunting

Matriks uniter berukuran 2 ร— 2

sunting

Ekspresi umum dari suatu matriks uniter berukuran 2 ร— 2 adalah

yang bergantung pada empat parameter real, yakni fasa dari , fasa dari , magnitudo relatif antara dan , dan sudut and ฯ†. Determinan dari matriks tersebut adalahGrup dari matriks uniter dengan dikenal dengan grup uniter spesial (special unitary group) .

Matriks juga dapat dituliskan dalam bentuk alternatif berikut:

yang, dengan memperkenalkan variabel dan , akan memiliki faktorisasi berbentuk:

Ekspresi tersebut memperjelas hubungan antara matriks uniter berukuran 2 ร— 2 dan matriks ortogonal dengan sudut ฮธ. Bentuk faktorisasi lain adalah[2]

Matriks uniter juga memiliki beberapa faktorisasi matriks-matriks dasar.[3][4][5]

Referensi

sunting
  1. ^ Horn, Roger A.; Johnson, Charles R. (2013). Matrix Analysis. Cambridge University Press. doi:10.1017/9781139020411. ISBNย 9781139020411.
  2. ^ Fรผhr, Hartmut; Rzeszotnik, Ziemowit (2018). "A note on factoring unitary matrices". Linear Algebra and Its Applications. 547: 32โ€“44. doi:10.1016/j.laa.2018.02.017. ISSNย 0024-3795.
  3. ^ Williams, Colin P. (2011), Williams, Colin P. (ed.), "Quantum Gates", Explorations in Quantum Computing, Texts in Computer Science (dalam bahasa Inggris), London: Springer, hlm.ย 82, doi:10.1007/978-1-84628-887-6_2, ISBNย 978-1-84628-887-6, diakses tanggal 2021-05-14
  4. ^ Nielsen, Michael A.; Chuang, Isaac (2010). Quantum Computation and Quantum Information. Cambridge: Cambridge University Press. hlm.ย 20. ISBNย 978-1-10700-217-3. OCLCย 43641333.
  5. ^ Barenco, Adriano; Bennett, Charles H.; Cleve, Richard; DiVincenzo, David P.; Margolus, Norman; Shor, Peter; Sleator, Tycho; Smolin, John A.; Weinfurter, Harald (1995-11-01). "Elementary gates for quantum computation". Physical Review A. 52 (5). American Physical Society (APS): 3457โ€“3467. arXiv:quant-ph/9503016. doi:10.1103/physreva.52.3457. ISSNย 1050-2947., page 8

Pranala luar

sunting

๐Ÿ“š Artikel Terkait di Wikipedia

Matriks ortogonal

Dalam aljabar linear, matriks ortogonal, atau matriks ortonormal, adalah matriks persegi real yang kolom-kolom dan baris-barisnya merupakan vektor-vektor

Nilai dan vektor eigen

nilai-nilai eigen dari matriks ortogonal terletak pada lingkaran satuan, dan Alfred Clebsch menemukan bukti yang serupa untuk matriks skew-symmetric. Karl

Daftar topik analisis fungsional

Rayleigh (en) Hukum jajaran-genjang (en) Matriks normal (en), operator normal (en) Matriks ortogonal (en) Matriks uniter (en) Identitas Parseval (en) Integral

Grup titik

d adalah subkelompok dari grup ortogonal O(d). Kelompok titik dapat direalisasikan sebagai himpunan matriks ortogonal M yang mengubah titik x menjadi

Matriks normal

matriks-matriks real, semua matriks ortogonal, simetrik, dan skew-symmetric bersifat normal. Namun, tidak semua matriks normal merupakan matriks uniter atau (skew-)Hermite

Determinan

dari grup matriks dengan determinan bernilai 1 {\displaystyle 1} . Contoh lainnya adalah grup ortogonal khusus (yang berisi semua matriks rotasi ketika

Produk setengah langsung

Aut(โ„2) diberikan oleh perkalian matriks: ฯ†(h)(n) = hn. Grup ortogonal O(n) dari semua ortogonal riil n ร— n matriks (secara intuitif himpunan dari semua

Daftar topik aljabar linear

simetris Matriks ortogonal Matriks simetris miring Transpos sekawan Matriks kesatuan Matriks Hermite, Matriks Antihermite Positif-tentu, matriks positif-semitentu