Command Palette

Search for a command to run...

Metode Linear AI

Sistem Persamaan Normal

Apa itu Sistem Persamaan Normal

Bayangkan kamu punya masalah optimasi yang rumit, tapi ternyata ada jalan pintas yang elegan. Dalam masalah kuadrat terkecil, alih-alih melakukan optimasi langsung, kita bisa mengubahnya menjadi sistem persamaan yang lebih mudah diselesaikan.

Ketika kita ingin meminimumkan

minxAxb22\min_x \|A \cdot x - b\|_2^2

ternyata solusinya dapat ditemukan dengan menyelesaikan sistem persamaan berikut

ATAx=ATbA^T A \cdot x = A^T b

Persamaan ini disebut sistem persamaan normal karena melibatkan konsep ortogonalitas atau keadaan "normal" (tegak lurus) dalam ruang vektor.

Hubungan Fundamental

Ada hubungan yang sangat menarik antara masalah minimisasi dan sistem persamaan normal ini. Vektor x^Rn\hat{x} \in \mathbb{R}^n merupakan solusi dari masalah kuadrat terkecil jika dan hanya jika vektor tersebut memenuhi sistem persamaan normal.

Dengan kata lain, mencari x^\hat{x} yang membuat Axb22\|A \cdot x - b\|_2^2 minimal sama persis dengan mencari x^\hat{x} yang memenuhi ATAx^=ATbA^T A \cdot \hat{x} = A^T b.

Mengapa Sistem Ini Bekerja

Untuk memahami mengapa hubungan ini berlaku, kita perlu melihat dari sudut pandang geometris.

Ketika x^\hat{x} memberikan nilai minimum untuk Ax^b22\|A\hat{x} - b\|_2^2, maka vektor kesalahan Ax^bA\hat{x} - b harus ortogonal terhadap semua vektor dalam ruang kolom matriks AA.

Ruang kolom ini terdiri dari semua vektor yang dapat ditulis sebagai AxAx untuk xRnx \in \mathbb{R}^n. Kondisi ortogonalitas berarti

0=Ax,Ax^b0 = \langle Ax, A\hat{x} - b \rangle

untuk setiap vektor xRnx \in \mathbb{R}^n. Dengan menggunakan sifat perkalian dalam, kita dapat menuliskan

0=(Ax)T(Ax^b)=xT(ATAx^ATb)0 = (Ax)^T (A\hat{x} - b) = x^T (A^T A\hat{x} - A^T b)

Karena hubungan ini harus berlaku untuk semua vektor xx, maka

ATAx^ATb=0A^T A\hat{x} - A^T b = 0

Inilah yang memberikan sistem persamaan normal.

Pembuktian Menggunakan Teorema Pythagoras

Kita juga bisa memverifikasi hasil ini dengan cara yang berbeda. Misalkan x^\hat{x} adalah solusi sistem persamaan normal dan xx adalah sembarang vektor di Rn\mathbb{R}^n.

Menggunakan teorema Pythagoras, kita dapat menuliskan

Axb22=Ax^bA(x^x)22\|Ax - b\|_2^2 = \|A\hat{x} - b - A(\hat{x} - x)\|_2^2
=Ax^b22+A(x^x)222Ax^b,A(x^x)= \|A\hat{x} - b\|_2^2 + \|A(\hat{x} - x)\|_2^2 - 2 \langle A\hat{x} - b, A(\hat{x} - x) \rangle
=Ax^b22+A(x^x)2202(x^x)T(ATAx^ATb)=0= \|A\hat{x} - b\|_2^2 + \underbrace{\|A(\hat{x} - x)\|_2^2}_{\geq 0} - 2 \underbrace{(\hat{x} - x)^T (A^T A\hat{x} - A^T b)}_{=0}

Karena x^\hat{x} memenuhi sistem persamaan normal, maka ATAx^ATb=0A^T A\hat{x} - A^T b = 0 dan norm kuadrat selalu non-negatif. Oleh karena itu

Axb22=Ax^b22+A(x^x)22Ax^b22\|Ax - b\|_2^2 = \|A\hat{x} - b\|_2^2 + \|A(\hat{x} - x)\|_2^2 \geq \|A\hat{x} - b\|_2^2

Ketidaksamaan ini membuktikan bahwa x^\hat{x} memang memberikan nilai minimum.

Kapan Sistem Persamaan Normal Dapat Diselesaikan

Tidak semua sistem persamaan normal dapat diselesaikan dengan mudah. Ada kondisi khusus yang harus dipenuhi.

Untuk matriks ARm×nA \in \mathbb{R}^{m \times n} dengan mnm \geq n, matriks simetrik ATARn×nA^T A \in \mathbb{R}^{n \times n} dapat diinversi jika dan hanya jika matriks AA memiliki peringkat penuh, yaitu Peringkat(A)=n\text{Peringkat}(A) = n.

Kondisi ini sangat penting karena menentukan apakah sistem persamaan normal memiliki solusi yang unik. Ketika ATAA^T A dapat diinversi, solusi dapat ditulis secara eksplisit sebagai

x^=(ATA)1ATb\hat{x} = (A^T A)^{-1} A^T b

Pembuktian Kondisi Invertible

Untuk memahami kapan ATAA^T A dapat diinversi, kita perlu melihat hubungan antara ruang nul (kernel) dan peringkat.

Jika ATAA^T A dapat diinversi, maka ruang nul dari ATAA^T A hanya berisi vektor nol. Karena ruang nul dari ATAA^T A mencakup ruang nul dari AA, maka AA juga hanya memiliki vektor nol dalam ruang nulnya. Ini berarti Peringkat(A)=n\text{Peringkat}(A) = n.

Sebaliknya, jika Peringkat(A)=n\text{Peringkat}(A) = n, maka persamaan Ax=0Ax = 0 hanya memiliki solusi x=0x = 0. Untuk melihat bahwa ATAA^T A dapat diinversi, perhatikan bahwa jika ATAx=0A^T Ax = 0, maka

0=x,ATAx=xTATAx=Ax,Ax0 = \langle x, A^T Ax \rangle = x^T A^T Ax = \langle Ax, Ax \rangle

Karena perkalian dalam hanya bernilai nol jika Ax=0Ax = 0, dan kita tahu bahwa ini hanya terjadi ketika x=0x = 0, maka ATAA^T A memang dapat diinversi.

Sifat Positif Definit

Lebih dari sekadar dapat diinversi, matriks ATAA^T A memiliki sifat khusus. Ketika Peringkat(A)=n\text{Peringkat}(A) = n dan x0x \neq 0, kita memiliki Ax0Ax \neq 0 dan

xTATAx=Ax,Ax>0x^T A^T A x = \langle Ax, Ax \rangle > 0

Ini menunjukkan bahwa ATAA^T A adalah matriks positif definit. Properti ini menjamin bahwa sistem persamaan normal tidak hanya memiliki solusi unik, tetapi juga stabil secara numerik ketika diselesaikan dengan metode komputasi. Algoritma seperti dekomposisi Cholesky dapat digunakan dengan aman untuk menyelesaikan sistem ini.