Nilai dan vektor eigen

vektor kolom bukan nol yang bila dikalikan dengan suatu matriks berukuran n x n akan menghasilkan vektor lain yang memiliki nilai kelipatan dari vektor Eigen itu sendiri

Dalam aljabar linear, vektor eigen (eigenvector) atau vektor karakteristik dari suatu matriks berukuran adalah vektor tak nol yang hanya mengalami perubahan panjang ketika dikali dengan matriks tersebut. Nilai eigen (eigenvalue) yang berasosiasi dengan vektor tersebut, umumnya dilambangkan dengan , menyatakan besar perubahan panjang vektor yang terjadi. Secara umum dalam ruang vektor multidimensi, vektor eigen tidak mengalami rotasi ketika ditransformasikan oleh matriks. Hal ini berlaku untuk matriks dengan elemen bilangan real, dan akan mengalami rotasi ketika elemen berupa bilangan kompleks.[1][2] Nilai eigen dan vektor eigen berguna dalam proses kalkulasi matriks, yang keduanya diterapkan dalam bidang matematika murni dan matematika terapan, contohnya pada transformasi linear.[3] Ruang eigen dari merupakan ruang vektor yang dibentuk dari gabungan vektor nol dan kumpulan vektor eigen yang berasosiasi dengan .[4]

Matriks menyebabkan vektor memanjang tanpa mengubah arah vektor, maka merupakan vektor eigen dari .

Istilah eigen sering kali dipadankan dengan istilah karakteristik, karena kata "eigen" yang berasal dari bahasa Jerman memiliki arti "asli", dalam konteks menjadi ciri khas atau karakteristik dari suatu sifat.[5]

Pendahuluan

sunting

Nilai eigen dan vektor eigen umum ditemukan ketika melakukan analisis mengenai pemetaan (transformasi) linear. Istilah "eigen" yang berasal dari bahasa Jerman memiliki arti "asli", dalam konteks menjadi ciri khas atau karakteristik dari suatu sifat.[5] Awalnya konsep ini digunakan untuk mempelajari sumbu utama (principal axes) dari gerakan rotasi pada benda tegar. Nilai eigen dan vektor eigen saat ini telah diterapkan dalam banyak bidang, sebagai contoh dalam teori stabilitas, analisis getaran, orbital atom, pengenalan wajah (facial recognition), dan diagonalisasi matriks.

Pada dasarnya, suatu vektor eigen   dari pemetaan linear   adalah suatu vektor tak nol yang tidak berubah arah, ketika diterapkan oleh  . Menerapkan   ke vektor eigen hanya mengubah ukuran eigen vektor sebesar  , yang disebut dengan nilai eigen. Kondisi ini dapat ditulis dalam bentuk persamaan sebagai yang disebut dengan persamaan nilai eigen atau persamaan eigen. Secara umum,   dapat berupa sembarang skalar. Sebagai contoh,   dapat bernilai negatif, yang mengartikan vektor eigen berbalik ketika dipetakan, atau bernilai nol, atau berupa bilangan kompleks.

 
Dalam transformasi peregangan ini, panah berwarna merah berubah arah sedangkan panah berwarna biru tidak. Hal ini menyebabkan panah biru adalah vektor eigen dari transformasi; karena panjangnya tidak berubah, nilai eigennya adalah 1.
 
Sebuah matriks simetrik real ukuran 2×2 merepresentasikan peregangan dan pergeseran (stretching and shearing) dari bidang. Vektor eigen dari matriks (garis merah) adalah dua arah unik pada bidang, di mana setiap titik pada garis tersebut akan tetap berada pada garis ketika ditransformasi oleh matriks.

Lukisan Mona Lisa berikut menyajikan ilustrasi sederhana mengenai hal ini. Setiap titik pada lukisan dapat direpresentasikan sebagai sebuah vektor yang berasal dari pusat lukisan ke titik tersebut. Pemetaan linear dalam contoh ini disebut transformasi peregangan/pergeseran (shear mapping). Titik-titik yang berada di atas akan bergeser ke kanan, dan titik-titik di bawah akan bergeser ke kiri; sebanding dengan seberapa jauh posisi mereka dari sumbu horizontal yang terletak di tengah lukisan. Sebagai akibatnya, setiap vektor akan miring ke kanan atau ke kiri, dan menjadi semakin panjang atau semakin pendek. Namun, titik-titik yang terletak di sumbu horizontal tidak bergeser (miring) sama sekali. Alhasil, semua vektor yang mengarah ke kiri atau ke kanan, tanpa memiliki komponen vertikal, adalah vektor eigen dari pemetaan ini; karena pemetaan tersebut tidak mengubah arah vektor. Lebih lanjut, vektor-vektor eigen ini memiliki nilai eigen sebesar 1, karena pemetaan juga tidak mengubah ukuran mereka.

Pemetaan linear dapat muncul dalam banyak bentuk dan memetakan banyak jenis ruang vektor, sehingga vektor eigen dapat memiliki rupa yang bermacam-macam. Sebagai contoh, pemetaan linear dapat berbentuk operator turunan seperti  , dan vektor eigen disebut sebagai fungsi eigen (eigenfunctions) yang mengalami penskalaan oleh operator tersebut; contohnya fungsi Contoh lain, pemetaan linear dapat berbentuk matriks berukuran  , dan vektor eigen akan berupa matriks berukuran  . Jika pemetaan linear dinyatakan oleh matriks   berukuran  , persamaan nilai eigen dapat dituliskan sebagai perkalian matriks dengan vektor eigen   adalah matriks berukuran  . Untuk kasus matriks, nilai eigen dan vektor eigen dapat digunakan untuk mendekomposisi matriks tersebut, contohnya dengan mendiagonalisasinya.

Nilai eigen dan vektor eigen menghasilkan banyak konsep matematika yang berhubungan, dan istilah "eigen" ditambahkan ketika menamai mereka:

  • Himpunan vektor eigen dari pemetaan linear, masing-masing dipasangkan dengan nilai eigen mereka, disebut dengan sistem eigen (eigensystem) dari transformasi tersebut.[6][7]
  • Himpunan dari semua vektor eigen dari   yang berasosiasi dengan suatu nilai eigen, dan ditambah dengan vekotr nol, disebut dengan ruang eigen (eigenspace) atau ruang karakteristik dari   yang berasosiasi dengan nilai eigen tersebut.[8]
  • Jika suatu himpunan vektor eigen dari   membentuk sebuah basis bagi domain dari  , maka basis ini disebut basis eigen (eigen basis).

