Cayley-Hamilton Teoremi: Her Matris Kendi Karakteristik Polinomunu "Yutar"

Bir oyun: matrisi polinomun içine koymak

$2 \times 2$ bir matris alın: $A = \begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix}$.

Karakteristik polinomu hesaplayın: $p(\lambda) = \det(A - \lambda I) = \lambda^2 - 5\lambda - 2$.

Şimdi şaşırtıcı kısım: bu polinomda $\lambda$ yerine $A$'yı koyun. Yani $A^2 - 5A - 2I$ hesaplayın.

$A^2 = \begin{pmatrix} 7 & 10 \\ 15 & 22 \end{pmatrix}, \quad 5A = \begin{pmatrix} 5 & 10 \\ 15 & 20 \end{pmatrix}, \quad 2I = \begin{pmatrix} 2 & 0 \\ 0 & 2 \end{pmatrix}$

$A^2 - 5A - 2I = \begin{pmatrix} 7-5-2 & 10-10-0 \\ 15-15-0 & 22-20-2 \end{pmatrix} = \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}$

Sıfır matris.

Bu tesadüf değil. Her kare matris, kendi karakteristik polinomunu mutlaka sıfırlar. Bu, Cayley-Hamilton teoremidir.

Teoremin ifadesi

Cayley-Hamilton teoremi: Eğer $A$ bir $n \times n$ matris ve $p(\lambda) = \det(\lambda I - A)$ onun karakteristik polinomu ise:

$p(A) = 0$

(0 burada $n \times n$ sıfır matris.)

Tarih — Cayley (1858) ve Hamilton (1853)

Arthur Cayley ve William Rowan Hamilton bağımsız olarak ifade ettiler:

• Hamilton (1853): Kuaterniyonlar (özel $2 \times 2$ kompleks matrisler) için ispatladı.
• Cayley (1858): Genel matrisler için ifade etti. $2 \times 2$ ve $3 \times 3$ matrisler için doğrudan hesapladı. Genel durum için "kanıtlamak gereksiz görünüyor" yazdı — yani ispatlamamış!

Doğru ispat Frobenius (1878) tarafından yapıldı.

İronik: Bu teorem en az "kanıt sıkıntısı" çeken klasik teoremlerden biri. Cayley yazdı ama kanıtlamadı; biz "Cayley-Hamilton" diye anıyoruz.

Sezgi

Eğer $A$ diyagonelleştirilebilir ise sezgi sade: $A = PDP^{-1}$, $D$ eigendeğerlerle. $p(\lambda) = (\lambda - \lambda_1)(\lambda - \lambda_2) \cdots (\lambda - \lambda_n)$.

$p(A) = P p(D) P^{-1}$. $p(D)$ diyagonel, her diyagonal eleman $p(\lambda_i) = 0$ (eigendeğerler karakteristik polinomun kökleri). Yani $p(A) = 0$.

Diyagonelleştirilemeyen matrisler için iş Jordan formuna döner — yine aynı sonuç.

Genel ispat (modern)

Adjugate matris ile zarif bir ispat var:

Bilinen: $(\lambda I - A) \cdot \mathrm{adj}(\lambda I - A) = \det(\lambda I - A) \cdot I = p(\lambda) \cdot I$.

Sağ taraf: $p(\lambda) I$. Sol tarafta $\lambda$ yerine $A$ koymak istesek noncommutativ sorun var, ama dikkatli kurgulamayla:

Aslında $\mathrm{adj}(\lambda I - A)$, $\lambda$ cinsinden polinom (matris katsayılı). Denklemden $p(A) = 0$ çıkar (formal substitution).

Bu algeebrik ispat şıktır. Diğer ispatlar: topolojik (sürekli yaklaşıklık), kombinatoryal (permütasyonlar).

Niçin önemli?

1. Matris kuvvetlerini hesaplama

