Technopedia Center
PMB University Brochure
Faculty of Engineering and Computer Science
S1 Informatics S1 Information Systems S1 Information Technology S1 Computer Engineering S1 Electrical Engineering S1 Civil Engineering

faculty of Economics and Business
S1 Management S1 Accountancy

Faculty of Letters and Educational Sciences
S1 English literature S1 English language education S1 Mathematics education S1 Sports Education
teknopedia

teknopedia

teknopedia

teknopedia

teknopedia
  • Registerasi
  • Brosur UTI
  • Kip Scholarship Information
  • Performance
  1. Weltenzyklopädie
  2. Reguläre Matrix – Wikipedia
Reguläre Matrix – Wikipedia
aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Invertierbare Matrix)

Eine reguläre, invertierbare oder nichtsinguläre Matrix ist in der Mathematik eine quadratische Matrix, die eine Inverse besitzt. Reguläre Matrizen können auf mehrere äquivalente Weisen charakterisiert werden. Zum Beispiel zeichnen sich reguläre Matrizen dadurch aus, dass die durch sie beschriebene lineare Abbildung bijektiv ist. Daher ist ein lineares Gleichungssystem mit einer regulären Koeffizientenmatrix stets eindeutig lösbar. Die Menge der regulären Matrizen fester Größe mit Einträgen aus einem Ring oder Körper bildet mit der Matrizenmultiplikation als Verknüpfung die allgemeine lineare Gruppe.

Nicht zu jeder quadratischen Matrix existiert eine Inverse. Eine quadratische Matrix, die keine Inverse besitzt, wird singuläre Matrix genannt.

Definition

[Bearbeiten | Quelltext bearbeiten]

Eine quadratische Matrix A ∈ R n × n {\displaystyle A\in R^{n\times n}} {\displaystyle A\in R^{n\times n}} mit Einträgen aus einem unitären Ring R {\displaystyle R} {\displaystyle R} (in der Praxis meist dem Körper der reellen Zahlen) heißt regulär, wenn eine weitere Matrix B ∈ R n × n {\displaystyle B\in R^{n\times n}} {\displaystyle B\in R^{n\times n}} existiert, sodass

A ⋅ B = B ⋅ A = I {\displaystyle A\cdot B=B\cdot A=I} {\displaystyle A\cdot B=B\cdot A=I}

gilt, wobei I {\displaystyle I} {\displaystyle I} die Einheitsmatrix bezeichnet. Die Matrix B {\displaystyle B} {\displaystyle B} ist hierbei eindeutig bestimmt und heißt inverse Matrix zu A {\displaystyle A} {\displaystyle A}. Die Inverse einer Matrix A {\displaystyle A} {\displaystyle A} wird üblicherweise mit A − 1 {\displaystyle A^{-1}} {\displaystyle A^{-1}} bezeichnet. Bei einer singulären Matrix existiert keine solche Matrix B {\displaystyle B} {\displaystyle B}.

Ist R {\displaystyle R} {\displaystyle R} ein kommutativer Ring, Körper oder Schiefkörper, so sind die beiden Bedingungen A ⋅ B = I {\displaystyle A\cdot B=I} {\displaystyle A\cdot B=I} und B ⋅ A = I {\displaystyle B\cdot A=I} {\displaystyle B\cdot A=I} äquivalent, das heißt, eine linksinverse Matrix ist dann auch rechtsinvers und umgekehrt, sprich, die obige Bedingung lässt sich durch B ⋅ A = I {\displaystyle B\cdot A=I} {\displaystyle B\cdot A=I} beziehungsweise A ⋅ B = I {\displaystyle A\cdot B=I} {\displaystyle A\cdot B=I} abschwächen.

Beispiele

[Bearbeiten | Quelltext bearbeiten]

Die reelle Matrix

A = ( 2 3 1 2 ) {\displaystyle A={\begin{pmatrix}2&3\\1&2\end{pmatrix}}} {\displaystyle A={\begin{pmatrix}2&3\\1&2\end{pmatrix}}}

ist regulär, denn sie besitzt die Inverse

B = ( 2 − 3 − 1 2 ) {\displaystyle B={\begin{pmatrix}2&-3\\-1&2\end{pmatrix}}} {\displaystyle B={\begin{pmatrix}2&-3\\-1&2\end{pmatrix}}},

mit

A ⋅ B = ( 2 3 1 2 ) ⋅ ( 2 − 3 − 1 2 ) = ( 1 0 0 1 ) = I {\displaystyle A\cdot B={\begin{pmatrix}2&3\\1&2\end{pmatrix}}\cdot {\begin{pmatrix}2&-3\\-1&2\end{pmatrix}}={\begin{pmatrix}1&0\\0&1\end{pmatrix}}=I} {\displaystyle A\cdot B={\begin{pmatrix}2&3\\1&2\end{pmatrix}}\cdot {\begin{pmatrix}2&-3\\-1&2\end{pmatrix}}={\begin{pmatrix}1&0\\0&1\end{pmatrix}}=I}.

Die reelle Matrix

A = ( 2 3 0 0 ) {\displaystyle A={\begin{pmatrix}2&3\\0&0\end{pmatrix}}} {\displaystyle A={\begin{pmatrix}2&3\\0&0\end{pmatrix}}}

