Minor oder Unterdeterminante ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Man bezeichnet damit die Determinante einer quadratischen Untermatrix, die durch Streichen einer oder mehrerer Spalten und Zeilen einer Matrix entsteht. Die Anzahl der Zeilen bzw. Spalten der entsprechenden Untermatrix gibt die Ordnung des Minors an.
Zu einer quadratischen
-Matrix
sind die Kofaktoren (oder Cofaktoren)
durch folgende Formel definiert:[1]
![{\displaystyle {\tilde {a}}_{ij}=(-1)^{i+j}\cdot M_{ij}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5872ca89fae2318ae6ed49db39a27444488860ec)
Dabei ist
der Minor
-ter Ordnung, der als Determinante derjenigen Untermatrix berechnet wird, die durch Streichen der
-ten Zeile und
-ten Spalte entsteht.
Statt Zeilen und Spalten zu streichen, kann man auch Matrizen betrachten, bei denen die Einträge der
-ten Zeile oder der
-ten Spalte (oder beider) durch Nullen ersetzt werden, mit Ausnahme des Eintrags an der Stelle
, der durch eine 1 ersetzt wird. Man erhält dann für die Kofaktoren:
![{\displaystyle {\tilde {a}}_{ij}={\begin{vmatrix}a_{1,1}&\dots &a_{1,j-1}&0&a_{1,j+1}&\dots &a_{1,n}\\\vdots &\ddots &\vdots &\vdots &\vdots &&\vdots \\a_{i-1,1}&\dots &a_{i-1,j-1}&0&a_{i-1,j+1}&\dots &a_{i-1,n}\\0&\dots &0&1&0&\dots &0\\a_{i+1,1}&\dots &a_{i+1,j-1}&0&a_{i+1,j+1}&\dots &a_{i+1,n}\\\vdots &&\vdots &\vdots &\vdots &\ddots &\vdots \\a_{n,1}&\dots &a_{n,j-1}&0&a_{n,j+1}&\dots &a_{n,n}\end{vmatrix}}\;,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5ba61440dafe3745a6685c224e613c979da096f)
wobei
für die Bildung der Determinante steht. Aus den Kofaktoren lässt sich wieder eine
-Matrix bilden, die Kofaktormatrix oder Komatrix (oder auch Comatrix), deren Transponierte als Adjunkte oder komplementäre Matrix bezeichnet wird. Mit ihr kann man die Inverse einer Matrix berechnen. Der Laplace'sche Entwicklungssatz verwendet die Kofaktoren einer Matrix zur Berechnung ihrer Determinante.
Wenn mit zwei Vektoren
, die wie gezeigt mit der Matrix
transformiert wurden, das Kreuzprodukt
gebildet wird, kann aus diesem Produkt die Matrix
herausgezogen werden, wenn von ihr dabei der Kofaktor
gebildet wird:
![{\displaystyle (A{\vec {a}})\times (A{\vec {b}})=\mathrm {cof} (A){\vec {a}}\times {\vec {b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91031a10372fe4b5766ff8031a2bbc5d9d1cb990)
Denn beim Spatprodukt mit einem dritten Vektor
gilt:
![{\displaystyle (A{\vec {c}})\cdot [(A{\vec {a}})\times (A{\vec {b}})]={\begin{vmatrix}A{\vec {c}}&A{\vec {a}}&A{\vec {b}}\end{vmatrix}}={\begin{vmatrix}A{\begin{pmatrix}{\vec {c}}&{\vec {a}}&{\vec {b}}\end{pmatrix}}\end{vmatrix}}=|A|{\vec {c}}\cdot ({\vec {a}}\times {\vec {b}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7032659853882f8d261bc5d8d7b8d10e4476189d)
wo die senkrechten Striche |…| die Determinante bilden. Mit der Einheitsmatrix
, der transponierten Matrix
und der Identität
entsteht aus
![{\displaystyle {\begin{aligned}&(A{\vec {c}})\cdot [(A{\vec {a}})\times (A{\vec {b}})]={\vec {c}}\cdot [|A|E({\vec {a}}\times {\vec {b}})]\\&={\vec {c}}\cdot [A^{\top }\mathrm {cof} (A)({\vec {a}}\times {\vec {b}})]=(A{\vec {c}})\cdot [\mathrm {cof} (A)({\vec {a}}\times {\vec {b}})]\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb9ba80b3ab6346f8944d9c2d9a2ebeb9f990679)
und Umstellung die Identität
![{\displaystyle (A{\vec {c}})\cdot [(A{\vec {a}})\times (A{\vec {b}})-\mathrm {cof} (A)({\vec {a}}\times {\vec {b}})]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9352a4d8ca7613d4b41fa7356e20f900d99a7877)
die für alle Vektoren
gilt und so auf die obige Aussage geschlossen werden kann.
Die Kofaktormatrix ist die Transponierte Matrix zur Adjunkte, sodass sie ähnliche Eigenschaften aufweist. Nachfolgende Beziehungen gelten für alle Matrizen aus
, wobei
eine Einheitsmatrix ist.
für
, wobei 0 die Nullmatrix ist. Für
-Matrizen
gilt jedoch immer, auch für die Nullmatrix:
. ![{\displaystyle \operatorname {cof} (AB)=\operatorname {cof} (A)\cdot \operatorname {cof} (B)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb5c82c746bb2cd5c0cbcaca610d04b22dafc768)
![{\displaystyle \operatorname {cof} (A^{T})=\operatorname {cof} (A)^{T}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34c3674f8d35743673f9cbf8b49ee6100063a1f8)
![{\displaystyle A^{T}\cdot \operatorname {cof} (A)=\operatorname {cof} (A)\cdot A^{T}=\det(A)\cdot E}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25b07e8d4f80028ce1ec75c1348a6cb1453affcd)
wobei ![{\displaystyle \lambda \in K}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22d95fcd9b07168a8162820f7fab4d8ee43366e8)
![{\displaystyle \det(\operatorname {cof} (A))=(\det A)^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db0760153c86ad39ff7e38b9fe92d25ab208cdac)
, insbesondere für
-Matrizen gilt ![{\displaystyle \operatorname {cof} (\operatorname {cof} (A))=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68c206f4c32a659ca30ec062ebecd5654e59665a)
Für invertierbare Matrizen gilt zusätzlich die Cramersche Regel
![{\displaystyle \operatorname {cof} (A)=\det(A)A^{-T}\Leftrightarrow A^{-1}={\frac {1}{\det(A)}}(\operatorname {cof} (A))^{T},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4511527b6c03cd4951e945b14ab1091d793cbee3)
wobei
gilt. Durch Invertieren dieser erhält man
![{\displaystyle (\operatorname {cof} (A))^{-1}={\frac {1}{\det(A)}}A^{T}=\operatorname {cof} (A^{-1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d1e1e180f6a42fdaef52f12553770878885f621)
Sei
oder
, dann ist die (Fréchet-)Ableitung der Determinante
an der Stelle
ist gegeben durch
![{\displaystyle D(\det A)\colon \mathbb {K} ^{n\times n}\mapsto \mathbb {K} ,H\mapsto D(\det A)H=\operatorname {spur} (\operatorname {cof} (A)^{T}H)=\sum _{i,j=1}^{n}\operatorname {cof} (A)_{ij}h_{ij},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eafe095bb53b118c6fb7b58b21c0f5a60edc6e06)
wobei
die Spur einer Matrix
ist.
Es soll der Minor
und der Kofaktor
der folgenden Matrix bestimmt werden:
![{\displaystyle A={\begin{pmatrix}1&4&7\\3&0&5\\-1&9&11\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b2aaba8fbb8d6e5a707b765080449d63de92a15)
Durch Streichen der zweiten Zeile und dritten Spalte
![{\displaystyle {\begin{pmatrix}1&4&\Box \\\Box &\Box &\Box \\-1&9&\Box \end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a059c9cbcb05400608991b3dbcf4d2167e4d13bf)
entsteht die Matrix
![{\displaystyle A_{2,3}={\begin{pmatrix}1&4\\-1&9\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/431487d03dd60d19ec1a222bd1e2a9bdb674a5a6)
Daraus lässt sich der Minor
berechnen:
![{\displaystyle M_{2,3}={\begin{vmatrix}1&4\\-1&9\end{vmatrix}}=9+4=13.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f74156afa73d1aabb26d1d2eeb349c3eb2c24601)
Für den Kofaktor
gilt
![{\displaystyle {\tilde {a}}_{2,3}=(-1)^{2+3}\cdot M_{2,3}=-13}](https://wikimedia.org/api/rest_v1/media/math/render/svg/751d3242c6f3983dcfdb904f2bf5625529262e20)
bzw.
![{\displaystyle {\tilde {a}}_{2,3}={\begin{vmatrix}1&4&0\\0&0&1\\-1&9&0\end{vmatrix}}=-13.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1c514b86400b2cd855b10b01037c8f3ab42a7a9)
Entstehen Minoren durch Streichungen von Zeilen und Spalten derselben Nummern, spricht man von Hauptminoren, genauer von Hauptminoren k-ter Ordnung, wenn die Größe der Untermatrix angegeben werden soll. Bleiben genau die ersten k Zeilen und Spalten übrig, so spricht man von führenden Hauptminoren k-ter Ordnung.[2] Die führenden Hauptminoren werden mitunter auch natürlich geordnete Hauptminoren genannt.[3] Im deutschsprachigen Raum werden die führenden Hauptminoren oft verkürzt nur Hauptminoren genannt.[4] Dies hängt insbesondere damit zusammen, dass für viele Anwendungen nicht alle Hauptminoren untersucht werden müssen.[3] Außerdem ist im deutschsprachigen Raum die Bezeichnung Hauptabschnittsdeterminante für die Hauptminoren gebräuchlich.[5]
Zur Veranschaulichung mache man sich klar, wie viele Minoren, Hauptminoren und führende Hauptminoren eine 3x3-Matrix hat. Streicht man zunächst gleichzeitig die i-te Zeile und i-te Spalte für i = 1, 2, 3, so verbleiben drei Hauptminoren zweiter Ordnung. Streicht man jeweils mehrere Zeilen und die gleich nummerierten Spalten, tut man dies in diesem Fall also mit zweien, verbleiben drei Hauptminoren erster Ordnung. Umso mehr Zeilen gestrichen werden, desto kleiner die Ordnung.
Die Hauptminoren haben durch das Hauptminorenkriterium eine Bedeutung für die Feststellung der Definitheit symmetrischer bzw. hermitescher Matrizen.
Führende Hauptminoren sind spezielle Hauptminoren, die dadurch entstehen, dass man die Ausgangsmatrix „von ihrem Ende“ her sukzessive um jeweils eine Zeile und Spalte verkürzt und die Determinanten der sich ergebenden Untermatrizen berechnet. So liefert etwa die 3×3-Matrix
![{\displaystyle A={\begin{pmatrix}1&2&3\\4&5&6\\7&8&9\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11439061a7e4d68030bb36b388d8e042995e7904)
die folgenden drei Untermatrizen
![{\displaystyle A_{1}={\begin{pmatrix}1\end{pmatrix}},\quad A_{2}={\begin{pmatrix}1&2\\4&5\\\end{pmatrix}},\quad A_{3}={\begin{pmatrix}1&2&3\\4&5&6\\7&8&9\end{pmatrix}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1f8a317526aa1bcb7bc8afeaaced7fb1e3d0779)
aus denen sich anschließend die folgenden drei führenden Hauptminoren berechnen lassen:
- Führender Hauptminor 1. Ordnung:
![{\displaystyle \det(A_{1})=1;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88b84c4746768c6e2b69173c6a237dc12fafafac)
- Führender Hauptminor 2. Ordnung:
![{\displaystyle \det(A_{2})={\begin{vmatrix}1&2\\4&5\\\end{vmatrix}}=-3;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4f72078ed370997364e74496ab48659c534b397)
- Führender Hauptminor 3. Ordnung:
![{\displaystyle \det(A_{3})={\begin{vmatrix}1&2&3\\4&5&6\\7&8&9\end{vmatrix}}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11da2952c7a662f8b79bc0d95363e758fb586177)
Wie zu sehen, gibt es dabei nur einen Hauptminor 3. Ordnung, der zugleich führend ist, nämlich die Determinante der gesamten Matrix. Weitere, insbesondere bei der Bestimmung der Semidefinitheit einer Matrix eine Rolle spielende Hauptminoren sind im Fall obiger Ausgangsmatrix außerdem die folgenden vier Hauptminoren 1. und 2. Ordnung:
- Weitere Hauptminoren 1. Ordnung:
![{\displaystyle \det(a_{22})=5;\quad \det(a_{33})=9;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d36f51d7f89c412beffa9699fb67c1298e157fc)
- Weitere Hauptminoren 2. Ordnung:
![{\displaystyle \det {\begin{pmatrix}a_{11}&a_{13}\\a_{31}&a_{33}\\\end{pmatrix}}={\begin{vmatrix}1&3\\7&9\\\end{vmatrix}}=-12;\quad \det {\begin{pmatrix}a_{22}&a_{23}\\a_{32}&a_{33}\\\end{pmatrix}}={\begin{vmatrix}5&6\\8&9\\\end{vmatrix}}=-3.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c004b3bcfacfc8a10904af123420aa17360705b)
- ↑ Siegfried Bosch: Lineare Algebra. Springer, 2001, ISBN 3-540-41853-9, S. 148.
- ↑ Frank Riedel: Mathematik für Ökonomen. Springer; Auflage: 2. verb. Aufl. 2009 (28. September 2009). ISBN 978-3642036484. S. 220.
- ↑ a b Alpha C. Chiang, Kevin Wainwright, Harald Nitsch: Mathematik für Ökonomen - Grundlagen, Methoden und Anwendungen. Vahlen; Auflage: 1. Auflage. (Januar 2011). ISBN 978-3800636631. S. 80.
- ↑ Beispielsweise: Norbert Herrmann: Höhere Mathematik: für Ingenieure, Physiker und Mathematiker. Oldenbourg Wissenschaftsverlag; Auflage: 2. überarb. Auflage (1. September 2007). ISBN 978-3486584479. S. 13.
- ↑ Böker, Fred. Formelsammlung für Wirtschaftswissenschaftler: Mathematik und Statistik. Pearson Deutschland GmbH, 2007. S. 194.
- Wolfgang Gawronski: Grundlagen der Linearen Algebra. Aula-Verlag, Wiesbaden 1996, ISBN 3-89104-566-2, S. 193.