B LATT 10

Zu Aufgabe 1
Sei R ein Ring, In D f1; : : : ; ng für n 2 N.


Wir schreiben die Matrix A 2 M.m  n; R/ als A D aij .i;j /2Im In , wobei aij 2 R der Eintrag von A in der i -ten Zeile
und j -ten Spalte ist. Für alle vorkommenden Matrizen führen wir dies analog durch. Damit können wir die auftretenden
Matrixoperationen einfach ausdrücken:
Für A; A0 2 M.m  n; R/, B 2 M.n  p; R/ und  2 R gilt:

A C A0 D aij C aij 0


.i;j /2Im In
;


A D aij .i;j /2Im In ;
At D aij .j;i /2In Im ;

n
!
X
AB D ai k bkj :
kD1 .i;j /2Im Ip

Seien also A; A0 2 M.m  n; R/I B; B 0 2 M.n  p; R/I C 2 M.p  q; R/ und  2 R.

(a) Behauptung: A C A0 D A0 C A:

Beweis.

A C A0 D aij 0



.i;j /2Im In
aij .i;j /2Im In
0


D aij C aij .i;j /2I I
m n
0


D aij C aij .i;j /2I I
m
0


n
D aij .i;j /2Im In
a ij .i;j /2Im In
0
D A C A:

(b) Behauptung: AEn D A D Em A

Beweis. Wir definieren folgendes Symbol (das sog. Kronecker-Delta):

(
1 , falls i D j
ıij ´ :
0 , sonst


Damit ist En D ıij .i;j /2In In
, die sog. Einheitsmatrix in M.n  n; R/.

AEn D aij .i;j /2Im In
ıij .i;j /2In In
n
!
X
D ai k ıkj
kD1 .i;j /2Im In


D aij .i;j /2Im In
D A:
 B LATT 10

Em A D ıij .i;j /2Im Im
aij .i;j /2Im In
n
!
X
D ıi k akj
kD1 .i;j /2Im In


D aij .i;j /2Im In
D A:


(c) Behauptung: Ist R kommutativ, so gilt: .A/B D A.B/ D .AB/.

Beweis.



.A/B D aij .i;j /2Im In
bij .i;j /2In Ip
n
!
X
D .ai k /bkj
kD1 .i;j /2Im Ip
n
!
X
D ai k .bkj / D A.B/
kD1 .i;j /2Im Ip
n
!
X
D  ai k bkj
kD1 .i;j /2Im Ip

D .AB/:


(d) Behauptung: .A C A0 /B D AB C A0 B.

Beweis.
.A C A0 /B D aij C aij
0



.i;j /2Im In
bij .i;j /2In Ip
n
!
X
D .ai k C ai0 k /bkj
kD1 .i;j /2Im Ip
n n
!
X X
D ai k bkj C ai0 k bkj
kD1 kD1 .i;j /2Im Ip
0
D AB C A B:


(e) Behauptung: A.B C B 0 / D AB C AB 0 .

Beweis.
A.B C B 0 / D aij bij C bij0



.i;j /2Im In .i;j /2In Ip
n
!
X
0
D ai k .bkj C bkj /
kD1 .i;j /2Im Ip
n n
!
X X
0
D ai k bkj C ai k bkj
kD1 kD1 .i;j /2Im Ip
0
D AB C AB :

 B LATT 10

(f) Behauptung: A.BC / D .AB/C .

Beweis.
n p
!!
X X
A.BC / D ai k bkl clj
kD1 lD1 .i;j /2Im Iq
p
n X
!
X
D ai k bkl clj
kD1 lD1 .i;j /2Im Iq
p X
n
!
X
D ai k bkl clj
lD1 kD1 .i;j /2Im Iq
p n
! !
X X
D ai k bkl clj
lD1 kD1 .i;j /2Im Iq

D .AB/C:

(g) Behauptung: .A C A0 /t D At C .A0 /t .

Beweis.

.A C A0 /t D aij C aij 0


.j;i /2In Im
0



D aij .j;i /2In Im C aij .j;i /2I n Im

D At C .A0 /t :

(h) Behauptung: .A/t D At .

Beweis.

.A/t D aij


.j;i /2In Im


D  aij .j;i /2In Im
D At :

(i) Behauptung: Ist R kommutativ, so gilt: .AB/t D B t At .

Beweis.
n
!
X
t
.AB/ D ai k bkj
kD1 .j;i /2Ip m
n
!
X
D bjt k aki
t

kD1 .j;i /2Ip m

D bij .j;i /2Ip In
aij .j;i /2In Im

D Bt A : t

Im zweiten Schritt wurden die Indizes der Einträge vertauscht (entpricht einer Transpostion der jeweiligen Matrizen).
Zudem wurden die Faktoren in jedem Summanden vertauscht (R kommutativ), um das Ergebnis wieder als Matrixprodukt
interpretieren zu können.