www.wikidata.de-de.nina.az
Eine alternierende Matrix ist in der Mathematik eine quadratische Matrix die schiefsymmetrisch ist und deren Hauptdiagonaleintrage alle gleich null sind In einem Korper mit Charakteristik ungleich zwei folgt die zweite Bedingung aus der ersten weshalb alternierende Matrizen haufig mit schiefsymmetrischen Matrizen gleichgesetzt werden Alternierende Matrizen werden in der linearen Algebra zur Charakterisierung alternierender Bilinearformen verwendet Die Determinante einer alternierenden Matrix gerader Grosse kann mit Hilfe ihrer pfaffschen Determinante angegeben werden Inhaltsverzeichnis 1 Definition 2 Beispiele 3 Eigenschaften 3 1 Bilinearformen 3 2 Rang 3 3 Determinante 4 Siehe auch 5 Literatur 6 EinzelnachweiseDefinition BearbeitenEine quadratische Matrix A K n n displaystyle A in K n times n nbsp mit Eintragen aus einem beliebigen Korper K displaystyle K nbsp heisst alternierend wenn a i j a j i displaystyle a ij a ji nbsp fur i j 1 n displaystyle i j 1 ldots n nbsp und a i i 0 displaystyle a ii 0 nbsp fur i 1 n displaystyle i 1 ldots n nbsp gilt 1 Eine alternierende Matrix ist demnach eine schiefsymmetrische Matrix deren Hauptdiagonaleintrage alle gleich null sind Ist die Charakteristik des Korpers ungleich zwei dann folgt die zweite Bedingung aus der ersten in einem Korper mit Charakteristik zwei gilt dies jedoch nicht 2 Beispiele BearbeitenIn den folgenden Beispielen sei K F 2 displaystyle K mathbb F 2 nbsp der endliche Korper der Restklassen modulo 2 displaystyle 2 nbsp wobei 0 displaystyle 0 nbsp die Restklasse der geraden Zahlen und 1 displaystyle 1 nbsp die Restklasse der ungeraden Zahlen reprasentiere In diesem Korper gilt 1 1 0 displaystyle 1 1 0 nbsp er hat also die Charakteristik 2 displaystyle 2 nbsp Die beiden alternierenden Matrizen der Grosse 2 2 displaystyle 2 times 2 nbsp mit Eintragen aus diesem Korper sind 0 0 0 0 0 1 1 0 displaystyle begin pmatrix 0 amp 0 0 amp 0 end pmatrix begin pmatrix 0 amp 1 1 amp 0 end pmatrix nbsp und die insgesamt acht alternierenden Matrizen der Grosse 3 3 displaystyle 3 times 3 nbsp sind 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 0 1 1 1 0 displaystyle begin pmatrix 0 amp 0 amp 0 0 amp 0 amp 0 0 amp 0 amp 0 end pmatrix begin pmatrix 0 amp 1 amp 0 1 amp 0 amp 0 0 amp 0 amp 0 end pmatrix begin pmatrix 0 amp 0 amp 1 0 amp 0 amp 0 1 amp 0 amp 0 end pmatrix begin pmatrix 0 amp 0 amp 0 0 amp 0 amp 1 0 amp 1 amp 0 end pmatrix begin pmatrix 0 amp 1 amp 1 1 amp 0 amp 0 1 amp 0 amp 0 end pmatrix begin pmatrix 0 amp 1 amp 0 1 amp 0 amp 1 0 amp 1 amp 0 end pmatrix begin pmatrix 0 amp 0 amp 1 0 amp 0 amp 1 1 amp 1 amp 0 end pmatrix begin pmatrix 0 amp 1 amp 1 1 amp 0 amp 1 1 amp 1 amp 0 end pmatrix nbsp In diesem Korper sind die schiefsymmetrischen Matrizen gerade die symmetrischen Matrizen die auch Einsen auf der Diagonale aufweisen durfen Eigenschaften BearbeitenBilinearformen Bearbeiten Die Bilinearform B A x y x T A y displaystyle B A x y x T Ay nbsp zu einer alternierenden Matrix A K n n displaystyle A in K n times n nbsp ist alternierend das heisst B A x x 0 displaystyle B A x x 0 nbsp fur alle x K n displaystyle x in K n nbsp Umgekehrt ist in einem endlichdimensionalen Vektorraum V displaystyle V nbsp die Darstellungsmatrix A B B b i b j displaystyle A B B b i b j nbsp einer alternierenden Bilinearform B V V K displaystyle B colon V times V to K nbsp bezuglich einer beliebigen Basis b 1 b n displaystyle b 1 ldots b n nbsp stets eine alternierende Matrix 3 Rang Bearbeiten Der Rang r displaystyle r nbsp einer alternierenden Matrix A K n n displaystyle A in K n times n nbsp ist stets gerade Weiter existiert eine regulare Matrix P K n n displaystyle P in K n times n nbsp sodass nach Kongruenztransformation P T A P 0 I 0 I 0 0 0 0 0 K n n displaystyle P T AP begin pmatrix 0 amp I amp 0 I amp 0 amp 0 0 amp 0 amp 0 end pmatrix in K n times n nbsp gilt wobei I displaystyle I nbsp die Einheitsmatrix der Grosse r 2 r 2 displaystyle tfrac r 2 times tfrac r 2 nbsp ist 3 Eine alternative Normaldarstellung ist P T A P T 0 0 0 0 0 0 0 0 T 0 0 0 0 0 K n n displaystyle P T AP begin pmatrix T amp 0 amp 0 amp 0 0 amp ddots amp 0 amp 0 0 amp 0 amp T amp 0 0 amp 0 amp 0 amp 0 end pmatrix in K n times n nbsp mit genau r 2 displaystyle tfrac r 2 nbsp Blocken der Form T 0 1 1 0 displaystyle T tbinom 0 1 1 0 nbsp 3 Determinante Bearbeiten Ist n displaystyle n nbsp gerade dann kann die Determinante einer alternierenden Matrix A K n n displaystyle A in K n times n nbsp mit Hilfe der pfaffschen Determinante Pf A displaystyle operatorname Pf A nbsp durch det A Pf A 2 displaystyle det A operatorname Pf A 2 nbsp angegeben werden 4 Ist n displaystyle n nbsp ungerade dann gilt stets det A 0 displaystyle det A 0 nbsp Fur weitere Eigenschaften alternierender Matrizen siehe Schiefsymmetrische Matrix Eigenschaften Siehe auch BearbeitenAlternierende MultilinearformLiteratur BearbeitenLeslie Hogben Hrsg Handbook of Linear Algebra CRC Press 2006 ISBN 978 1 4200 1057 2 Erich Lamprecht Lineare Algebra Band 2 Springer 2013 ISBN 978 3 0348 7680 3 Gunter Scheja Uwe Storch Lehrbuch der Algebra Unter Einschluss der linearen Algebra Band 2 Vieweg 1988 ISBN 978 3 322 80092 3 Einzelnachweise Bearbeiten Erich Lamprecht Lineare Algebra 2 Springer 2013 S 77 Gunter Scheja Uwe Storch Lehrbuch der Algebra Unter Einschluss der linearen Algebra 2 Band Vieweg 1988 S 365 a b c Leslie Hogben Hrsg Handbook of Linear Algebra CRC Press 2006 S 12 5 Gunter Scheja Uwe Storch Lehrbuch der Algebra Unter Einschluss der linearen Algebra Band 2 Vieweg 1988 S 391 Abgerufen von https de wikipedia org w index php title Alternierende Matrix amp oldid 209872744