Keberadaan Dekomposisi QR
Dekomposisi memfaktorkan matriks menjadi faktor ortogonal dan faktor segitiga atas. Perkalian dengan matriks ortogonal mempertahankan panjang dan sudut, sehingga cocok untuk perhitungan numerik yang stabil.
Misalkan memenuhi dan . Terdapat matriks ortogonal dengan dan matriks segitiga atas yang elemen diagonal pertamanya positif, sehingga
Faktorisasi ini disebut dekomposisi dari .
Pembuktian dengan Gram Schmidt
Misalkan adalah kolom ke- dari . Proses Gram-Schmidt menghilangkan komponen pada arah yang sudah diperoleh, lalu menormalkan sisanya:
Karena kolom bebas linear, pada setiap langkah. Vektor yang sudah dinormalkan menjadi kolom dan memenuhi . Setiap kolom awal dapat disusun kembali sebagai
Jadi, , dengan berbentuk segitiga atas dan .
Lengkapi dengan kolom ortonormal sehingga .
Tambahkan baris nol pada sehingga diperoleh:
Matriks yang sudah dilengkapi tetap memenuhi .
Dekomposisi QR Lengkap dan Tipis
Untuk dengan , bentuk lengkap dan bentuk tipis menyatakan faktorisasi yang sama dengan ukuran matriks berbeda. Keduanya menghasilkan saat dikalikan kembali, sehingga pilihannya bergantung pada apakah kamu memerlukan basis ortonormal lengkap atau hanya kolom yang memuat datanya.
Dekomposisi QR Lengkap
Bentuk lengkap mempertahankan seluruh kolom :
Pada bentuk lengkap ini, ortogonal dan memuat blok segitiga atas berukuran di atas baris nol.
Dekomposisi QR Tipis
Bentuk tipis menghapus baris nol tersebut beserta kolom yang tidak lagi dipakai:
Di sini berisi kolom pertama , sedangkan berbentuk segitiga atas. Menyimpan tanpa matriks penuh menghemat memori dan menghindari operasi pada blok yang seluruh elemennya sudah diketahui nol.
Kolom yang tidak dipakai, yaitu , membentuk basis ortonormal untuk ruang nol :
Ruang nol berisi semua vektor yang memenuhi .
Sifat Keunikan
Untuk matriks dengan peringkat kolom penuh, faktorisasi tipis bersifat unik jika semua elemen diagonal positif. Syarat tanda itu menghapus kebebasan yang tersisa, karena mengalikan satu kolom dan baris yang bersesuaian dengan tidak mengubah hasil kalinya.
Contoh Dekomposisi QR Tipis
Misalkan
Gram-Schmidt mula-mula memberikan
Dengan demikian,
Metode Householder untuk Dekomposisi QR
Gram-Schmidt klasik mudah diturunkan, tetapi kolom yang hampir bergantung linear dapat kehilangan ortogonalitas dalam aritmetika titik mengambang. Gram-Schmidt termodifikasi mengurangi galat tersebut. Perangkat lunak numerik untuk matriks padat umumnya memakai reflektor Householder, sedangkan rotasi Givens berguna ketika hanya elemen tertentu yang perlu dibuat nol.
Transformasi Householder
Untuk vektor satuan , matriks Householder didefinisikan sebagai
Produk luar mengalikan vektor kolom berukuran dengan vektor baris berukuran , sehingga produk tersebut berupa matriks berperingkat satu. Urutan terbalik menghasilkan skalar .
Sifat Transformasi Householder
Untuk dan , berlaku sifat berikut. Sifat simetri dan ortogonal berasal dari vektor satuan pada definisinya, sifat pantulan menjelaskan pengaruh transformasi pada sebuah vektor, dan bilangan kondisi satu berarti pantulan eksak mempertahankan norma Euklides vektor gangguan.
-
adalah simetri:
-
adalah matriks ortogonal:
-
memantulkan terhadap hiperbidang yang tegak lurus pada
Prosedur Householder
Misalkan memenuhi dan . Setiap langkah Householder membuat elemen di bawah satu posisi diagonal menjadi nol tanpa mengubah nol yang sudah terbentuk pada langkah sebelumnya.
Mulai dengan . Pantulkan kolom pertamanya ke kelipatan vektor koordinat pertama:
Proses Iteratif Transformasi
Dengan , seluruh elemen kolom pertama di bawah diagonal menjadi nol:
Pada matriks , dan .
Terapkan reflektor berikutnya hanya pada submatriks kanan bawah yang tersisa:
Masukkan reflektor kedua ke blok kanan bawah matriks identitas:
Seluruh elemen kolom kedua di bawah diagonal kemudian menjadi nol:
Di sini dan . Pengulangan operasi yang sama menyisakan kolom aktif terakhir
Setelah refleksi terakhir, matriks yang diperoleh berbentuk segitiga atas:
Karena setiap reflektor ortogonal dan simetris, hasil kalinya memberikan
Matriks bersifat ortogonal karena merupakan hasil kali beberapa reflektor ortogonal.
Algoritma Householder
Mulai dengan matriks aktif dan faktor ortogonal berikut:
Pada langkah ke-, ambil bagian aktif dari kolom ke-:
Hitung normanya, pilih tanda yang menghindari pembatalan numerik, lalu bentuk vektor Householder:
Faktor skalanya adalah
Vektor ternormalisasi dan reflektor penuhnya adalah
Perbarui matriks aktif dan faktor terkumpul tanpa membentuk perkalian padat tambahan:
Setelah langkah,
Aspek Numerik dan Kompleksitas Householder
Menerapkan dekomposisi dalam aritmetika floating-point memunculkan dua pertanyaan praktis, yaitu berapa banyak operasi yang dibutuhkan dan bagaimana galat pembulatannya berperilaku. Jawaban keduanya menentukan apakah metode ini cocok untuk masalahmu: jumlah operasi menentukan waktu jalan pada matriks besar, sedangkan perilaku pembulatannya menentukan seberapa jauh hasil hitungan bisa dipercaya.
Kompleksitas Komputasi
Perhitungan berikut menyimpan secara implisit sebagai reflektor dan menghitung . Membentuk matriks penuh berukuran secara eksplisit memerlukan operasi tambahan.
Untuk , dekomposisi dengan reflektor Householder memerlukan kira-kira:
Perkiraan banyaknya operasi floating-point saat adalah:
Sifat Numerik
Perkalian ortogonal mempertahankan nilai singular, sehingga untuk matriks dengan peringkat kolom penuh.
Pada langkah ke-, elemen diagonal baru bernilai . Pilih tanda berikut saat menghitung reflektor agar dua bilangan yang hampir sama tidak saling dikurangkan:
Setelah faktorisasi selesai, tanda satu kolom dan baris yang bersesuaian dapat dibalik agar diagonal positif. Jika , matriks tidak memiliki peringkat kolom penuh dan syarat keunikan tersebut tidak berlaku. Gunakan dekomposisi dengan pivot kolom untuk menentukan peringkat numeriknya.
Implementasi ringkas menskalakan vektor Householder agar entri aktif pertamanya 1. Entri sisanya disimpan di bawah diagonal matriks kerja, sedangkan skalar terpisah menyimpan kekuatan reflektor. Diagonal dan segitiga atas tetap menyimpan . Terapkan reflektor tersimpan tanpa membentuk secara eksplisit.
Faktorisasi tipis mempertahankan kolom pertama dan baris pertama .