Minor (aljabar linear)

Dalam aljabar linear, minor dari matriks $𝐀$ adalah determinan dari beberapa matriks persegi kecil, yang dibentuk dengan menghapus satu atau lebih baris-dan-kolom matriks $𝐀$. Minor yang diperoleh dengan hanya menghapus satu baris dan satu kolom dari matriks persegi (disebut dengan minor pertama) diperlukan untuk menghitung matriks kofaktor, yang pada gilirannya berguna untuk menghitung determinan dan invers dari matriks persegi.

Definisi

Minor pertama

Jika $𝐀$ adalah sebuah matriks persegi, maka minor dari entri baris ke-$i$ dan kolom ke-$j$ matriks tersebut, adalah determinan dari submatriks yang dibentuk dengan menghapus baris ke-$i$ dan kolom ke-$j$. Determinan ini juga disebut dengan minor $(i,j)$, atau minor pertama. Bilangan ini seringkali dilambangkan $M_{i,j}$. Bilangan lain yang disebut kofaktor $C_{i,j}$, diperoleh dengan mengalikan minor tersebut oleh $(-1{)}^{i+j}$.

Untuk mengilustrasikan definisi-definisi tersebut, tinjau matriks $3\times 3$ berikut,$$\left[\begin{array}{ccc}1& 4& 7\\ 3& 0& 5\\ -1& 9& 11\end{array}\right]$$Minor $M_{2,3}$ didapatkan dari menghitung determinan dari matriks yang baris ke-2 dan kolom ke-3-nya telah dihapus:$$M_{2,3}=\det \left[\begin{array}{ccc}1& 4& ◻\\ ◻& ◻& ◻\\ -1& 9& ◻\end{array}\right]=\det \left[\begin{array}{cc}1& 4\\ -1& 9\end{array}\right]=(9-(-4))=13,$$dan kofaktor $C_{2,3}$ adalah$$C_{2,3}=(-1{)}^{2+3}(M_{2,3})=-13.$$

Definisi umum

Misalkan $𝐀$ adalah matriks berukuran $m\times n$ dan $k$ adalah bilangan bulat dengan $0<k\le m$, dan $k\le n$. Minor $k\times k$ dari $𝐀$ adalah determinan dari suatu matriks berukuran $k\times k$ yang diperoleh dengan menghapus $m-k$ baris dan $n-k$ kolom dari $𝐀$. Determinan ini juga disebut sebagai determinan minor orde-$k$ dari $𝐀$, atau ketika $m=n$, disebut dengan determinan minor ke-$(n-k)$ dari $𝐀$. Untuk matriks $𝐀$ tersebut, terdapat sebanyak $(\genfrac{}{}{0ex}{}{m}{k})\cdot (\genfrac{}{}{0ex}{}{n}{k})$ minor berukuran $k\times k$. Minor orde-nol sering didefinisikan bernilai $1$. Pada kasus matriks persegi, minor ke-nol sama saja dengan determinan dari matriks.

Misalkan $1\le i_1<i_2<\cdots <i_k\le m$ dan $1\le j_1<j_2<\cdots <j_k\le n$ adalah barisan dari indeks, sebut mereka masing-masing sebagai $I$ dan $J$. Terdapat beberapa notasi untuk menyebut minor$$\det (({𝐀}_{i_p,j_q}{)}_{p,q=1,\dots ,k})$$yang berkorespondensi dengan pilihan-pilihan indeks ini. Tergantung pada sumber yang digunakan, notasi untuk minor dapat berupa $\underset{I,J}{\det }𝐀$, $[𝐀{]}_{I,J}$, $M_{I,J}$, $M_{i_1,i_2,\dots ,i_k,j_1,j_2,\dots ,j_k}$, atau $M_{(i),(j)}$ (dengan $(i)$ melambangkan barisan indeks $I$, dst.). Lebih lanjut, terdapat dua gaya notasi digunakan dalam literaturː beberapa penulis menganggap minor dengan indeks $I$ dan $J$, merujuk pada determinan dari submatriks sesuai definisi di atas, yang anggota-anggotanya berasal dari matriks asli, dengan indeks barisnya ada di $I$ dan indeks kolomnya ada di $J$. Sedangkan beberapa penulis lainnya, merujuk pada submatriks yang dihasilkan dari menghapus baris-baris di $I$ dan menghapus kolom-kolom di $J$. Pilihan notasi yang digunakan perlu dipastikan dari sumber yang digunakan. Pengecualian untuk kedua gaya notasi yang berbeda ini adalah kasus minor-$(i,j)$; definisi$$M_{i,j}=\det \left({\left({𝐀}_{p,q}\right)}_{p\ne i,q\ne j}\right)$$telah menjadi standar dimanapun, dan dipakai dalam artikel ini.

