# Özdeğerler ve özvektörler
Matematikte, bir lineer transformasyon altında yönünü değiştirmeyen vektörlere özvektör denir. Resmen tanımlamak gerekirse, v bir vektörse ve Φ bir lineer dönüşümse, bir λ skaleri için Φ(𝐯)=λ𝐯 eşitliğini sağlayan tüm v vektörlerine Φ'nin özvektörü ve λ skalerine de Φ'nin özdeğeri denir.
Lineer dönüşümler vektörleri döndürerek, yansıtarak veya bükerek etkileyebilirler. Ancak v bu dönüşümün bir özvektörüyse, v bu dönüşümden sadece boyca uzayarak, kısalarak veya doğrultusunu değiştirmeden yönünü değiştirerek etkilenir. Boyca uzama veya kısama miktarı ise bu dönüşümün özdeğerine tekabül eder. Eğer vektör doğrultusunu koruyarak yönünü ters çeviriyorsa, sözkonusu özdeğer negatif demektir.
Lineer dönüşümler özdeğerlerine ve özvektörlerine bakarak sınıflandırıldığından özvektörler ve özdeğerler; jeoloji, finans ve kuantum mekaniği gibi alanlarda kullanılır.


## Tanım.
A, n ×n'lik bir matris olsun, v de n uzunluğunda 0 dışında bir vektör olsun. Eğer v'yi A ile çarpmak, v'nin sadece bir λ skaleri kadar uzamasına sebep oluyorsa, v'ye A'nın bir özvektörü ve λ'ya da A'nın bir özdeğeri denir. Bu ilişki, matematiksel olarak A𝐯=λ𝐯 şeklinde gösterilebilir.
Bir taban seçimiyle herhangi bir sonlu boyutlu 𝕂 vektör uzayı V'den 𝕂^n'e bir izomorfizma elde etmek mümkündür, bu durumda her Φ lineer dönüşümünün de 𝕂^n ×n'lik bir matris tarafından temsilcisi de elde edilir. Dolayısıyla sonlu boyutlu vektör uzaylarında özvektörlerin matris tanımıyla cebirsel tanımı aynı kapıya çıkmaktadır. Ancak sonsuz boyutlu vektör uzaylarının analizinde matrisler anlamlarını yitirdiğinden, özvektörleri cebirsel bir şekilde tanımlamak gerekir.
Bu şekilde, herhangi bir 𝕂 vektör uzayı V üzerinde tanımlı bir Φ lineer dönüşümü için, Φ(𝐯)=λ𝐯 eşitliğini sağlayan her v ∈V ∖{0} vektörüne bir özvektör ve her λ∈𝕂 skalerine de bir özdeğer denir. Aynı özdeğeri paylaşan iki özvektörün toplamı ve bir özvektörün katları da yine aynı özdeğere sahip bir özvektör oluşturduğundan, 0 ile birlikte bir özdeğere ait özvektörler V'nin bir altuzayını teşkil eder ve bu altuzaya λ'nın özuzayı ismi verilir ve bu altuzay V_λ(Φ) ile gösterilir.