Definisi formal

sunting

Jika   adalah suatu pemetaan linear dari suatu ruang vektor   atas lapangan   ke dirinya sendiri, dan   adalah vektor tak nol di  , maka   adalah vektor eigen dari   jika   adalah suatu kelipatan skalar dari  . Hal ini dapat ditulis sebagai

 

dengan   adalah suatu skalar di  , yang disebut dengan nilai eigen (eigenvalue), nilai karakteristik, atau akar karakteristik, yang berasosiasi dengan  .

Ada hubungan erat antara matriks persegi berukuran   dengan pemetaan linear dari ruang vektor berdimensi   ke dirinya sendiri. Hal ini menyebabkan, dalam suatu ruang vektor berdimensi hingga, nilai eigen dan vektor eigen dapat didefinisikan menggunakan bahasa matriks, maupun menggunakan bahasa pemetaan linear.[9][10] Jika   berdimensi hingga, persamaan di atas setara dengan[11]

 

dengan   adalah representasi matriks dari   dan   adalah vektor koordinat dari  .

Nilai dan vektor eigen dari matriks

sunting
 
Matriks   menyebabkan vektor   memanjang tanpa mengubah arah vektor, maka   merupakan vektor eigen dari  .

Nilai eigen dan vektor eigen sering diperkenalkan ke murid dalam konteks kelas aljabar linear yang berfokus pada matriks.[12][13] Lebih lanjut, pemetaan linear atas ruang vektor hingga dapat dinyatakan menggunakan matriks,[9][10] yang umum digunakan secara numerik maupun komputasi.[14] Misalkan vektor berdimensi   yang dibentuk sebagai barisan   buah skalar; contohnya vektor berdimensi 3 Kedua vektor ini dikatakan saling berkelipatan skalar, atau paralel atau kolinear, jika terdapat skalar   sehingga  . Dalam kasus ini  . Sekarang misalkan pemetaan linear dari vektor dimensi   yang didefinisikan oleh sebuah matriks   berukuran  , Jika   dan   saling berkelipatan skalar, yakni jika terdapat   sehingga

 

 

 

 

 

(1)

maka   adalah vektor eigen dari pemetaan linear   dan skalar   adalah nilai eigen yang berasosiasi dengan vektor eigen tersebut. Persamaan (1) adalah persamaan nilai eigen untuk matriks  . Persamaan (1) juga dapat dinyatakan sebagai

 

 

 

 

 

(2)

dengan   adalah matriks identitas dan   adalah vektor nol.

Nilai eigen dan polinomial karakteristik

sunting

Persamaan (2) memiliki solusi tak nol   jika dan hanya jika nilai determinan dari matriks   adalah nol. Dengan demikian, nilai-nilai eigen dari   adalah nilai-nilai   yang memenuhi persamaan

 

 

 

 

 

(3 )

Dengan menggunakan rumus Leibniz, ruas kiri pada Persamaan (3) dapat dijabarkan menjadi sebuah fungsi polinomial dengan variabel   dan berderajat  , yakni ukuran dari matriks  . Koefisien-koefisien polinom ini bergantung pada entri-entri matriks  , kecuali suku berderajat   yang akan memiliki koefisien  . Polinomial ini disebut sebagai polinomial karakteristik dari  . Persamaan (3) sendiri disebut sebagai persamaan karakteristik dari  .[1][15] Teorema dasar aljabar mengakibatkan polinomial karakteristik dari  , yang berderajat  , dapat difaktorkan sebagai perkalian   buah suku linear,

 

 

 

 

 

(4 )

dengan setiap   dapat berupa bilangan real, walau pada umumnya berupa kompleks. Nilai  , yang mungkin tidak semuanya unik, adalah akar-akar dari polinomial dan merupakan nilai eigen dari  .

Sebagai contoh singkat, yang akan dijelaskan pada bagian Contoh nanti, misalkan sebuah matriks

 

Dengan menghitung determinan dari  , didapatkan polinom karakteristik dari   yakni

 

Setelah mencari akar dari polinom ketika sama dengan nol, didapatkan akar   dan  , yang selanjutnya merupakan nilai eigen dari  . Vektor eigen yang berasosiasi dengan masing-masing nilai eigen tersebut dapat ditentukan dengan menyelesaikan komponen   di persamaan  . Dalam contoh ini, vektor eigen adalah sembarang kelipatan skalar (tak nol) dari Jika entri-entri dari matriks   berupa bilangan real, maka koefisien dari polinom karakteristik juga berupa bilangan real. Namun, nilai eigen sebagai solusi dari polinom tersebut mungkin memiliki bagian imajiner; entri-entri pada vektor eigen yang berasosiasi dengannya juga mungkin memiliki bagian imajiner. Serupa dengan itu, nilai eigen dapat berupa bilangan irasional walau semua entri dari   berupa bilangan rasional, atau bahkan jika semuanya berupa bilangan bulat.

Bagian imajiner dari akar pada polinomial real dengan koefisien-koefisien real dapat dikelompokkan dalam pasangan konjugat kompleks, yakni dengan anggotanya memiliki bagian real yang sama dan hanya berbeda tanda di bagian imajinernya. Jika polinom berderajat ganjil, maka teorema nilai antara mengatakan setidaknya satu akar akan berupa real. Dengan demikian, sembarang matriks real berukuran ganjil akan memiliki setidaknya satu nilai eigen real, sedangkan matriks real berukuran genap mungkin tidak memiliki satupun nilai eigen real. Vektor-vektor eigen yang berasosiasi dengan nilai-nilai eigen kompleks akan memiliki komponen kompleks, dan juga muncul dalam pasangan konjugat kompleks.

Kegandaan aljabar

sunting