ist singulär, denn für jede Matrix

B = ( a b c d ) {\displaystyle B={\begin{pmatrix}a&b\\c&d\end{pmatrix}}} {\displaystyle B={\begin{pmatrix}a&b\\c&d\end{pmatrix}}}

gilt

A ⋅ B = ( 2 3 0 0 ) ⋅ ( a b c d ) = ( 2 a + 3 c 2 b + 3 d 0 0 ) ≠ I {\displaystyle A\cdot B={\begin{pmatrix}2&3\\0&0\end{pmatrix}}\cdot {\begin{pmatrix}a&b\\c&d\end{pmatrix}}={\begin{pmatrix}2a+3c&2b+3d\\0&0\end{pmatrix}}\neq I} {\displaystyle A\cdot B={\begin{pmatrix}2&3\\0&0\end{pmatrix}}\cdot {\begin{pmatrix}a&b\\c&d\end{pmatrix}}={\begin{pmatrix}2a+3c&2b+3d\\0&0\end{pmatrix}}\neq I}.

Äquivalente Charakterisierungen

[Bearbeiten | Quelltext bearbeiten]

Reguläre Matrizen über einem Körper

[Bearbeiten | Quelltext bearbeiten]

Eine ( n × n ) {\displaystyle (n\times n)} {\displaystyle (n\times n)}-Matrix A {\displaystyle A} {\displaystyle A} mit Einträgen aus einem Körper K {\displaystyle K} {\displaystyle K}, zum Beispiel die reellen oder komplexen Zahlen, ist genau dann invertierbar, wenn eine der folgenden äquivalenten Bedingungen erfüllt ist:

  • Es gibt eine Matrix B {\displaystyle B} {\displaystyle B} mit A B = I = B A {\displaystyle AB=I=BA} {\displaystyle AB=I=BA}.
  • Die Determinante von A {\displaystyle A} {\displaystyle A} ist ungleich null: det ( A ) ≠ 0 {\displaystyle \det(A)\neq 0} {\displaystyle \det(A)\neq 0}.
  • Die Null ist kein Eigenwert von A {\displaystyle A} {\displaystyle A}.
  • Das lineare Gleichungssystem A x = 0 {\displaystyle Ax=0} {\displaystyle Ax=0} besitzt nur die triviale Lösung x = 0 {\displaystyle x=0} {\displaystyle x=0}.
  • Für jedes b ∈ K n {\displaystyle b\in K^{n}} {\displaystyle b\in K^{n}} existiert mindestens eine Lösung x ∈ K n {\displaystyle x\in K^{n}} {\displaystyle x\in K^{n}} des linearen Gleichungssystems A x = b {\displaystyle Ax=b} {\displaystyle Ax=b}.
  • Für jedes b ∈ K n {\displaystyle b\in K^{n}} {\displaystyle b\in K^{n}} existiert höchstens eine Lösung x ∈ K n {\displaystyle x\in K^{n}} {\displaystyle x\in K^{n}} des linearen Gleichungssystems A x = b {\displaystyle Ax=b} {\displaystyle Ax=b}.
  • Die Zeilenvektoren sind linear unabhängig.
  • Die Zeilenvektoren erzeugen K n {\displaystyle K^{n}} {\displaystyle K^{n}}.
  • Die Spaltenvektoren sind linear unabhängig.
  • Die Spaltenvektoren erzeugen K n {\displaystyle K^{n}} {\displaystyle K^{n}}.
  • Die durch A {\displaystyle A} {\displaystyle A} beschriebene lineare Abbildung K n → K n {\displaystyle K^{n}\to K^{n}} {\displaystyle K^{n}\to K^{n}}, x ↦ A x {\displaystyle x\mapsto Ax} {\displaystyle x\mapsto Ax}, ist bijektiv.
  • Die transponierte Matrix A T {\displaystyle A^{T}} {\displaystyle A^{T}} ist invertierbar.
  • Der Rang der Matrix A {\displaystyle A} {\displaystyle A} ist gleich n {\displaystyle n} {\displaystyle n}.

Bei einer singulären ( n × n ) {\displaystyle (n\times n)} {\displaystyle (n\times n)}-Matrix A {\displaystyle A} {\displaystyle A} mit Einträgen aus einem Körper K {\displaystyle K} {\displaystyle K} ist keine der obigen Bedingungen erfüllt.

Reguläre Matrizen über einem unitären kommutativen Ring

[Bearbeiten | Quelltext bearbeiten]