Penerapan minor dan kofaktor

Ekspansi kofaktor dari determinan

Templat:Main Konsep kofaktor sangat berperan dalam rumus ekspansi Laplace, yakni suatu metode untuk menghitung determinan matriks berukuran besar menggunakan determinan matriks-matriks yang berukuran lebih kecil. Untuk sebarang matriks $A=(a_{ij})$ berukuran $n\times n$, determinan $𝐀$ yang dilambangkan dengan $\det (𝐀)$, dapat dituliskan sebagai penjumlahan dari perkalian kofaktor-kofaktor setiap baris (maupun setiap kolom) matriks dengan entri-entri matriks yang menghasilkan kofaktor-kofaktor tersebut. Secara lebih matematis, dengan menuliskan $C_{ij}=(-1{)}^{i+j}{M}_{ij}$, ekspansi kofaktor sepanjang baris ke-$i$ dapat dituliskan sebagai$$\det (𝐀)=a_{i1}{C}_{i1}+a_{i2}{C}_{i2}+a_{i3}{C}_{i3}+\cdots +a_{in}{C}_{in}=\sum _{j=1}^n{a}_{ij}{C}_{ij}=\sum _{j=1}^n{a}_{ij}(-1{)}^{i+j}{M}_{ij}.$$Ekspansi kofaktor sepanjang kolom ke-$j$ dapat dituliskan$$\det (𝐀)=a_{i1}{C}_{i1}+a_{i2}{C}_{i2}+a_{i3}{C}_{i3}+\cdots +a_{in}{C}_{in}=\sum _{j=1}^n{a}_{ij}{C}_{ij}=\sum _{j=1}^n{a}_{ij}(-1{)}^{i+j}{M}_{ij}.$$

Invers dari matriks

Templat:Main Invers dari matriks terbalikkan dapat dihitung dari kofaktor-kofaktornya dengan menggunakan aturan Cramer, seperti berikut. Misalkan $𝐂$ adalah matriks yang dibentuk oleh semua dari kofaktor-kofaktor dari sebuah matriks persegi $𝐀$. Matriks ini disebut matriks kofaktor memiliki bentuk matematis$$𝐂=\left[\begin{array}{cccc}{C}_{11}& C_{12}& \cdots & C_{1n}\\ C_{21}& C_{22}& \cdots & C_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ C_{n1}& C_{n2}& \cdots & C_{nn}\end{array}\right].$$Invers dari $𝐀$ selanjutnya dapat dinyatakan sebagai transpos dari matriks kofaktor dikali kebalikan dari determinan $𝐀$ː$${𝐀}^{-1}=\frac{1}{\det (𝐀)}{𝐂}^{𝖳}.$$Transpos dari matriks kofaktor juga dikenal sebagai matriks adjoin dari $𝐀$.

Rumus di atas dapat diperumum sebagai berikut. Misalkan $𝐀$ adalah sebarang matriks persegi $n\times n$, dan $1\le i_1<i_2<\dots <i_k\le n$ dan $1\le j_1<j_2<\dots <j_k\le n$ adalah barisan (dengan urutan menaik) dari indeks-indeks $𝐀$. Berlaku hubungan