Misalkan   adalah nilai eigen dari suatu matriks   berukuran  . Kegandaan aljabar[16] (algebraic multiplicity)   menyatakan bilangan   terbesar yang membuat   dapat membagi habis polinomial karakteristik dari  .[8][17][18]

Jika   berdimensi   dan memiliki   nilai eigen yang berbeda, Persamaan (4) dapat dinyatakan secara lebih ringkas sebagai  Dalam kasus  , ruas kanan persamaan tersebut akan identik dengan Persamaan (4). Nilai setiap kegandaan aljabar dari nilai-nilai eigen berhubungan dengan dimensi   dari matriks lewat persamaan

 Jika  , maka   dikatakan sebagai nilai eigen sederhana (simple eigenvalue).[18] Jika   sama dengan kegandaan geometrik dari  , yang dijelaskan pada bagian selanjutnya, maka   dikatakan sebagai nilai eigen semi-sederhana (semisimple eigenvalue).

Ruang eigen, kegandaan geometrik, dan basis eigen bagi matriks

sunting

Misalkan   adalah suatu nilai eigen dari matriks   berukuran  , dan himpunan   berisi semua vektor   yang memenuhi Persamaan (2),

 

Di satu sisi, himpunan ini adalah kernel atau ruang nol (nullspace) dari matriks  . Di sisi lain, dari definisi, setiap vektor tak nol yang memenuhi Persamaan (2) adalah vektor-vektor eigen dari   yang berasosiasi dengan  . Jadi, himpunan   adalah gabungan vektor nol dengan himpunan semua vektor eigen dari   yang berasosiasi dengan  , sekaligus sama dengan kernel dari  . Himpunan   disebut sebagai ruang eigen (eigenspace) dari   yang berasosiasi dengan  .[8][19] Secara umum   akan berupa bilangan kompleks dan vektor eigen akan berupa matriks kompleks berukuran  .

Ruang eigen   tertutup atas penjumlahan, karena   is adalah suatu subruang vektor (dari  ). Dengan kata lain, untuk sembarang vektor   dan   anggota  , vektor   juga anggota  ; atau secara ekuivalen,  . Hal ini dapat dibuktikan dengan menggunakan sifat distributif perkalian matriks. Serupa dengan itu,   juga tertutup atas perkalian skalar. Artinya, jika   dan   merupakan bilangan kompleks, maka  ; atau secara ekuivalen,  . Hal ini dapat dibuktikan dengan menggunakan sifat komutatif perkalian matriks kompleks dengan bilangan kompleks. Selama   dan   bukan vektor nol, mereka juga merupakan vektor eigen dari   yang berasosiasi dengan  .

Dimensi dari ruang eigen   yang berasosiasi dengan  , yakni banyaknya vektor eigen yang berasosiasi dengan   dan saling bebas linear, disebut dengan kegandaan geometrik (geometric multiplicity) dari nilai eigen  , disimbolkan dengan  . Karena   sama dengan kernel dari  , maka kegandaan geometrik dari   adalah dimensi dari kernel  , juga disebut sebagai nolitas dari  , dan berhubungan dengan dimensi dan rank dari   lewat persamaan

 

Sebagai akibat dari definisi nilai eigen dan vektor eigen, nilai kegandaan numerik dari suatu nilai eigen   setidaknya sama dengan 1. Lebih lanjut, nilai kegandaan numerik dari   tidak dapat melebihi nilai kegandaan aljabarnya; dan kegandaan aljabar tidak dapat melebihi dimensi dari matriks  . Secara matematis hal tersebut dapat ditulis sebagai 

Untuk membuktikan pertidaksamaan  , pertimbangkan bahwa definisi kegandaan geometrik mengakibatkan eksistensi   buah vektor eigen   yang ortonormal, dan memenuhi  . Kita dapat menemukan matriks (uniter)   yang   kolom pertamanya adalah vektor-vektor eigen ini, dan kolom-kolom yang tersisa adalah sembarang himpunan   buah vektor ortonormal yang ortogonal dengan vektor-vektor eigen tadi. Maka   memiliki rank penuh sehingga memiliki invers, dan memenuhi persamaan  , dengan   adalah matriks yang blok bagian atas kirinya adalah matriks diagonal  . Hal ini mengimplikasikan  . Dengan kata lain,   serupa dengan  , yang selanjutnya mengakibatkan  . Namun dari definisi matriks   kita ketahui bahwa   mengandung faktor  , yang mengartikan kegandaan aljabar dari   harus memenuhi  .

Misalkan   memiliki   nilai eigen unik  , dengan kegandaan geometrik dari   adalah  . Total kegandaan geometrik dari  ,

 

adalah dimensi dari jumlah semua ruang eigen dari nilai-nilai eigen  ; atau secara ekuivalen, adalah banyaknya vektor-vektor eigen dari   yang saling bebas linear. Jika  , maka

  • Jumlah langsung semua ruang eigen dari nilai-nilai eigen   akan sama dengan ruang vektor  .
  • Suatu basis bagi   dapat dibentuk dari   buah eigen vektor dari   yang saling bebas linear; basis tersebut dikatakan sebagai basis eigen (eigenbasis)
  • Sembarang vektor di   dapat dinyatakan sebagai kombinasi linear dari vektor-vektor eigen dari  .

Sifat-sifat lain dari nilai eigen

sunting

