Perkalian matriks

Agar perkalian matriks dapat dilakukan, matriks A perlu memiliki jumlah kolom yang sama dengan jumlah baris pada matriks B. Hasil perkalian keduanya adalah matriks dengan jumlah baris yang sama dengan matriks A dan jumlah kolom yang sama dengan matriks B.

Dalam matematika, perkalian matriks adalah suatu operasi biner dari dua matriks yang menghasilkan sebuah matriks. Agar dua matriks dapat dikalikan, banyaknya kolom pada matriks pertama harus sama dengan banyaknya baris pada matriks kedua. Matriks hasil perkalian keduanya, akan memiliki baris sebanyak baris matriks pertama, dan kolom sebanyak kolom matriks kedua. Perkalian matriks Templat:Math dan Templat:Math dinyatakan sebagai Templat:Math.

Perkalian matriks didefinisikan pertama kali oleh matematikawan Prancis Jacques Philippe Marie Binet pada tahun 1812. Definisi ini digunakannya untuk merepresentasikan komposisi dari pemetaan-pemetaan linear yang dinyatakan dalam bentuk matriks. Perkalian matriks selanjutnya menjadi konsep dasar dalam aljabar linear, dan memiliki banyak penerapan di berbagai bidang matematika, matematika terapan, statistika, fisika, ekonomi, dan teknik. Menghitung hasil perkalian matriks adalah operasi yang penting dalam semua penerapan komputasi dari bidang allabar linear.

Notasi

Artikel ini akan menggunakan konvensi penulisan berikut: matriks dinyatakan oleh huruf kapital dengan cetak tebal, contohnya $𝐀$; vektor dinyatakan oleh huruf kecil dengan cetak tebal, contohnya $𝐚$; dan entri-entri (elemen) dari vektor dan matriks akan dinyatakan dalam huruf miring (karena mereka anggota dari suatu lapangan), contohnya $A$ dan $a$. Notasi indeks sering digunakan untuk menyatakan suatu definisi, dan dipakai sebagai format baku dalam literatur-literatur. Entri ke-$i,j$ dari matriks $𝐀$ umumnya dinyatakan sebagai $(𝐀{)}_{ij}$, $A_{ij}$, atau $a_{ij}$; sedangkan label yang menyatakan bahwa matriks merupakan sebuah elemen dari suatu koleksi dari matriks umumnya hanya ditulis sebagai ${𝐀}_1$, ${𝐀}_2$, dan lain-lain.

Definisi

Jika $𝐀$ adalah matriks berukuran $m\times n$ dan $𝐁$ adalah matriks berukuran $n\times p$, dengan elemen-elemen sebagai berikut,$$𝐀=\left(\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ a_{m1}& a_{m2}& \cdots & a_{mn}\end{array}\right),𝐁=\left(\begin{array}{cccc}{b}_{11}& b_{12}& \cdots & b_{1p}\\ b_{21}& b_{22}& \cdots & b_{2p}\\ ⋮& ⋮& \ddots & ⋮\\ b_{n1}& b_{n2}& \cdots & b_{np}\end{array}\right)$$

Hasil perkalian kedua matriks tersebut, $𝐂=𝐀𝐁$ (dinyatakan tanpa menggunakan tanda kali atau titik), adalah sebuah matriks berukuran $m\times p$.$$𝐂=\left(\begin{array}{cccc}{c}_{11}& c_{12}& \cdots & c_{1p}\\ c_{21}& c_{22}& \cdots & c_{2p}\\ ⋮& ⋮& \ddots & ⋮\\ c_{m1}& c_{m2}& \cdots & c_{mp}\end{array}\right)$$

dengan setiap entri pada matriks $𝐂$ didefinisikan sebagai

$$c_{ij}=a_{i1}{b}_{1j}+\cdots +a_{in}{b}_{nj}=\sum _{k=1}^n{a}_{ik}{b}_{kj},$$

