Lihat sumber 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 (aljabar linear)|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]] <math>A</math> berukuran  didefinisikan sebagai<ref>Eric W. Weisstein. [https://mathworld.wolfram.com/MatrixTrace.html Matrix Trace]. ''mathworld.wolfram.com''.</ref><ref>Seymour Lipschutz. ''Schaum's Outline of Theory and Problems of Linear Algebra''. McGraw-Hill. September 2005. ISBN 9780070605022.</ref>

:<math>\operatorname{tr}(A) = \sum_{i=1}^n a_{ii} = a_{11} + a_{22} + \dots + a_{nn}</math>

Dengan  menandakan elemen baris ke-''i'' dan kolom ke-''i'' dari matriks <math>A</math>.

== Contoh ==
Sebagai contoh, misal <math>A</math> adalah matriks berukuran  dengan elemen-elemen

:<math>A =
  \begin{pmatrix}
    a_{11} & a_{12} & a_{13} \\
    a_{21} & a_{22} & a_{23} \\
    a_{31} & a_{32} & a_{33}
  \end{pmatrix} =
  \begin{pmatrix}
    1 &  0 &  3 \\
    11 &  5 &  2 \\
     6 & 12 & -5
  \end{pmatrix}
</math>

Maka, teras dari matriks <math>A</math> adalah
:<math>\operatorname{tr}(A) = \sum_{i=1}^{3} a_{ii} = a_{11} + a_{22} + a_{33} = 1 + 5 + (-5) = 1</math>

== Sifat ==
=== Sifat-sifat dasar ===
Teras adalah sebuah [[Peta linear|pemetaan linear]]. Dengan kata lain,<ref>[http://fourier.eng.hmc.edu/e161/lectures/algebra/node2.html "Rank, trace, determinant, transpose, and inverse of matrices"] . . ''fourier.eng.hmc.edu''. Diakses tanggal 2020-09-09.</ref><ref>Eric W. Weisstein. [https://mathworld.wolfram.com/MatrixTrace.html Matrix Trace]. ''mathworld.wolfram.com''.</ref>

:<math>\begin{align}
  \operatorname{tr}(A + B) &= \operatorname{tr}(A) + \operatorname{tr}(B) \\
     \operatorname{tr}(cA) &= c \operatorname{tr}(A)\end{align}</math>

untuk sebarang matriks persegi <math>A</math> dan <math>B</math>, dan untuk sebarang [[Skalar (matematika)|skalar]] <math>c</math>.<ref>Seymour Lipschutz. ''Schaum's Outline of Theory and Problems of Linear Algebra''. McGraw-Hill. September 2005. ISBN 9780070605022.</ref>

Nilai teras dari matriks sama dengan nilai teras [[Transpos|transposnya]]:<ref>[http://fourier.eng.hmc.edu/e161/lectures/algebra/node2.html "Rank, trace, determinant, transpose, and inverse of matrices"] . . ''fourier.eng.hmc.edu''. Diakses tanggal 2020-09-09.</ref><ref>Eric W. Weisstein. [https://mathworld.wolfram.com/MatrixTrace.html Matrix Trace]. ''mathworld.wolfram.com''.</ref><ref>Seymour Lipschutz. ''Schaum's Outline of Theory and Problems of Linear Algebra''. McGraw-Hill. September 2005. ISBN 9780070605022.</ref>

:<math>\operatorname{tr}(A) = \operatorname{tr}\left(A^\mathsf{T}\right).</math>

Hal tersebut terlihat dari fakta operasi transpos tidak memengaruhi 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 <math>A</math> dan <math>B</math> adalah matriks berukuran ''m''&nbsp;×&nbsp;''n'', maka:

:<math>
  \operatorname{tr}\left(\mathbf{A}^\mathsf{T}\mathbf{B}\right) =
  \operatorname{tr}\left(\mathbf{A}\mathbf{B}^\mathsf{T}\right) =
  \operatorname{tr}\left(\mathbf{B}^\mathsf{T}\mathbf{A}\right) =
  \operatorname{tr}\left(\mathbf{B}\mathbf{A}^\mathsf{T}\right) =
  \sum_{i,j}a_{ij}b_{ij}.
</math>

Hal ini menandakan bahwa teras dari perkalian dua matriks berukuran sama memiliki fungsi yang serupa dengan [[Perkalian titik|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 matematika|statistika]]).

Untuk matriks riil <math>A</math> dan <math>B</math>, teras dari perkalian kedua matriks tersebut dapat ditulis dalam bentuk berikut:

: {| cellpadding=0
| <math>\operatorname{tr}\left(\mathbf{A}^\mathsf{T}\mathbf{B}\right) = \sum_{i,j}(\mathbf{A} \circ \mathbf{B})_{ij}</math>
| style="padding-left:3em;" | (menggunakan [[hasil kali Hadamard]], juga dikenal sebagai perkalian elemen-demi-elemen).
|-
| <math>\operatorname{tr}\left(\mathbf{A}^\mathsf{T}\mathbf{B}\right) = \operatorname{vec}(\mathbf{B})^\mathsf{T} \operatorname{vec}(\mathbf{A}) = \operatorname{vec}(\mathbf{A})^\mathsf{T}\operatorname{vec}(\mathbf{B})</math>
| style="padding-left:3em;" | (menggunakan operator ''vectorization'').
|}

Urutan perkalian matriks dapat ditukar tanpa mengubah nilai terasnya: jika matriks <math>A</math> berukuran  dan matriks <math>B</math> berukuran , maka <ref>Eric W. Weisstein. [https://mathworld.wolfram.com/MatrixTrace.html Matrix Trace]. ''mathworld.wolfram.com''.</ref><ref>Seymour Lipschutz. ''Schaum's Outline of Theory and Problems of Linear Algebra''. McGraw-Hill. September 2005. ISBN 9780070605022.</ref>
== Teras eksponensial ==
[[Ekspresi (matematika)|Ekspresi]] seperti <math>\text{tr}(\text{exp}(A))</math>, dengan <math>A</math> adalah matriks persegi, sering muncul dalam beberapa bidang keilmuan (seperti teori statistik multivariat), sehingga terdapat notasi umum yang lebih singkat:

:<math>\operatorname{tre}(A) := \operatorname{tr}(\exp(A)).</math>

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

== Teras dari operator linear ==
Secara umum, untuk [[Peta linear|pemetaan linear]]   (dengan  adalah [[ruang vektor]] dimensi hingga), nilai teras dari pemetaan dapat didefinisikan dengan mempertimbangkan nilai teras dari [[Teori representasi|representasi matriks]] dari . Dengan kata lain, memilih [[Basis (aljabar linear)|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 <math>A</math> adalah operator linear yang diwakili oleh matriks persegi dengan elemen [[Bilangan riil|bilangan real]] atau [[bilangan kompleks]], dan  adalah [[nilai eigen]] dari <math>A</math> (diurutkan berdasarkan kelipatan ''algebraic''-nya), maka

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

:<math>\det(\mathbf{A}) = \prod_i \lambda_i.</math>

Dalam bentuk yang lebih umum,

:<math>\operatorname{tr}\left(\mathbf{A}^k\right) = \sum_i \lambda_i^k.</math>

== Kegunaan ==
Teras dari [[matriks kompleks]] ukuran 2&nbsp;×&nbsp;2 digunakan untuk mengelompokkan [[transformasi Möbius]]. Hasil ini dilakukan pertama dengan menormalisasi matriks sehingga [[Determinan|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 <math>A</math> berukuran  dengan elemen bilangan real (atau bilangan kompleks), dan <sup>H</sup> menyatakan [[Transpos|transpos konjugat]] kita memiliki

:<math>\operatorname{tr}\left(A^{\mathsf H} A \right) \ge 0 </math>

Dengan kesamaan berlaku [[jika dan hanya jika]] <math>A</math> adalah [[matriks nol]].<ref>Roger A. Horn. ''Matrix Analysis''. Cambridge University Press. 2013. ISBN 9780521839402.</ref>

== Catatan kaki dan referensi ==
=== Catatan kaki ===
=== Referensi ===

== Referensi ==
<references />

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Teras+%28aljabar+linear%29&oldid=28268936 Wikipedia bahasa Indonesia], revisi 28268936 (2025-11-01T00:50:43Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

<!-- WIKI_UNISSULA_PRESENTATION_V4 -->