Laplace-Entwicklung

Laplace-Entwicklung

In der Linearen Algebra ist die Determinante eine spezielle Funktion, die einer quadratischen Matrix oder einem linearen Endomorphismus eine Zahl zuordnet. Zum Beispiel hat die 2\times 2-Matrix


  A=\begin{pmatrix}
    a & b \\
    c & d
  \end{pmatrix}

die Determinante

\det A = \begin{vmatrix} a & b \\ c & d \end{vmatrix} = ad-bc.

Die Formel für größere Matrizen wird weiter unten angegeben.

Die Determinante einer Matrix A wird auch als | A | geschrieben. Diese Notation kann jedoch zu Verwechslungen führen, da sie auch für andere Matrix-Funktionen wie beispielsweise die Quadratwurzel aus A * A verwendet wird.

Mit Hilfe von Determinanten kann man feststellen, ob ein Lineares Gleichungssystem eindeutig lösbar ist. Dies ist genau dann der Fall, wenn die Determinante der Koeffizientenmatrix ungleich null ist. Entsprechend ist eine quadratische Matrix genau dann invertierbar wenn ihre Determinante ungleich null ist.

Man bildet die Determinante von n Vektoren im \R^n, indem man die Determinante der quadratischen Matrix berechnet, deren Spalten die gegebenen Vektoren sind. Mit dieser Festlegung kann das Vorzeichen der Determinante einer Basis dazu verwendet werden, den Begriff der Orientierung in Euklidischen Räumen zu definieren.

Determinanten werden zur Berechnung von Volumina in der Vektorrechnung verwendet: der Absolutbetrag der Determinante von reellen Vektoren ist gleich dem Volumen des Parallelepipeds (auch Spat genannt), das durch diese Vektoren aufgespannt wird. Eine Folgerung ist: Wird die lineare Abbildung f: \R^n\to\R^n durch die Matrix A repräsentiert, und ist S\subseteq\R^n eine beliebige messbare Teilmenge, dann ist das Volumen von f(S) durch |\det A| \cdot \operatorname{Volumen}(S) gegeben. Allgemeiner gilt: Wird die lineare Abbildung f: \R^n\to \R^m durch die m\times n-Matrix A repräsentiert, und ist S\subseteq\R^n eine beliebige messbare Teilmenge, so ist das n-dimensionale Volumen von f(S) gegeben durch \sqrt{\det(A^T A)} \cdot \operatorname{Volumen}(S).

Inhaltsverzeichnis

Geschichte

Historisch gesehen wurden Determinanten bereits vor den Matrizen betrachtet. Ursprünglich war eine Determinante als eine Eigenschaft eines linearen Gleichungssystems definiert. Die Determinante „determiniert“, ob das Gleichungssystem eine eindeutige Lösung besitzt (dies ist genau dann der Fall, wenn die Determinante ungleich Null ist). In diesem Zusammenhang wurden 2×2-Matrizen von Cardano Ende des 16. Jahrhunderts und größere von Leibniz ungefähr 100 Jahre später behandelt.

Definition und Berechnung

Definition über die Eigenschaften

Allgemein heißt eine Abbildung vom Raum der quadratischen Matrizen einer bestimmten Größe in den zugrundeliegenden Körper eine Determinante, wenn sie folgende drei Eigenschaften erfüllt:

  • sie ist multilinear, d. h. linear in jeder Spalte:
\forall i \in \{1,\ldots,n\}\,\forall a, b \in V:
\begin{align}
  &\det(v_1,\ldots,v_{i-1},a+b,v_{i+1},\ldots,v_n)\\
  &=\det(v_1,\ldots,v_{i-1},a,v_{i+1},\ldots,v_n) + \det (v_1,\ldots,v_{i-1},b,v_{i+1},\ldots,v_n)
\end{align}
\forall i \in \{1,\ldots,n\}\,\forall a \in V\,\forall r \in K:
\det(v_1,\ldots,v_{i-1},r\cdot a,v_{i+1},\ldots,v_n) = r \cdot \det(v_1,\ldots,v_{i-1},a,v_{i+1},\ldots,v_n)
  • sie ist alternierend, d. h. wenn in zwei Spalten das gleiche Argument steht, ist die Determinante gleich 0:
\forall r, s \in \{1,\ldots,n\}, r\ne s:
\det(v_1,\ldots,v_{r-1},w,v_{r+1},\ldots,v_{s-1},w,v_{s+1}\ldots,v_n) = 0
Hieraus folgt, dass sich gerade das Vorzeichen ändert, wenn man zwei Spalten vertauscht:
\forall r, s \in \{1,\ldots,n\}, r\ne s:
\det(v_1,\ldots,v_r,\ldots,v_s,\ldots,v_n) = -\det(v_1,\ldots,v_s,\ldots,v_r,\ldots,v_n)
Oft wird diese Folgerung zur Definition von alternierend verwendet. Im Allgemeinen ist diese jedoch nicht zur obigen äquivalent!
Wenn man alternierend nämlich auf die zweite Weise definiert, gibt es keine eindeutige Determinantenform, wenn der Körper über den wir unseren Vektorraum bilden der Körper mit nur zwei Elementen ist.
detEn = 1

Man kann beweisen, dass es genau eine solche Abbildung gibt.

Für Endomorphismen endlichdimensionaler Vektorräume schreibt man \det f := \det A\,, falls f bezüglich einer Basis durch die Matrix A dargestellt wird. (Dies ist unabhängig von der Wahl der Basis.)

Matrizen bis zur Größe 3×3

Für eine nur aus einem Koeffizienten bestehende 1 \times 1-Matrix A ist

\det A = \det \begin{pmatrix}
    a_{11} 
  \end{pmatrix} = a_{11}.

Ist A eine 2 \times 2-Matrix, dann ist

\det A=\det
  \begin{pmatrix}
    a_{11} & a_{12} \\
    a_{21} & a_{22} 
  \end{pmatrix} 
= a_{11} a_{22} - a_{12} a_{21}.

Für eine 3 \times 3-Matrix A gilt die Formel

\begin{align}
\det A &= \det
  \begin{pmatrix}
    a_{11} & a_{12} & a_{13} \\
    a_{21} & a_{22} & a_{23} \\
    a_{31} & a_{32} & a_{33} 
  \end{pmatrix}
\\ &= a_{11} a_{22} a_{33} + a_{12} a_{23} a_{31} + a_{13} a_{21} a_{32} - a_{13} a_{22} a_{31} - a_{12} a_{21} a_{33} - a_{11} a_{23} a_{32}.
\end{align}

Will man diese Determinante von Hand berechnen, so stellt die Regel von Sarrus dafür ein einfaches Schema zur Verfügung.

Leibniz-Formel

Für eine allgemeine n \times n-Matrix wurde die Determinante von Gottfried Leibniz durch die heute als Leibniz-Formel bekannte Formel definiert:

\det A = \sum_{\sigma \in S_n} \left(\operatorname{sgn}(\sigma) \prod_{i=1}^n a_{i, \sigma(i)}\right)

Die Summe wird über alle Permutationen σ der Zahlen \{1, \ldots, n\} berechnet und \operatorname{sgn}(\sigma) bezeichnet das Vorzeichen der Permutation σ: +1, falls σ eine gerade Permutation ist und -1, falls sie ungerade ist.

Ob eine Permutation gerade oder ungerade ist, erkennt man daran, wie viele Vertauschungen nötig waren, um die jeweilige Permutation zu erzeugen (gerade oder ungerade Anzahl).

Beispiel

  • (1, 2, 3)\mapsto(2, 3, 1) zwei Vertauschungen und somit gerade \Rightarrow\sgn(\sigma) = 1
  • (1, 2, 3)\mapsto(2, 1, 3) eine Vertauschung und somit ungerade \Rightarrow\sgn(\sigma) = -1

Diese Formel enthält n! Summanden und ist somit unhandlich, falls n größer als 3 ist. Sie eignet sich jedoch zum Beweis von Aussagen über Determinanten.

Gauß-Algorithmus zur Determinantenberechnung