Misalkan   adalah sembarang matriks berukuran   dengan entri berupa bilangan kompleks, dan memiliki nilai-nilai eigen  . Setiap nilai eigen muncul sebanyak   kali di polinomial karakteristik matriks  , dengan   menyatakan kegandaan numerik dari nilai eigen. Berikut beberapa hubungan yang dimiliki matriks dengan nilai-nilai eigennya:

  • Trace dari  , yang didefinisikan sebagai jumlah elemen-elemen diagonal utama pada matriks, bernilai sama dengan jumlah semua nilai eigen matriks tersebut,[20][21][22] 
  • Determinan dari   adalah hasil perkalian semua nilai eigen matriks tersebut,[20][22][23] 
  • Nilai-nilai eigen dari matriks  , untuk sembarang bilangan bulat positif  , adalah  .
  • Matriks   dapat dibalik (memiliki invers) jika dan hanya jika tidak ada nilai eigennya yang bernilai nol.
  • Jika   terbalikkan, maka nilai-nilai eigen dari   adalah  . Lebih lanjut, nilai eigen   dari   dan nilai eigen   dari   akan memiliki nilai kegandaan geometrik dan kegandaan aljabar yang sama.
  • Jika   sama dengan transpos konjugat dirinya,  , dengan kata lain   merupakan matriks Hermite, maka semua nilai eigennya bernilai real. Hal yang sama berlaku untuk sembarang matriks simetrik real.
  • Jika   merupakan matriks Hermite sekaligus bersifat definit positif, semidefinit positif, definit negatif, atau semidefinit negatif; maka berturut-turut, setiap nilai eigennya akan berupa bilangan positif, tak negatif, negatif, atau tak positif.
  • Jika   uniter, setiap nilei eigennya memiliki nilai mutlak  .
  • Nilai-nilai eigen dari matriks   (dengan   adalah matriks identitas) adalah  . Lebih lanjut, jika  , nilai-nilai eigen dari   adalah  . Secara umum untuk sembarang polinomial  , nilai-nilai eigen dari matriks   adalah  .

Identitas nilai dan vektor eigen

sunting

Untuk sembarang matriks Hermite, kuadrat norma dari komponen ke-  dari vektor eigen yang ternormalisasi dapat ditentukan hanya dengan menggunakan nilai-nilai eigen dari matriks dan nilai-nilai matriks minor yang bersesuaian, 

dengan   adalah submatriks yang dibentuk dengan menghilangkan baris dan kolom ke-  dari matriks awalnya.[24][25][26]

Contoh perhitungan nilai eigen dan vektor eigen

sunting

Contoh matriks dimensi dua

sunting
 
Transformasi matriks A =   tidak mengubah arah vektor ungu yang paralel dengan vλ=1 = [1 −1]T, dan vektor biru yang paralel dengan vλ=3 = [1 1]T. Vektor-vektor merah tidak paralel dengan vektor-vektor eigen, sehingga arah mereka berubah ketika ditransformasi. Panjang dari vektor ungu tidak berubah akibat transformasi, karena nilai eigennya sama dengan 1. Di sisi lain vektor biru menjadi tiga kali lebih panjang dari awalnya, karena nilai eigennya sama dengan 3.

Misalkan sebuah matriks

 

Gambar berikut menunjukkan efek dari transformasi oleh matriks pada titik-titik koordinat yang terletak pada bidang. Vektor-vektor eigen   dari transformasi ini memenuhi Persamaan (1), dan nilai-nilai eigennya adalah nilai-nilai   yang menyebabkan determinan matriks   sama dengan nol. Dengan menghitung determinan, kita mendapatkan polinomial karakteristik dari  ,

 

Polinom karakteristik ini memiliki akar   dan  , yang selanjutnya adalah dua nilai eigen dari  . Mensubtitusi   ke dalam Persamaan (2), didapatkan

 
 ;  

Sembarang vektor tak nol dengan   akan memenuhi persamaan ini. Dengan demikian, dapat dipilih satu vektor,

 

sebagai vektor eigen dari   yang berasosiasi dengan  ; setiap kelipatan dari vektor ini juga merupakan vektor eigen. Sedangkan untuk  , Persamaan (2) dapat ditulis menjadi

 

Sembarang vektor tak nol dengan   akan memenuhi persamaan ini. Dengan cara yang sama seperti di atas, 

adalah vektor eigen dari   yang berasosiasi dengan  . Alhasil, vektor   dan   adalah vektor eigen dari  , yang masing-masing berasosiasi dengan   dan  .

Rumus umum untuk nilai-nilai eigen dari matriks dimensi dua

sunting

Nilai-nilai eigen dari matriks real   adalah[a]

 

Dengan   adalah operator trace. Nilai-nilai eigen akan selalu berupa bilangan real ketika   dan   memiliki tanda yang sama, karena nilai di dalam akar tidak akan bernilai negatif

Contoh matriks dimensi tiga

sunting

Misalkan sebuah matriks   dengan nilai entri-entri berikut,[27]

 

Pertama-tama akan dihitung polinomial karakteristik   dari matriks   dengan menghitung ekspansi Laplace dari matriks  

  

Persamaan karakteristik   memiliki akar-akar  . Untuk  , subtitusi nilai eigen ke dalam Persamaan (2) akan menghasilkan

 Operasi baris dasar atau teknik eliminasi sistem persamaan linear lainnya dapat diterapkan untuk mencari solusi persamaan tersebut. Alhasil, didapatkan vektor eigen   adalah  , maupun kelipatan skalar dari vektor ini.

Contoh matriks dimensi tiga dengan nilai-nilai eigen kompleks

sunting

Misalkan sebuah matriks permutasi

 

Matriks ini akan menggeser koordinat vektor ke atas sebesar satu posisi, dan memindahkan koordinat pertama menjadi koordinat terakhir. Polinomial karakteristik matriks ini adalah  , yang memiliki akar-akar

 

dengan   adalah unit imajiner yang memiliki sifat  . Untuk nilai eigen real  , sembarang vektor dengan semua entrinya bernilai sama adalah vektor eigen. Sebagai contoh, 

Sedangkan untuk dua nilai eigen lainnya, yang merupakan pasangan bilangan kompleks konjugat, akan memenuhi hubungan  Maka vektor eigen mereka masing-masing adalah  dan  Dengan demikian, dua vektor yang lain dari   merupakan vektor kompleks, yakni   dan   yang masing-masing berasosiasi dengan nilai eigen   dan  . Dua vektor kompleks ini juga merupakan pasangan kompleks konjugat, karena  

Contoh matriks diagonal

sunting

Matriks dengan entri-entri tak nol hanya terletak sepanjang diagonal utama disebut dengan matriks diagonal. Nilai-nilai eigen dari matriks diagonal adalah nilai-nilai sepanjang diagonal utama matriks itu sendiri. Sebagai contoh, misalkan sebuah matriks  Polinomial karakteristik dari   adalah  , yang memiliki akar-akar  ,  , dan  . Akar-akar ini merupakan nilai-nilai eigen dari  , sekaligus terletak di diagonal utama matriks  . Setiap elemen diagonal utama berasosiasi dengan suatu vektor eigen yang memiliki komponen tidak nol hanya pada komponen yang sama dengan komponen elemen diagonal utama tersebut. Pada contoh ini, masing-masing nilai eigen berasosiasi dengan vektor-vektor eigen  ,  , dan  ; maupun kelipatan skalar dari vektor-vektor ini.

