Die Elemente M von V sehen so aus:
Es gibt abcdef ∈ K mit M =
a b c
b d e
c e f
also besteht eine Basis für V z. B .
aus den 6 Matrizen M1=
1 0 0
0 0 0
0 0 0
und M2=
0 1 0
1 0 0
0 0 0
und M3=
0 0 1
0 0 0
1 0 0
etc.
U ist 6 dimensional, also gibt es eine Basis
u1,u2,...,u6 für U.
Diese wird durch u7, u8, ., un zu einer
Basis von K^n ergänzt.
Eine lineare Abbildung wird durch Angaben der Bilder
einer Basis festgelegt.
Definiere f:K^n → Mat3(K) durch
f(ui) = Mi für i ≤ 9 und
mit M7=
0 1 0
0 0 0
0 0 0
und M8=
0 0 1
0 0 0
0 0 0
M9=
0 0 0
0 0 1
0 0 0
f(ui) = 0-Matrix für i>9.
Dann ist f(U) = Span( M1,...,M6) = V
Und surjektiv ist es auch, da du jede symmetrische Matrix
mit M1 bis M6 darstellen kannst und alle anderen durch
Hinzunahme von M7 bis M9.