Im Allgemeinen können Determinanten mit dem Gauß-Algorithmus unter Verwendung der folgenden Regeln berechnet werden:

  • Falls A eine obere (untere) Dreiecksmatrix ist, also ai,j = 0 für j < i (nur Nullen unterhalb (oberhalb) der Hauptdiagonalen), dann ist
    \det A =a_{11}\cdot a_{22}\dotsb a_{nn} das Produkt der Hauptdiagonal-Einträge
  • Falls B sich aus A ergibt, indem man zwei Zeilen oder Spalten vertauscht, dann ist detB = − detA
  • Falls B sich aus A ergibt, indem man ein Vielfaches einer Zeile oder Spalte zu einer anderen Zeile oder Spalte addiert, dann ist detB = detA.
  • Falls B sich aus A ergibt, indem man ein Vielfaches c einer Zeile oder Spalte bildet, dann ist \det B=c\cdot \det A.

Beginnend mit einer beliebigen quadratischen Matrix benutzt man die letzten drei dieser vier Regeln, um die Matrix in eine obere Dreiecksmatrix zu überführen, und berechnet dann die Determinante als Produkt der Diagonalelemente.

Auf diesem Prinzip basiert auch die Determinantenberechnung mittels der LR-Zerlegung. Da sowohl L als auch R Dreiecksmatrizen sind, ergeben sich ihre Determinanten aus dem Produkt der Diagonalelemente, die bei L alle auf 1 normiert sind. Gemäß der Produktregel ergibt sich die Determinante damit aus dem Zusammenhang

\det A =\det\left(L \cdot R\right) =\det L \cdot \det R =\det R =r_{1,1}\cdot r_{2,2}\dotsb r_{n,n}.

Laplacescher Entwicklungssatz

Mit dem laplaceschen Entwicklungssatz kann man die Determinante einer n \times n-Matrix „nach einer Zeile oder Spalte entwickeln“. Die beiden Formeln lauten

\det A = \sum_{i=1}^n (-1)^{i+j} \cdot a_{ij} \cdot \det A_{ij} (Entwicklung nach der j-ten Spalte)
\det A = \sum_{j=1}^n (-1)^{i+j} \cdot a_{ij} \cdot \det A_{ij} (Entwicklung nach der i-ten Zeile)

wobei Aij die (n-1) \times (n-1)-Untermatrix von A ist, die durch Streichen der i-ten Zeile und j-ten Spalte entsteht. Das Produkt ( − 1)i + jdetAij wird Cofaktor \tilde a_{ij} genannt.

Genau genommen gibt der Entwicklungssatz nur ein Verfahren an, die Summanden der Leibniz-Formel in einer bestimmten Reihenfolge zu berechnen. Dabei wird die Determinante bei jeder Anwendung um eine Dimension reduziert. Falls gewünscht, kann das Verfahren so lange angewandt werden, bis sich ein Skalar ergibt. Der Laplace’sche Entwicklungssatz ist bei kleinen Matrizen und Matrizen mit vielen Nullen sehr effizient. Ein Beispiel ist


  \begin{vmatrix}
    0 &amp;amp; 1 &amp;amp; 2 \\
    3 &amp;amp; 2 &amp;amp; 1 \\
    1 &amp;amp; 1 &amp;amp; 0
  \end{vmatrix}
  =
  0 \cdot
  \begin{vmatrix}
    2 &amp;amp; 1 \\
    1 &amp;amp; 0
  \end{vmatrix}
  -1 \cdot
  \begin{vmatrix}
    3 &amp;amp; 1 \\
    1 &amp;amp; 0
  \end{vmatrix}
  +2 \cdot
  \begin{vmatrix}
    3 &amp;amp; 2 \\
    1 &amp;amp; 1
  \end{vmatrix}
  = 0 + 1 + 2
  = 3

(Entwicklung nach der ersten Zeile)

Der Laplacesche Entwicklungssatz lässt sich auf folgende Weise verallgemeinern. Statt nur nach einer Zeile oder Spalte kann man auch nach mehreren Zeilen oder Spalten entwickeln. Die Formel dafür lautet

\det A = \sum_{|J|=|I|} (-1)^{\sum I+\sum J}\det A_{IJ}\det A_{I'J'},

