Dalam matematika, suatu matriks persegi dengan entri-entri kompleks dikatakan normal jika ia bersifat komutatif atas perkalian matriks dengan transpos konjugat ; secara matematis dinyatakan sebagai . Konsep dari matriks normal dapat diperumum menjadi operator normal di ruang vektor bernorma berdimensi tak hingga, dan elemen normal di aljabar C*.
Definisi
Ada banyak cara yang ekuivalen untuk mendefinisikan matriks normal. Misalkan adalah matriks kompleks berukuran , pernyataan-pernyataan berikut ekuivalen:
- adalah matriks normal.
- dapat diagonalkan oleh suatu matriks uniter.
- Ada suatu himpun vektor-vektor eigen dari yang membangun basis ortonormal bagi .
- untuk sembarang x.
- Norma Frobenius dari dapat dihitung dari nilai-nilai eigen , yakni .
- Bagian Hermite dan bagian skew-Hermitian dari saling komutatif.
- suatu polinomial (dengan derajat maksimum ) dalam .[a]
- untuk suatu matriks uniter .[1]
- dan saling komutatif, yang mengartikan kita memiliki dekomposisi kutub dengan suatu matriks uniter dan suatu matriks semidefinit positif .
- saling komutatif dengan suatu matriks normal yang nilai-nilai eigennya yang unik.
- untuk semua , dengan dan masing-masing adalah nilai-nilai singular dan nilai-nilai eigen dari .[2]
Kasus khusus
Di antara matriks-matriks kompleks, semua matriks uniter, Hermite, dan skew-Hermitian bersifat normal. Serupa dengan itu, di antara matriks-matriks real, semua matriks ortogonal, simetrik, dan skew-symmetric bersifat normal. Namun, tidak semua matriks normal merupakan matriks uniter atau (skew-)Hermite. sebagai contoh,
tidak uniter, Hermite, maupun skew-Hermitian, namun merupakan matriks normal karena
Catatan kaki
- ^ Bukti: Jika normal, gunakan rumus interpolasi Lagrange untuk mengonstruksi suatu polinomial sedemikian sehingga , dengan adalah nilai-nilai eigen dari .
Referensi
Sumber