Cayley-Hamilton bize şunu der: $A^n = c_1 A^{n-1} + c_2 A^{n-2} + \cdots$. Yani $A^n$, daha düşük kuvvetlerin lineer birleşimi.

Sonuç: tüm $A^k$ kuvvetleri ($k \geq n$), $I, A, A^2, \ldots, A^{n-1}$ ile yazılabilir. Bu, matris üst alma algoritmalarının temeli.

2. Matrisin tersini hesaplama

$p(A) = A^n + c_{n-1} A^{n-1} + \cdots + c_1 A + c_0 I = 0$.

$A \cdot (A^{n-1} + c_{n-1} A^{n-2} + \cdots + c_1 I) = -c_0 I$.

Yani $A^{-1} = -\frac{1}{c_0}(A^{n-1} + c_{n-1} A^{n-2} + \cdots + c_1 I)$.

Bu, determinantı ($c_0 = (-1)^n \det A$) sıfır olmayan matrislerin tersini direkt formülle verir.

3. Minimal polinom kavramı

$A$'nın minimal polinomu $m(\lambda)$: $m(A) = 0$ olan en küçük dereceli polinom.

Cayley-Hamilton: $m \mid p$ (minimal polinom karakteristik polinomu böler). Minimal polinom, matrisin Jordan yapısını anlamak için temel.

4. Diferansiyel denklemler

Lineer sistem $x'(t) = Ax(t)$ çözümü $x(t) = e^{At} x(0)$. Matris üsi $e^{At}$ hesaplamak için Cayley-Hamilton sayesinde sadece $I, A, A^2, \ldots, A^{n-1}$ kullanmak yeter — sonsuz seri gerekmez.

5. Kontrol teorisi

Modern kontrol mühendisliğinde sistem analizi için matris üsleri vs. Cayley-Hamilton etkin hesap sağlar.

6. Kuantum mekaniği

$n$-seviye sistemlerinin evrim operatörü matris üs. Cayley-Hamilton sonlu boyutlu Hilbert uzaylarında çok verimli.

Genelleştirmeler

Genel halkalar

Cayley-Hamilton, değişmeli halka üzerindeki matrisler için de geçerli. Modern cebrik geometri ve sayı teorisinde kullanılır.

Operatörler

Sonsuz boyutlu Banach uzaylarında kompakt operatörler için benzer sonuçlar var (eigen değer analizi).

Tensörler

Yüksek dereceli tensörler için Cayley-Hamilton tarzı sonuçlar aktif araştırma alanı.

Hesap karmaşıklığı

Yukarıdaki ters formülü $O(n^4)$ zamanda hesaplanabilir. Modern algoritmalar (LU ayrışımı) $O(n^3)$ verir. Cayley-Hamilton teorik olarak güzel ama pratikte direkt ters hesabı için en hızlı yöntem değil.

Ama sembolik hesap (Mathematica, SymPy) için Cayley-Hamilton temel — matrislerin polinomal ilişkilerini bulmak için.

Sonuç

Cayley-Hamilton teoremi:

• Lineer cebrin temel sonucu.
• "Matris kendi karakteristik polinomunu yutar".
• Matris kuvvetleri, tersleri, üsleri hesaplamanın temel aracı.
• Modern uygulamalar: kontrol mühendisliği, kuantum mekaniği, sayısal hesap.

Bir tek satır: $p(A) = 0$. Ama bu satırın altında tüm sonlu boyutlu lineer cebir yatar.

Hamilton kuaterniyonlar üzerinde sezdi; Cayley genel ifade etti; Frobenius tam ispatladı. Üç matematikçi, üç farklı bakış açısı, bir tek zarif teorem. Modern matematik öğrencisi her gün — diferansiyel denklem çözerken, kontrol sistemi analizi yaparken, kuantum mekaniği problemi çözerken — Cayley-Hamilton kullanır.

"Matris kendi denklemini sağlar." Zarif sade bir gerçek. Lineer cebrin köşe taşı.