untuk nilai $i=1,\dots ,m$ dan nilai $i=1,\dots ,p$. Dengan kata lain, entri $c_{ij}$ adalah hasil yang didapatkan dengan mengalikan secara berpasang-pasangan entri di baris ke-$i$ matriks $𝐀$ dengan entri di kolom ke-$j$ matriks $𝐁$, lalu menjumlahkan semua hasil perkalian ini. Intepretasi lain dari proses ini, entri $c_{ij}$ adalah hasil perkalian titik baris ke-$i$ matriks $𝐀$ dengan kolom ke-$j$ matriks $𝐁$. Dengan demikian, $𝐀𝐁$ juga dapat ditulis sebagai$$𝐂=\left(\begin{array}{cccc}{a}_{11}{b}_{11}+\cdots +a_{1n}{b}_{n1}& a_{11}{b}_{12}+\cdots +a_{1n}{b}_{n2}& \cdots & a_{11}{b}_{1p}+\cdots +a_{1n}{b}_{np}\\ a_{21}{b}_{11}+\cdots +a_{2n}{b}_{n1}& a_{21}{b}_{12}+\cdots +a_{2n}{b}_{n2}& \cdots & a_{21}{b}_{1p}+\cdots +a_{2n}{b}_{np}\\ ⋮& ⋮& \ddots & ⋮\\ a_{m1}{b}_{11}+\cdots +a_{mn}{b}_{n1}& a_{m1}{b}_{12}+\cdots +a_{mn}{b}_{n2}& \cdots & a_{m1}{b}_{1p}+\cdots +a_{mn}{b}_{np}\end{array}\right)$$Hal ini menyebabkan hasil perkalian $𝐀𝐁$ hanya terdefinisi jika dan hanya jika banyaknya kolom di $𝐀$ sama dengan banyaknya baris di $𝐁$, yang dalam kasus ini sebanyak $n$.

Dalam sebagian besar kasus, entri dari matriks akan berupa bilangan. Namun entri dari matriks dapat berupa sembarang objek matematika, asal memiliki sifat penjumlahan dan perkalian. Sifat ini mengartikan objek matematika tersebut haruslah asosiatif, penjumlahannya komutatif, dan perkaliannya distributif terhadap penjumlahan. Sebagai contoh, entri dari matriks dapat berupa matriks, lihat artikel tentang matriks blok.

Ilustrasi

Gambar berikut memberikan diagram hasil perkalian dari dua matriks $𝐀$ dan $𝐁$, menunjukkan bagaimana setiap perpotongan di matriks hasil perkalian berkorespodensi dengan sebuah baris di $𝐀$ dan sebuah kolom di $𝐁$.

$$\stackrel{\text{matriks }4\times 2}{\left[\begin{array}{cc}{a}_{11}& a_{12}\\ \cdot & \cdot \\ a_{31}& a_{32}\\ \cdot & \cdot \end{array}\right]}\stackrel{\text{matriks }2\times 3}{\left[\begin{array}{ccc}\cdot & b_{12}& b_{13}\\ \cdot & b_{22}& b_{23}\end{array}\right]}=\stackrel{\text{matriks }4\times 3}{\left[\begin{array}{ccc}\cdot & c_{12}& c_{13}\\ \cdot & \cdot & \cdot \\ \cdot & c_{32}& c_{33}\\ \cdot & \cdot & \cdot \end{array}\right]}$$

Nilai pada matriks hasil perkalian, yang ditandai dengan simbol lingkaran, adalah:

$$\begin{array}{cc}{c}_{12}& =a_{11}{b}_{12}+a_{12}{b}_{22}\\ c_{33}& =a_{31}{b}_{13}+a_{32}{b}_{23}\end{array}$$

Penggunaan yang fundamental

Secara historis, perkalian matriks diperkenalkan untuk membantu dan memperjelas perhitungan-perhitungan dalam aljabar linear.

Pemetaan linear

Jika suatu ruang vektor memiliki basis yang terbatas, semua vektornya dapat dinyatakan secara unik oleh sebuah barisan skalar yang terhingga. Barisan ini dinamakan vektor koordinat, dengan entri-entrinya adalah koordinat dari vektor terhadap vektor-vektor basis. Vektor-vektor koordinat juga membentuk suatu ruang vektor lain, yang isomorfik dengan ruang vektor asalnya. Vektor koordinat umumnya disusun sebagai matriks kolom (juga disebut dengan vektor kolom), yakni sebuah matriks yang berisi satu kolom. Jadi, sebuah vektor kolom menyatakan suatu vektor koordinat, sekaligus vektor di ruang vektor asalnya.