## Genel bakış.
İngilizce ve birçok kuzey avrupa dilinde özvektör kavramı, Almancadaki "Eigenvektor", "Eigenwert" ve "Eigenraum" terimlerinin çevirileriyle anılır. İlk katı cisimlerin temel eksenlerini analiz ederken araştırılan bu kavram, daha sonra tüm lineer dönüşümlerin sınıflandırılmasında kullanılacak şekilde genişletilmiş ve bu şekilde dizilerin analizinde, diferansiyel denklemlerde, kuantum fiziğinde ve hatta yüz tanıma ve yapay zekâ gibi bilişim alanlarında kullanım bulmuştur.
Temelinde bir özvektör, bir Φ lineer dönüşümünde doğrultusunu değiştirmeyen sıfırdan farklı bir vektördür. Φ(𝐯)=λ𝐯 denklemine ise özvektör denklemi ismi verilir. λ özdeğeri ise pozitif olabilir, negatif olabilir, sıfır olabilir ve hatta v bir karmaşık vektör uzayından geliyosa karmaşık bir sayı bile olabilir.
Yandaki örnekte Mona Lisa resmi, bir lineer dönüşüme maruz kalmaktadır. Vektörler, dikey y eksenindeki konumlarına oranla x ekseninde hareket etmektedir ve daha uzak vektörler daha da uzağa itilmektedir. Bununla beraber, pozitif y kordinatlarındaki vektörler sağa oynarken negatif y kordinatlarındaki vektörler sola oynatılmaktadır. Bu vektörlerin hiçbiri başlangıçtaki hâlleriyle aynı doğrultuda kalmadığından hiçbiri bir özvektör değildir. Ancak y kordinatı 0 olan, yani doğrudan sağa veya sağa bakan vektörler bu değişim altında hiç kıpırdamadığından bu değişimin özvektörlerini teşkil eder ve özdeğerleri de 1'dir. Bu şekilde bu lineer değişimin yegâne özdeğeri 1'dir ve bu değere ait özuzay ise x eksenidir.
Lineer dönüşümler bir sürü ayrı şekil alabildiğinden özvektörler ve özuzaylar da bir sürü farklı şekil alabilir. Mesela türev alma işlemini de bir lineer dönüşüm olarak incelemek mümkündür, çünkü türev de toplama ve skaler çarpma işlemine saygı gösterir. Bu durumda söz konusu vektör uzayı, C^∞(ℂ) ile gösterdiğimiz sonsuz kere türevlenebilir fonksiyonların uzayı olup, sonsuz boyutlu bir vektör uzayı teşkil eder. Bu durumda d/dx operatörünün özvektörleri, bir λ skaleri ile çarpılan fonksiyonlardır, meselad/dxe^λx = λe^λxfonksiyonu.
Matris dilinde örnek vermek gerekirse de, mesela A ve v şu şekilde tanımlanmış olsun:A = [ 2 amp; -1 amp; 2; 0 amp; 1 amp; 2; 1 amp; 0 amp; 3 ]; 𝐯 = [ -1; 2; 1 ]O zaman, v A'nın bir özvektörüdür çünküA𝐯 = [ 2 amp; -1 amp; 2; 0 amp; 1 amp; 2; 1 amp; 0 amp; 3 ] [ -1; 2; 1 ] = [ -2; 4; 2 ] = 2 [ -1; 2; 1 ] = 2 𝐯 ilişkisi geçerlidir ve 2 de A'nın bir özdeğeridir. Matrisler, özvektörler sayesinde incelenebilir, mesela çaprazlayarak.
Özvektörler ile oluşturulan birtakım yapı, yine öz- takısını kullanarak anılır:
  - 0 ve bir değere ait özvektörlerden oluşan altuzaya, o özdeğerin özuzayı ismi verilir.
  - Özvektörlerden oluşan bir tabana öztaban ismi verilir. Bir lineer dönüşüme öztabanda tekabül eden bir matris, her zaman çapraz bir formda olur.


## Matrislerin özvektörleri.
### Özvektör denklemi.
Verilen bir matrisin özvektörleri ve özdeğerleri,A𝐯=λ𝐯özelliğinin sağlanmasını isteyerek bulunuyordu. Bunu yazmanın başka bir yolu şudur:0 = A𝐯 - λ𝐯 = A𝐯 - λId·𝐯 = (A - λId)𝐯Burada Id ile kasıt, birim matristir. Kısaca beklenilen şey, A - λId ile verilen bir matris ile sıfır olmayan bir vektörün çarpımının sıfır olmasıdır. Bunun olmasının tek yolu A - λId matrisinin tersinir olmaması olduğundan, A - λId matrisinin determinantı 0 olmak zorundadır. Yani, bir matrisin özdeğerlerini0 = (A - λId)şartını kullanarak bulabiliriz.


### Karakteristik polinom.
(A - λId) bize λ cinsinden bir polinom verir ve bu polinoma karakteristik polinom ismi verilir. A'nın boyutu n ×n ise (A - λId) de n'inci dereceden olcağından bu polinomun en fazla n kökü bulunabilir. Bunun sonucunda n ×n'lik bir matrisin en fazla n özdeğeri olabilir. Bu makalede A matrisinin karakteristik polinomu χ_A(λ) şeklinde gösterilecektir.
λ, A'nın bir özdeğeri olsun. Eğer λ, χ_A'nın k katlı bir köküyse k'ya λ'nın cebirsel katı denir. Eğer A, karmaşık sayılar gibi cebirsel kapalı bir cisim üzerinde tanımlıysa χ_A doğrusal terimlerin çarpımı şeklinde yazılabilir ve şu şekli alır:χ_A(λ) = (λ_1 - λ)^k_1 (λ_2 - λ)^k_2 (λ_3 - λ)^k_3 (λ_4 - λ)^k_4...ve k_i'lerin toplamı n'i verir.


