For AI agents: use /llms.txt for the Nakafa content index.
Bayangkan kita memiliki sebuah mangkuk yang selalu mengarah ke atas. Tidak peduli dari arah mana kita melemparkan bola ke dalamnya, bola tersebut akan selalu menggelinding ke titik terendah. Matriks definit positif memiliki sifat yang mirip dengan mangkuk ini dalam ruang matematika.
Sebuah matriks simetris atau matriks Hermitian disebut jika:
Matriks disebut positif definit jika kondisi yang lebih kuat terpenuhi:
Sebaliknya, matriks disebut negatif semidefinit jika adalah positif semidefinit, dan negatif definit jika adalah positif definit. Matriks yang tidak positif maupun negatif semidefinit disebut indefinit.
Mengapa konsep ini penting? Mari kita lihat dari sudut pandang geometris yang menarik.
Jika adalah matriks definit positif, maka himpunan:
membentuk sebuah elipsoid dalam ruang dimensi dengan pusat di titik origin. Bentuk elipsoid ini memberikan gambaran visual tentang bagaimana matriks tersebut "meregangkan" ruang di berbagai arah.
Secara khusus, jika dimana adalah matriks identitas, maka menjadi sebuah bola dengan jari-jari .
Salah satu sifat sederhana namun penting dari matriks definit positif adalah bahwa semua elemen diagonalnya harus positif.
Jika adalah matriks definit positif, maka semua elemen diagonal untuk .
Mengapa demikian? Karena jika kita ambil vektor basis standar yang hanya memiliki komponen pada posisi ke- dan di tempat lain, maka:
Namun, kondisi ini tidak cukup untuk menjamin definit positif. Kita bisa memiliki matriks dengan semua elemen diagonal positif tetapi tidak definit positif.
Cara paling elegant untuk menentukan definit positif adalah melalui nilai eigennya. Mari kita lihat kriteria yang sangat berguna ini.
Sebuah matriks simetris atau Hermitian adalah definit positif jika dan hanya jika semua nilai eigennya positif:
Untuk semidefinit positif, semua nilai eigen harus non-negatif ().
Mengapa hal ini benar? Karena untuk matriks simetris atau Hermitian, kita dapat melakukan diagonalisasi ortogonal. Jika dimana adalah matriks diagonal berisi nilai eigen, maka:
dimana . Ekspresi ini positif untuk semua jika dan hanya jika semua .
Ada cara praktis lain untuk memeriksa definit positif tanpa harus menghitung nilai eigen. Metode ini disebut kriteria minor utama atau Hauptminorenkriterium.
Misalkan adalah matriks simetris. Untuk , definisikan minor utama ke- sebagai:
Ini adalah submatriks kiri-atas berukuran dari matriks . Determinan dari disebut minor utama ke-.
Matriks simetris adalah definit positif jika dan hanya jika semua minor utamanya positif:
Kriteria minor utama ini hanya mendeteksi definit positif, bukan semidefinit positif.
Mari kita lihat beberapa contoh untuk memahami konsep ini lebih baik.
Perhatikan matriks . Matriks ini memiliki nilai eigen sekitar dan .
Karena ada nilai eigen negatif, matriks ini adalah indefinit. Meskipun elemen diagonalnya ( dan ) keduanya positif, hal ini tidak menjamin definit positif.
Sekarang perhatikan matriks . Matriks ini memiliki nilai eigen dan . Kedua nilai eigen positif, sehingga matriks ini definit positif.
Kita juga dapat memverifikasi dengan kriteria minor utama:
Karena semua minor utama positif, matriks ini definit positif.
Dari contoh sebelumnya, inverse dari matriks definit positif adalah:
Matriks ini memiliki nilai eigen sekitar dan . Keduanya positif, sehingga juga definit positif.
Salah satu hasil penting dalam aljabar linear adalah sifat matriks untuk matriks persegi panjang.
Jika dengan , maka matriks adalah positif semidefinit. Matriks ini menjadi positif definit jika dan hanya jika memiliki peringkat penuh (peringkat ).
Mengapa demikian? Karena untuk setiap vektor :
Ekspresi ini sama dengan nol hanya jika . Jika memiliki peringkat penuh, maka hanya untuk , sehingga definit positif.
Konsep yang sangat berguna dalam praktik adalah kemampuan untuk "menggeser" spektrum matriks.
Jika adalah matriks simetris atau adalah matriks Hermitian, dan adalah bilangan real yang lebih kecil dari semua nilai eigen , maka matriks:
adalah definit positif.
Ini memberikan cara praktis untuk membuat matriks menjadi definit positif dengan menggeser nilai eigennya. Jika kita tahu batas bawah nilai eigen terkecil, kita dapat menggeser spektrum sehingga semua nilai eigen menjadi positif.
Matriks definit positif memiliki peran sentral dalam optimasi, analisis numerik, dan pembelajaran mesin karena sifat geometrisnya yang menjamin adanya minimum global yang unik.