Sebuah peta linear $A$ dari suatu ruang vektor berdimensi $n$ ke suatu ruang vektor berdimensi $m$, akan memetakan suatu vektor kolom

$$𝐱=\left(\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right)$$

Menjadi vektor kolom

$𝐲=A(𝐱)=\left(\begin{array}{c}{a}_{11}{x}_1+\cdots +a_{1n}{x}_n\\ a_{21}{x}_1+\cdots +a_{2n}{x}_n\\ ⋮\\ a_{m1}{x}_1+\cdots +a_{mn}{x}_n\end{array}\right).$

Dengan demikian, peta linear $A$ dapat didefinisikan oleh sebuah matriks

$𝐀=\left(\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ a_{m1}& a_{m2}& \cdots & a_{mn}\end{array}\right),$

dan pemetaan vektor kolom $𝐱$ dapat dinyatakan sebagai perkalian matriks

$𝐲=𝐀𝐱.$

Misalkan $B$ adalah suatu peta linear yang lain, yang memetakan ruang vektor berdimensi $m$ ke suatu ruang vektor berdimensi $p$. Peta linear $B$ dapat direpresentasikan sebagai sebuah matriks $𝐁$ berukuran $p\times m$. Dengan menjabarkan perhitungan, dapat ditunjukkan matriks yang dihasilkan komposisi pemetaan Templat:Tmath adalah matriks hasil perkalian $𝐁𝐀.$

Sistem persamaan linear

Bentuk umum dari sebuah sistem persamaan linear adalah

$\begin{array}{c}{a}_{11}{x}_1+\cdots +a_{1n}{x}_n=b_1\\ a_{21}{x}_1+\cdots +a_{2n}{x}_n=b_2\\ ⋮\\ a_{m1}{x}_1+\cdots +a_{mn}{x}_n=b_m\end{array}.$

Dengan menggunakan notasi yang dijelaskan di atas, sistem tersebut setara dengan persamaan matriks $𝐀𝐱=𝐛.$

Sifat-sifat umum

Perkalian matriks memiliki berapa sifat yang sama dengan perkalian pada umumnya. Namun, perkalian matriks tidak terdefinisi jika jumlah kolom pada faktor yang pertama berbeda dengan jumlah baris pada faktor yang kedua. Perkalian matriks juga tidak komutatif, bahkan jika hasil perkalian tetap terdefinisi setelah urutan perkalian ditukar.

Tidak komutatif

Suatu operasi dikatakan komutatif jika, untuk sebarang dua elemen $𝐀$ dan $𝐁$ dengan hasil perkalian $𝐀𝐁$ yang terdefinisi, maka hasil perkalian $𝐁𝐀$ juga terdefinisi dan memenuhi hubungan $𝐀𝐁=𝐁𝐀.$ Jika $𝐀$ dan $𝐁$ masing-masing adalah matriks berukuran Templat:Tmath dan Templat:Tmath, maka $𝐀𝐁$ terdefinisi ketika Templat:Tmath, dan $𝐁𝐀$ terdefinisi ketika Templat:Tmath. Jadi, secara umum jika salah satu hasil perkalian terdefinisi, hasil perkalian yang lain (dengan urutan yang ditukar) tidak terdefinisi. Pada kasus Templat:Tmath, maka kedua perkalian terdefinisi, tapi menghasilkan matriks dengan ukuran yang berbeda; sehingga tidak mungkin sama. Hanya pada kasus Templat:Tmath, yakni ketika $𝐀$ dan $𝐁$ adalah matriks persegi dengan ukuran yang sama, kedua perkalian terdefinisi dan juga memiliki ukuran yang sama. Namun bahkan untuk kasus ini, secara umum berlaku $$𝐀𝐁\ne 𝐁𝐀.$$

Sebagai contoh

$$\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)\left(\begin{array}{cc}0& 0\\ 1& 0\end{array}\right)=\left(\begin{array}{cc}1& 0\\ 0& 0\end{array}\right),$$

tapi

