Teras (aljabar linear)

Dalam aljabar linear, teras (juga disebut dengan trace), dari matriks persegi didefinisikan sebagai jumlah dari setiap elemen pada diagonal utama matriks tersebut. Notasi yang digunakan untuk mewakili teras dari matriks A adalah tr(A).

Nilai teras juga sama dengan jumlah nilai eigen (kompleks) berserta kelipatannya dari matriks tersebut; dan tidak bergantung pada basis yang dipakai. Sifat ini dapat digunakan untuk mendefinisikan teras dari operator linear secara umum. Nilai teras hanya terdefinisi untuk matriks persegi (matriks berukuran n × n).

Nilai teras suatu matriks juga berhubungan dengan turunan dari determinan (lihat rumus Jacobi)

Definisi 
Teras dari matriks persegi  berukuran  didefinisikan sebagai

Dengan  menandakan elemen baris ke-i dan kolom ke-i dari matriks .

Contoh 
Sebagai contoh, misal  adalah matriks berukuran  dengan elemen-elemen

Maka, teras dari matriks  adalah

Sifat

Sifat-sifat dasar 
Teras adalah sebuah pemetaan linear. Dengan kata lain,

untuk sebarang matriks persegi  dan , dan untuk sebarang skalar .

Nilai teras dari matriks sama dengan nilai teras transposnya:

Hal tersebut terlihat dari fakta operasi transpos tidak mempengaruhi elemen-elemen pada diagonal utama.

Hasil perkalian matriks 
Teras sebuah matriks persegi yang didapatkan dari hasil perkalian dua matriks, dapat dituliskan sebagai penjumlahan semua perkalian elemen yang bersesuaian lokasi pada kedua matriks.  Dalam bahasa yang lebih formal, jika  dan  adalah matriks berukuran m × n, maka:

Hal ini menandakan bahwa teras dari perkalian dua matriks berukuran sama memiliki fungsi yang serupa dengan hasil kali titik vektor. Analogi perkalian titik untuk keadaan ini adalah membayangkan matriks sebagai vektor kolom yang panjang (dibuat dengan menumpuk kolom-kolom matriks diatas yang lainnya). Sifat ini juga menjadi alasan teras sering digunakan dalam perumuman operasi vektor ke matriks (misal pada ilmu kalkulus matriks dan statistika).

Untuk matriks riil  dan , teras dari perkalian kedua matriks tersebut dapat ditulis dalam bentuk berikut:

 {| cellpadding=0
| 
| style="padding-left:3em;" | (menggunakan hasil kali Hadamard, juga dikenal sebagai perkalian elemen-demi-elemen).
|-
| 
| style="padding-left:3em;" | (menggunakan operator vectorization).
|}

Urutan perkalian matriks dapat ditukar tanpa mengubah nilai terasnya: jika matriks  berukuran  dan matriks  berukuran , maka

Teras eksponensial 
Ekspresi seperti , dengan  adalah matriks persegi, sering muncul dalam beberapa bidang keilmuan (seperti teori statistik multivariat), sehingga terdapat notasi umum yang lebih singkat:

Fungsi  terkadang disebut sebagai fungsi teras eksponensial, dan digunakan dalam ketidaksamaan Golden–Thompson.

Teras dari operator linear 
Secara umum, untuk pemetaan linear   (dengan  adalah ruang vektor dimensi hingga), nilai teras dari pemetaan dapat didefinisikan dengan mempertimbangkan nilai teras dari representasi matriks dari . Dengan kata lain, memilih basis bagi  dan menyatakan  sebagai matriks terhadap basis tersebut, lalu menghitung teras dari matriksnya. Hasil metode ini tidak bergantung pada basis yang dipilih, karena setiap basis merupakan matriks similar (akibat matriks perubahan basis); dan memungkinkan definisi teras dari operator linear yang tidak bergantung pada basis.

Hubungan dengan nilai eigen 
Jika  adalah operator linear yang diwakili oleh matriks persegi dengan elemen bilangan real atau bilangan kompleks, dan  adalah nilai eigen dari  (diurutkan berdasarkan kelipatan algebraic-nya), maka

Hal ini disebabkan karena  selalu similar dengan bentuk Jordan-nya, yakni sebuah matriks segitiga dengan  berada pada diagonal utamanya. Di sisi lain, determinan dari  adalah hasil perkalian dari nilai-nilai eigennya. Dengan kata lain,

Dalam bentuk yang lebih umum,

Kegunaan 
Teras dari matriks kompleks ukuran 2 × 2 digunakan untuk mengelompokkan transformasi Möbius. Hasil ini dilakukan pertama dengan menormalisasi matriks sehingga determinannya bernilai 1. Selanjutnya, jika kuadrat dari teras bernilai 4, maka transformasi yang bersangkutan bertipe parabolic. Jika nilai kuadrat dari teras berada pada selang , maka ia bertipe elliptic. Sedangkan jika nilai kuadrat dari teras lebih besar dari 4, transformasi bertipe loxodromic. Detail mengenai ini ada pada pengelompokan transformasi  Möbius.

Hasil kali dalam 
Untuk matriks  berukuran  dengan elemen bilangan real (atau bilangan kompleks), dan H menyatakan transpos konjugat kita memiliki

Dengan kesamaan berlaku jika dan hanya jika  adalah matriks nol.

Catatan kaki dan referensi

Catatan kaki

Referensi