Allgemeiner ist eine ( n × n ) {\displaystyle (n\times n)} {\displaystyle (n\times n)}-Matrix A {\displaystyle A} {\displaystyle A} mit Einträgen aus einem kommutativen Ring mit Eins R {\displaystyle R} {\displaystyle R} genau dann invertierbar, wenn eine der folgenden äquivalenten Bedingungen erfüllt ist:

  • Es gibt eine Matrix B {\displaystyle B} {\displaystyle B} mit A B = I = B A {\displaystyle AB=I=BA} {\displaystyle AB=I=BA}.
  • Die Determinante von A {\displaystyle A} {\displaystyle A} ist eine Einheit in R {\displaystyle R} {\displaystyle R} (man spricht auch von einer unimodularen Matrix).
  • Für alle b ∈ R n {\displaystyle b\in R^{n}} {\displaystyle b\in R^{n}} existiert genau eine Lösung x ∈ R n {\displaystyle x\in R^{n}} {\displaystyle x\in R^{n}} des linearen Gleichungssystems A x = b {\displaystyle Ax=b} {\displaystyle Ax=b}.
  • Für alle b ∈ R n {\displaystyle b\in R^{n}} {\displaystyle b\in R^{n}} existiert mindestens eine Lösung x ∈ R n {\displaystyle x\in R^{n}} {\displaystyle x\in R^{n}} des linearen Gleichungssystems A x = b {\displaystyle Ax=b} {\displaystyle Ax=b}.
  • Die Zeilenvektoren bilden eine Basis von R n {\displaystyle R^{n}} {\displaystyle R^{n}}.
  • Die Zeilenvektoren erzeugen R n {\displaystyle R^{n}} {\displaystyle R^{n}}.
  • Die Spaltenvektoren bilden eine Basis von R n {\displaystyle R^{n}} {\displaystyle R^{n}}.
  • Die Spaltenvektoren erzeugen R n {\displaystyle R^{n}} {\displaystyle R^{n}}.
  • Die durch A {\displaystyle A} {\displaystyle A} beschriebene lineare Abbildung R n → R n {\displaystyle R^{n}\to R^{n}} {\displaystyle R^{n}\to R^{n}}, x ↦ A x {\displaystyle x\mapsto Ax} {\displaystyle x\mapsto Ax}, ist surjektiv (oder gar bijektiv).
  • Die transponierte Matrix A T {\displaystyle A^{T}} {\displaystyle A^{T}} ist invertierbar.

Bei einer singulären ( n × n ) {\displaystyle (n\times n)} {\displaystyle (n\times n)}-Matrix A {\displaystyle A} {\displaystyle A} mit Einträgen aus einem kommutativen Ring mit Eins R {\displaystyle R} {\displaystyle R} ist keine der obigen Bedingungen erfüllt.

Der wesentliche Unterschied zum Fall eines Körpers ist hier also, dass im Allgemeinen aus der Injektivität einer linearen Abbildung nicht mehr ihre Surjektivität (und damit ihre Bijektivität) folgt, wie bereits das einfache Beispiel Z → Z {\displaystyle \mathbb {Z} \to \mathbb {Z} } {\displaystyle \mathbb {Z} \to \mathbb {Z} }, x ↦ 2 x {\displaystyle x\mapsto 2x} {\displaystyle x\mapsto 2x} zeigt.

Weitere Beispiele

[Bearbeiten | Quelltext bearbeiten]

Die Matrix

A = ( 3 x 3 x 2 − 1 3 x 2 + 3 x ) {\displaystyle A={\begin{pmatrix}3x^{3}&x^{2}-1\\3x^{2}+3&x\end{pmatrix}}} {\displaystyle A={\begin{pmatrix}3x^{3}&x^{2}-1\\3x^{2}+3&x\end{pmatrix}}}

mit Einträgen aus dem Polynomring R = R [ x ] {\displaystyle R=\mathbb {R} [x]} {\displaystyle R=\mathbb {R} [x]} hat die Determinante det A = 3 x 3 ⋅ x − ( x 2 − 1 ) ⋅ ( 3 x 2 + 3 ) = 3 {\displaystyle \det A=3x^{3}\cdot x-(x^{2}-1)\cdot (3x^{2}+3)=3} {\displaystyle \det A=3x^{3}\cdot x-(x^{2}-1)\cdot (3x^{2}+3)=3} und 3 {\displaystyle 3} {\displaystyle 3} ist invertierbar in R {\displaystyle R} {\displaystyle R}. Somit ist A {\displaystyle A} {\displaystyle A} regulär in R 2 × 2 {\displaystyle R^{2\times 2}} {\displaystyle R^{2\times 2}}. Die inverse Matrix ist

B = 1 3 ( x 1 − x 2 − 3 x 2 − 3 3 x 3 ) = ( 1 3 ⋅ x 1 3 ⋅ ( 1 − x 2 ) − x 2 − 1 x 3 ) {\displaystyle B={\frac {1}{3}}{\begin{pmatrix}x&1-x^{2}\\-3x^{2}-3&3x^{3}\end{pmatrix}}={\begin{pmatrix}{\tfrac {1}{3}}\cdot x&{\tfrac {1}{3}}\cdot (1-x^{2})\\-x^{2}-1&x^{3}\end{pmatrix}}} {\displaystyle B={\frac {1}{3}}{\begin{pmatrix}x&1-x^{2}\\-3x^{2}-3&3x^{3}\end{pmatrix}}={\begin{pmatrix}{\tfrac {1}{3}}\cdot x&{\tfrac {1}{3}}\cdot (1-x^{2})\\-x^{2}-1&x^{3}\end{pmatrix}}}.

Die Matrix

A = ( [ 2 ] 17 [ 1 ] 17 [ 6 ] 17 [ 4 ] 17 ) {\displaystyle A={\begin{pmatrix}[2]_{17}&[1]_{17}\\{}[6]_{17}&[4]_{17}\end{pmatrix}}} {\displaystyle A={\begin{pmatrix}[2]_{17}&[1]_{17}\\{}[6]_{17}&[4]_{17}\end{pmatrix}}}

