Özdeğer ve Özvektör
Bir matris çoğu vektörle çarpıldığında onun hem uzunluğunu hem yönünü değiştirir; ama bazı özel vektörler vardır ki matris yalnızca uzunluklarını ölçekler, doğrultularına dokunmaz. Bu derste işte o vektörleri, yani özvektörleri, ve ölçek katsayılarını, yani özdeğerleri, sıfırdan öğreneceğiz: nasıl bulunurlar, kuantum ölçümünde neye karşılık gelirler ve hangi yanılgılara dikkat etmelisin. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin; temel işlemleri henüz görmediysen önce Vektörler ve Matrisler derslerine göz atman iyi olur.
Özdeğer ve Özvektör Nedir?
A bir kare matris, v sıfırdan farklı bir vektör olsun. A·v = λ·v eşitliği sağlanıyorsa v’ye A’nın bir özvektörü, karşılık gelen λ sayısına bu özvektörün özdeğeri denir. eigen (“kendine ait”) sözcüğünden gelen “öz” eki tam bunu anlatır: matris bu vektörü yalnızca λ katıyla ölçekler. λ negatifse vektör ters döner ama aynı doğru üstünde kalır; özvektörün kimliği doğrultusudur, uzunluğu değil.
Geometrik olarak özvektörler dönüşümün doğal eksenleridir: dönüşüm onları büymeden geçer. Yine de her matrisin gerçel özvektörü olmak zorunda değildir: saat yönünde 90° döndüren R = [[0, −1], [1, 0]] matrisinin karakteristik denklemi λ² + 1 = 0 verir, kökleri λ = ±i’dir. Özdeğerin karmaşık çıkması kuantumda yadırganmaz; durumlar kompleks vektör uzaylarında yaşar, ayrıntıyı Kompleks Vektör Uzayları dersinde kuracaksın.
Uç örnek: birim matris I için her v ≠ 0 özvektördür ve tek özdeğer 1’dir. Altın kural: sıfır vektör hiçbir zaman özvektör sayılmaz — tanım v ≠ 0 ister; yoksa her sayı boşça özdeğer ilan edilirdi. Ama λ = 0 geçerlidir: A·v = 0’ın v ≠ 0 bir çözümü vardır demektir.
Özdeğerler Nasıl Bulunur? Adım Adım Bir Örnek
A·v = λ·v eşitliğini düzenleyelim: A·v − λ·v = (A − λI)·v = 0. v ≠ 0 çözüm var olabilmesi için (A − λI) tekil, yani det(A − λI) = 0 olmalıdır. Özdeğerleri bulan bu denkleme karakteristik denklem denir; determinant kurallarını Determinant dersinde görmüştün. Şimdi A = [[4, 1], [2, 3]] ile baştan sona gidelim:
- A − λI yaz: [[4−λ, 1], [2, 3−λ]].
- Determinantı sıfıra eşitle: (4−λ)(3−λ) − 1·2 = λ² − 7λ + 10 = 0.
- Kökleri bul: (λ−2)(λ−5) = 0 → λ₁ = 2 ve λ₂ = 5.
- Her özdeğer için (A − λI)·v = 0 çöz: λ = 5 için [[−1, 1], [2, −2]] → −x + y = 0 → v = t·(1, 1); λ = 2 için [[2, 1], [2, 1]] → 2x + y = 0 → v = t·(1, −2), t ≠ 0.
- Çarpımla sağla: A·(1, 1) = (5, 5) = 5·(1, 1) ve A·(1, −2) = (2, −4) = 2·(1, −2).
Kontrol: n×n bir matrisin özdeğerleri toplamı izine, çarpımı determinantına eşittir — burada 2 + 5 = 7 = 4 + 3 ve 2·5 = 10 = 4·3 − 1·2. İşaret hatasını bu iki eşitlik hemen söyler.
Son bir dokunuş: durum vektörü olarak kullanılacak özvektör 1 uzunluğunda olmalıdır; yukarıdakilerin normalize hâlleri (1, 1)/√2 ve (1, −2)/√5’tir. Uzunluk ve dikliğin dilini İç Çarpım dersinde oturatacaksın.
Kuantum Hesaplamada Özdeğer ve Özvektör
Kuantumda durumlar vektördür (ψ = α|0⟩ + β|1⟩), ölçülebilir büyüklükler — gözlemlenebilirler — ise matristir. Temel kural şudur: bir gözlemlenebilirin ölçüde verebileceği sonuçlar, o matrisin özdeğerleridir.
Somutlaştıralım: Z = [[1, 0], [0, −1]] için |0⟩ ve |1⟩ özvektördür: Z·|0⟩ = |0⟩ (özdeğer +1) ve Z·|1⟩ = −|1⟩ (özdeğer −1). Yani +1 okursan sistem |0⟩’dadır, −1 okursan |1⟩’dedir; durum okunan özdeğerin özvektörüne çöker. Bra ve ket yazımını Dirac Bra-ket Notasyonu dersinde işleyeceğiz.
Başka bir eksen: X = [[0, 1], [1, 0]] için |+⟩ = (|0⟩ + |1⟩)/√2 özdeğeri +1, |−⟩ = (|0⟩ − |1⟩)/√2 özdeğeri −1 taşır: σₓ·|+⟩ = |+⟩, σₓ·|−⟩ = −|−⟩. Her iki küme de bir ortonormal baz oluşturur; ölçüm teorisi bu bazlar arasındaki geçişten ibarettir.
İki teorem: Hermitian matrislerin özdeğerleri daima gerçektir — ölçülen sonuç gerçel sayı olmak zorundadır. Üniteryen matrislerin özdeğerlerinin mutlak değeri 1’dir — kapılar üniteryen olduğu için evrim toplam olasılığı korur. Kanıtlar Hermitian Matrisler ve Üniteryen Matrisler derslerinde.
Çok kübitli taraf: Z⊗Z gibi bileşik operatörlerin özdeğerleri, tekil özdeğerlerin tüm çarpımlarıdır. Z’nin {+1, −1} özdeğerlerinden Z⊗Z’nin {+1, −1, −1, +1} kümesi çıkar; |00⟩ ve |11⟩ +1, |01⟩ ve |10⟩ −1 verir. Kuralları Tensor ve Kronecker Çarpımı dersinde; Faz Tahmini ve VQE gibi algoritmalar ise bir matrisin özdeğerini kuantum donanımıyla bulma problemidir.
Sık Yapılan Hatalar ve Yanılgılar
Sık hata kalıpları şunlardır:
- Sıfır vektörü özvektör sanmak. Tanım v ≠ 0 ister; sıfır vektör hiçbir bilgi taşımaz.
- λ = 0’ı geçersiz saymak. Sıfır geçerli özdeğerdir; A·v = 0’ın v ≠ 0 çözümü varsa matris tekildir, determinantı sıfırdır ve tersi yoktur — bu tekilliği Ters Matris dersinde görmüştün.
- Özdeğeri bulup özvektörü atlamak. Karakteristik denklem işin yalnızca yarısıdır; her λ için (A − λI)·v = 0 ayrı ayrı çözülür.
- Özvektörü tek bir vektör sanmak. Bulduğun şey bir yöndür: t·v ailesinin tamamı (t ≠ 0) aynı özdeğere sahiptir. Kuantumda uzunluğu 1 olanı seçilir; işaret farkı ölçüm olasılıklarını değiştirmez.
- Kök sayısını bağımsız özvektör sayısı sanmak. Polinom n kök verebilir ama bağımsız özvektör daha az olabilir: [[1, 1], [0, 1]]’de λ = 1 çift katlıdır, özvektör yalnızca (1, 0) doğrultusundadır; Hermitian’larda bu tuzak yoktur.
- Özdeğerlerin hep farklı olmasını beklemek. Tekrarlı özdeğer (dejenerelik) olağandır: I₂’de iki özdeğer de 1, Z⊗Z’de +1 iki kez vardır; bu kusur değil, simetri habercisidir.
Ortak payda şu: bir özdeğer-özvektör çifti “sayı + tek vektör” değil, “sayı + yön ailesi”dir. Sıradaki durak İç Çarpım, ardından Hermitian ve Üniteryen dünyası. NumPy’da np.linalg.eig(A) bu hesabı tek satırda yapar.
Sık Sorulan Sorular
Özdeğer ve özvektör nedir?
A kare matris ve v ≠ 0 vektörü için A·v = λ·v eşitliği sağlanıyorsa v, A’nın λ özdeğerli bir özvektörüdür: matris bu vektörün doğrultusunu değiştirmez, yalnızca λ katıyla ölçekler. Örneğin Z = [[1, 0], [0, −1]] matrisi için |0⟩ özvektördür ve özdeğeri +1’dir.
Bir matrisin özdeğerleri nasıl bulunur?
Karakteristik denklem det(A − λI) = 0 çözülür: A’dan λI çıkarılıp determinant sıfıra eşitlenir. A = [[4, 1], [2, 3]] için (4−λ)(3−λ) − 2 = λ² − 7λ + 10 = 0 denkleminin kökleri λ = 2 ve λ = 5’tir; her özdeğerin özvektörü sonra (A − λI)·v = 0 sisteminden bulunur.
Kuantum hesaplamada özdeğerler ne işe yarar?
Ölçüm sonuçları, ölçülen gözlemlenebilirin özdeğerleridir: Z ekseninde ölçüm +1 ya da −1 verir ve sistem buna göre Z’nin özvektörleri olan |0⟩ ya da |1⟩’e çöker. Gözlemlenebilirler Hermitian olduğu için özdeğerler gerçeldir; kapılar üniteryen olduğu için evrim özdeğerleri |λ| = 1 çemberinde kalır. Faz Tahmini ve VQE gibi algoritmalar bir matrisin özdeğerini kuantum donanımıyla bulma problemidir.
Özdeğeri 0 olan matris ne anlama gelir?
A·v = 0·v = 0 eşitliğini sağlayan bir v ≠ 0 vektörünün var olması demektir; bu, matrisin tekil olduğunu — determinantının sıfır ve tersinin olmadığını — gösterir. Sıfır vektörün kendisi ise hiçbir matrisin özvektörü sayılmaz.
Kaynaklar ve İleri Okuma
Özdeğerler ve özvektörler — Vikipedi — tanım, geometrik yorum ve hesap yöntemleri için Türkçe genel giriş.
Eigenvalues and eigenvectors — Wikipedia — özellikler, karmaşık özdeğerler ve kuantum mekaniğindeki rolleri için kapsamlı madde.
MIT OpenCourseWare — 18.06 Linear Algebra — Gilbert Strang’ın özdeğer-özvektör ünitelerini de içeren ücretsiz video ders serisi.
IBM Quantum Learning — kuantum durumları, gözlemlenebilirler ve ölçüm matematiği için IBM’in resmî ders içerikleri.
Qiskit Dokümantasyonu — kapı ve ölçüm operatörlerinin matris karşılıkları için resmî referans.