### Özuzay.
0 = (A - λId)𝐯 şartının sağlanması için 0 = (A - λId) olması yetmez. Aynı zamanda 𝐯, A - λId'in çekirdeğinde olmalıdır. O zaman A'nın λ özdeğerli özvektörlerinin, aynı zamanda (A - λId)'in içinde olmalıdır. Bu durumda 0 = (A - λId)𝐯 şartı sağlanır ve özuzay V_λ(A),V_λ(A) = (A-λId)denkleminden hesaplanabilir. V_λ(A)'nın boyutuna λ'nın geometrik katı denir. Bir özdeğerin geometrik katı hiçbir zaman cebirsel katından büyük olamaz, ancak eşit olmak zorunda değildir, küçük de olabilir. Eğer bir matrisin tüm özdeğerlerin geometrik katı, cebirsel katına eşitse, bu matrise çaprazlanabilir bir matris denir ve tüm özuzaylara bir taban bularak matris, çapraz bir forma getirilebilir.


### Diğer özellikler.
A, karmaşık sayılar üzerinde tanımlı n ×n̈lik bir matris olsun ve özdeğerleri λ_1, λ_2, ... λ_n olsun. Bu listede her özdeğeri cebirsel katı kadar yazmış olalım, yani λ_1 k katlı bir kökse λ_1 = λ_2 = ... = λ_k şeklinde yazalım.
  - tr(A) ile gösterilen A'nın izi, tr(A) = λ_1 + λ_2 + ... λ_n şeklinde özdeğerlerin toplamına eşittir.
  - (A) ile gösterilen A'nın determinantı, (A) = λ_1·λ_2·...·λ_n şeklinde özdeğerlerin çarpımına eşittir.
  - Tersinir bir matrisin tüm özdeğerleri 0'dan farklıdır. Tersinir olmayan bir matrisin özdeğerlerinden birisi 0'a eşittir.
  - A^k'nın özdeğerleri, λ_1^k, λ_2^k, ... λ_n^k olur.
  - Daha genel olarak P bir polinomsa, P(A)'nın özdeğerleri P(λ_1), P(λ_2), ... P(λ_n) olur.
  - Eğer A tersinirse A^-1'in özdeğerleri 1/λ_1, 1/λ_2, ... 1/λ_n olur ve özdeğerlerinin hem cebirsel hem de geometrik katı A'nınkilerle aynı olur.
  - A'nın girdilerinin eşleniğinden oluşan A̅'ın özdeğerleri λ̅_1, λ̅_2, ... λ̅_n olur. 
  - A'nın transpozu A^T'nin özdeğerleri, A ile aynıdır.
  - Eğer A, transpozunun eşleniğine eşitse λ_1, λ_2, ... λ_n özdeğerlerinin hepsi reeldir.
  - Eğer A üniterse, yani A'nın eşleniğinin transpozu A^-1'e eşitse her özdeğerin mutlak değeri 1'e eşittir.


### Örnekler.
#### 2 boyutlu matris.
MeselaA = [ 1 amp; -1; 3 amp; 5 ] şeklinde verilmiş olsun. O zaman χ_A,χ_A(λ) = (A - λId) = 
1 - λ amp; -1 
3 amp; 5 - λ = (1-λ)(5 - λ) + 3 = λ^2 - 6λ+ 8 = (λ- 4)(λ- 2) şeklinde bulunur ve kökleri 4 ve 2'den oluşur. Yani A'nın özdeğerleri 4 ve 2 olarak tespit edilebilir. Eğer A'nın mesela 2'ye ait özuzayını da bulmak istiyorsak, V_2(A) = (A - 2 Id) = [ -1 amp; -1; 3 amp; 3 ] = [ -1 amp; -1; 0 amp; 0 ] = ⟨[ 1; -1 ] ⟩şeklinde bulunabilir. 4'ün özuzayı da benzer şekilde hesaplanır. İki özuzayın da hem cebirsel, hem de geometrik katı 1'dir.