mit Einträgen aus dem Restklassenkörper R = Z / 17 Z {\displaystyle R=\mathbb {Z} /17\mathbb {Z} } {\displaystyle R=\mathbb {Z} /17\mathbb {Z} } hat die Determinante det A = [ 2 ] 17 ⋅ [ 4 ] 17 − [ 1 ] 17 ⋅ [ 6 ] 17 = [ 2 ] 17 {\displaystyle \det A=[2]_{17}\cdot [4]_{17}-[1]_{17}\cdot [6]_{17}=[2]_{17}} {\displaystyle \det A=[2]_{17}\cdot [4]_{17}-[1]_{17}\cdot [6]_{17}=[2]_{17}} und [ 2 ] 17 {\displaystyle [2]_{17}} {\displaystyle [2]_{17}} ist invertierbar in R {\displaystyle R} {\displaystyle R}. Somit ist A {\displaystyle A} {\displaystyle A} regulär in R 2 × 2 {\displaystyle R^{2\times 2}} {\displaystyle R^{2\times 2}}. Die inverse Matrix ist

B = 1 [ 2 ] 17 ( [ 4 ] 17 [ − 1 ] 17 [ − 6 ] 17 [ 2 ] 17 ) = 1 [ 2 ] 17 ( [ 4 ] 17 [ 16 ] 17 [ 11 ] 17 [ 2 ] 17 ) = ( [ 2 ] 17 [ 8 ] 17 [ 14 ] 17 [ 1 ] 17 ) {\displaystyle B={\frac {1}{[2]_{17}}}{\begin{pmatrix}[4]_{17}&[-1]_{17}\\{}[-6]_{17}&[2]_{17}\end{pmatrix}}={\frac {1}{[2]_{17}}}{\begin{pmatrix}[4]_{17}&[16]_{17}\\{}[11]_{17}&[2]_{17}\end{pmatrix}}={\begin{pmatrix}[2]_{17}&[8]_{17}\\{}[14]_{17}&[1]_{17}\end{pmatrix}}} {\displaystyle B={\frac {1}{[2]_{17}}}{\begin{pmatrix}[4]_{17}&[-1]_{17}\\{}[-6]_{17}&[2]_{17}\end{pmatrix}}={\frac {1}{[2]_{17}}}{\begin{pmatrix}[4]_{17}&[16]_{17}\\{}[11]_{17}&[2]_{17}\end{pmatrix}}={\begin{pmatrix}[2]_{17}&[8]_{17}\\{}[14]_{17}&[1]_{17}\end{pmatrix}}}.

Die Matrix

A = ( [ 3 ] 12 [ 7 ] 12 [ 1 ] 12 [ 9 ] 12 ) {\displaystyle A={\begin{pmatrix}[3]_{12}&[7]_{12}\\{}[1]_{12}&[9]_{12}\end{pmatrix}}} {\displaystyle A={\begin{pmatrix}[3]_{12}&[7]_{12}\\{}[1]_{12}&[9]_{12}\end{pmatrix}}}

mit Einträgen aus dem Restklassenring Z / 12 Z {\displaystyle \mathbb {Z} /12\mathbb {Z} } {\displaystyle \mathbb {Z} /12\mathbb {Z} } hat die Determinante det A = [ 3 ] 12 ⋅ [ 9 ] 12 − [ 7 ] 12 ⋅ [ 1 ] 12 = [ 20 ] 12 = [ 8 ] 12 {\displaystyle \det A=[3]_{12}\cdot [9]_{12}-[7]_{12}\cdot [1]_{12}=[20]_{12}=[8]_{12}} {\displaystyle \det A=[3]_{12}\cdot [9]_{12}-[7]_{12}\cdot [1]_{12}=[20]_{12}=[8]_{12}}. Da 8 {\displaystyle 8} {\displaystyle 8} und 12 {\displaystyle 12} {\displaystyle 12} nicht teilerfremd sind, ist det A = [ 8 ] 12 {\displaystyle \det A=[8]_{12}} {\displaystyle \det A=[8]_{12}} in Z / 12 Z {\displaystyle \mathbb {Z} /12\mathbb {Z} } {\displaystyle \mathbb {Z} /12\mathbb {Z} } nicht invertierbar. Daher ist A {\displaystyle A} {\displaystyle A} nicht regulär.

Eigenschaften

[Bearbeiten | Quelltext bearbeiten]

Ist die Matrix A {\displaystyle A} {\displaystyle A} regulär, so ist auch A − 1 {\displaystyle A^{-1}} {\displaystyle A^{-1}} regulär mit der Inversen

( A − 1 ) − 1 = A {\displaystyle \left(A^{-1}\right)^{-1}=A} {\displaystyle \left(A^{-1}\right)^{-1}=A}.

Sind die beiden Matrizen A {\displaystyle A} {\displaystyle A} und B {\displaystyle B} {\displaystyle B} regulär, so ist auch ihr Produkt A ⋅ B {\displaystyle A\cdot B} {\displaystyle A\cdot B} regulär mit der Inversen