$[{𝐀}^{-1}{]}_{I,J}=\pm \frac{[𝐀{]}_{J^{\prime },I^{\prime }}}{\det 𝐀},$

dengan $I^{\prime }$ dan $J^{\prime }$ melambangkan barisan urutan dari indeks (juga dengan urutan menaik), yang komplementer dengan $I$, $J$. Artinya setiap indeks $1,\dots ,n$ muncul tepat sekali di salah satu $I$ atau $I^{\prime }$, tapi tidak di keduanya (demikian pula untuk $J$ dan $J^{\prime }$). Simbol $[𝐀{]}_{I,J}$ melambangkan determinan dari submatriks $𝐀$ dibentuk dengan memilih baris dari himpunan indeks $I$ dan kolom dari himpunan indeks $J$; secara matematis,$$[𝐀{]}_{I,J}=\det ((A_{i_p,j_q}{)}_{p,q=1,\dots ,k}).$$

Penerapan lainnya

Untuk sebarang matriks $m\times n$ dengan entri bilangan riil (atau entri dari sebarang lapangan lainnya) dan rank $r$, terdapat setidaknya satu minor $r\times r$ yang tak-nol, sedangkan semua minor-minor yang lebih besar bernilai nol.

Kita akan menggunakan notasi berikut untuk minor. Misalkan $𝐀$ adalah matriks berukuran $m\times n$, $I$ adalah subset dari $\{1,\dots ,m\}$ dengan $k$ anggota, dan $J$ adalah subset dari $\{1,\dots ,n\}$ dengan $k$ anggota. Notasi ${\left[𝐀\right]}_{I,J}$ untuk minor $k\times k$ dari $𝐀$, dihasilkan dari mengambil elemen-elemen matriks $𝐀$, yang indeks barisnya ada di $I$ dan indeks kolomnya ada di $J$.

• Jika $I=J$, maka ${\left[𝐀\right]}_{I,J}$ disebut minor utama (principal minor).
• Jika matriks yang berkorespodensi dengan minor utama adalah submatriks yang terletak di bagian atas-kiri dari matriks yang besar (artinya, matriks tersebut beranggotakan elemen yang baris-dan-kolomnya memiliki indeks dari $1$ hingga $k$), maka minor utama disebut minor utama terdepan (leading principal minor). Untuk matriks persegi $n\times n$, ada sebanyak $n$ minor utama terdepan.
• Untuk matriks Hermite, minor utama terdepan dapat digunakan untuk menguji sifat ketentuan positif (positive definiteness) dan minor utama dapat digunakan untuk menguji sifat kesemitentuan positif (semidefiniteness positive). Lihat kriteria Sylvester untuk detail lebih lanjut.

Baik rumus untuk perkalian matriks biasa maupun rumus Cauchy–Binet untuk determinan dari perkalian dua matriks, adalah kasus khusus dari pernyataan umum berikut terkait minor-minor dari perkalian dua matriks. Misalkan $𝐀$ adalah matriks ukuran $m\times n$, $𝐁$ adalah matriks ukuran $n\times p$, $I$ adalah subset dari $\{1,\dots ,m\}$ dengan $k$ anggota, dan $J$ adalah subset dari $\{1,\dots ,p\}$ dengan $k$ anggota. Terdapat hubungan$$[𝐀𝐁{]}_{I,J}=\sum _K[𝐀{]}_{I,K}[𝐁{]}_{K,J}$$dengan penjumlahan dilakukan atas semua subset $K$ yang mungkin dari himpunan $\{1,\dots ,n\}$ dengan $k$ anggota. Rumus ini merupakan sebuah perumuman langsung dari rumus Cauchy–Binet.

Lihat pula

• Submatriks

Pranala luar

• MIT Linear Algebra Lecture on Cofactors at Google Video, from MIT OpenCourseWare
• PlanetMath entry of Cofactors Templat:Webarchive
• Springer Encyclopedia of Mathematics entry for Minor