mit den folgenden Bezeichnungen: I und J sind Teilmengen von \{1,\ldots,n\} und AIJ ist die Untermatrix von A, die aus den Zeilen mit den Indizes aus I und den Spalten mit den Indizes aus J besteht. I' und J' bezeichnen die Komplemente von I und J. \sum I = \sum_{i\in I} i ist die Summe der Indizes aus I. Für die Entwicklung nach den Zeilen mit den Indizes aus I läuft die Summe über alle J\subseteq \{1,\ldots,n\}, wobei die Anzahl dieser Spaltenindizes | J | gleich der Anzahl der Zeilen | I | ist, nach denen entwickelt wird. Für die Entwicklung nach den Spalten mit den Indizes aus J läuft die Summe über I. Die Anzahl der Summanden ergibt sich als der Binomialkoeffizient \binom{n}{k} mit k = | I | = | J | .

Determinante eines Endomorphismus

Es sei V ein n-dimensionaler Vektorraum über einem Körper K. (Allgemeiner kann man auch einen kommutativen Ring K mit Einselement und einem freien Modul vom Rang n über K betrachten.)

Die Determinante einer K-linearen Abbildung f\colon V\to V ist die Determinante einer Darstellungsmatrix von f bezüglich einer Basis von V. Sie hängt nicht von der Wahl dieser Basis ab.

Eine alternative Definition ist die folgende: Es sei \det V=\bigwedge\!{}^nV und \det f=\bigwedge\!{}^nf. Dann ist detV ein eindimensionaler K-Vektorraum (bzw. ein freier K-Modul vom Rang 1), also kann die lineare Abbildung

\det f\colon\det V\to\det V

mit einem Element von K identifiziert werden; dieses Element ist die Determinante von f.

Eigenschaften

Produktregel

Die Determinante ist eine multiplikative Abbildung in dem Sinne, dass

\det(A\cdot B) = \det A\cdot \det B für alle n\times n-Matrizen A und B.

Das bedeutet, dass die Abbildung \det:\;\mathrm{GL}(n,K)\rightarrow K^* ein Gruppenhomomorphismus von der allgemeinen linearen Gruppe in die Einheitengruppe K * des Körpers ist. Der Kern dieser Abbildung ist die spezielle lineare Gruppe. Allgemeiner gilt für die Determinante einer quadratischen Matrix, welche das Produkt zweier (nicht notwendig quadratischer) Matrizen ist, der Satz von Binet-Cauchy.

Noch allgemeiner ergibt sich als unmittelbare Folgerung aus dem Satz von Binet-Cauchy eine Formel für die Berechnung eines Minors der Ordnung k eines Produktes zweier Matrizen. Ist A eine m\times n-Matrix und B eine n\times p-Matrix und ist I\subseteq \{1,\ldots,n\} und J\subseteq \{1,...,p\} mit | I | = | J | = k, dann gilt mit den Bezeichnungen wie beim verallgemeinerten Entwicklungssatz

\det(A\cdot B)_{IJ}=\sum_{K\subseteq \{1,\ldots,m\},|K|=k}\det A_{IK}\det B_{KJ},

Der Fall m = p = k liefert den Satz von Binet-Cauchy (welcher für n=m zur gewöhnlichen Produktregel wird) und der Spezialfall k = 1 liefert die Formel für die gewöhnliche Matrizenmultiplikation.

Multiplikation mit Skalaren

Es ist einfach zu sehen, dass \det\left(r\cdot I_n\right)=r^n und somit

det(rA) = rndetA     für alle n\times n Matrizen A und alle Skalare r.

Inverses

Falls A invertierbar ist, dann ist \det\left(A^{-1}\right)=\det\left(A\right)^{-1}.

Transponierte Matrix

Eine Matrix und ihre Transponierte haben dieselbe Determinante

detA = detAT.

Ähnliche Matrizen

Falls A und B ähnlich sind, d.h. falls eine invertierbare Matrix X existiert, so dass A= X^{-1}\cdot B\cdot X, dann ist mit der Multiplikativität

detA = detB.

Deswegen kann man die Determinante einer linearen Abbildung f\colon V\to V definieren (wobei V ein endlich-dimensionaler Vektorraum ist), indem man eine Basis für V wählt, f als Matrix relativ zu dieser Basis beschreibt und die Determinante dieser Matrix nimmt. Das Ergebnis ist unabhängig von der gewählten Basis.

