Ich schreibe - wie üblich - \(f^*\) statt \(f^{\vee}\).
1. Für beliebiges \(w\in W^*\) gilt
\((f+g)^*(w)=w\circ (f+g)=w\circ f + w\circ g=\)
\(=f^*(w)+g^*(w)=(f^*+g^*)(w)\).
\((xf)^*(w)=w\circ (xf)=x(w\circ f)=xf^*(w)=(xf^*)(w)\).
2. \(\Phi\) ist eine Vektorraumhomomorphismus.