Ich kann es ja mal mit meinen Worten versuchen
. Also erstmal "Dualraum" (bleiben wir mal bei endlichdimensional)
Dann ist jeder Vektorraum V isomorph zu K^n wobei K der Grundkörper
und n die Dimension ist. Also sieht so ein v immer so aus
v=(v1,v2,....,vn).
Und jede Abbildung f : V -----> K von der Art
x=(x1;x2;....;xn) -------> v1*x1+v2*x2 +.....+ vnxn
ist dann linear. Und die Menge aller dieser lin. Abb. HOM(V;K)
bildet selbst wieder einen Vektorraum, eben den Dualraum von V, also V*.