Minor (aljabar linear)

Dalam aljabar linear, **minor** dari matriks \mathbf{A} adalah determinan dari beberapa matriks persegi kecil, yang dibentuk dengan menghapus satu atau lebih baris-dan-kolom matriks \mathbf{A}. 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 \mathbf{A} 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 sering kali 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\times3 berikut,\begin{bmatrix}
\,\,\,1 & 4 & 7 \\
\,\,\,3 & 0 & 5 \\
-1 & 9 & \!11 \\
\end{bmatrix}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 \begin{bmatrix}
\,\,1 & 4 & \Box\, \\
\,\Box & \Box & \Box\, \\
-1 & 9 & \Box\, \\
\end{bmatrix}= \det \begin{bmatrix}
\,\,\,1 & 4\, \\
-1 & 9\, \\
\end{bmatrix} = (9-(-4)) = 13,dan kofaktor C_{2,3} adalahC_{2,3} = (-1)^{2+3}(M_{2,3}) = -13.

### Definisi umum
Misalkan \mathbf{A} adalah matriks berukuran m\times n dan k adalah bilangan bulat dengan 0 , dan k \leq n. *Minor* k \times k dari \mathbf{A} adalah determinan dari suatu matriks berukuran k \times k yang diperoleh dengan menghapus m-k baris dan n-k kolom dari *<math>\mathbf{A}</math>*. Determinan ini juga disebut sebagai *determinan minor orde-<math>k</math> dari <math>\mathbf{A}</math>*, atau ketika m = n, disebut dengan *determinan minor ke-*(n-k) dari *<math>\mathbf{A}</math>*. Untuk matriks *<math>\mathbf{A}</math>* tersebut, terdapat sebanyak {m \choose k} \cdot {n \choose 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  dan 1 \le j_1  adalah barisan dari indeks, sebut mereka masing-masing sebagai I  dan J. Terdapat beberapa notasi untuk menyebut minor\det \left( (\mathbf A_{i_p, j_q})_{p,q = 1, \ldots, k} \right)yang berkorespondensi dengan pilihan-pilihan indeks ini. Tergantung pada sumber yang digunakan, notasi untuk minor dapat berupa \det_{I,J} \mathbf A,  [\mathbf A]_{I,J}, M_{I,J}, M_{i_1, i_2, \ldots, i_k, j_1, j_2, \ldots, 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); definisiM_{i,j} = \det \left( \left( \mathbf A_{p,q} \right)_{p \neq i, q \neq j} \right)telah menjadi standar dimanapun, dan dipakai dalam artikel ini.

## Penerapan minor dan kofaktor
### Ekspansi kofaktor dari determinan

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 \mathbf A yang dilambangkan dengan \det{(\mathbf A)}, 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(\mathbf A) = 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(\mathbf A) = 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

Invers dari matriks terbalikkan dapat dihitung dari kofaktor-kofaktornya dengan menggunakan aturan Cramer, seperti berikut. Misalkan \mathbf C adalah matriks yang dibentuk oleh semua dari kofaktor-kofaktor dari sebuah matriks persegi \mathbf{A} . Matriks ini disebut *matriks kofaktor* memiliki bentuk matematis\mathbf C=\begin{bmatrix}
    C_{11}  & C_{12} & \cdots &   C_{1n}   \\
    C_{21}  & C_{22} & \cdots &   C_{2n}   \\
  \vdots & \vdots & \ddots & \vdots \\
    C_{n1}  & C_{n2} & \cdots &  C_{nn}
\end{bmatrix}. Invers dari \mathbf{A}  selanjutnya dapat dinyatakan sebagai transpos dari matriks kofaktor dikali kebalikan dari determinan \mathbf{A} ː\mathbf A^{-1} = \frac{1}{\operatorname{det}(\mathbf A)} \mathbf C^\mathsf{T}.Transpos dari matriks kofaktor juga dikenal sebagai *matriks adjoin* dari \mathbf{A}    .

Rumus di atas dapat diperumum sebagai berikut. Misalkan \mathbf{A}     adalah sebarang matriks persegi n \times n , dan 1 \le i_1  dan 1 \le j_1  adalah barisan (dengan urutan menaik) dari indeks-indeks \mathbf{A}    . Berlaku hubungan

: [\mathbf A^{-1}]_{I,J} = \pm\frac{[\mathbf A]_{J',I'}}{\det \mathbf A},

dengan I' dan J' 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', tapi tidak di keduanya (demikian pula untuk J  dan J'). Simbol [\mathbf A]_{I,J} melambangkan determinan dari submatriks \mathbf{A}     dibentuk dengan memilih baris dari himpunan indeks I dan kolom dari himpunan indeks J  ; secara matematis,[\mathbf A]_{I,J} = \det \left( (A_{i_p, j_q})_{p,q = 1, \ldots, k} \right).

### 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 \mathbf{A}      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[\mathbf A\right]_{I,J} untuk minor k \times k  dari \mathbf{A}     , dihasilkan dari mengambil elemen-elemen matriks \mathbf{A}     , yang indeks barisnya ada di I   dan indeks kolomnya ada di J   .

* Jika I = J, maka \left[\mathbf A\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 \mathbf{A}      adalah matriks ukuran m \times n, \mathbf{B}  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[\mathbf{AB}]_{I,J} = \sum_{K} [\mathbf{A}]_{I,K} [\mathbf{B}]_{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

## Catatan kaki


## Referensi


## Pranala luar

* MIT Linear Algebra Lecture on Cofactors at Google Video, from MIT OpenCourseWare
* PlanetMath entry of ''Cofactors'' 
* Springer Encyclopedia of Mathematics entry for ''Minor''