Rang (Lineare Algebra)
Der Rang ist ein Begriff aus der linearen Algebra. Man ordnet ihn einer Matrix oder einer linearen Abbildung zu. Übliche Schreibweisen sind <math>\operatorname{rang}(f)</math> und <math>\operatorname{rg}(f)</math>. Seltener werden auch die in der englischen Fachliteratur üblichen Schreibweisen <math>\operatorname{rank}(f)</math> und <math>\operatorname{rk}(f)</math> benutzt.
Definition
Für eine Matrix <math>A</math> definiert man den Zeilenraum <math>ZR(A)</math> als die lineare Hülle der Zeilenvektoren aus <math>A</math>. Die Dimension des Zeilenraums bezeichnet man als Zeilenrang, sie entspricht der Maximalzahl linear unabhängiger Zeilenvektoren.<ref>Serge Lang: Algebra 3. Auflage. Springer, New York 2002, ISBN 0-387-95385-X.</ref>
Analog definiert man den Spaltenraum <math>SR(A)</math> und den Spaltenrang durch die Spaltenvektoren. Man kann für Matrizen mit Elementen aus einem Körper zeigen, dass der Zeilen- und Spaltenrang jeder Matrix gleich ist.<ref group="AuH">Dies gilt für Matrizen über einem beliebigen kommutativen Ring, der kein Körper ist, im Allgemeinen nicht. Man vergleiche hierzu das Lehrbuch {{#invoke:Vorlage:Literatur|f}}</ref>
Die auf diesem Wege wohldefinierte natürliche Zahl bezeichnet man als den Rang der Matrix.
Erste Folgerungen
- Der Rang eines Systems aus endlich vielen Vektoren entspricht der Dimension seiner linearen Hülle.<ref>Falko Lorenz: Lineare Algebra I. 3. Auflage. Spektrum, Heidelberg 1992, ISBN 3-411-15193-5.</ref>
- Bei einer linearen Abbildung <math>f</math> ist der Rang als Dimension des Bildes dieser Abbildung definiert:
- <math>\operatorname{rang}(f) = \dim (\operatorname{Bild}(f)).</math>
Hier gilt stets, dass eine lineare Abbildung und die zugehörige Abbildungsmatrix denselben Rang haben.
Berechnung
Um den Rang einer Matrix zu bestimmen, formt man diese mit dem gaußschen Eliminationsverfahren in eine äquivalente Matrix in (Zeilen-)Stufenform um. Die Anzahl der Zeilenvektoren, die ungleich 0 sind, entspricht dann dem Rang der Matrix.
Beispiele:
- <math>A =
\begin{pmatrix}
1 & 2 & 3 \\
0 & 5 & 4 \\
0 & 10 & 2
\end{pmatrix}
\rightsquigarrow
\begin{pmatrix}
1 & 2 & 3 \\
0 & 5 & 4 \\
0 & 0 & -6
\end{pmatrix}
\Rightarrow \operatorname{rang}(A) = 3
</math>
- <math>B =
\begin{pmatrix}
1 & 2 & 3 \\
0 & 6 & 4 \\
0 & 3 & 2
\end{pmatrix}
\rightsquigarrow
\begin{pmatrix}
1 & 2 & 3 \\
0 & 6 & 4 \\
0 & 0 & 0
\end{pmatrix}
\Rightarrow \operatorname{rang}(B) = 2
</math>
- <math>C =
\begin{pmatrix}
2 & 3 \\
0 & 1 \\
4 & -1
\end{pmatrix}
\rightsquigarrow
\begin{pmatrix}
2 & 3 \\
0 & 1 \\
0 & 0
\end{pmatrix}
\Rightarrow \operatorname{rang}(C) = 2
</math>
Alternativ lässt sich die Matrix auch in Spaltenstufenform umformen. Der Rang der Matrix entspricht dann der Anzahl der Spaltenvektoren, die ungleich 0 sind.
Normalform
Mit dem zur Berechnung angewandten Verfahren kann jede Matrix in eine gleich große Matrix überführt werden, die in der oberen linken Ecke eine Einheitsmatrix E gleichen Ranges und sonst nur Nullen enthält:<ref name="zurmuehl">{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Thomas Steinfeld|Thomas Steinfeld: }}{{#if:|{{#if:Normalform einer Matrix|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Normalform einer Matrix}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://mathepedia.de/Normalform.html%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Normalform einer Matrix}}}}|[{{#invoke:URLutil|getNormalized|1=https://mathepedia.de/Normalform.html}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Normalform einer Matrix}}}}]}}{{#if:| ({{{format}}}{{#if:Mathepedia{{#if: 2021-11-26 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| )
| {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ;
| )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://mathepedia.de/Normalform.html%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://mathepedia.de/Normalform.html}}%7C%7C}}}}{{#if:Normalform einer Matrix|{{#if:{{#invoke:WLink|isValidLinktext|1=Normalform einer Matrix|lines=0}}||}}}}{{#if: Mathepedia| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Mathepedia}}}}{{#if: | {{{hrsg}}}{{#if: |,|{{#if: 2021-11-26 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format|{{{datum}}}|noerror=1}}
|{{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}
|{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum={{{datum}}}|class=Zitationswartung}} }}{{#if: |,|{{#if: 2021-11-26 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2021-11-26 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:265486||(?)}}}}}}{{#if: 2021-11-26|;}}}}{{#if: 2021-11-26| {{#if:{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2021-11-26 |ISO|noerror=1}} }}
|4=im Jahr
|7=im
|10=am
|#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2021-11-26|class=Zitationswartung}} }} {{#invoke:DateTime|format|2021-11-26|T._Monat JJJJ}}
| {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:Mathepedia{{#if: 2021-11-26 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| (
| {{#if: | | (}}
}}{{#ifeq:{{#if:de|de|de}}|de||
{{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: {{#if: 2021-11-26 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
#if:
| „{{
#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| Vorlage:Str trim
| {{#invoke:Vorlage:lang|flat}}
}}“
| {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| „Vorlage:Str trim“
| {{#invoke:Text|quote
|1={{#if:
| {{#invoke:Vorlage:lang|flat}}
| {{#invoke:Vorlage:lang|flat}} }}
|2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
|3=1}} }}
}}{{#if:
| (<templatestyles src="Person/styles.css" />{{#if: | : }}{{#if: | , deutsch: „“ }})
| {{#if:
| ({{#if: | , deutsch: „“ }})
| {{#if: | (deutsch: „“) }}
}}
}}{{#if: {{{zitat}}}
| {{#if:
| {{#if: {{{zitat}}}
| Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
| Vorlage:": Text= fehlt }}{{#if: | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
| Vorlage:": Ungültiger Wert: ref=
| {{{ref}}} }}
}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:
|0|=Vorlage:Toter Link/Core{{#if: https://mathepedia.de/Normalform.html | {{#if: | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://mathepedia.de/Normalform.html | {{#if:{{#invoke:URLutil|isWebURL|https://mathepedia.de/Normalform.html}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://mathepedia.de/Normalform.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://mathepedia.de/Normalform.html | {{#if:{{#invoke:URLutil|isWebURL|https://mathepedia.de/Normalform.html}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}[https://mathepedia.de/Normalform.html }}|{{#switch: |0|=Vorlage:Toter Link/Core{{#if: https://mathepedia.de/Normalform.html | {{#if: | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://mathepedia.de/Normalform.html | {{#if:{{#invoke:URLutil|isWebURL|https://mathepedia.de/Normalform.html}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://mathepedia.de/Normalform.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://mathepedia.de/Normalform.html | {{#if:{{#invoke:URLutil|isWebURL|https://mathepedia.de/Normalform.html}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}[https://mathepedia.de/Normalform.html }} }}}}}}}}}}{{#if:| {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}
}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>
| E | 0 | |||
| 0 | 0 | |||
Die Transformation der Matrix M
- LMR = N
mit regulären Matrizen L und R auf Normalform N gelingt immer.
Beispiel: Vorgelegt ist die Matrix
- <math>\mathsf M=\begin{pmatrix}-1&0&0\\-3&3&-1\end{pmatrix}</math>
Ihre Transformation auf Normalform geschieht mit
- <math>\mathsf{LMR}=\begin{pmatrix}1&0\\-2&1\end{pmatrix}
\begin{pmatrix}-1&0&0\\-3&3&-1\end{pmatrix} \begin{pmatrix}-1&0&0\\0&1&-1\\1&2&-3\end{pmatrix} = \begin{pmatrix}1&0&0\\0&1&0\end{pmatrix}</math>
Die Matrizen L und R sind regulär, denn ihre Determinanten sind ungleich null:
- <math>\mathrm{det}(\mathsf{L})=\begin{vmatrix}1&0\\-2&1\end{vmatrix}=1,\quad
\mathrm{det}(\mathsf{R})=\begin{vmatrix}-1&0&0\\0&1&-1\\1&2&-3\end{vmatrix}=1 </math>
Quadratische Matrizen
Ist der Rang einer quadratischen Matrix gleich ihrer Zeilen- und Spaltenzahl, hat sie vollen Rang und ist regulär (invertierbar). Diese Eigenschaft lässt sich auch anhand ihrer Determinante feststellen. Eine quadratische Matrix hat genau dann vollen Rang, wenn ihre Determinante von null verschieden ist bzw. keiner ihrer Eigenwerte null ist.
Eigenschaften
Seien im Folgenden <math>m, n, l \in \mathbb{N}</math>.
- Die einzige Matrix mit Rang <math>0</math> ist die Nullmatrix <math>0_{m,n}</math> . Die <math>n\!\times\!n</math>-Einheitsmatrix <math>E_n</math> hat den vollen Rang <math>n</math>.
- Für den Rang einer <math>m\!\times\!n</math>-Matrix <math>A</math> gilt:
- <math>\operatorname{rang}(A) \leq \min \{m,n\}.</math>
- Man sagt, dass die Matrix vollen Rang hat, wenn in dieser Ungleichung die Gleichheit gilt.
- Die Transponierte <math>A^T</math> (oder auch <math>A^t</math>) einer Matrix <math>A</math> hat den gleichen Rang wie <math>A</math>:
- <math>\operatorname{rang}(A) = \operatorname{rang}(A^T)\;.</math>
- Erweiterung: Der Rang einer Matrix <math>A</math> und der zugehörigen Gram-Matrix sind gleich, falls <math>A</math> eine reelle Matrix ist:
- <math>\operatorname{rang}(A) = \operatorname{rang}(A^TA) = \operatorname{rang}(AA^T) = \operatorname{rang}(A^T)\;.</math>
- Subadditivität: Für zwei <math>m\!\times\!n</math>-Matrizen <math>A</math> und <math>B</math> gilt:
- <math>\operatorname{rang}(A+B) \leq \operatorname{rang}(A) + \operatorname{rang}(B).</math>
- Rangungleichungen von Sylvester: Für eine <math>m\!\times\!n</math>-Matrix <math>A</math> und eine <math>n\!\times\!l</math>-Matrix <math>B</math> gilt:
- <math>\operatorname{rang}(A) + \operatorname{rang}(B) -n \leq \operatorname{rang}(A \cdot B) \leq \min\left\{\operatorname{rang}(A),\operatorname{rang}(B) \right\}.</math>
- Bedingung nach Fontené, Rouché und Frobenius: Ein lineares Gleichungssystem <math>A \cdot x = b</math> ist lösbar genau dann, wenn <math>b \in SR(A)</math> gilt bzw. (äquivalent dazu) <math> \operatorname{rang}(A) = \operatorname{rang}(A|b) </math>.
- Eine lineare Abbildung ist genau dann injektiv, wenn die Abbildungsmatrix <math>A \in K^{m \times n}</math> vollen Spaltenrang hat: <math>\operatorname{rang}(A) = n.</math>
- Eine lineare Abbildung ist genau dann surjektiv, wenn die Abbildungsmatrix <math>A \in K^{m \times n}</math> vollen Zeilenrang hat: <math>\operatorname{rang}(A) = m.</math>
- Eine lineare Abbildung ist genau dann bijektiv, wenn die Abbildungsmatrix <math>A \in K^{m \times n}</math> regulär (invertierbar) ist, denn dann existiert die Umkehrabbildung mit Abbildungsmatrix <math> A^{-1}</math>. Das ist genau dann der Fall, wenn <math> A </math> quadratisch ist (<math>m = n</math>) und vollen Rang hat: <math>\operatorname{rang}(A) = m = n.</math>
- Rangsatz für lineare Abbildungen: Für den Rang und Defekt (Dimension des Kerns) einer linearen Abbildung <math>f</math> aus einem <math>n</math>-dimensionalen Vektorraum <math>V</math> in einen <math>m</math>-dimensionalen Vektorraum <math>W</math> gilt der Zusammenhang
- <math>\dim V = \operatorname{rang}(f) + \operatorname{def}(f)\;.</math>
Siehe auch
Einzelnachweise
<references />
Anmerkungen und Hinweise
<references group="AuH" />
Literatur
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- Wikipedia:Vorlagenfehler/Parameter:URL
- Wikipedia:Vorlagenfehler/Parameter:Linktext
- Wikipedia:Vorlagenfehler/Parameter:Datum
- Wikipedia:Vorlagenfehler/Vorlage:"
- Wikipedia:Weblink offline fix-attempted
- Wikipedia:Vorlagenfehler/Vorlage:Toter Link
- Wikipedia:Vorlagenfehler/Vorlage:Toter Link/URL fehlt
- Lineare Algebra