Contoh matriks segitiga

sunting

Suatu matriks dengan semua entri di atas diagonal utama bernilai nol disebut dengan matriks segitiga bawah, sedangkan matriks dengan semua entri di bawah diagonal utama bernilai nol disebut dengan matriks segitiga atas. Sama seperti matriks diagonal, nilai-nilai eigen dari matriks segitiga terletak pada diagonal utama. Sebagai contoh, misalkan sebuah matriks segitiga bawah,  Polinomial karakteristik dari   adalah  , yang memiliki akar-akar  ,  , dan  . Nilai-nilai eigen ini masing-masing berasosiasi dengan vektor eigen  ,  , dan  ; maupun kelipatan skalar dari vektor-vektor ini.

Contoh matriks dengan nilai eigen yang berulang

sunting

Serupa dengan contoh sebelumnya, matriks segitiga bawah  memiliki polinomial karakteristik sebagai hasil perkalian elemen-elemen diagonal utamanya, yakni  Akar-akar dari polinomial ini, yang juga menjadi nilai-nilai eigen, adalah 2 dan 3. Kegandaan aljabar setiap nilai eigen adalah 2, karena mereka masing-masing merupakan akar ganda. Jumlah dari semua kegandaan aljabar adalah  , yakni derajat polinomial karakteristik dan dimensi dari matriks  . Di sisi lain, kegandaan geometrik dari   hanya bernilai 1, karena ruang eigen dari nilai eigen ini hanya dibangun oleh sebuah vektor  ; mengakibatkan ruang eigen hanya berdimensi 1. Serupa dengan itu, kegandaan geometrik dari   juga bernilai 1 karena ruang eigennya hanya dibangun oleh sebuah vektor  . Total kegandaan geometrik,  , bernilai dua; ini adalah nilai terkecil yang mungkin bagi sembarang matriks dengan dua nilai eigen yang berbeda.

Sejarah

sunting

Nilai-nilai eigen umum diperkenalkan dalam konteks aljabar linear atau teori matriks. Namun secara historis, mereka muncul dalam studi mengenai bentuk kuadratik dan persamaan diferensial.

Pada abad ke-18, Leonhard Euler mempelajari gerakan rotasi dari benda tegar, dan menemukan pentingnya konsep poros utama (principal axes). Tepatnya tahun 1751, Leonhard Euler membuktikan bahwa setiap benda memiliki suatu poros rotasi utama (principal axis of rotation).[28] Hasil ini dikembangkan oleh Johann Andreas Segner, yang pada tahun 1755 membuktikan setiap benda memiliki tiga poros rotasi utama.[29][30] Joseph-Louis Lagrange selanjutnya menyadari bahwa poros-poros utama adalah vektor-vektor eigen dari matriks inersia.[31]

Pada awal abad ke-19, Augustin Louis Cauchy melihat bagaimana karya-karya mereka dapat digunakan untuk mengklasifikasi kurva kuadratik (quadric surfaces), lalu memperumumnya ke sembarang dimensi.[31] Karya tulis Cauchy juga berpengaruh terhadap perkembangan teori spektral pada awal tahun 1870.[31] Cauchy juga mencetuskan istilah racine caractéristique (akar karakteristik), yang sekarang disebut sebagai nilai eigen; istilah lain yang ia cetuskan dan masih bertahan saat ini adalah persamaan karakteristik.[32][33] Selanjutnya, Joseph Fourier menggunakan karya Lagrange dan Pierre-Simon Laplace untuk menyelesaikan persamaan panas dengan pemisahan variabel, dalam buku tahun 1822-nya yang terkenal, Théorie analytique de la chaleu (Teori analitik tentang panas).[34] Charles-François Sturm mengembangkan ide Fourier lebih jauh, dan menarik perhatian Cauchy, yang menggabungkan ide-ide mereka dengan idenya sendiri, dan menghasilkan bukti bahwa matriks simetrik real akan memiliki nilai-nilai eigen real.[31] Hasil ini diperumum oleh Charles Hermite pada tahun 1855, yang memperkenalkan matriks Hermite.[32]

Di saat yang bersamaan, Francesco Brioschi membuktikan nilai-nilai eigen dari matriks ortogonal terletak pada lingkaran satuan,[31] dan Alfred Clebsch menemukan bukti yang serupa untuk matriks skew-symmetric.[32] Karl Weierstrass mengklarifikasi aspek penting dalam teori stabilitas yang dibuat oleh Laplace, dengan membuktikan matriks defektif dapat menyebabkan ketidakstabilan.[31] Joseph Liouville mempelajari masalah-masalah nilai eigen yang mirip dengan masalah yang dikerjakan Sturm; menghasilkan disiplin ilmu yang saat ini dikenal dengan teori Sturm-Liouville.[35] Memasuki akhir abad ke-19, Schwarz mempelajari nilai eigen pertama dari persamaan Laplace secara umum, sedangkan Poincaré mempelajari persamaan Poisson beberapa tahun berikutnya.[36]

Di awal abad ke-20, David Hilbert mempelajari nilai-nilai eigen dari operator integral dengan menganggap operator tersebut sebagai matriks [dengan ukuran] tak berhingga.[37] Ia adalah yang pertama menggunakan kata German eigen, yang berarti "diri sendiri"[38] untuk menyebut nilai dan vektor eigen pada tahun 1904,[39][40] walau ada kemungkinan ia mengikuti istilah yang digunakan oleh Hermann von Helmholtz. Untuk beberapa waktu, istilah yang digunakan dalam bahasa Inggris adalah "proper value" (nilai yang tepat), namun istilah "eigenvalue" menjadi standar saat ini.[40] Sedangkan dalam Bahasa Indonesia, Pusat Bahasa memadankan istilah "eigenvalue" istilah "eigennilai"[41]. Namun saat ini, istilah "nilai eigen" lebih populer digunakan.[butuh rujukan]