Es gibt Matrizen, die die gleiche Determinante haben, aber nicht ähnlich sind.

Blockmatrizen

Für die Determinante einer 2\times 2-Blockmatrix

\begin{pmatrix}A &amp;amp; B\\ C &amp;amp; D\end{pmatrix}

mit quadratischen Blöcken A und D kann man unter gewissen Voraussetzungen Formeln angeben, welche die Blockstruktur ausnutzen. Für B = 0 oder C = 0 gilt:

\det\begin{pmatrix}A&amp;amp; 0\\ C&amp;amp; D\end{pmatrix} = \det\begin{pmatrix}A&amp;amp; B\\ 0&amp;amp; D\end{pmatrix} = \det(A)\det(D).

Ist A invertierbar, so folgt aus der Zerlegung

\begin{pmatrix}A&amp;amp; B\\ C&amp;amp; D\end{pmatrix} = \begin{pmatrix}A&amp;amp; 0\\ C&amp;amp; 1\end{pmatrix} \begin{pmatrix}1&amp;amp; A^{-1} B\\ 0&amp;amp; D - C A^{-1} B\end{pmatrix}

die Formel

\det\begin{pmatrix}A&amp;amp; B\\ C&amp;amp; D\end{pmatrix} = \det(A) \det(D - C A^{-1} B).

Im Spezialfall, dass alle vier Blöcke die gleiche Größe haben und paarweise kommutieren, ergibt sich daraus mit Hilfe der Produktregel

\det\begin{pmatrix}A&amp;amp; B\\ C&amp;amp; D\end{pmatrix} = \det(AD - BC)=\det(\det_{R}\begin{pmatrix}A&amp;amp; B\\ C&amp;amp; D\end{pmatrix}).

Dabei bezeichne R\subseteq K^{n\times n} einen kommutativen Unterring des Ringes aller n\times n-Matrizen mit Einträgen aus dem Körper K, so dass \{A,B,C,D\}\subseteq R (zum Beispiel den von diesen vier Matrizen erzeugten Unterring), und \det_R: R^{2\times 2} \rightarrow R sei die entsprechende Abbildung, die einer quadratischen Matrix mit Einträgen aus R ihre Determinante zuordnet. Diese Formel gilt auch, falls A nicht invertierbar ist und verallgemeinert sich für Matrizen aus R^{m\times m}.[1]

Eigenwerte

Die Determinate einer n \times n-Matrix A über den reellen oder komplexen Zahlen mit den Eigenwerten \lambda_1^{r_1}, \ldots,\lambda_n^{r_n} (wobei ri die algebraische Vielfachheit zum Eigenwert λi ist) kann mittels

\det A = \lambda_1^{r_1}\lambda_2^{r_2} \cdots \lambda_n^{r_n}

berechnet werden.

Ableitung

Die Determinante von reellen quadratischen Matrizen fester Dimension n ist eine Polynomfunktion \det:\R^{n\times n}\to \R und als solche überall differenzierbar. Ihre Ableitung kann mit Hilfe von Jacobis Formel dargestellt werden:

