Bu araç ne işe yarar?
3×3 Matris Özdeğer Hesaplama Aracı, gerçel sayılardan oluşan herhangi bir 3×3 matrisin üç özdeğerini bulur. Özdeğerler, sıfırdan farklı bir v vektörü için \(Av = \lambda v\) eşitliğini sağlayan özel \(\lambda\) skalerleridir. Bir doğrusal dönüşümün uzayı kendi karakteristik yönlerinde nasıl gerdiğini ortaya koyar; fizikte, mühendislikte, istatistikte (PCA — temel bileşen analizi) ve kararlılık analizinde sıkça karşımıza çıkarlar.
Nasıl kullanılır?
A matrisinizin dokuz elemanını ızgaradaki konumlarına (a₁₁'den a₃₃'e kadar) girin ve hesaplayın. Araç, \(\det(A - \lambda I) = 0\) karakteristik polinomunu kurar, ortaya çıkan kübik denklemi çözer ve özdeğerleri büyükten küçüğe sıralı olarak verir. Ayrıca sonucu kontrol etmeniz için iz (trace) ve determinant değerlerini de gösterir.
Formülün açıklaması
Bir 3×3 matris için karakteristik denklem şu kübik forma açılır: $$\det(A - \lambda I) = -\lambda^3 + \operatorname{tr}(A)\,\lambda^2 - m\,\lambda + \det(A) = 0$$ Burada \(\operatorname{tr}(A)\) köşegen elemanlarının toplamı, \(m\) ise üç temel 2×2 minörün toplamıdır. Her iki tarafı \(-1\) ile çarptığımızda baş katsayısı 1 olan (monik) bir kübik elde ederiz; bu denklem Cardano yöntemiyle / trigonometrik yöntemle tam olarak çözülür. Sonucu doğrulayan iki kullanışlı özdeşlik vardır: özdeğerlerin toplamı ize, çarpımı ise determinanta eşittir. $$\sum \lambda_i = \operatorname{tr}(A), \qquad \prod \lambda_i = \det(A)$$
Çözümlü örnek
Satırları [2,0,0], [0,3,4], [0,4,9] olan simetrik matrisi ele alalım. İz 14, determinant ise \(2\cdot(27-16)=22\)'dir. Sağ alt köşedeki [[3,4],[4,9]] bloğunun özdeğerleri 11 ve 1'dir; izole edilmiş 2 değeri de üçüncü özdeğeri verir. Yani özdeğerler 11, 2 ve 1'dir — tam olarak aracın döndürdüğü sonuç.
Özdeğerlerinizi Yorumlama
Özdeğerler matrisin karakteristik doğrultular boyunca uzayı nasıl esnettiğini, sıkıştırdığını, çevirdiğini veya döndürdüğünü anlatır. İşaretleri ve yapıları doğrudan anlam taşır.
- Tüm özdeğerler pozitif (>0): matris pozitif-tanımlıdır (simetrik \(A\) için). Her yönü dışarı doğru esnetir; ikinci dereceden formlar \(x^\top A x\) her zaman pozitiftir. Bu optimizasyonda katı yerel minimum koşuludur ve geçerli bir kovaryans matrisi koşuludur.
- Tüm özdeğerler negatif (<0): negatif-tanımlı — her yön sıkıştırılır/ters çevrilir. Dinamik sistemlerde bu asimptotik olarak kararlı bir denge anlamına gelir.
- Karışık işaretler: matris belirsizdir — bir eyerdir. Bazı yönler genişler, diğerleri daralmış.
- Özdeğer sıfıra eşit: matris tekil (ters alınamaz) ve \(\det(A)=0\). En az bir yönü orijine çöktürür; boş uzay karşılık gelen özuzayıdır.
Tekrarlanan ve karmaşık kökler
- Tekrarlanan (dejenere) özdeğerler: cebirsel ve geometrik çokluğu karşılaştırın. Tekrarlanan bir özdeğer yeterli bağımsız özvektöre sahipse (geometrik = cebirsel çokluk) matris köşegenleştirilebilir; çok az varsa kusurlu ve Jordan formuna ihtiyaç duyar.
- Karmaşık eşlenik çift \(a\pm bi\): reel 3×3 matris her zaman en az bir reel özdeğere sahip olduğu için karmaşık kökler tek bir eşlenik çift artı bir reel değer olarak görülür. Çift, 2D değişmez düzlemde dönme-ölçekleme gösterir; modülü \(\sqrt{a^2+b^2}\) büyüme/azalma oranını ayarlar ve argümanı dönme açısını ayarlar.
Alan anlamı
Kararlılık analizinde, sistemin Jakobiyen matrisinin özdeğerleri denge davranışını belirler: negatif reel kısım → kararlı, herhangi bir pozitif reel kısım → kararsız, tamamen sanal → salınım. Temel Bileşen Analizi (PCA)nde, kovaryans matrisinin özdeğerleri her bir temel yön (özvektör) boyunca yakalanan varyansı eşitlerdir; en büyük özdeğer en geniş yayılmanın eksenini işaretler ve her özdeğerin bunların toplamına oranı açıklanan toplam varyansın kesridir.
Temel Terimler
- Özdeğer (\(\lambda\))
- Sıfır olmayan bir \(\mathbf{v}\) vektörü için \(A\mathbf{v}=\lambda\mathbf{v}\) olacak şekilde bir skaler; matrisin o yönü ölçeklediği faktördür.
- Özvektör (\(\mathbf{v}\))
- Matris ile çarpıldığında yönü değişmeyen (yalnızca ölçeklenen) sıfır olmayan vektör; özdeğerinin özuzayını kaplar.
- Karakteristik polinom
- \(\det(A-\lambda I)\) polinomu; 3×3 matris için kübik \(\lambda^3-\operatorname{tr}(A)\lambda^2+m\lambda-\det(A)\) şeklindedir, kökleri özdeğerlerdir.
- İz, \(\operatorname{tr}(A)\)
- Köşegen girdilerin toplamı \(a_{11}+a_{22}+a_{33}\); özdeğerlerin toplamına eşittir.
- Determinant, \(\det(A)\)
- Dönüşümün hacim ölçeklemesini ölçen skaler; özdeğerlerin çarpımına eşittir. Sıfır determinant tekil bir matris anlamına gelir.
- Temel 2×2 minör (\(m\))
- Eşleşen bir satır ve sütun silindikten sonra kalan üç 2×2 determinantın toplamı; karakteristik kübikteki \(\lambda\) katsayısıdır ve özdeğerlerin ikili çarpımlarının toplamına eşittir.
- Cebirsel çokluk
- Bir özdeğerin karakteristik polinomun kökü olarak görüldüğü sayı.
- Geometrik çokluk
- Bir özdeğer için doğrusal bağımsız özvektörlerin sayısı (özuzayının boyutu). Asla cebirsel çokluğu aşmaz; her özdeğer için eşitlik matrisin köşegenleştirilebilir olduğu anlamına gelir.
- Karmaşık eşlenik özdeğerler
- Reel matrisler için ortaya çıkan \(a+bi\) ve \(a-bi\) çifti; değişmez düzlemde dönme bileşenini işaret eder.
- Birim matris (\(I\))
- Köşegeni 1s ve başka yerleri 0s olan kare matris; \(\lambda I\) \(A-\lambda I\) formunu oluşturmak için \(A\)'dan çıkarılır.
Sıkça sorulan sorular
Karmaşık (kompleks) özdeğerleri çözebilir mi? Simetrik olmayan matrislerin karmaşık eşlenik özdeğerleri olabilir. Bu araç gerçel kökü tam olarak, karmaşık çiftlerin ise gerçel kısımlarını raporlar. Simetrik matrislerin her zaman üç gerçel özdeğeri vardır.
İz (trace) ne işe yarar? Tüm özdeğerlerin toplamına eşittir; sonucu hızlıca doğrulamanın pratik bir yoludur.
Tekrarlayan özdeğerler destekleniyor mu? Evet — tekrarlanan bir kök listede birden fazla kez görünür.