Algoritma numerik pertama untuk menghitung nilai-nilai eigen dan vektor-vektor eigen muncul pada tahun 1929, saat Richard von Mises mempublikasikan metode pangkat. Salah satu metode yang populer saat ini adalah algoritma QR, yang diusulkan secara terpisah oleh John G. F. Francis[42][43] dan Vera Kublanovskaya[44] pada tahun 1961.[45][46]

Metode penyelesaian

sunting

Teori tentang cara menentukan nilai dan vektor eigen, seperti yang disajikan dalam buku-buku aljabar linear dasar, umumnya tidak digunakan dalam praktiknya.

Metode klasik

sunting

Metode klasik bekerja dengan mencari nilai-nilai eigen terlebih dahulu, lalu menentukan vektor-vektor eigen untuk setiap nilai eigen. Dalam beberapa cara metode ini tidak sesuai untuk aritmetika non-eksak (non-exact arithmetics) seperti floating-point.

Nilai-nilai eigen dari suatu matriks   dapat ditentukan dengan mencari akar-akar polinomial karakteristik. Hal ini sederhana untuk matriks berukuran  , namun kesulitan akan meningkat dengan sangat cepat sebanding dengan ukuran matriks. Dalam teori, koefisien-koefisien dari polinomial karakteristik dapat dihitung secara eksak karena mereka adalah hasil penjumlahan dari perkalian elemen-elemen matriks; lagipula ada beberapa algoritma yang dapat mencari akar-akar dari polinomial dengan sembarang derajat akurasi yang diinginkan.[47] Namun cara tidak dapat dilakukan dalam praktik karena koefisien-koefisien akan terkontaminasi dengan galat pembulatan, sedangkan akar-akar polinomial dapat sangat sensitif terhadap perubahan koefisien-koefisien (seperti yang dicontohkan pada polinomial Wilkinson).[47] Bahkan untuk matriks yang setiap entrinya berupa bilangan bulat, kalkulasi tetap membutuhkan banyak operasi penjumlahan.

Rumus aljabar untuk mencari akar-akar polinomial secara eksplisit hanya ada jika derajat polinomial  . Berdasarkan teorema Abel-Ruffini, tidak ada rumus aljabar eksak yang eksplisit, untuk mencari akar-akar polinomial derajat 5 atau lebih. Hal ini menyebabkan nilai dan vektor eigen dari matriks berorde 5 atau lebih, perlu dicari sebagai hampiran/perkiraan dengan metode numerik. Bahkan rumus eksplisit untuk akar-akar polinomial derajat 3 sudah tidak praktis secara numerik.

Setelah nilai (eksak) dari nilai eigen diketahui, vektor-vektor yang berasosiasi dengannya dapat dicari dengan mencari solusi tak nol dari persamaan nilai eigen; dengan kata lain, menyelesaikan sebuah sistem persamaan linear.

Metode iteratif sederhana

sunting

Pendekatan sebaliknya, yakni dengan mencari vektor-vektor eigen lalu menentukan nilai eigen yang berasosiasi dengannya, ternyata lebih mudah dikerjakan oleh komputer. Algoritma yang paling sederhana dilakukan dengan mengambil sembarang vektor awal, lalu secara berulang mengalikannya dengan matriks   (dan secara opsional juga melakukan normalisasi agar ukuran vektor tetap wajar); hal ini akan membuat vektor menghampiri suatu vektor eigen. Iterasi invers sebagai salah satu variasi, mengalikan vektor dengan matriks  ; hal ini menyebabkan vektor untuk menghampiri vektor eigen dengan nilai eigen yang nilainya sedekat mungkin dengan  .

Jika   adalah (perkiraan hampiran yang bagus dari) sebuah vektor eigen dari  , maka nilai eigen yang berasosiasi dengan vektor tersebut dihitung lewat dengan   menyatakan transpos konjugat dari  .

Metode modern

sunting

Metode yang efisien dan akurat untuk menghitung nilai dan vektor eigen dari sembarang matriks tidak diketahui, sampai saat algoritma QR berhasil dikembangkan pada tahun 1961.[47] Algoritma dengan menggabungkan transformasi Householder dengan dekomposisi LU menghasilkan hampiran yang lebih baik ketimbang algoritma QR.[butuh rujukan] Untuk matriks Hermite yang rongga, algoritma Lanczos adalah salah satu contoh metode iteratif yang efisien untuk menghitung nilai dan vektor eigen.[47]

Banyak metode numerik yang menghitung nilai-nilai eigen dari matriks juga menghasilkan vektor-vektor eigen sebagai produk sampingan, tapi terkadang hal ini tidak dibutuhkan pada masalah yang dikerjakan, sehingga informasi vektor-vektor eigen ini langsung dibuang.

Catatan kaki

sunting
  1. ^ Tentukan polinomial karakteristik dari  :   Lalu gunakan rumus kuadratik untuk menentukan nilai dari  :   Bentuk di dalam akar dapat diserdehanakan menjadi:   Dengan sedikit perapian,  

Referensi