d\det A = \operatorname{spur}\left(A^\# d A \right),

wobei A^\# die zu A komplementäre Matrix bezeichnet. Insbesondere ergibt sich für invertierbares A, dass

d\det A = \det A \cdot\operatorname{spur}(A^{-1}dA)

oder vereinfacht,

\det\left( A + X\right) - \det A\approx \det A\cdot\operatorname{spur}\left( A^{-1}\,X\right),

falls die Werte der Matrix X hinreichend klein sind. Der Spezialfall wenn A gleich der Einheitsmatrix E ist, ergibt

\det \left(E + X\right) \approx 1 + \operatorname{spur}X.

Verallgemeinerungen

Es ist sinnvoll, die Determinante für Matrizen zu definieren, deren Einträge in einem kommutativen Ring liegen. Die Regeln zur Berechnung, die Leibniz-Formel und die Kompatibilität mit der Matrix-Multiplikation bleiben gültig, mit der Ausnahme, dass nun eine Matrix A genau dann invertierbar ist, falls detA ein invertierbares Element des zugrundeliegenden Ringes ist.

Für manche Zwecke betrachtet man auch formale Determinanten, deren Einträge sowohl Skalare als auch Vektoren sind, z.B. bei der Definition eines verallgemeinerten Kreuzprodukts. Diese werden mit der Leibniz-Formel berechnet (selbstverständlich dürfen dabei keine Vektoren miteinander multipliziert werden).

Man kann die Determinante wie folgt abstrakt als eine gewisse antisymmetrische multilineare Abbildung definieren: Falls R ein kommutativer Ring ist und M = Rn der n-dimensionale freie R-Modul, dann ist

\det\colon M^n\to R

die eindeutig bestimmte Abbildung mit den folgenden Eigenschaften:

  • det ist R-linear in jedem der n Argumente.
  • det ist antisymmetrisch, d.h. falls zwei der n Argumente gleich sind, so ist die Determinante Null.
  • \det\left(e_1, \ldots, e_n\right) = 1, wobei ei das Element von M ist, das eine 1 als i-te Koordinate hat und sonst Nullen.

Ähnliche Begriffe

Die Permanente ist ein „vorzeichenloses“ Analogon zur Determinante, wird allerdings viel seltener verwendet.

Siehe auch

Einzelnachweise

  1. John R. Silvester: Determinants of Block Matrices. In: The Mathematical Gazette. Vol. 84, No. 501 (November 2000), S. 460-467 (PDF; 148KB).

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Laplace'scher Entwicklungssatz — In der Linearen Algebra ist die Determinante eine spezielle Funktion, die einer quadratischen Matrix oder einem linearen Endomorphismus eine Zahl zuordnet. Zum Beispiel hat die Matrix die Determinante …   Deutsch Wikipedia

  • Pierre-Simon Laplace — Gemälde aus dem 19. Jahrhundert Kupferstich aus dem 19. Jahrhundert …   Deutsch Wikipedia

  • Kant-Laplace-Hypothese — Immanuel Kant (1724–1804) Pierre Simon Laplace (1749–1827) Kant Laplace Theorie werden zwei verwandte aber unabhängig voneinander entwickelte kosmologische …   Deutsch Wikipedia

  • Kant-Laplace-Theorie — Immanuel Kant (1724–1804) …   Deutsch Wikipedia

  • Geschichte der Stochastik — Roulettespieler, um 1800. Das Glücksspiel war eine der frühesten Triebfedern der Wahrscheinlichkeitsrechnung …   Deutsch Wikipedia

  • Geschichte der Wahrscheinlichkeitstheorie — Roulettespieler, um 1800. Das Glücksspiel war eine der frühesten Triebfedern der Wahrscheinlichkeitsrechnung …   Deutsch Wikipedia

  • Kugelflächenfunktion — Veranschaulichung einiger Kugelflächenfunktionen (um die z Achse rotierend). Dargestellt ist Yl,m, wobei l der Zeile und m der Spalte entspricht. Zeilen und Spalten werden jeweils bei null beginnend durchnummeriert. Die Kugelflächenfunktionen… …   Deutsch Wikipedia

  • Kugelfunktionen — Veranschaulichung einiger Kugelflächenfunktionen (um die z Achse rotierend). Dargestellt ist Yl,m, wobei l der Zeile und m der Spalte entspricht. Zeilen und Spalten werden jeweils bei null beginnend durchnummeriert. Die Kugelflächenfunktionen… …   Deutsch Wikipedia

  • Sphärisch Harmonische — Veranschaulichung einiger Kugelflächenfunktionen (um die z Achse rotierend). Dargestellt ist Yl,m, wobei l der Zeile und m der Spalte entspricht. Zeilen und Spalten werden jeweils bei null beginnend durchnummeriert. Die Kugelflächenfunktionen… …   Deutsch Wikipedia

  • Liste von Mathematikern — Diese Liste bedeutender Mathematiker stellt eine Auswahl von Mathematikern von der Antike bis zu Gegenwart dar. Die Auswahl der Mathematiker richtet sich dabei nach ihren wissenschaftlichen Leistungen oder ihrem Bekanntheitsgrad, aufgrund deren… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”