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 $A$ berukuran Templat:Math didefinisikan sebagaiTemplat:Rp

$\mathrm{tr}(A)=\sum _{i=1}^n{a}_{ii}=a_{11}+a_{22}+\dots +a_{nn}$

Dengan Templat:Math menandakan elemen baris ke-i dan kolom ke-i dari matriks $A$.

Contoh

Sebagai contoh, misal $A$ adalah matriks berukuran Templat:Math dengan elemen-elemen

$A=\left(\begin{array}{ccc}{a}_{11}& a_{12}& a_{13}\\ a_{21}& a_{22}& a_{23}\\ a_{31}& a_{32}& a_{33}\end{array}\right)=\left(\begin{array}{ccc}1& 0& 3\\ 11& 5& 2\\ 6& 12& -5\end{array}\right)$

Maka, teras dari matriks $A$ adalah

$\mathrm{tr}(A)=\sum _{i=1}^3{a}_{ii}=a_{11}+a_{22}+a_{33}=1+5+(-5)=1$

Sifat

Sifat-sifat dasar

Teras adalah sebuah pemetaan linear. Dengan kata lain,

$\begin{array}{cc}\mathrm{tr}(A+B)& =\mathrm{tr}(A)+\mathrm{tr}(B)\\ \mathrm{tr}(cA)& =c\mathrm{tr}(A)\end{array}$

untuk sebarang matriks persegi $A$ dan $B$, dan untuk sebarang skalar $c$.Templat:Rp

Nilai teras dari matriks sama dengan nilai teras transposnya:Templat:Rp

$\mathrm{tr}(A)=\mathrm{tr}\left(A^{𝖳}\right).$

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 $A$ dan $B$ adalah matriks berukuran m × n, maka:

$\mathrm{tr}\left({𝐀}^{𝖳}𝐁\right)=\mathrm{tr}\left(𝐀{𝐁}^{𝖳}\right)=\mathrm{tr}\left({𝐁}^{𝖳}𝐀\right)=\mathrm{tr}\left(𝐁{𝐀}^{𝖳}\right)=\sum _{i,j}{a}_{ij}{b}_{ij}.$

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 $A$ dan $B$, teras dari perkalian kedua matriks tersebut dapat ditulis dalam bentuk berikut:

$\mathrm{tr}\left({𝐀}^{𝖳}𝐁\right)=\sum _{i,j}(𝐀\circ 𝐁{)}_{ij}$	(menggunakan hasil kali Hadamard, juga dikenal sebagai perkalian elemen-demi-elemen).
$\mathrm{tr}\left({𝐀}^{𝖳}𝐁\right)=\mathrm{vec}(𝐁{)}^{𝖳}\mathrm{vec}(𝐀)=\mathrm{vec}(𝐀{)}^{𝖳}\mathrm{vec}(𝐁)$	(menggunakan operator vectorization).

Urutan perkalian matriks dapat ditukar tanpa mengubah nilai terasnya: jika matriks $A$ berukuran Templat:Math dan matriks $B$ berukuran Templat:Math, maka Templat:RpTemplat:Refn

Teras eksponensial

Ekspresi seperti $\text{tr}(\text{exp}(A))$, dengan $A$ adalah matriks persegi, sering muncul dalam beberapa bidang keilmuan (seperti teori statistik multivariat), sehingga terdapat notasi umum yang lebih singkat:

$\mathrm{tre}(A):=\mathrm{tr}(\exp (A)).$

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

Teras dari operator linear

Secara umum, untuk pemetaan linear Templat:Math (dengan Templat:Mvar adalah ruang vektor dimensi hingga), nilai teras dari pemetaan dapat didefinisikan dengan mempertimbangkan nilai teras dari representasi matriks dari Templat:Mvar. Dengan kata lain, memilih basis bagi Templat:Mvar dan menyatakan Templat:Mvar 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 $A$ adalah operator linear yang diwakili oleh matriks persegi dengan elemen bilangan real atau bilangan kompleks, dan Templat:Math adalah nilai eigen dari $A$ (diurutkan berdasarkan kelipatan algebraic-nya), maka

$\mathrm{tr}(𝐀)=\sum _i{\lambda }_i$

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

$\det (𝐀)=\prod _i{\lambda }_i.$

Dalam bentuk yang lebih umum,

$\mathrm{tr}\left({𝐀}^k\right)=\sum _i{\lambda }_i^k.$

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 Templat:Nowrap, 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 $A$ berukuran Templat:Math dengan elemen bilangan real (atau bilangan kompleks), dan ^H menyatakan transpos konjugat kita memiliki

$\mathrm{tr}\left(A^{𝖧}A\right)\ge 0$

Dengan kesamaan berlaku jika dan hanya jika $A$ adalah matriks nol.Templat:Rp