sunting
  1. ^ a b Kuttler, Kenneth (2012-01-10). Elementary Linear Algebra (dalam bahasa Inggris). The Saylor Foundation. 
  2. ^ Kuttler, Kenneth. 2012. Linear Algebra II: Spectral Theory and Abstract Vector Spaces. Ventus Publishing ApS. ISBN 978-87-403-0241-7
  3. ^ Leon, Steven J. . 2001 . Aljabar Linear dan Aplikasinya, Edisi Kelima . Jakarta: Erlangga . ISBN 979-688-173-X
  4. ^ Weisstein, Eric W. "Eigenspace". mathworld.wolfram.com (dalam bahasa Inggris). Diakses tanggal 2021-11-11. 
  5. ^ a b Axler, Sheldon . 1997 . ‘’’Linear Algebra Done Right Second Edition’’’ . Springer-Verlag New York, Inc. . ISBN 0-387-98259-0
  6. ^ Press, William H. (2007). Numerical recipes : the art of scientific computing. Saul A. Teukolsky, William T. Vetterling, Brian P. Flannery, Cambridge University Press (edisi ke-3rd ed). Cambridge, UK. hlm. 536. ISBN 978-0-521-88407-5. OCLC 123285342. 
  7. ^ Weisstein, Eric W. "Eigenvector". mathworld.wolfram.com (dalam bahasa Inggris). Diakses tanggal 2021-11-11. 
  8. ^ a b c Nering, Evar D. (1970). Linear algebra and matrix theory (edisi ke-2d ed). New York: Wiley. hlm. 107. ISBN 978-0-471-63178-1. 
  9. ^ a b Herstein, Israel N. (1964). Topics in algebra. Waltham, Mass: Xerox College Publ. hlm. 228–229. ISBN 0-536-00257-6. OCLC 615439706. 
  10. ^ a b Nering, Evar D. (1970). Linear algebra and matrix theory (edisi ke-2d ed). New York,: Wiley. hlm. 38. ISBN 0-471-63178-7. OCLC 747523. 
  11. ^ Weisstein, Eric W. "Eigenvalue". mathworld.wolfram.com (dalam bahasa Inggris). Diakses tanggal 2020-08-19. 
  12. ^ Cornell University Department of Mathematics (2016) Lower-Level Courses for Freshmen and Sophomores. Accessed on 2016-03-27.
  13. ^ University of Michigan Mathematics (2016) Math Course Catalogue Diarsipkan 2015-11-01 di Wayback Machine.. Accessed on 2016-03-27.
  14. ^ Press, William H. (2007). Numerical recipes : the art of scientific computing. Saul A. Teukolsky, William T. Vetterling, Brian P. Flannery, Cambridge University Press (edisi ke-3rd ed). Cambridge, UK. hlm. 38. ISBN 978-0-521-88407-5. OCLC 123285342. 
  15. ^ Matthews, K. R. (2013). Elementary Linear Algebra (PDF). Department of Mathematics, University of Queensland. 
  16. ^ "Glosarium". bahasasastra.kemdikbud.go.id. Diakses tanggal 2021-11-12. 
  17. ^ Fraleigh, John B. (1976). A first course in abstract algebra (edisi ke-2d ed). Reading, Mass.: Addison-Wesley Pub. Co. hlm. 358. ISBN 0-201-01984-1. OCLC 2344185. 
  18. ^ a b Golub, Gene H. (1996). Matrix computations. Charles F. Van Loan (edisi ke-3rd ed). Baltimore: Johns Hopkins University Press. hlm. 316. ISBN 0-8018-5413-X. OCLC 34515797. 
  19. ^ Anton, Howard (1987). Elementary linear algebra (edisi ke-5th ed). New York: Wiley. hlm. 305–307. ISBN 0-471-84819-0. OCLC 13580207. 
  20. ^ a b Beauregard, Raymond A. (1973). A first course in linear algebra; with optional introduction to groups, rings, and fields. John B. Fraleigh. Boston,: Houghton Mifflin. hlm. 307. ISBN 0-395-14017-X. OCLC 600254. 
  21. ^ Herstein, Israel N. (1964). Topics in algebra. Waltham, Mass: Xerox College Publ. hlm. 272. ISBN 0-536-00257-6. OCLC 615439706. 
  22. ^ a b Nering, Evar D. (1970). Linear algebra and matrix theory (edisi ke-2d ed). New York,: Wiley. hlm. 115–116. ISBN 0-471-63178-7. OCLC 747523. 
  23. ^ Herstein, Israel N. (1964). Topics in algebra. Waltham, Mass: Xerox College Publ. hlm. 290. ISBN 0-536-00257-6. OCLC 615439706. 
  24. ^ Denton, Peter B.; Parke, Stephen J.; Tao, Terence; Zhang, Xining (2021-02-18). "Eigenvectors from eigenvalues: A survey of a basic identity in linear algebra". Bulletin of the American Mathematical Society: 1. doi:10.1090/bull/1722. ISSN 0273-0979. 
  25. ^ Wolchover, Natalie (2019-11-13). "Neutrinos Lead to Unexpected Discovery in Basic Math". Quanta Magazine (dalam bahasa Inggris). Diakses tanggal 2021-11-12. 
  26. ^ Van Mieghem, Piet (2016-03-14). "Graph eigenvectors, fundamental weights and centrality metrics for nodes in networks". arXiv:1401.4580 [cond-mat, physics:physics]. 
  27. ^ Anton H., & Rorres C. 2005 . Elementary Linear Algebra: 9th edition . John Wiley and Sons. New York . ISBN 0-471-43329-2
  28. ^ Euler, Leonhard (Oktober 1751). Du mouvement d'un corps solide quelconque lorsqu'il tourne autour d'un axe mobile [Tentang pergerakan benda tegar ketika berotasi mengelilingi suatu poros] (dalam bahasa Prancis). Oxford University. Histoire de l'Académie royale des sciences et des belles lettres de Berlin. (dipublikasikan tanggal tahun 1760). hlm. 176–227. Pada hlm. 212, Euler membuktikan bahwa setiap benda memiliki suatu poros rotasi utama (principal axis of rotation). "Théorem. 44. De quelque figure que soit le corps, on y peut toujours assigner un tel axe, qui passe par son centre de gravité, autour duquel le corps peut tourner librement & d'un mouvement uniforme." (Teorema. 44. Bagaimanapun bentuk bendanya, seseorang dapat menetapkan suatu poros yang melewati titik pusat gravitasi [benda], sehingga benda tersebut dapat berputar bebas dan dengan gerakan yang seragam (konstan).) 
  29. ^ Segner, Johann Andreas (1755). Specimen theoriae turbinum [Esai mengenai teori tentang gasing (yakni, benda yang berotasi)]. Halle (Halae), Jerman: Gebauer. hlm. xxviiii [29]. Segner menyusun persamaan derajat tiga dalam t, yang membuktikan sebuah benda memiliki tiga poros rotasi utama. Ia selanjutnya menyatakan (di halaman yang sama): "Non autem repugnat tres esse eiusmodi positiones plani HM, quia in aequatione cubica radices tres esse possunt, et tres tangentis t valores." (Namun, itu tidak inkonsisten bahwa ada tiga posisi tersebut di bidang HM, karena persamaan kubik dapat memiliki tiga akar, dan tiga nilai untuk tangen t.) 
  30. ^ Cayley, A. (1863). "Report on the progress of the solution of certain special problems of dynamics" [Laporan mengenai perkembangan solusi dari beberapa masalah khusus dalam dinamika]. Report of the Thirty-second meeting of the British Association for the Advancement of Science. Cambridge (dipublikasikan tanggal October 1862). 32: 184–252. Karya Segner didiskusikan secara singkat, khususnya pada hlm. 225-226 
  31. ^ a b c d e f Hawkins, Thomas (1975-02-01). "Cauchy and the spectral theory of matrices". Historia Mathematica (dalam bahasa Inggris). 2 (1): 1–29. doi:10.1016/0315-0860(75)90032-4. ISSN 0315-0860. 
  32. ^ a b c Kline, Morris (1972). Mathematical thought from ancient to modern times. New York. hlm. 807–808. ISBN 0-19-501496-0. OCLC 517172. 
  33. ^ Cauchy, Augustin (1839). "Mémoire sur l'intégration des équations linéaires" [Memoir tentang integrasi persamaan linear]. Comptes rendus de l'Académie des Sciences. 8: 827–830, 845–865, 889–907, 931–937. Di hlm. 827: "On sait d'ailleurs qu'en suivant la méthode de Lagrange, on obtient pour valeur générale de la variable prinicipale une fonction dans laquelle entrent avec la variable principale les racines d'une certaine équation que j'appellerai l'équation caractéristique, le degré de cette équation étant précisément l'order de l'équation différentielle qu'il s'agit d'intégrer." (Kita tahu, lebih lanjut, dengan menggunakan metode Lagrange, kita akan mendapatkan nilai umum dari variabel utama sebuah fungsi yang disana, bersama dengan variabel utama, akan dari suatu persamaan yang akan saya sebut sebagai "persamaan karakteristik", derajat dari persamaan ini dengan tepat sama dengan derajat dari persamaan diferensial yang perlu diintegrasikan.) 
  34. ^ Kline, Morris (1972). Mathematical thought from ancient to modern times. New York. hlm. 673. ISBN 0-19-501496-0. OCLC 517172. 
  35. ^ Kline, Morris (1972). Mathematical thought from ancient to modern times. New York. hlm. 715–716. ISBN 0-19-501496-0. OCLC 517172. 
  36. ^ Kline, Morris (1972). Mathematical thought from ancient to modern times. New York. hlm. 706–707. ISBN 0-19-501496-0. OCLC 517172. 
  37. ^ Kline, Morris (1972). Mathematical thought from ancient to modern times. New York. hlm. 1063. ISBN 0-19-501496-0. OCLC 517172. 
  38. ^ "Eigenvector and Eigenvalue". www.mathsisfun.com. Diakses tanggal 2020-08-19. 
  39. ^ Hilbert, David (1904). Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen. (Erste Mitteilung) [Fundamental mengenai teori umum tentang persamaan integral. (Laporan pertama)] (dalam bahasa Jerman). Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse (News of the Philosophical Society at Göttingen, mathematical-physical section). hlm. 49–91. Di hlm. 51: "Insbesondere in dieser ersten Mitteilung gelange ich zu Formeln, die die Entwickelung einer willkürlichen Funktion nach gewissen ausgezeichneten Funktionen, die ich 'Eigenfunktionen' nenne, liefern: …" (Secara khusus, dalam laporan pertama ini saya menemukan rumus yang memberikan perkembangan [deret?] dari sembarang fungsi yang dinyatakan dalam suatu fungsi yang khusus, yang saya sebut dengan nilai eigen: …) Selanjutnya dalam halaman yang sama: "Dieser Erfolg ist wesentlich durch den Umstand bedingt, daß ich nicht, wie es bisher geschah, in erster Linie auf den Beweis für die Existenz der Eigenwerte ausgehe, … " (Kesuksesan ini terutama disebabkan oleh bahwa saya tidak, sampai saat ini, pertama-tama berniat untuk membuktikan eksistensi dari nilai eigen, …) 
  40. ^ a b Aldrich, John. Miller, Jeff, ed. "Earliest Known Uses of Some of the Words of Mathematics (E)". jeff560.tripod.com. Diakses tanggal 2021-11-12. lihat bagian "EIGENVALUE, EIGENFUNCTION, EIGENVECTOR and related terms." 
  41. ^ "Glosarium". bahasasastra.kemdikbud.go.id. Diakses tanggal 2021-11-12. 
  42. ^ Francis, J. G. F. (1961-03-01). "The QR Transformation A Unitary Analogue to the LR Transformation--Part 1". The Computer Journal (dalam bahasa Inggris). 4 (3): 265–271. doi:10.1093/comjnl/4.3.265. ISSN 0010-4620. 
  43. ^ Francis, J. G. F. (1962-04-01). "The QR Transformation--Part 2". The Computer Journal (dalam bahasa Inggris). 4 (4): 332–345. doi:10.1093/comjnl/4.4.332. ISSN 0010-4620. 
  44. ^ Kublanovskaya, V.N. (1962-01). "On some algorithms for the solution of the complete eigenvalue problem". USSR Computational Mathematics and Mathematical Physics (dalam bahasa Inggris). 1 (3): 637–657. doi:10.1016/0041-5553(63)90168-X. 
  45. ^ Golub, Gene H. (1996). Matrix computations. Charles F. Van Loan (edisi ke-3rd ed). Baltimore: Johns Hopkins University Press. ISBN 0-8018-5413-X. OCLC 34515797. 
  46. ^ Meyer, C. D. (2000). Matrix analysis and applied linear algebra. Philadelphia: Society for Industrial and Applied Mathematics. ISBN 0-89871-454-0. OCLC 43662189. 
  47. ^ a b c d Trefethen, Lloyd N. (1997). Numerical linear algebra. David Bau. Philadelphia: Society for Industrial and Applied Mathematics. ISBN 0-89871-361-7. OCLC 36084666.