( A ⋅ B ) − 1 = B − 1 ⋅ A − 1 {\displaystyle \left(A\cdot B\right)^{-1}=B^{-1}\cdot A^{-1}} {\displaystyle \left(A\cdot B\right)^{-1}=B^{-1}\cdot A^{-1}}.

Die Menge der regulären Matrizen fester Größe bildet demnach mit der Matrizenmultiplikation als Verknüpfung eine (im Allgemeinen nichtkommutative) Gruppe, die allgemeine lineare Gruppe GL ⁡ ( n , R ) {\displaystyle \operatorname {GL} (n,R)} {\displaystyle \operatorname {GL} (n,R)}. In dieser Gruppe ist die Einheitsmatrix das neutrale Element und die inverse Matrix das inverse Element. Für eine reguläre Matrix A {\displaystyle A} {\displaystyle A} gelten damit auch die Kürzungsregeln

A ⋅ B = A ⋅ C ⇒ B = C {\displaystyle A\cdot B=A\cdot C\Rightarrow B=C} {\displaystyle A\cdot B=A\cdot C\Rightarrow B=C}

und

B ⋅ A = C ⋅ A ⇒ B = C {\displaystyle B\cdot A=C\cdot A\Rightarrow B=C} {\displaystyle B\cdot A=C\cdot A\Rightarrow B=C},

wobei B {\displaystyle B} {\displaystyle B} und C {\displaystyle C} {\displaystyle C} beliebige Matrizen passender Größe sind.

Eine singuläre Matrix besitzt den Eigenwert null, d. h., es gibt einen vom Nullvektor verschiedenen Vektor, der von der Matrix auf ersteren abgebildet wird. Alle Vektoren, die von der Matrix auf den Nullvektor abgebildet werden, erzeugen den Eigenraum zum Eigenwert null. Die Dimension dieses Eigenraumes ist die geometrische Vielfachheit des Eigenwerts null, siehe Jänich (2008), S. 197 ff.

Blockmatrizen

[Bearbeiten | Quelltext bearbeiten]

Ist eine quadratische Blockmatrix M = ( A B C D ) {\displaystyle M=\left({\begin{matrix}A&B\\C&D\end{matrix}}\right)} {\displaystyle M=\left({\begin{matrix}A&B\\C&D\end{matrix}}\right)} gegeben, wobei A {\displaystyle A} {\displaystyle A} und das Schur-Komplement M / A := D − C A − 1 B {\displaystyle M/A:=D-CA^{-1}B} {\displaystyle M/A:=D-CA^{-1}B} von A {\displaystyle A} {\displaystyle A} in M {\displaystyle M} {\displaystyle M} eine reguläre Matrix ist, dann ist auch M {\displaystyle M} {\displaystyle M} eine reguläre Matrix und es gilt

M = ( I 0 C A − 1 I ) ( A 0 0 M / A ) ( I A − 1 B 0 I ) {\displaystyle M=\left({\begin{matrix}I&0\\CA^{-1}&I\end{matrix}}\right)\left({\begin{matrix}A&0\\0&M/A\end{matrix}}\right)\left({\begin{matrix}I&A^{-1}B\\0&I\end{matrix}}\right)} {\displaystyle M=\left({\begin{matrix}I&0\\CA^{-1}&I\end{matrix}}\right)\left({\begin{matrix}A&0\\0&M/A\end{matrix}}\right)\left({\begin{matrix}I&A^{-1}B\\0&I\end{matrix}}\right)}

Daraus folgt für die inverse Matrix

M − 1 = ( I A − 1 B 0 I ) − 1 ( A 0 0 M / A ) − 1 ( I 0 C A − 1 I ) − 1 = ( I − A − 1 B 0 I ) ( A − 1 0 0 ( M / A ) − 1 ) ( I 0 − C A − 1 I ) = ( A − 1 + A − 1 B ( M / A ) − 1 C A − 1 − A − 1 B ( M / A ) − 1 − ( M / A ) − 1 C A − 1 ( M / A ) − 1 ) {\displaystyle {\begin{aligned}M^{-1}&=\left({\begin{matrix}I&A^{-1}B\\0&I\end{matrix}}\right)^{-1}\left({\begin{matrix}A&0\\0&M/A\end{matrix}}\right)^{-1}\left({\begin{matrix}I&0\\CA^{-1}&I\end{matrix}}\right)^{-1}\\&=\left({\begin{matrix}I&-A^{-1}B\\0&I\end{matrix}}\right)\left({\begin{matrix}A^{-1}&0\\0&(M/A)^{-1}\end{matrix}}\right)\left({\begin{matrix}I&0\\-CA^{-1}&I\end{matrix}}\right)\\&=\left({\begin{matrix}A^{-1}+A^{-1}B(M/A)^{-1}CA^{-1}&-A^{-1}B(M/A)^{-1}\\-(M/A)^{-1}CA^{-1}&(M/A)^{-1}\end{matrix}}\right)\end{aligned}}} {\displaystyle {\begin{aligned}M^{-1}&=\left({\begin{matrix}I&A^{-1}B\\0&I\end{matrix}}\right)^{-1}\left({\begin{matrix}A&0\\0&M/A\end{matrix}}\right)^{-1}\left({\begin{matrix}I&0\\CA^{-1}&I\end{matrix}}\right)^{-1}\\&=\left({\begin{matrix}I&-A^{-1}B\\0&I\end{matrix}}\right)\left({\begin{matrix}A^{-1}&0\\0&(M/A)^{-1}\end{matrix}}\right)\left({\begin{matrix}I&0\\-CA^{-1}&I\end{matrix}}\right)\\&=\left({\begin{matrix}A^{-1}+A^{-1}B(M/A)^{-1}CA^{-1}&-A^{-1}B(M/A)^{-1}\\-(M/A)^{-1}CA^{-1}&(M/A)^{-1}\end{matrix}}\right)\end{aligned}}}