$$\left(\begin{array}{cc}0& 0\\ 1& 0\end{array}\right)\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)=\left(\begin{array}{cc}0& 0\\ 0& 1\end{array}\right).$$Satu kasus khusus, sifat komutatif terjadi ketika $𝐃$ dan $𝐄$ adalah matriks persegi diagonal yang berukuran sama; maka $𝐃𝐄=𝐄𝐃$.

Sifat distributif

Perkalian matriks bersifat distributif terhadap penjumlahan matriks. Misalkan $𝐀$, $𝐁$, $𝐂$, dan $𝐁$ masing-masing adalah matriks berukuran $m\times n$, $n\times p$, $n\times p$, dan $p\times q$. Sifat distributif mengartikan matriks memiliki sifat distributif (kiri)

$$𝐀(𝐁+𝐂)=𝐀𝐁+𝐀𝐂,$$

dan sifat distributif (kanan)

$$(𝐁+𝐂)𝐃=𝐁𝐃+𝐂𝐃.$$

Sifat distributif ini dapat dituliskan dalam bentuk entri pada matriks, sebagai

$$\sum _k{a}_{ik}(b_{kj}+c_{kj})=\sum _k{a}_{ik}{b}_{kj}+\sum _k{a}_{ik}{c}_{kj}$$

$$\sum _k(b_{ik}+c_{ik})d_{kj}=\sum _k{b}_{ik}{d}_{kj}+\sum _k{c}_{ik}{d}_{kj}.$$

Perkalian dengan skalar

Jika $𝐀$ adalah sebuah matriks dan $c$ adalah sebuah skalar, maka matriks $c𝐀$ dan $𝐀c$ dihasilkan dengan mengalikan (dari kiri atau dari kanan) semua entri di $𝐀$ dengan $c$. Ketika skalar $c$ bersifat komutatif, didapatkan hubungan $c𝐀=𝐀c.$

Pada kasus hasil perkalian $𝐀𝐁$ terdefinisi (dengan kata lain, banyaknya kolom di $𝐀$ sama dengan banyaknya baris di $𝐁$), akan berlaku

$c(𝐀𝐁)=(c𝐀)𝐁$ dan $(𝐀𝐁)c=𝐀(𝐁c).$

Jika skalar bersifat komutatif, keempat matriks tersebut sama. Sifat ini muncul dari ke-bilinear-an (bilinearity) hasil kali skalar:

$c\left(\sum _k{a}_{ik}{b}_{kj}\right)=\sum _k(c{a}_{ik})b_{kj}=\sum _k{a}_{ik}(b_{kj}c)=\left(\sum _k{a}_{ik}{b}_{kj}\right)c.$

Transpos

Jika entri pada matriks bersifat komutatif, maka transpos dari hasil perkalian matriks-matriks adalah hasil perkalian dengan urutan yang dibalik, dari transpos dari matriks-matriks tersebut. Secara simbolis ini dinyatakan sebagai

$(𝐀𝐁{)}^{𝖳}={𝐁}^{𝖳}{𝐀}^{𝖳}$

dengan ^T menyatakan operasi transpos, yakni operasi yang mengubah kolom matriks menjadi baris dan sebaliknya. Hal ini tidak berlaku bagi matriks dengan entri yang tidak komutatif; karena entri-entri yang dihasilkan dari perkalian akan berubah ketika urutan perkalian dibalik.

Sifat asosiatif

Untuk sebarang matriks $𝐀$, $𝐁$, dan $𝐂$, hasil perkalian $(𝐀𝐁)𝐂$ dan $𝐀(𝐁𝐂)$ terdefinisi jika dan hanya banyaknya kolom di $𝐀$ sama dengan banyaknya baris di $𝐁$, dan banyaknya kolom di $𝐁$ sama dengan banyaknya baris di $𝐂$. Jika salah satu hasil perkalian tersebut terdefinisi, hasil perkalian yang lain juga terdefinisi. Dalam kasus ini, matriks memiliki sifat asosiatif

$$(𝐀𝐁)𝐂=𝐀(𝐁𝐂).$$

