Lihat sumber Polinomial karakteristik

{{short description|Polinomial yang akar-akarnya adalah nilai-nilai eigen sebuah matriks}}

Dalam [[aljabar linear]], '''polinomial karakteristik''' dari [[matriks persegi]] adalah suatu [[polinomial]] yang invarian dalam [[matriks serupa|keserupaan]] dan memiliki [[Nilai dan vektor eigen|nilai-nilai eigen]] sebagai [[Akar fungsi|akar-akarnya]]. Nilai [[Determinan]] dan [[Teras (aljabar linear)|teras]] dari matriks ada di dalam koefisien-koefisien polinomial karakteristik. ''Persamaan karakteristik'' atau juga dikenal sebagai ''persamaan determinan'',<ref>{{cite book|last=Guillemin|first=Ernst|date=1953|url=https://archive.org/details/introductorycirc0000guil|title=Introductory Circuit Theory|publisher=Wiley|isbn=0471330663|pages=366, 541|author-link=Ernst_Guillemin|lay-url=https://books.google.com/books?id=rx5RAAAAMAAJ&q=determinantal}}</ref><ref>{{cite journal|last1=Forsythe|first1=George E.|last2=Motzkin|first2=Theodore|date=January 1952|title=An Extension of Gauss' Transformation for Improving the Condition of Systems of Linear Equations|url=https://www.ams.org/journals/mcom/1952-06-037/S0025-5718-1952-0048162-0/S0025-5718-1952-0048162-0.pdf|journal=American Mathematical Society – Mathematics of Computation|volume=6|issue=37|pages=18–34|doi=10.1090/S0025-5718-1952-0048162-0|access-date=3 October 2020}}</ref><ref>{{cite journal|last=Frank|first=Evelyn|date=1946|title=On the zeros of polynomials with complex coefficients|url=https://projecteuclid.org/download/pdf_1/euclid.bams/1183507703|journal=Bulletin of the American Mathematical Society|volume=52|issue=2|pages=144–157|doi=10.1090/S0002-9904-1946-08526-2|access-date=3 October 2020|lay-url=https://projecteuclid.org/euclid.bams/1183507703|doi-access=free}}</ref> adalah persamaan yang diperoleh dengan menyamakan polinomial karakteristik dengan nol.

Dengan definisi yang serupa, polinomial karakteristik dari [[endomorfisme]] suatu [[ruang vektor]] dimensi terhingga, adalah polinomial karakteristik dari representrasi matriks dari endomorfisme tersebut, atas sebarang basis; yang mengartikan polinomial karakteristik tidak bergantung pada pemilihan [[Basis (aljabar linear)|basis]]. Dalam [[teori graf spektral]], polinomial karakteristik dari sebuah [[Graf (matematika)|graf]] adalah polinomial karakteristik dari [[matriks kedampingan]] graf tersebut.<ref>{{cite web|title=Characteristic Polynomial of a Graph – Wolfram MathWorld|url=http://mathworld.wolfram.com/CharacteristicPolynomial.html|access-date=August 26, 2011}}</ref>

== Motivasi ==

Dalam [[aljabar linear]], [[nilai dan vektor eigen]] memainkan peran penting, karena untuk sebarang pilihan [[transformasi linear]], vektor eigen adalah vektor yang arahnya tidak berubah akibat transformasi tersebut, dan nilai eigen yang berkorespodensi dengan vektor eigen tersebut menyatakan perubahan besar vektor.

Dalam penjelasan yang lebih presisi, jika transformasi dinyatakan sebagai sebuah matriks persegi <math>A,</math> maka vektor eigen <math>\mathbf{v}</math> dan nilai eigen <math>\lambda</math> yang berkorespoden dengannya, harus memenuhi persamaan berikut<math display="block">A \mathbf{v} = \lambda \mathbf{v},</math>atau, setara dengan bentuk di atas, <math display="block">(\lambda I - A) \mathbf{v} = 0</math>dengan <math>I</math> menyatakan [[matriks identitas]], dan <math>\mathbf{v}\ne \mathbf{0}</math> ([[vektor nol]] tidak dianggap sebagai vektor eigen, walaupun memenuhi persamaan tersebut untuk semua nilai <math>\lambda</math>). Hal ini menyimpulkan bahwa matriks <math>(\lambda I - A)</math> harus bersifat [[Matriks singular|singular]], dan determinan-nya bernilai nol, yang ditulis sebagai <math>\det(\lambda I - A) = 0.</math> Dengan kata lain, nilai eigen dari <math>A</math> adalah [[Akar fungsi|akar-akar]] dari <math display="inline">\det(xI - A),</math> yakni [[polinomial monik]] dalam <math>x</math> dan berderajat <math>n</math>, ketika <math>A</math> berukuran <math>n\times n</math>. Polinomial ini merupakan ''polinomial karakteristik'' dari <math>A</math>.

== Definisi formal ==

Misalkan <math>A</math> adalah matriks atas [[Lapangan_(matematika)|lapangan]] <math>K</math> dan berukuran <math>n \times n</math>. Polinomial karakterisitik dari <math>A</math>, yang dinyatakan dengan notasi <math>p_A(t),</math> adalah polinomial yang didefinisikan sebagai<ref>{{Cite book|author=Steven Roman|year=1992|url=https://archive.org/details/springer_10.1007-978-1-4757-2178-2|title=Advanced linear algebra|publisher=Springer|isbn=3540978372|edition=2|page=[https://archive.org/details/springer_10.1007-978-1-4757-2178-2/page/n142 137]}}</ref><math display=block>p_A(t) = \det(tI - A)</math>dengan <math>I</math> melambangkan [[matriks identitas]] berukuran <math>n \times n</math>.

Ada sebagian penulis yang mendefinisikan polinomial karakteristik sebagai <math>\det(A - tI)</math>. Polinomial tersebut berbeda dengan polinomial yang didefinisikan sebelumnya, dengan sebuah tanda <math>(-1)^n</math>. Walau tidak ada perbedaan untuk sifat-sifat seperti akar-akarnya adalah nilai eigen dari <math>A</math>, polinomial <math>\det(A - tI)</math> hanya bersifat monik ketika <math>n</math> genap.

== Contoh-contoh ==

Misalkan kita ingin menentukan polinomial karakteristik dari matriks<math display=block>A=\begin{pmatrix}
2 & 1\\
-1& 0
\end{pmatrix}.</math>Untuk itu, kita perlu menghitung [[determinan]] dari matriks
<math display=block>t I-A = \begin{pmatrix}
t-2&-1\\
1&t-0
\end{pmatrix}</math>sehingga diperoleh polinomial karakteristik dari matriks <math>A</math>, yaitu <math>(t-2)t - 1(-1) = t^2-2t+1</math>.

Contoh berikut menggunakan [[fungsi hiperbolik]] dari [[sudut hiperbolik]] <math>\varphi</math>. Untuk matriks<math display="block">A=\begin{pmatrix} \cosh(\varphi) & \sinh(\varphi)\\ \sinh(\varphi)& \cosh(\varphi) \end{pmatrix},</math> polinomial karakteristik dari matriks tersebut adalah
<math display=block>\det (tI - A) = (t - \cosh(\varphi))^2 - \sinh^2(\varphi) = t^2 - 2 t \ \cosh(\varphi) + 1 = (t - e^\varphi) (t - e^{-\varphi}).</math>

== Sifat-sifat ==

Polinomial karakteristik <math>p_A(t)</math> dari sebuah matriks <math>n\times n</math> bersifat monik (koefisien dari suku terbesarnya adalah 1) dan derajatnya adalah <math>n</math>. Fakta yang terpenting mengenai polinomial karakteristik sudah disebut di bagian Motivasi: nilai-nilai eigen <math>A</math> adalah [[Akar fungsi|akar-akar]] dari <math>p_A(t)</math> (fakta ini juga berlaku untuk [[Polinomial minimal (aljabar linear)|polinomial minimal]] dari <math>A</math>, namun derajatnya dapat lebih kecil dari <math>n</math>). Semua koefisien dari polinomial karakteristik adalah [[Ekspresi (matematika)|ekspresi]] dari entri-entri matriks. Secara khusus, koefisien <math>t^0</math> bernilai <math>\det(-A) = (-1)^n \det(A)</math>, koefisien <math>t^n</math> bernilai <math>1</math>, dan koefisien <math>t^{n-1}</math> bernilai <math>\operatorname{tr}(-A) = -\operatorname{tr}(A)</math>, dengan <math>\operatorname{tr}(A)</math> melambangkan [[Teras (aljabar linear)|teras]] dari <math>A</math>. (Tanda yang diberikan di bagian ini disesuaikan dengan definisi formal yang diberikan dalam bagian sebelumnya;<ref>Dalil 28 dalam [http://users.math.yale.edu/~tl292/teaching/math225/notes/week10.pdf catatan kuliah] ini.{{dead link|date=November 2016|bot=InternetArchiveBot|fix-attempted=yes}}</ref> sedangkan untuk definisi alternatif, masing-masing koefisien tersebut akan memiliki nilai <math>\det(A)</math> dan <math>(-1)^{n-1} \operatorname{tr}(A)</math>.<ref>Teorema 4 dalam [https://www.math.ucla.edu/~tao/resource/general/115a.3.02f/week8.pdf catatan kuliah] ini.</ref>) Sebagai contoh, untuk sebarang matriks <math>A</math> dengan ukuran <math>2\times2</math>, polinomial karakteristiknya dirumuskan dengan<math display="block"> t^2 - \operatorname{tr}(A) t + \det(A).</math>

Dengan menggunakan bahasa [[aljabar eksterior]], polinomial karakteristik dari matriks <math>A</math> berukuran <math>n\times n</math> dapat dinyatakan sebagai<math display=block>p_A (t) = \sum_{k=0}^n t^{n-k} (-1)^k \operatorname{tr}\left(\textstyle\bigwedge^k A\right)</math>dengan <math display="inline">\operatorname{tr} \left(\bigwedge^k A \right)</math> menyatakan [[Teras (aljabar linear)|teras]] dari [[Aljabar eksterior#Fungtorialitas|pangkat eksterior]] dari <math>A</math>, yang memiliki dimensi <math display="inline">\binom{n}{k}</math>. Teras ini dapat dihitung sebagai jumlah semua [[Minor (aljabar linear)|minor utama]] ukuran <math>k</math> dari <math>A</math>. [[Algoritme Faddeev–LeVerrier|Algoritme rekursif Faddeev–LeVerrier]] menghitung koefisien-koefisien tersebut dengan cara yang lebih efisien. Ketika [[Lapangan_(matematika)|lapangan]] dari koefisien-koefisien memiliki [[Karakteristik (aljabar)|karakteristik]] bernilai 0, setiap teras dapat dihitung sebagai sebuah determinan tunggal dari matriks <math>k\times k</math>, yakni<math display="block">\operatorname{tr}\left( \bigwedge^k A\right) = \frac{1}{k!}
\begin{vmatrix}  \operatorname{tr}A  &   k-1 &0&\cdots & \\
\operatorname{tr}A^2  &\operatorname{tr}A&  k-2 &\cdots & \\
\vdots & \vdots & & \ddots & \vdots    \\
\operatorname{tr}A^{k-1} &\operatorname{tr}A^{k-2}& & \cdots & 1    \\
\operatorname{tr}A^k  &\operatorname{tr}A^{k-1}& & \cdots & \operatorname{tr}A
\end{vmatrix}.</math>

[[Teorema Cayley–Hamilton]] menyatakan bahwa mensubtitusi <math>t</math> dalam polinomial karakteristik dengan <math>A</math> (dan memandang operasi perpangkatan sebagai perpangkatan matriks, dan suku konstan <math>c</math> sebagai perkalian <math>c</math> dengan matriks identitas), akan menghasilkan matriks nol. Secara informal, hubungan ini mengartikan setiap matriks memenuhi persamaan karakteristik mereka. Pernyataan ini sama saja dengan mengatakan bahwa [[Polinomial minimal (aljabar linear)|polinomial minimal]] <math>A</math> membagi polinomial karakteristik <math>A</math>.

Dua [[matriks serupa]] memiliki polinomial karakteristik yang sama, tetapi pernyataan sebaliknya tidak benar secara umum: dua matriks dengan polinomial karakteristik yang sama belum tentu serupa.

Sebarang matriks dan [[transpos]]-nya memiliki polinomial karakteristik yang sama. Matriks <math>A</math> serupa dengan [[matriks segitiga]] [[jika dan hanya jika]] polinomial karakteristiknya dapat difaktorkan dengan lengkap menjadi faktor-faktor linear atas <math>K</math> (pernyataan yang sama juga benar dengan polinomial minimal). Dalam kasus ini, <math>A</math> serupa dengan suatu matriks dalam [[bentuk normal Jordan]].

== Polinomial karakteristik dari perkalian dua matriks ==

Jika <math>A</math> dan <math>B</math> adalah dua matriks persegi berukuran <math>n\times n</math>, maka polinomial karakteristik dari <math>AB</math> dan <math>BA</math> adalah sama; dengan kata lain, <math display=block>p_{AB}(t)=p_{BA}(t).</math> Jika <math>A</math> bersifat [[Matriks terbalikkan|tak singular]] (terbalikkan), maka hasil berikut dapat disimpulkan dari fakta <math>AB</math> dan <math>BA</math> [[Matriks serupa|serupa]]: <math display="block">BA = A^{-1} (AB) A.</math>Sedangkan untuk kasus <math>A</math> dan <math>B</math> berupa matriks singular, identitas yang diinginkan adalah sebuah kesamaan pada kedua polinomial karakteristik (dalam <math>t</math>) mereka dan pada koefisien-koefisien dari matriks. Dengan demikian, kesamaan dapat ditunjukkan dengan cukup membuktikan bahwa kesamaan tersebut berlaku pada suatu [[Himpunan terbuka|subhimpunan buka]] tak kosong (untuk [[Ruang_topologis|topologi]] biasa, atau lebih umumnya untuk [[topologi Zariski]]) dari ruang semua koefisien. Karena matriks tak singular membentuk subhimpunan buka dari ruang semua matriks, maka kesamaan berhasil ditunjukkan.

Lebih umumnya, jika matriks <math>A</math> berukuran <math>m\times n</math> dan <math>B</math> berukuran <math>n\times m</math>, maka <math>AB</math> adalah matriks <math>m\times m</math> dan <math>BA</math> adalah matriks <math>n\times n</math>, dan terdapat hubungan <math display="block"> p_{BA}(t) = t^{n-m} p_{AB}(t).</math> Untuk membuktikan hal tersebut, anggap <math>n > m</math>, dengan menukarkan <math>A</math> dan <math>B</math> kalau diperlukan. Lalu, dengan menambahkan <math>n-m</math> baris nol setelah baris terbawah di matriks <math>A</math>, dan menambahkan <math>n-m</math> kolom nol setelah kolom terkanan di matriks <math>B</math>, akan didapatkan dua matriks berukuran <math>n\times n</math>, yakni <math>A'</math> dan <math>B'</math>. Kedua matriks yang baru ini memenuhi <math>B'A' = BA</math> dan <math>A'B'</math> sama dengan <math>AB</math> yang dibatasi oleh <math>n-m</math> baris dan kolom nol. Dengan demikian, hubungan dapat ditunjukkan dengan menggunakan kasus matriks persegi lalu membandingkan polinomial karakteristik <math>A'B'</math> dan <math>AB</math>.

== Polinomial karakteristik dari ''A<sup>k</sup>'' ==

Jika <math>\lambda</math> adalah nilai eigen dari matriks persegi <math>A</math> yang berkorespodensi dengan vektor eigen <math>\mathbf{v} </math>, maka <math>\lambda^k</math> adalah nilai eigen dari <math>A^k</math>, sebab <math display="block">A^k \textbf{v} = A^{k-1} A \textbf{v} = \lambda A^{k-1} \textbf{v} = \dots = \lambda^k \textbf{v}.</math> Sifat yang sama dapat ditunjukkan berlaku untuk kelipatan dari matriks, dan dapat diperumum untuk sebarang polinomial:<ref>{{Cite book|last1=Horn|first1=Roger A.|last2=Johnson|first2=Charles R.|year=2013|title=Matrix Analysis|publisher=[[Cambridge University Press]]|isbn=978-0-521-54823-6|edition=2nd|at=pp. 108–109, Section 2.4.2}}</ref>
{{Math theorem
| math_statement = Misalkan <math>A</math> adalah matriks persegi <math> n \times n </math>, dan misalkan <math>f(t)</math> adalah suatu polinomial. Jika polinomial karakteristik dari <math> A</math> memiliki faktorisasi <math display="block"> p_A(t) = (t - \lambda_1) (t - \lambda_2) \cdots (t-\lambda_n),</math> maka polinomial karakteristik dari matriks <math>f(A)</math> dirumuskan sebagai
<math display="block"> p_{f(A)}(t) = (t - f(\lambda_1)) (t - f(\lambda_2)) \cdots (t-f(\lambda_n)).</math>
}}
Teorema ini mengartikan bahwa kelipatan aljabar (''algebraic multiplicity'') dari <math>\lambda</math> dalam <math>f(A)</math> sama dengan jumlah kelipatan-kelipatan aljabar <math>\lambda'</math> dalam <math>A</math> atas <math>\lambda'</math> yang memenuhi <math>f(\lambda') = \lambda</math>. Secara khusus, <math display="inline">\operatorname{tr}(f(A)) = \sum_{i=1}^n f(\lambda_i)</math>dan <math display="inline">\operatorname{det}(f(A)) = \prod_{i=1}^n f(\lambda_i)</math>. Sebagai contoh, polinomial <math>f(t) = t^3 + 1</math> yang dievaluasi pada matriks <math>A</math>, dapat ditulis dengan sederhana sebagai <math>f(A) = A^3 + 1</math>.

Teorema tersebut berlaku untuk matriks dan polinomial atas sebarang lapangan maupun [[gelanggang komutatif]].<ref>{{Cite book|last=Lang|first=Serge|year=1993|url=https://www.worldcat.org/oclc/852792828|title=Algebra|location=New York|publisher=Springer|isbn=978-1-4613-0041-0|at=p.567, Theorem 3.10|oclc=852792828}}</ref> Akan tetapi, asumsi bahwa <math>p_A(t)</math> memiliki [[faktorisasi]] berupa faktor-faktor linear tidak selalu benar, kecuali untuk matriks atas suatu [[lapangan tertutup secara aljabar]] seperti [[bilangan kompleks]].

{{Collapse top|title=Bukti|bg=#F0F2F5}}
Bukti ini hanya berlaku kepada matriks dan polinomal atas bilangan kompleks (atau sebarang lapangan tertutup secara aljabar lainnya). Dalam kasus ini, polinomial karakteristik dari sebarang matriks persegi dapat selalu difaktorkan sebagai<math display=block> p_A(t) = (t - \lambda_1) (t - \lambda_2) \cdots (t-\lambda_n) </math>dengan <math>\lambda_1,\,\lambda_2,\,\dots,\,\lambda_n</math> adalah nilai-nilai eigen dari <math>A</math>, mungkin beberapanya kembar (''repeated''). Selain itu, [[Bentuk normal Jordan|teorema penguraian Jordan]] menjamin bahwa sebarang matriks persegi <math>A</math> dapat diuraikan sebagai <math> A = S^{-1} U S</math>, dengan <math>S</math> adalah sebuah [[matriks terbalikkan]] dan <math>U</math> adalah [[Matriks segitiga|matriks segitiga atas]] yang diagonal utamanya memiliki entri <math>\lambda_1,\,\dots,\,\lambda_n</math> (dengan setiap nilai eigen kembar menurut kelipatan aljabarnya). Bentuk normal Jordan memiliki beberapa sifat yang kuat, namun ini sudah cukup; [[penguraian Schur]] dapat digunakan sebagai alternatif pembuktian, yang lebih mudah namun kurang populer.

Misalkan <math>f(t) = \sum_i \alpha_i t^i</math>. Dengan menggunakan penguraian Jordan, <math display=block>\begin{align}f(A) &= \sum \alpha_i (S^{-1} U S)^i \\ &= \sum \alpha_i S^{-1} U S S^{-1} U S \cdots S^{-1} U S = \sum \alpha_i S^{-1} U^i S \\ &= S^{-1} (\sum \alpha_i U^i) S \\ &= S^{-1} f(U) S.\end{align}</math>Untuk matriks segitiga atas <math>U</math> dengan entri diagonal <math>\lambda_1,\dots,\lambda_n</math>, <math>U^i</math> adalah matriks segitiga atas dengan entri diagonal <math>\lambda_1^i,\dots,\lambda_n^i</math>, dan akibatnya <math>f(U)</math> adalah matriks segitiga atas dengan diagonal <math>f(\lambda_1),\dots,f(\lambda_n)</math>. Hal ini menyebabkan nilai-nilai eigen dari <math>f(U)</math> adalah <math> f(\lambda_1),\dots,f(\lambda_n)</math>. Karena <math>f(A) = S^{-1} f(U) S</math> [[Matriks serupa|serupa]] dengan <math>f(U)</math>, kedua matriks memiliki nilai-nilai eigen dan kelipatan aljabar yang sama.
{{Collapse bottom}}

== Fungsi sekuler dan persamaan sekuler ==

=== Fungsi sekuler ===

Istilah ''fungsi sekuler'' digunakan untuk hal yang sekarang disebut ''polinomial karakteristik'' (beberapa literatur masih menggunakan istilah fungsi sekuler). Istilah tersebut muncul dari penggunaan polinomial karakteristik untuk menghitung [[Fenomena sekuler|pertubasi sekuler]] (pada suatu skala waktu sekitar dalam rentang abad, yang lebih lambat dibandingkan dengan gerakan tahunan) dari orbit-orbit planet, menurut teori [[Joseph-Louis de Lagrange|Lagrange]] mengenai ayunan.

=== Persamaan sekuler ===

''Persamaan sekuler'' memiliki beberapa arti.

* Dalam [[aljabar linear]], istilah ini terkadang digunakan untuk merujuk persamaan karakteristik.
* Dalam [[astronomi]], istilah merujuk pada [[ekspresi aljabar]] atau numerik dari besar pertidaksamaan dalam pada gerakan planet, yang tersisa setelah pertidaksamaan jangka pendek sudah disertakan.<ref>{{cite web|title=secular equation|url=http://dict.die.net/secular%20equation/|access-date=January 21, 2010}}</ref>
* Dalam [[orbital molekul]], perhitungan yang mengaitkan energi dari elektron dan fungsi gelombangnya.

== Untuk aljabar asosiatif umum ==

Definisi di atas mengenai polinomial karakteristik dari sebuah matriks <math>A \in M_n(K)</math> dengan entri-entri dari lapangan <math>K</math>, dapat diperumum tanpa perubahan ke kasus <math>K</math> hanya berupa [[gelanggang komutatif]]. {{harvtxt|Garibaldi|2004}} mendefinisikan polinomial karakteristik untuk entri-entri dari sebarang aljabar dimensi-hingga ([[Aljabar asosiatif|asosiatif]], namun tidak perlu komutatif) atas sebuah lapangan <math>K</math> dan membuktikan sifat-sifat standar dari polinomial karakteristik dalam keadaan umum ini.

== Lihat pula ==

* [[Persamaan karakteristik (disambiguasi)]]
* [[Polinomial minimal (aljabar linear)]]
* [[Invarian tensor]]
* [[Matriks pendamping]]
* [[Algoritme Faddeev–LeVerrier]]
* [[Teorema Cayley–Hamilton]]
* [[Algoritme Samuelson–Berkowitz]]

== Referensi ==

* T.S. Blyth & E.F. Robertson (1998) ''Basic Linear Algebra'', hlm. 149, Springer {{ISBN|3-540-76122-5}}.
* John B. Fraleigh & Raymond A. Beauregard (1990) ''Linear Algebra'' 2nd edition, hlm. 246, [[:en:Addison-Wesley|Addison-Wesley]] {{ISBN|0-201-11949-8}}.
* {{Citation|last=Garibaldi|first=Skip|author-link=Skip Garibaldi|title=The characteristic polynomial and determinant are not ad hoc constructions|journal=American Mathematical Monthly|volume=111|year=2004|issue=9|pages=761–778|doi=10.2307/4145188|jstor=4145188|mr=2104048|arxiv=math/0203276}}
* Werner Greub (1974) ''Linear Algebra'' 4th edition, pp 120&#x2013;5, Springer, {{ISBN|0-387-90110-8}}.
* Paul C. Shields (1980) ''Elementary Linear Algebra'' 3rd edition, hlm. 274, [[:en:Worth_Publishers|Worth Publishers]] {{ISBN|0-87901-121-1}}.
* [[:en:Gilbert_Strang|Gilbert Strang]] (1988) ''Linear Algebra and Its Applications'' 3rd edition, hlm. 246, [[:en:Brooks/Cole|Brooks/Cole]] {{ISBN|0-15-551005-3}}.

[[Kategori:Aljabar linear]]
[[Kategori:Polinomial]]
[[Kategori:Tensor]]