Wenn D {\displaystyle D} {\displaystyle D} und das Schur-Komplement M / D := A − B D − 1 C {\displaystyle M/D:=A-BD^{-1}C} {\displaystyle M/D:=A-BD^{-1}C} von D {\displaystyle D} {\displaystyle D} in M {\displaystyle M} {\displaystyle M} eine reguläre Matrix ist, gilt entsprechend

M = ( I B D − 1 0 I ) ( M / D 0 0 D ) ( I 0 D − 1 C I ) {\displaystyle M=\left({\begin{matrix}I&BD^{-1}\\0&I\end{matrix}}\right)\left({\begin{matrix}M/D&0\\0&D\end{matrix}}\right)\left({\begin{matrix}I&0\\D^{-1}C&I\end{matrix}}\right)} {\displaystyle M=\left({\begin{matrix}I&BD^{-1}\\0&I\end{matrix}}\right)\left({\begin{matrix}M/D&0\\0&D\end{matrix}}\right)\left({\begin{matrix}I&0\\D^{-1}C&I\end{matrix}}\right)}

und für die inverse Matrix[1]

M − 1 = ( I 0 D − 1 C I ) − 1 ( M / D 0 0 D ) − 1 ( I B D − 1 0 I ) − 1 = ( I 0 − D − 1 C I ) ( ( M / D ) − 1 0 0 D − 1 ) ( I − B D − 1 0 I ) = ( ( M / D ) − 1 − ( M / D ) − 1 B D − 1 − D − 1 C ( M / D ) − 1 D − 1 + D − 1 C ( M / D ) − 1 B D − 1 ) {\displaystyle {\begin{aligned}M^{-1}&=\left({\begin{matrix}I&0\\D^{-1}C&I\end{matrix}}\right)^{-1}\left({\begin{matrix}M/D&0\\0&D\end{matrix}}\right)^{-1}\left({\begin{matrix}I&BD^{-1}\\0&I\end{matrix}}\right)^{-1}\\&=\left({\begin{matrix}I&0\\-D^{-1}C&I\end{matrix}}\right)\left({\begin{matrix}(M/D)^{-1}&0\\0&D^{-1}\end{matrix}}\right)\left({\begin{matrix}I&-BD^{-1}\\0&I\end{matrix}}\right)\\&=\left({\begin{matrix}(M/D)^{-1}&-(M/D)^{-1}BD^{-1}\\-D^{-1}C(M/D)^{-1}&D^{-1}+D^{-1}C(M/D)^{-1}BD^{-1}\end{matrix}}\right)\end{aligned}}} {\displaystyle {\begin{aligned}M^{-1}&=\left({\begin{matrix}I&0\\D^{-1}C&I\end{matrix}}\right)^{-1}\left({\begin{matrix}M/D&0\\0&D\end{matrix}}\right)^{-1}\left({\begin{matrix}I&BD^{-1}\\0&I\end{matrix}}\right)^{-1}\\&=\left({\begin{matrix}I&0\\-D^{-1}C&I\end{matrix}}\right)\left({\begin{matrix}(M/D)^{-1}&0\\0&D^{-1}\end{matrix}}\right)\left({\begin{matrix}I&-BD^{-1}\\0&I\end{matrix}}\right)\\&=\left({\begin{matrix}(M/D)^{-1}&-(M/D)^{-1}BD^{-1}\\-D^{-1}C(M/D)^{-1}&D^{-1}+D^{-1}C(M/D)^{-1}BD^{-1}\end{matrix}}\right)\end{aligned}}}

Mithilfe dieser Formel kann die inverse Matrix einer quadratischen ( k × k {\displaystyle k\times k} {\displaystyle k\times k})-Blockmatrix A ∈ R n × n {\displaystyle A\in R^{n\times n}} {\displaystyle A\in R^{n\times n}}mit Blöcken der Dimension b × b {\displaystyle b\times b} {\displaystyle b\times b} effizient berechnet werden. Es ist also n = k ⋅ b {\displaystyle n=k\cdot b} {\displaystyle n=k\cdot b}. Die Laufzeit für die Inversion beträgt O ( k 2 ⋅ b 3 ⋅ 4 k ) {\displaystyle O(k^{2}\cdot b^{3}\cdot 4^{k})} {\displaystyle O(k^{2}\cdot b^{3}\cdot 4^{k})}. Im Vergleich dazu beträgt die Laufzeit für den Gauß-Jordan-Algorithmus O ( n 3 ) = O ( k 3 ⋅ b 3 ) {\displaystyle O(n^{3})=O(k^{3}\cdot b^{3})} {\displaystyle O(n^{3})=O(k^{3}\cdot b^{3})}.[2]

Reguläre Matrizen über einem Restklassenkörper

