Karakterisasi Diagonalisasi Uniter
Teorema spektral kompleks mengarakterisasi dengan tepat kapan vektor eigen dapat dipilih secara ortonormal. Teorema ini menghubungkan geometri basis uniter dengan syarat aljabar berupa normalitas.
Untuk , pernyataan berikut ekuivalen:
- Terdapat basis ortonormal bagi yang terdiri atas vektor eigen .
- Matriks tersebut normal: .
- Terdapat matriks uniter dan matriks diagonal sehingga .
Teorema ini lebih kuat daripada diagonalisabilitas biasa. Matriks yang dapat didiagonalkan mungkin memiliki basis vektor eigen berkondisi buruk, sedangkan basis uniter mempertahankan norma dan sudut.
Pembuktian Arah Pertama
Pertama, misalkan terdapat basis ortonormal yang terdiri dari vektor eigen. Kita akan menunjukkan secara langsung bahwa matriks tersebut normal.
Misalkan adalah basis ortonormal yang terdiri dari vektor eigen matriks . Untuk setiap berlaku .
Karena basis ortonormal, kita punya rangkaian perhitungan berikut:
Ini berarti , sehingga:
Karena ini berlaku untuk semua vektor basis, maka , yang berarti normal.
Pembuktian Normalitas ke Diagonalisasi
Arah sebaliknya dibuktikan dengan induksi pada ukuran matriks . Kasus dasar menangani ukuran terkecil yang memenuhi syarat, lalu langkah induksi mereduksi matriks menjadi blok normal berukuran .
Struktur Induksi Matematis
Buktinya disusun dengan induksi, jadi langkah berikut menetapkan kasus dasar, menyatakan asumsi induksi, lalu mengambil langkah dari ke .
Langkah Basis Untuk , matriks kosong memenuhi pernyataan.
Hipotesis Induksi Asumsikan pernyataan benar untuk semua matriks normal berukuran .
Langkah Induksi Misalkan normal. Berdasarkan teorema fundamental aljabar, terdapat nilai eigen dari . Misalkan adalah vektor eigen yang bersesuaian dengan .
Kita punya . Lemma berikut menunjukkan bahwa juga berlaku.
Mengapa Adjoin Memiliki Vektor Eigen yang Sama
Misalkan . Karena normal, juga normal. Dengan demikian,
Maka , yang tepat berarti . Langkah inilah yang membuat komplemen ortogonal dari bersifat invarian.
Pembentukan Subruang Invarian
Lengkapi menjadi basis ortonormal dengan vektor . Definisikan:
Di sini rentang dari vektor-vektor adalah himpunan semua kombinasi linear dari vektor-vektor tersebut. Dengan kata lain, berisi semua vektor yang dapat ditulis sebagai dengan .
Untuk setiap , berlaku:
Jadi , yang berarti:
Dengan kata lain, invarian terhadap : menerapkan pada sebarang vektor di menghasilkan vektor lain yang tetap berada di .
Transformasi Uniter dan Pemeliharaan Normalitas
Misalkan adalah matriks uniter dengan kolom . Maka .
Dalam basis uniter ini, memiliki bentuk blok berikut:
Blok kanan bawah memiliki ukuran
Karena transformasi kesebangunan uniter mempertahankan normalitas, kita dapat menunjukkan bahwa:
Oleh karena itu matriks blok diagonal juga normal, yang berarti juga normal.
Konstruksi Basis Ortonormal Lengkap
Berdasarkan hipotesis induksi, terdapat basis ortonormal yang terdiri atas vektor-vektor eigen . Misalkan adalah matriks uniter dengan kolom tersebut.
Dalam basis , matriks menjadi diagonal:
Entri diagonal adalah nilai eigen dari .
Sekarang kita definisikan:
Maka adalah matriks uniter dengan:
Substitusi matriks ke transformasi kesebangunan memberikan
Kolom dari membentuk basis ortonormal dari vektor eigen matriks .
Kasus Matriks Riil
Untuk matriks real, perbedaannya terletak pada apakah nilai eigen dan vektor eigen yang diperlukan juga bernilai real.
Matriks real disebut normal jika
Matriks normal real tetap dapat didiagonalkan secara uniter pada , tetapi vektor eigen dan nilai eigennya belum tentu real. Pada , perubahan basis ortogonal menghasilkan matriks diagonal blok yang berisi blok nilai eigen real dan blok
Setiap blok berukuran ini mewakili pasangan nilai eigen konjugat . Matriks normal real dapat didiagonalkan secara ortogonal pada tepat ketika semua nilai eigennya real.
Matriks simetris dan matriks ortogonal selalu normal. Untuk matriks simetris dengan , berlaku
Untuk matriks ortogonal , kita punya:
Contoh Rotasi
Rotasi seperempat putaran dapat ditulis dengan matriks berikut:
Matriks bersifat real dan ortogonal, sehingga normal. Nilai eigennya adalah dan , dengan vektor eigen ternormalisasi berikut:
Jadi, dapat didiagonalkan secara uniter pada , tetapi tidak dapat didiagonalkan dengan matriks ortogonal real. Pada , rotasi itu sendiri merupakan blok yang diperlukan.