Seperti sembarang operasi asosiatif lainnya, penggunaan tanda kurung tidak diperlukan, sehingga cukup menulis hasil perkalian tersebut sebagai Templat:Tmath Sifat ini dapat diperumum ke perkalian yang melibatkan banyak matriks, asal dimensi mereka memungkinkan perkalian terjadi. Dengan kata lain, jika ${𝐀}_1,{𝐀}_2,\dots ,{𝐀}_n$ adalah matriks-matriks, dengan banyaknya kolom ${𝐀}_i$ sama dengan banyak baris ${𝐀}_{i+1}$ untuk $i=1,\dots ,n-1$, maka hasil perkalian

$$\prod _{i=1}^n{𝐀}_i={𝐀}_1{𝐀}_2\cdots {𝐀}_n$$

terdefinisi dan hasilnya tidak bergantung pada urutan perkalian yang dilakukan, selama urutan dari matriks-matriks tidak berubah.

Sifat ini dapat dibuktikan secara langsung tapi rumit dengan melakukan manipulasi penjumlahan. Sifat ini juga merupakan hasil dari fakta matriks menyatakan pemetaan linear. Dengan demikian, sifat asosiatif matriks adalah kasus spesifik dari sifat asosiatif komposisi fungsi.

Kompleksitas tidak asosiatif

Walaupun hasil perkalian matriks tidak bergantung pada urutan operasi yang dilakukan (selama urutan matriks-matriks tidak diubah), kompleksitas komputasi perkalian dapat sangat bergantung pada urutan operasi. Sebagai contoh, misalkan $𝐀$, $𝐁$, dan $𝐂$ masing-masing merupakan matriks berukuran $10\times 30$, $30\times 5$, dan $5\times 60$. Menghitung $(𝐀𝐁)𝐂$ memerlukan $10\times 30\times 5+10\times 5\times 60=4500$ operasi perkalian; sedangkan menghitung $𝐀(𝐁𝐂)$ memerlukan $30\times 5\times 60+10\times 30\times 60=27000$ perkalian.

Algoritma-algoritma telah dikembangkan untuk mencari urutan perkalian yang terbaik. Ketika banyaknya matriks yang perlu dikali, $n$, meningkat, dapat ditunjukkan pemilihan urutan perkalian yang terbaik memiliki kompleksitas $𝒪(n\log n).$

Detail

perkalian matriks adalah suatu operasi biner yang menghasilkan suatu matriks dari dua matriks dengan entri dalam suatu medan, atau secara lebih umum dalam suatu gelanggang atau bahkan suatu semigelanggang. Produk matriks dirancang untuk menampilkan komposisi peta linear yang diwakili oleh matriks-matriks. Oleh sebab itu pengalian matriks merupakan operasi paling mendasar dalam bidang aljabar linier, dan karena itu banyaknya penerapannya di bidang matematika. Pengalian matriks juga merupakan operasi yang penting dalam matematika terapan, fisika, dan teknik. Secara lebih rinci, jika A adalah suatu matriks n × m dan B adalah suatu matriks m × p, hasil pengalian matriks AB adalah suatu matriks n × p, dimana entri m di sepanjang baris A dikalikan dengan entri m di sepanjang kolom B dan dijumlahkan untuk menghasilkan suatu entri dari AB. Apabila dua peta linear diwakili oleh matriks-matriks, maka pengalian matriks mewakili komposisi dua peta.

Definisi produk matriks membutuhkan adanya entri-entri dari suatu semigelanggang, dan tidak membutuhkan pengalian unsur-unsur semigelanggang agar komutatif. Dalam banyak penerapan, unsur-unsur matriks menjadi bagian suatu medan, meskipun semigelanggang tropikal juga merupakan suatu pilihan umum untuk masalah jarak terpendek. Bahkan dalam kasus matriks-matriks atas medan-medan, hasil pengaliannya pada umumnya tidak komutatif, meskipun dalam penjumlahan matriks bersifat asosiatif dan distributif. Matriks-matriks identitas (yaitu matriks persegi dimana entri-entrinya bernilai nol di luar diagonal utama dan 1 pada diagonal utama) adalah unsur-unsur identitas dari pengalian matriks. Maka dari itu, matriks n x n pada suatu gelanggang membentuk suatu gelanggang, yang tidak komutatif kecuali jika n=1 dan gelanggang dasarnya komutatif.