[Bearbeiten | Quelltext bearbeiten]

Eine Matrix mit Einträgen aus einem Restklassenkörper F p {\displaystyle \mathbb {F} _{p}} {\displaystyle \mathbb {F} _{p}} mit einer Primzahl p {\displaystyle p} {\displaystyle p} ist genau dann regulär, wenn die Zeilenvektoren linear unabhängig sind.

Für den Restklassenkörper F 2 {\displaystyle \mathbb {F} _{2}} {\displaystyle \mathbb {F} _{2}} kann die Anzahl der regulären n × n {\displaystyle n\times n} {\displaystyle n\times n}-Matrixen wie folgt berechnet werden:

  • Jedes der n {\displaystyle n} {\displaystyle n} Elemente der 1. Zeile kann unabhängig voneinander 2 Werte annehmen. Der Nullvektor ist ausgeschlossen. Für die 1. Zeile gibt es also 2 n − 1 {\displaystyle 2^{n}-1} {\displaystyle 2^{n}-1} Möglichkeiten.
  • Für die 2. Zeile sind alle Vektoren ausgeschlossen, die eine Linearkombination der 1. Zeile sind, also 2 {\displaystyle 2} {\displaystyle 2} Vektoren. Für die 2. Zeile gibt es also 2 n − 2 {\displaystyle 2^{n}-2} {\displaystyle 2^{n}-2} Möglichkeiten.
  • Für die 3. Zeile sind alle Vektoren ausgeschlossen, die eine Linearkombination der 1. Zeile und 2. Zeile sind, also 2 2 {\displaystyle 2^{2}} {\displaystyle 2^{2}} Vektoren. Für die 3. Zeile gibt es also 2 n − 2 2 {\displaystyle 2^{n}-2^{2}} {\displaystyle 2^{n}-2^{2}} Möglichkeiten.
  • Allgemein gibt es für die Zeile mit dem Index k {\displaystyle k} {\displaystyle k} also 2 n − 2 k − 1 {\displaystyle 2^{n}-2^{k-1}} {\displaystyle 2^{n}-2^{k-1}} mögliche Werte. Für alle Zeilen der Matrix ergeben sich daher insgesamt ( 2 n − 2 0 ) ⋅ ( 2 n − 2 1 ) ⋅ ( 2 n − 2 2 ) ⋅ … ⋅ ( 2 n − 2 n − 1 ) {\displaystyle (2^{n}-2^{0})\cdot (2^{n}-2^{1})\cdot (2^{n}-2^{2})\cdot \ldots \cdot (2^{n}-2^{n-1})} {\displaystyle (2^{n}-2^{0})\cdot (2^{n}-2^{1})\cdot (2^{n}-2^{2})\cdot \ldots \cdot (2^{n}-2^{n-1})} Möglichkeiten.

Daraus lässt sich der Anteil der regulären n × n {\displaystyle n\times n} {\displaystyle n\times n}-Matrixen an allen n × n {\displaystyle n\times n} {\displaystyle n\times n}-Matrixen bestimmen. Es gibt 2 n ⋅ n = 2 n 2 {\displaystyle 2^{n\cdot n}=2^{n^{2}}} {\displaystyle 2^{n\cdot n}=2^{n^{2}}} verschiedene n × n {\displaystyle n\times n} {\displaystyle n\times n}-Matrixen, weil jedes der n ⋅ n = n 2 {\displaystyle n\cdot n=n^{2}} {\displaystyle n\cdot n=n^{2}} Elemente unabhängig voneinander 2 Werte annehmen kann. Der Anteil der regulären n × n {\displaystyle n\times n} {\displaystyle n\times n}-Matrixen beträgt daher

( 2 n − 2 0 ) ⋅ ( 2 n − 2 1 ) ⋅ ( 2 n − 2 2 ) ⋅ … ⋅ ( 2 n − 2 n − 1 ) / 2 n ⋅ n = 2 n − 2 0 2 n ⋅ 2 n − 2 1 2 n ⋅ 2 n − 2 2 2 n ⋅ … ⋅ 2 n − 2 n − 1 2 n = ( 1 − 1 2 n ) ⋅ ( 1 − 1 2 n − 1 ) ⋅ ( 1 − 1 2 n − 2 ) ⋅ … ⋅ ( 1 − 1 2 1 ) = ∏ k = 1 n ( 1 − ( 1 2 ) k ) {\displaystyle {\begin{aligned}&(2^{n}-2^{0})\cdot (2^{n}-2^{1})\cdot (2^{n}-2^{2})\cdot \ldots \cdot (2^{n}-2^{n-1})/2^{n\cdot n}\\&={\frac {2^{n}-2^{0}}{2^{n}}}\cdot {\frac {2^{n}-2^{1}}{2^{n}}}\cdot {\frac {2^{n}-2^{2}}{2^{n}}}\cdot \ldots \cdot {\frac {2^{n}-2^{n-1}}{2^{n}}}\\&=\left(1-{\frac {1}{2^{n}}}\right)\cdot \left(1-{\frac {1}{2^{n-1}}}\right)\cdot \left(1-{\frac {1}{2^{n-2}}}\right)\cdot \ldots \cdot \left(1-{\frac {1}{2^{1}}}\right)\\&=\prod _{k=1}^{n}\left(1-\left({\frac {1}{2}}\right)^{k}\right)\end{aligned}}} {\displaystyle {\begin{aligned}&(2^{n}-2^{0})\cdot (2^{n}-2^{1})\cdot (2^{n}-2^{2})\cdot \ldots \cdot (2^{n}-2^{n-1})/2^{n\cdot n}\\&={\frac {2^{n}-2^{0}}{2^{n}}}\cdot {\frac {2^{n}-2^{1}}{2^{n}}}\cdot {\frac {2^{n}-2^{2}}{2^{n}}}\cdot \ldots \cdot {\frac {2^{n}-2^{n-1}}{2^{n}}}\\&=\left(1-{\frac {1}{2^{n}}}\right)\cdot \left(1-{\frac {1}{2^{n-1}}}\right)\cdot \left(1-{\frac {1}{2^{n-2}}}\right)\cdot \ldots \cdot \left(1-{\frac {1}{2^{1}}}\right)\\&=\prod _{k=1}^{n}\left(1-\left({\frac {1}{2}}\right)^{k}\right)\end{aligned}}}

Für n {\displaystyle n} {\displaystyle n} gegen unendlich konvergiert dieses Produkt nach dem Pentagonalzahlensatz wegen | 1 2 | < 1 {\displaystyle |{\tfrac {1}{2}}|<1} {\displaystyle |{\tfrac {1}{2}}|<1} gegen einen endlichen Grenzwert. Dieser beträgt etwa 0,289.

Dieses Ergebnis lässt sich für beliebige Primzahlen p {\displaystyle p} {\displaystyle p} auf den Restklassenkörper F p {\displaystyle \mathbb {F} _{p}} {\displaystyle \mathbb {F} _{p}} verallgemeinern. Es gibt p n ⋅ n = p n 2 {\displaystyle p^{n\cdot n}=p^{n^{2}}} {\displaystyle p^{n\cdot n}=p^{n^{2}}} verschiedene n × n {\displaystyle n\times n} {\displaystyle n\times n}-Matrixen, von denen ( p n − p 0 ) ⋅ ( p n − p 1 ) ⋅ ( p n − p 2 ) ⋅ … ⋅ ( p n − p n − 1 ) {\displaystyle (p^{n}-p^{0})\cdot (p^{n}-p^{1})\cdot (p^{n}-p^{2})\cdot \ldots \cdot (p^{n}-p^{n-1})} {\displaystyle (p^{n}-p^{0})\cdot (p^{n}-p^{1})\cdot (p^{n}-p^{2})\cdot \ldots \cdot (p^{n}-p^{n-1})} reguläre n × n {\displaystyle n\times n} {\displaystyle n\times n}-Matrixen sind. Der Anteil der regulären n × n {\displaystyle n\times n} {\displaystyle n\times n}-Matrixen beträgt ∏ k = 1 n ( 1 − ( 1 p ) k ) {\displaystyle \prod _{k=1}^{n}\left(1-\left({\frac {1}{p}}\right)^{k}\right)} {\displaystyle \prod _{k=1}^{n}\left(1-\left({\frac {1}{p}}\right)^{k}\right)}.[3]

Literatur

[Bearbeiten | Quelltext bearbeiten]
  • Peter Knabner, Wolf Barth: Lineare Algebra. Grundlagen und Anwendungen. Springer Spektrum, Berlin/Heidelberg 2013, ISBN 978-3-642-32185-6.
  • Klaus Jänich: Lineare Algebra. 11. Auflage. Springer-Lehrbuch, Berlin, Heidelberg 2008, ISBN 978-3-540-75502-9, doi:10.1007/978-3-540-75502-9. 

Weblinks

[Bearbeiten | Quelltext bearbeiten]
  • Non-singular matrix. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org). 
  • Eric W. Weisstein: Nonsingular Matrix. In: MathWorld (englisch).
  • CWoo: Invertible matrix. In: PlanetMath. (englisch)

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. ↑ Stephen M. Watt, University of Western Ontario: Pivot-Free Block Matrix Inversion
  2. ↑ Iria C. S. Cosme, Isaac F. Fernandes, Joao L. de Carvalho, Samuel Xavier-de-Souza: Memory-Usage Advantageous Block Recursive Matrix Inverse
  3. ↑ StackExchange: Number of non singular matrices over a finite field of order 2
Abgerufen von „https://de.teknopedia.teknokrat.ac.id/w/index.php?title=Reguläre_Matrix&oldid=259250632“
Kategorie:
  • Matrix

  • indonesia
  • Polski
  • العربية
  • Deutsch
  • English
  • Español
  • Français
  • Italiano
  • مصرى
  • Nederlands
  • 日本語
  • Português
  • Sinugboanong Binisaya
  • Svenska
  • Українська
  • Tiếng Việt
  • Winaray
  • 中文
  • Русский
Sunting pranala
Pusat Layanan

UNIVERSITAS TEKNOKRAT INDONESIA | ASEAN's Best Private University
Jl. ZA. Pagar Alam No.9 -11, Labuhan Ratu, Kec. Kedaton, Kota Bandar Lampung, Lampung 35132
Phone: (0721) 702022
Email: pmb@teknokrat.ac.id